Ahmed Khoumsi
Ahmed Khoumsi
Professor of Electrical and Computer Engineering, Université de Sherbrooke, Canada
Verified email at USherbrooke.ca - Homepage
Cited by
Cited by
A temporal approach for testing distributed systems
A Khoumsi
IEEE Transactions on Software Engineering 28 (11), 1085-1103, 2002
Detection and Resolution of Interactions between Services of Telephone Networks.
A Khoumsi
FIW, 78-92, 1997
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
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
A survey of image compression algorithms for visual sensor networks
A Mammeri, B Hadjou, A Khoumsi
International Scholarly Research Notices 2012, 2012
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
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
Two formal methods for the synthesis of discrete event systems
A Khoumsi, K Saleh
Computer Networks and ISDN Systems 29 (7), 759-780, 1997
A method for testing the conformance of real time systems
A Khoumsi
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2002
A new method for testing real time systems
A Khoumsi
Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000
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
Supervisory control of dense real-time discrete-event systems with partial observation
A Khoumsi
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
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
A new method for transforming timed automata
A Khoumsi, L Ouedraogo
Electronic Notes in Theoretical Computer Science 130, 101-128, 2005
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
Multi-decision decentralized prognosis of failures in discrete event systems
A Khoumsi, H Chakib
2009 American Control Conference, 4974-4981, 2009
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
A new method for centralised and modular supervisory control of real-time discrete event systems
L Ouédraogo, A Khoumsi, M Nourelfath
International journal of control 83 (1), 1-39, 2010
Testing distributed real time systems using a distributed test architecture
A Khoumsi
Proceedings. Sixth IEEE Symposium on Computers and Communications, 648-654, 2001
Testing the control-flow, data-flow, and time aspects of communication systems: a survey
R Dssouli, A Khoumsi, M Elqortobi, J Bentahar
Advances in Computers 107, 95-155, 2017
The system can't perform the operation now. Try again later.
Articles 1–20