Ahmed Khoumsi
Ahmed Khoumsi
Professor of Electrical and Computer Engineering, Université de Sherbrooke, Canada
Verified email at USherbrooke.ca - Homepage
Title
Cited by
Cited by
Year
A temporal approach for testing distributed systems
A Khoumsi
IEEE Transactions on Software Engineering 28 (11), 1085-1103, 2002
642002
Detection and Resolution of Interactions between Services of Telephone Networks.
A Khoumsi
FIW, 78-92, 1997
581997
Test cases generation for nondeterministic real-time systems
A Khoumsi, T Jéron, H Marchand
International Workshop on Formal Approaches to Software Testing, 131-146, 2003
572003
Modeling and adapting JPEG to the energy requirements of VSN
A Mammeri, A Khoumsi, D Ziou, B Hadjou
2008 Proceedings of 17th International Conference on Computer Communications …, 2008
492008
A survey of image compression algorithms for visual sensor networks
A Mammeri, B Hadjou, A Khoumsi
International Scholarly Research Notices 2012, 2012
482012
Energy-efficient transmission scheme of JPEG images over visual sensor networks
A Mammeri, A Khoumsi, D Ziou, B Hadjou
2008 33rd IEEE Conference on Local Computer Networks (LCN), 639-647, 2008
40*2008
Two formal methods for the synthesis of discrete event systems
A Khoumsi, K Saleh
Computer Networks and ISDN Systems 29 (7), 759-780, 1997
291997
Conjunctive and disjunctive architectures for decentralized prognosis of failures in discrete-event systems
A Khoumsi, H Chakib
IEEE transactions on automation science and engineering 9 (2), 412-417, 2012
282012
An approach for testing real time protocol entities
A Khoumsi, M Akalay, R Dssouli, A En-Nouaary, L Granger
Testing of Communicating Systems, 281-299, 2000
282000
A method for testing the conformance of real time systems
A Khoumsi
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
272002
A new method for testing real time systems
A Khoumsi
Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000
272000
On specifying services and synthesizing protocols for real-time applications
A Khoumsi, GV Bochmann, R Dssouli
Protocol Specification, Testing and Verification XIV, 185-200, 1995
231995
A new method for transforming timed automata
A Khoumsi, L Ouedraogo
Electronic Notes in Theoretical Computer Science 130, 101-128, 2005
222005
Supervisory control of dense real-time discrete-event systems with partial observation
A Khoumsi
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
222002
Making palm print matching mobile
L Fang, MKH Leung, CS Chian
arXiv preprint arXiv:0912.0578, 2009
202009
Multi-decision supervisory control: Parallel decentralized architectures cooperating for controlling discrete event systems
H Chakib, A Khoumsi
IEEE Transactions on Automatic Control 56 (11), 2608-2622, 2011
192011
Multi-decision decentralized prognosis of failures in discrete event systems
A Khoumsi, H Chakib
2009 American Control Conference, 4974-4981, 2009
182009
Testing distributed real time systems using a distributed test architecture
A Khoumsi
Proceedings. Sixth IEEE Symposium on Computers and Communications, 648-654, 2001
182001
Analysis and verification of XACML policies in a medical cloud environment
M Ayache, M Erradi, A Khoumsi, B Freisleben
Scalable Computing: Practice and Experience 17 (3), 189-206, 2016
172016
Multi-decision diagnosis: Decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems
H Chakib, A Khoumsi
Discrete event dynamic systems 22 (3), 333-380, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20