Follow
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
712002
A survey of image compression algorithms for visual sensor networks
A Mammeri, B Hadjou, A Khoumsi
International Scholarly Research Notices 2012, 2012
642012
Test cases generation for nondeterministic real-time systems
A Khoumsi, T Jéron, H Marchand
Formal Approaches to Software Testing: Third International Workshop on …, 2004
562004
Detection and Resolution of Interactions between Services of Telephone Networks.
A Khoumsi
FIW, 78-92, 1997
561997
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
532008
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
42*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
362012
Deep multi-task model for sarcasm detection and sentiment analysis in Arabic language
AE Mahdaouy, AE Mekki, K Essefar, NE Mamoun, I Berrada, A Khoumsi
arXiv preprint arXiv:2106.12488, 2021
302021
Domain adaptation for Arabic cross-domain and cross-dialect sentiment analysis from contextualized word embedding
A El Mekki, A El Mahdaouy, I Berrada, A Khoumsi
Proceedings of the 2021 conference of the North American chapter of the …, 2021
302021
A new method for testing real time systems
A Khoumsi
Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000
302000
Two formal methods for the synthesis of discrete event systems
A Khoumsi, K Saleh
Computer Networks and ISDN Systems 29 (7), 759-780, 1997
301997
An approach for testing real time protocol entities
A Khoumsi, M Akalay, R Dssouli, A En-Nouaary, L Granger
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6. 1 13 …, 2000
282000
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
272011
A method for testing the conformance of real time systems
A Khoumsi
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
272002
Sensor and actuator attacks of cyber-physical systems: A study based on supervisory control of discrete event systems
A Khoumsi
2019 8th International Conference on Systems and Control (ICSC), 176-182, 2019
252019
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
252017
Supervisory control of dense real-time discrete-event systems with partial observation
A Khoumsi
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
252002
A formal basis for the design and analysis of firewall security policies
A Khoumsi, M Erradi, W Krombi
Journal of King Saud University-Computer and Information Sciences 30 (1), 51-66, 2018
242018
A new method for transforming timed automata
A Khoumsi, L Ouedraogo
Electronic Notes in Theoretical Computer Science 130, 101-128, 2005
242005
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
241995
The system can't perform the operation now. Try again later.
Articles 1–20