A temporal approach for testing distributed systems A Khoumsi IEEE Transactions on Software Engineering 28 (11), 1085-1103, 2002 | 72 | 2002 |
A survey of image compression algorithms for visual sensor networks A Mammeri, B Hadjou, A Khoumsi International Scholarly Research Notices 2012 (1), 760320, 2012 | 64 | 2012 |
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 | 56 | 2004 |
Detection and Resolution of Interactions between Services of Telephone Networks. A Khoumsi FIW, 78-92, 1997 | 56 | 1997 |
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 | 53 | 2008 |
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 | 37 | 2012 |
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 | 30 | 2021 |
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 | 30 | 2021 |
A new method for testing real time systems A Khoumsi Proceedings Seventh International Conference on Real-Time Computing Systems …, 2000 | 30 | 2000 |
Two formal methods for the synthesis of discrete event systems A Khoumsi, K Saleh Computer Networks and ISDN Systems 29 (7), 759-780, 1997 | 30 | 1997 |
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 | 28 | 2011 |
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 | 28 | 2000 |
A method for testing the conformance of real time systems A Khoumsi Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002 | 27 | 2002 |
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 | 26 | 2019 |
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 | 25 | 2017 |
Supervisory control of dense real-time discrete-event systems with partial observation A Khoumsi Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002 | 25 | 2002 |
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 | 24 | 2018 |
A new method for transforming timed automata A Khoumsi, L Ouedraogo Electronic Notes in Theoretical Computer Science 130, 101-128, 2005 | 24 | 2005 |
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 | 24 | 1995 |