Aller au contenu
Trouver un autre spécialiste

Ahmed Khoumsi

Professeur, Faculté de génie
FAC. GÉNIE Électrique et informatique

Présentation

Sujet de recherche

Analyse des réseaux (information), Développement de logiciels, Réseaux de télécommunications, Systèmes de contrôle

Disciplines de recherche

Génie électrique et génie électronique, Génie informatique et génie logiciel, Informatique

Mots-clés

Machine learning, intelligence artificielle, Véhicules électriques, transport intelligent, Systèmes cyber-physiques, Politiques de sécurité : analyse et conception, Systèmes à événements discrets (SED), Commande supervisée de SED, Diagnostic et pronostic de SED, Détection d'attaques et évitement de pannes de SED, SED répartis et temps-réel, Pédagogie : apprentissage par problèmes/projets, Protocoles de communication, Test de conformité

Langues parlées et écrites

Anglais, Arabe, Espagnol (castillan), Français

Diplômes

(1988). Pilotage, asservissement sensoriel et localisation d'un robot mobile autonome (Doctorat, Doctorat).

(1984). (Équivalent de la maîtrise, Diplôme d'études approfondies (DEA)).

(1984). (Équivalent du baccalauréat, Ingénieur).

Expérience académique

Professeur. (2006-). Université de Sherbrooke. Canada.

Professeur invité (Visiting professor). (2017-2018).

Professeur invité (Visiting professor). (2010-2011). King Saud University. Arabie saoudite.

Professeur agrégé (Associate Professor). (2000-2006). Université de Sherbrooke. Canada.

Professeur invité (Visiting professor). (2002-2003).

Professeur adjoint (Assistant Professor). (1996-2000). Université de Sherbrooke. Canada.

Professeur invité (Visiting professor). (1999-1999). Université de Pau et des pays de l'Adour. France.

Postdoc. (1993-1996). Université de Montréal. Canada.

Chargé de cours (Lecturer). (1995-1995). École Polytechnique de Montréal. Canada.

Chargé de cours (Lecturer). (1995-1995). Université du Québec à Montréal. Canada.

Chargé de cours (Lecturer). (1995-1995). Université de Montréal. Canada.

Professeur adjoint (Assistant Professor). (1989-1992).

Prix et distinctions

  • (2024) Selected for the Best Researcher Award. International Research Awards on Strategic Management and Business Strategy. (Distinction).
  • (2023) Area Chair Award (Machine Translation and Multilingualism). Int. Joint Conf. on NLP Processing (IJCNLP) and 3rd Conf. of AACL. (Distinction).
  • (2023) Best Paper Award. IEEE Vehicular Power and Propulsion Conference (VPPC). (Distinction).
  • (2019) Best Paper Award. IEEE Vehicular Power and Propulsion Conference (VPPC). (Distinction).
  • (2017) Best Paper Award. International Conference on Control, Decision and Information Technologies (CoDIT). (Distinction).
  • (2016) Best Paper Award. International Conference on Wireless Networks and Mobile Communications (WINCOM). (Distinction).
  • (2004) Best Paper Award. Brazilian Symposium on Formal Methods (SBMF). (Distinction).
  • (2004) One of the best papers. WOrkshop of Discrete Events Systems (WODES). (Distinction).
  • (2003) One of the best papers. Multiconf. on Comp. Eng. in Syst. Applic. (CESA). (Distinction).
  • (2003) One of the best papers. IEEE Intern. Conf. on Telecom. (ICT). (Distinction).
  • (2000) Best anonymous evaluations. Intern. Conf. on TEST. COMm. syst. (TESTCOM). (Distinction).

Financement

  • Subvention. (Terminé). Chercheur principal. Synthesis and analysis of distributed and real-time software systems. Conseil de Recherches en Sciences Naturelles et Génie du Canada (CRSNG). Discovery Grants Program - Individual. 105 000 $. (2005-2010)
  • Subvention. (Terminé). Cochercheur. New technologies for the design of distributed telecommunication systems. Université de Sherbrooke. Research Group Support. 75 000 $. (2003-2006)
  • Subvention. (Terminé). Chercheur principal. Design and analysis of distributed and communicating real-time systems. Conseil de Recherches en Sciences Naturelles et Génie du Canada (CRSNG). Research Grant - Individual. 90 000 $. (2001-2005)
  • Contrat. (Terminé). Chercheur principal. Design of Web Services. Recherche Ericsson Canada. Grant for a Master Project. 12 000 $. (2002-2002)
  • Contrat. (Terminé). Cochercheur. Design of telecommunications systems. Fondation Bell. Group research grant. 150 000 $. (2000-2001)
  • Subvention. (Terminé). Chercheur principal. Design of distributed and communication real-time systems. Fondation Canadienne pour l'Innovation (FCI). Equipment Grant. 70 000 $. (2001-2001)
  • Subvention. (Terminé). Chercheur principal. Design of distibuted and communicating systems. Université de Sherbrooke. Support for professors. 17 000 $. (2000-2001)
  • (Terminé). Chercheur principal. Design of services in Internet telephony. Recherche Ericsson Canada. Grant for supporting a Master Project. 18 000 $. (1999-2000)
  • (Terminé). Chercheur principal. Design and analysis of real-time systems and networks. Conseil de Recherches en Sciences Naturelles et Génie du Canada (CRSNG). Individual Research grant. 45 570 $. (1997-2000)
  • (Terminé). Chercheur principal. Design of distributed and communicating systems. Université de Sherbrooke. Support for new professors. 18 000 $. (1997-1998)
  • (Terminé). Chercheur principal. Design of distributed and communicating systems. Université de Sherbrooke. Support for new professors. 12 000 $. (1997-1997)

Publications

Articles de revue

  • Adnane M*, Khoumsi A, Trovao J. (2023). Efficient Management of Energy Consumption of Electric Vehicles Using Machine Learning — A Systematic and Comprehensive Survey. Energies 16 (13), DOI. (Article publié).
  • Knari A*, Koulali M-A, Khoumsi A. (2023). Multi-Agent Deep Reinforcement Learning for Content Caching within the Internet of Vehicles. Ad Hoc Networks DOI. (Article publié).
  • Adnane M*, Nguyen T-P-C*, Khoumsi A, Trovao J. (2023). Real-Time Torque-Distribution for Dual-Motor Off-Road Vehicle Using Machine Learning Approach. IEEE Transactions on Vehicular Technology (Révision demandée).
  • El Mekki A*, El Mahdaouy A, Berrada I, Khoumsi A. (2022). AdaSL: An Unsupervised Domain Adaptation framework for Arabic Multi-Dialectal Sequence Labeling. Information Processing & Management 59 (4), 102964. DOI. (Article publié).
  • Marouane A*, Nguyen B-H, Khoumsi A, F. Trovao J P. (2021). Driving Mode Predictor-based Real-Time Energy Management for Dual-Source Electric Vehicle. IEEE Transactions on Transportation Electrification 7 (3), 1173 - 1185. DOI. (Article publié).
  • Khoumsi, A. (2020). Arborescent architecture for decentralized diagnosis of discrete event systems. Discrete Event Dynamic Systems - Theory and Practice DOI. (Article publié).
  • Khoumsi A, Chakib H. (2018). Decentralized Supervisory Control of Discrete Event Systems: An Arborescent Architecture to Realize Inference-Based Control. IEEE Transactions on Automatic Control 63 (12), 4278-4285. DOI. (Article publié).
  • Ait El Hadj M*, Khoumsi A, Benkaouz Y, Erradi M. (2018). Formal Approach to Detect and Resolve Anomalies while Clustering ABAC Policies. EAI Endorsed Transactions on Security and Safety 5 (16), DOI. (Article publié).
  • Al-Canaan A, Khoumsi A. (2018). Towards Designing High-performance RESTful Multimedia Web Services on FPGA. Journal of Advances in Technology and Engineering Research (JATER) 4 (3), 111-117. DOI. (Article publié).
  • Khoumsi A, Erradi M, Krombi W. (2016). A Formal Basis for the Design and Analysis of Firewall Security Policies. Journal of King Saud University – Computer and Information Sciences 30 (1), 51-66. DOI. (Article publié).
  • Ayache M*, Erradi M, Khoumsi A, Freisleben B. (2016). Analysis and Verification of XACML Policies in a Medical Cloud Environment. International Journal on Scalable Computing: Practice and Experience (SCPE) 17 (3), 189-205. DOI. (Article publié).
  • Yantour H, Saadi J, Khoumsi A. (2016). New Approach to Modeling the Direct Torque Control Applied to the Asynchronous Machine, Reduction of Ondulations on the Torque. International Journal of Intelligent Information Systems 5 (3-1), 5-22. (Article publié).
  • Yantour H, Saadi J, Khoumsi A. (2015). A Hybrid System Based Approach to Direct Torque Control (DTC) of Induction Motors. International Organization of Scientific Research - Journal of Electrical and Electronics Engineering (IOSR-JEEE) 10 (3), 60-70. (Article publié).
  • Khoumsi A, Chentouf Z. (2014). Use-Modify Framework to Detect Feature Interactions in Web Services. The Journal of King Abdulaziz University (JKAU) - Computing and Information Technology 3 3-49. DOI. (Article publié).
  • Chentouf Z, Khoumsi A. (2013). A High Abstraction Level Approach for Detecting Feature Interactions Between Telecommunication Services. Journal of King Saud University - Computer and Information Sciences 25 (1), 99-115. DOI. (Article publié).
  • Mammeri A, Hadjou B, Khoumsi A. (2012). A Survey of Image Compression Algorithms for Visual Sensor Networks. International Scholarly Research Notices (ISRN) Sensor Networks 2012 DOI. (Article publié).
  • Khoumsi A, Chakib H. (2012). Conjunctive and Disjunctive Architectures for Decentralized Prognosis of Failures in Discrete Event Systems. IEEE Trans. on Automation Science and Engineering 9 (2), 412-417. DOI. (Article publié).
  • Chakib H, Khoumsi A. (2012). Multi-Decision Diagnosis: Decentralized Architectures Cooperating for Diagnosing the Presence of Faults in Discrete Event Systems. Journal of Discrete Event Dynamic Systems - Theory and Practice 22 (3), 333-380. DOI. (Article publié).
  • Chakib H, Khoumsi A. (2011). Multi-Decision Supervisory Control: Parallel Decentralized Architectures Cooperating for Controlling Discrete Event Systems. IEEE Transactions on Automatic Control 56 (11), 2608-2622. DOI. (Article publié).
  • Al-Canaan A, Khoumsi A. (2011). Multimedia Web Services Performance: Analysis and Quantification of Binary Data Compression. Journal of Multimedia (JMM) 6 (5), 447-457. DOI. (Article publié).
  • Ouedraogo L*, Khoumsi A, Nourelfath M. (2010). A new method for centralized and modular supervisory control of real-time discrete-event systems. International Journal of Control 83 (1), 1-39. DOI. (Article publié).
  • Al-Canaan A, Khoumsi A. (2010). Cross-platform Approach to Advanced IP-Telephony Services using JAIN-SIP. Journal of Networks, Special Issue on Recent Advances in Communications and Networking Technologies 5 (7), 808-814. DOI. (Article publié).
  • Ouedraogo L, Khoumsi A, Nourelfath M. (2010). SetExp: A Method of Transformation of Timed Automata into Finite State Automata. Real-Time Systems 46 (2), 189-250. DOI. (Article publié).
  • Mammeri A, Khoumsi A, Ziou D, Hadjou B. (2009). Semi-Reliable encoding and transmitting scheme for Visual Sensor Networks driven by energy considerations. International Journal of Computer Science and Information Security (IJCSIS) 6 (2), 249-258. (Article publié).
  • Khoumsi A, Gonzalez-Rubio R. (2006). Applying a competency- and problem-based approach for learning compiler design. Journal of Science, Technology, Engineering and Mathematics (STEM) 7 (1), 1-10. (Article publié).
  • Nourelfath M, Khoumsi A. (2006). Grid automata and supervisory control of dense real-time discrete event. Journal of Mathematics and Computers in Simulation 70 (5-6), 408-418. DOI. (Article publié).
  • Khoumsi A. (2006). On Synthesizing Test Cases in Symbolic Real-time Testing. Journal of the Brazilian Computer Society (JBCS) 12 (2), 31-48. DOI. (Article publié).
  • Khoumsi A. (2005). A Supervisory control method for ensuring the conformance of real-time discrete event systems. Journal of Discrete Event Dynamic Systems 15 (4), 397-431. DOI. (Article publié).
  • Khoumsi A, Hadjou B. (2005). Learning Probabilities in Computer Engineering by Using a Competency- and Problem-Based Approach. Journal of Science, Technology, Engineering, and Mathematics (STEM) 6 (3-4), 5-13. (Article publié).
  • Chentouf Z, Cherkaoui S, Khoumsi A. (2003). Experimenting with Feature Interaction Management in SIP Environment. Journal of Telecommunication Systems: Modeling, Analysis, Design and Management 24 (2-4), 251-274. DOI. (Article publié).
  • Khoumsi A. (2003). Testing distributed real-time systems in the presence of inaccurate clock synchronization. Journal of Information and Software Technology (IST) 45 (12), 853-864. DOI. (Article publié).
  • Khoumsi A. (2002). A temporal approach for testing distributed systems. IEEE Transactions on Software Engineering 28 (11), 1085-1103. DOI. (Article publié).
  • Khoumsi A, Saleh K. (1997). Two Formal Methods for the Synthesis of Discrete Events Systems. Computer Networks and ISDN Systems 29 (7), 759-780. DOI. (Article publié).
  • Khoumsi A, Bochmann G, Dssouli R. (1994). Dérivation de spécifications de protocole à partir de spécifications de service avec des contraintes temps-réel. Revue Réseaux et informatique répartie (RIR) 4 (1), (Article publié).

Chapitres de livre

  • Khoumsi. A. (2023). Decentralized architectures for supervisory control of discrete event systems. Garcia J. Encyclopedia of Electrical and Electronic Power Engineering (3, 661-673). Elsevier. DOI. (Article publié).
  • Khoumsi, A. (2023). Supervisory control of discrete event systems under total and partial observation. Garcia J. Encyclopedia of Electrical and Electronic Power Engineering (3, 649-660). Elsevier. DOI. (Article publié).
  • Khoumsi, A. (2023). Supervisory control of real-time discrete event systems. Garcia J. Encyclopedia of Electrical and Electronic Power Engineering (3, 674-687). Elsevier. DOI. (Article publié).
  • Dssouli R, Khoumsi A, Elqortobi M*, Bentahar J. (2017). Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey. Advances in Computers (107, 95-155). Academic Press, Elsevier. DOI. (Article publié).
  • Mammeri A, Hadjou B, Khoumsi A. (2010). Wavelet Filters Evaluation in Power Constrained Visual Sensor Networks. Visual Information Processing in Wireless Sensor Networks: Technology, Trends and Applications (59-93). IGI Global. DOI. (Article publié).

Articles de conférence

  • Khoumsi, A. (2023). Automata-Based Study of Dynamic Access Control Policies. Int. Conf. of Information Systems Security and Privacy. DOI. (Article publié).
  • El Mekki A*, Berrada I, Khoumsi A. (2023). ProMap: Effective Bilingual Lexicon Induction viaLanguage Model Prompting. International Joint Conference on Natural Language Processing (IJCNLP) and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics (AACL). (Article accepté).
  • Adnane M*, Nguyen C.T.P*, Khoumsi A, Trovão J. P. F. (2023). Torque Distribution Prediction for Dual-Motor Electric Vehicle Using Ensemble Learning Algorithms. IEEE Vehicle Power and Propulsion (VPPC). (Article accepté).
  • El Mekki A*, El Mahdaouy A, Akallouch M, Berrada I, Khoumsi A. (2022). UM6P-CS at SemEval-2022 Task 11: Enhancing Multilingual and Code-Mixed Complex Named Entity Recognition via Pseudo Labels using Multilingual Transformer. International Workshop on Semantic Evaluation (SemEval). 1511–1517. DOI. (Article publié).
  • Khoumsi A. (2021). An Efficient Blockchain-based Electric Vehicle Charging Management System. Workshop on Blockchain theoRy and ApplicatIoNs (BRAIN). DOI. (Article publié).
  • El Mekki A*, El Mahdaouy A, Essefar K, El Mamoun N, Berrada I, Khoumsi A. (2021). BERT-based Multi-Task Model for Country and Province Level MSA and Dialectal Arabic Identification. Arabic Natural Language Processing Workshop (WANLP). 271–275. (Article publié).
  • Knari A*, Koulali M-A, Khoumsi A. (2021). Deep Reinforcement Learning for Content Caching Optimization in the Internet of Vehicles. IEEE Symposium on Computers and Communications (ISCC). 1-6. DOI. (Article publié).
  • Al Mahdaoui A, El Mekki A*; Essefar K, El Mamoun N, Berrada I, Khoumsi A. (2021). Deep multi-task model for sarcasm detection and sentiment analysis in Arabic language. Arabic Natural Language Processing Workshop (WANLP). 334–339.
  • El Mekki A*, El Mahdaouy A, Berrada I, Khoumsi A. (2021). Domain Adaptation for Arabic Cross-Domain and Cross-Dialect Sentiment Analysis from Contextualized Word Embedding. North American Chapter of the Association for Computational Linguistics (NAACL) : Human Language. 2824-2837. DOI. (Article publié).
  • El Mekki A*, El Mahdaouy A, Berrada I, Khoumsi A. (2021). On the Role of Orthographic Variations in Building Multidialectal Arabic Word Embeddings. Canadian Conference on Artificial Intelligence. DOI. (Article publié).
  • Ait El Hadj M*, Khoumsi A, Benkaouz Y, Erradi M. (2020). A Log-Based Method to Detect and Resolve Efficiently Conflicts in Access Control Policies. International Conference on Soft Computing and Pattern Recognition (SoCPaR). DOI. (Article publié).
  • Khoumsi A. (2020). Efficient collaborative energy trading between smart grids using blockchain and smart contracts. International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD). DOI. (Article publié).
  • Mekki A*, Alami A, Alami H, Khoumsi A, Berrada I. (2020). Weighted combination of BERT and N-GRAM features for Nuanced Arabic Dialect Identification. Workshop of Arabic Natural Language Processing (WANLP). (Article publié).
  • Khoumsi A. (2019). Alternative Inference-Based Decentralized Prognosis of Discrete Event Systems. International Conference on Control, Decision and Information Technologies (CoDIT). DOI. (Article publié).
  • Khoumsi A. (2019). Arborescent Architecture for Decentralized Prognosis of Discrete Event Systems. IFAC European Control Conference (ECC). DOI. (Article publié).
  • Ait El Hadj M*, Khoumsi A, Benkaouz Y, Erradi M. (2019). Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis. International Conference on NETworked sYStems (NETYS). DOI. (Article publié).
  • Ayache M, Khoumsi A, Erradi M. (2019). Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines. International Conference on Advanced Communication Technologies and Networking (CommNet). DOI. (Article publié).
  • Gonzalez-Rubio R, Khoumsi A, Trovao J. (2019). Project-based Learning in Engineering: Illustration by a Capstone Project of an Electric Vehicle. Vehicle Power and Propulsion Conference (VPPC). DOI. (Article publié).
  • Khoumsi A. (2019). Sensor and Actuator Attacks of Cyber-Physical Systems: A Study Based on Supervisory Control of Discrete Event Systems. International Conference on Systems and Control (ICSC). DOI. (Article publié).
  • Khoumsi A, Erradi M. (2018). Automata-Based Bottom-Up Design of Conflict-FreeSecurity Policies Specified as Policy Expressions. International Conference on NETworked sYStems (NETYS). DOI. (Article publié).
  • Ait El Hadj M*, Erradi M, Khoumsi A, Benkaouz Y. (2018). Validation and Correction of Large Security Policies: A Clustering and Access Log Based Approach. IEEE International Conference on BIG DATA (Bigdata). DOI. (Article publié).
  • Ait El Hadj M*, Benkaouz Y, Khoumsi A, Erradi M. (2017). Access Domain-Based Approach for Anomaly Detection and Resolution in XACML Policies. International Conference on Innovations in Bio-Inspired Computing and Applications (IBICA). DOI. (Article publié).
  • Khoumsi A, Chakib H. (2017). Arborescent Architecture for Decentralized Supervisory Control of Discrete Event Systems. International Conference on Control, Decision and Information Technologies (CoDIT). DOI. (Article publié).
  • Ayache M*, Erradi M, Freisleben B, Khoumsi A. (2017). Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies. International Conference on NETworked sYStems (NETYS). DOI. (Article publié).
  • Ait El Hadj M*, Ayache M*, Benkaouz Y, Khoumsi A, Erradi M. (2017). Clustering-Based Approach for Anomaly Detection in XACML Policies. International Conference on Security and Cryptography (SECRYPT). 548-553. DOI. (Article publié).
  • Khoumsi A. (2017). Decentralized Diagnosis of Discrete Event Systems Using an Arborescent Architecture. International Workshop on Principles of Diagnosis (DX). 144-158. DOI. (Article publié).
  • Khoumsi A. (2017). Decentralized Supervisory Control of Discrete Event Systems Without Loss of Information. International Conference on Control, Decision and Information Technologies (CoDIT). DOI. (Article publié).
  • Khoumsi A, Erradi M, Ayache M*, Krombi W. (2016). An Approach to Resolve NP-Hard Problems of Firewalls. International Conference on NETworked sYStems (NETYS). DOI. (Article publié).
  • Khoumsi A, Chakib H. (2016). Decentralized Supervisory Control of Discrete Event Systems: Using Multi-Decision Control as an Alternative to Inference-Based Control. International Conference on Informatics in Control, Automation and Robotics (ICINCO). DOI. (Article publié).
  • Yantour H, Saadi J, Khoumsi A. (2016). New approach to modeling the direct torque control applied to the induction motor, Reduction of ripples on the torque. International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM). DOI.
  • Gonzalez-Rubio R, Khoumsi A, Trovao J, Dubois M. (2016). Problem- and Project-Based Learning in Engineering: A Focus on Electrical Vehicles. IEEE Vehicle Power and Propulsion Conference (VPPC). DOI. (Article publié).
  • Ayache M*, Erradi M, Freisleben B, Khoumsi A. (2016). Towards an Efficient Policy Evaluation Process in Multi-Tenancy Cloud Environments. ACM Conference on Computer and Communication Security. DOI. (Article publié).
  • Khoumsi A, Jaramillo A, Al-Canaan A. (2016). User Driven Policy for Selecting Wireless Communication Technologies in Intelligent Transportation Systems. International Conference on Wireless Networks and Mobile Communications (WINCOM). DOI. (Article publié).
  • Khoumsi A. (2015). A Unifying Decision-Making Framework to Study Secrecy in Decentralized Discrete Event Systems. Mediterranean Conference on Control and Automaton (MED). DOI. (Article publié).
  • Khoumsi A, Krombi W*, Erradi M. (2014). A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies. International Symposium On Foundations and Practice of Security (FPS). DOI. (Article publié).
  • Krombi W*, Erradi M, Khoumsi A. (2014). Automata Based Approach to Design and Analyze Security Policies. International Conference on Privacy, Security and Trust (PST). DOI. (Article publié).
  • Khoumsi A, Chakib H. (2014). Decentralized Supervisory Control of Discrete Event Systems: Moving Decisions Closer to Actions. International Conference on Informatics in Control, Automation and Robotics (ICINCO). DOI. (Article publié).
  • Khoumsi A, Chentouf Z. (2014). Describing Functionalities and Reactions of Cars and Managing Their Feature Interactions. International Conference on Informatics in Control, Automation and Robotics (ICINCO). DOI. (Article publié).
  • Khoumsi A. (2013). A Simple Formal Method to Synthesize an Orchestrator in Web Service Composition. American Control Conference (ACC). DOI. (Article publié).
  • Khoumsi A, Chentouf Z, Qasem S. (2012). A High Abstraction Level Approach for Detecting Feature Interactions in Web Services. IADIS International Conference e-Society. (Article publié).
  • Khoumsi A, Ouedraogo L. (2012). A Unifying Decision-Making Framework to Study Secrecy in Discrete Event Systems. Mediterranean Conference on Control and Automation (MED). DOI. (Article publié).
  • Khoumsi A, Chentouf Z, Ghoneim A, Elmougy S. (2012). Business Model for Composing Web Services. IASTED Conference on Communication, Internet, and Information Technology. DOI. (Article publié).
  • Khoumsi A. (2012). Multi-Decision Prognosis: Decentralized Architectures Cooperating for Predicting Failures in Discrete Event Systems. Mediterranean Conference on Control and Automation (MED). DOI. (Article publié).
  • Mammeri A*, Hadjou B, Khoumsi A. (2011). Determining Suitable Wavelet Filters for Visual Sensor Networks. Saudi International Electronics, Communications and Photonics Conference (SIECPC). DOI. (Article publié).
  • Khoumsi A. (2011). Generic Feature Interaction Detection in Web Services. International Conference on Software Systems Engineering and Their Applications (ICSSEA). (Article publié).
  • Al-Canaan A*, Khoumsi A. (2011). Performance Enhancement of Image-Retrieval Web Services Through Image Dimensional Optimisation. Mosharaka International Conference on Wireless Communications and Mobile Computing (MIC-WCMC). 54-59. (Article publié).
  • Al-Canaan A*, Khoumsi A. (2011). The Impact of Binary Compression on QOS and Performance of Soap and Restful Multimedia Web Services. Mosharaka International Conference on Wireless Communications and Mobile Computing (MIC-WCMC). (Article publié).
  • Yantour H*, Saadi J, Khoumsi A. (2010). A Hybrid System Based Approach to Direct Torque Control (DTC) of Induction Motors. Mediterranean Conference on Control and Automation (MED). DOI. (Article publié).
  • Khoumsi A. (2010). An Unifying Decision-Making Framework in DES: Application to Centralized and Decentralized Control, Diagnosis and Prognosis. IFAC Workshop on Discrete Event Systems (WODES). 135-142. DOI. (Article publié).
  • Khoumsi A, Ouedraogo L. (2010). New Results in Modeling and Supervisory Control of Real-Time Discrete Event Systems. Mediterranean Conference on Control and Automation (MED). DOI. (Article publié).
  • Al-Canaan A*, Khoumsi A. (2009). Analysis and Quantification of Multimedia and Web Services Performance Utilising Binary Data Compression. International Conference on Communications, Networking and Information Technology. 75-80. (Article publié).
  • Khoumsi A, Ouedraogo L. (2009). Diagnosis of Faults in Real-Time Discrete Event Systems. IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SafeProcess). DOI. (Article publié).
  • Khoumsi A. (2009). Fault Prognosis in Real-Time Discrete Event Systems. International Workshop on Principles of Diagnosis (DX). (Article publié).
  • Khoumsi A, Chakib H*. (2009). Multi-Decision Decentralized Prognosis of Failures in Discrete Event Systems. American Control Conference (ACC). DOI. (Article publié).
  • Chakib H, Khoumsi A. (2009). Multi-decision Diagnosis: Parallel Decentralized Architectures Cooperating for Diagnosing Discrete Event Systems. European Control Conference (ECC). DOI. (Article publié).
  • Mammeri A*, Khoumsi A, Hadjou B. (2009). Progressive Compression and Transmission Scheme for Energy-Constrained Visual Sensor Networks. Conférence sur les NOuvelles TEchnologies de la RÉpartition (NOTERE). (Article publié).
  • Khoumsi A, Chakib H*. (2008). A Multi-Decision Approach for Decentralized Diagnosis of the Presence and Absence of Faults in Discrete Event Systems. Mediterranean Conference on Control and Automation (MED). DOI. (Article publié).
  • Khoumsi A, Chakib H*. (2008). A New Architecture for Decentralized Control of Discrete Event Systems: Decidability and Synthesis Issues. Conférence francophone de Modélisation et SIMultation (MOSIM). (Article publié).
  • Al-Canaan A*, Khoumsi A. (2008). Advanced IP-Telephony Service Creation using JAIN-SIP API: cross-platform approach. Mosharaka International Conference on Communications, Networking and Information Technology (MIC- CNET). 46-51. (Article publié).
  • Mammeri A*, Khoumsi A, Ziou D, Hadjou B. (2008). Energy-Aware JPEG for Visual Sensor Networks. Maghrebian Conf. on Soft. Engin. and Art. Intel. (MCSEAI). (Article publié).
  • Mammeri A*, Khoumsi A, Ziou D, Hadjou B. (2008). Energy-Efficient Transmission Scheme of JPEG Images over VSN. IEEE International Workshop on Performance and Management of Wireless and Mobile Networks (P2MNET). DOI. (Article publié).
  • Mammeri A*, Khoumsi A, Ziou D, Hadjou B. (2008). Modeling and Adapting JPEG to the Energy Requirements of Visual Sensor Networks. International Conference on Computer Communications and Networks. DOI. (Article publié).
  • Chakib H*, Khoumsi A. (2008). Multi-Decision C&PvD&A Architecture for the Decentralized Control of Discrete Event Systems. IEEE Conference on Automation Science and Engineering (CASE). DOI. (Article publié).
  • Chakib H*, Khoumsi A. (2008). Multi-Decision Decentralized Control of Discrete Event Systems: Application to the C&P Architecture. IEEE Intern. Workshop on Discrete Event Systems (WODES). DOI. (Article publié).
  • Ouedraogo L*, Khoumsi A. (2008). Supervisory Control of Real-Time Discrete-Event Systems Under Partial Observation. IASTED Intern. Conf. on Control and Applications (CA). (Article publié).
  • Khoumsi A, Chakib H*. (2007). Decentralized Supervisory Control of Discrete Event Systems: involving the fusion system in the decision-making. IASTED International Conference on Intelligent Systems and Control (ISC). (Article publié).
  • Jaramillo A*, Khoumsi A, Cherkaoui S. (2007). Les préférences utilisateur dans les futurs systèmes de transport intelligents. Conférence sur les NOuvelles TEchnologies de la RÉpartition (NOTERE). (Article publié).
  • Yantour H*, Saadi J, Khoumsi A. (2006). An event-based approach to model Direct Torque Control (DTC). International Symposium on Communications, Control and Signal Processing (ISCCSP). (Article publié).
  • Ouedraogo L*, Nourelfath M, Khoumsi A. (2006). A new method for centralized and modular supervisory control of real-time discrete event systems. IEEE Intern. Workshop on Discrete Event Systems (WODES). DOI. (Article publié).
  • Khoumsi A. (2006). Apprentissage par résolution de problème : utiliser des méthodes formelles pour la conception et l'analyse de systèmes répartis temps-réel. Association Internationale de Pédagogie Universitaire (AIPU). (Article publié).
  • Khoumsi A. (2006). Coordination of Components in Symbolic Distributed Discrete-Event Systems. Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI). (Article publié).
  • Fan Q*, Glitho R, Khoumsi A. (2006). Creation of internet-telephony services using Siplet technology. Advanced International Conference on Telecommunications (AICT). DOI. (Article publié).
  • Yantour H*, Saadi J, Khoumsi A. (2006). Modélisation et simulation d'une commande directe du couple appliquée à la machine asynchrone (DTC). Conférence francophone de Modélisation et SIMultation (MOSIM). (Article publié).
  • Chentouf Z, Khoumsi A. (2006). Multi-Agents SIP Architecture for Online Feature Interaction Detection and Resolution. Conférence sur les NOuvelles TEchnologies de la RÉpartition (NOTERE). (Article publié).
  • Ouedraogo L*, Khoumsi A, Nourelfath M. (2006). Méthode de transformation d'automates temporisés avec invariants de localités. Conférence francophone de Modélisation et SIMultation (MOSIM). (Article publié).
  • Chentouf Z, Khoumsi A. (2006). Presence interaction management in SIP SOHO architecture. Conference on Formal Methods for Networked and Distributed Systems (FORTE). DOI. (Article publié).
  • Khoumsi A, Ouedraogo L*. (2005). A new method for transforming Timed Automata. Electronic Notes in Theoretical Computer Science, 101-128. DOI. (Article publié).
  • Khoumsi A. (2005). Complete test graph generation for symbolic real-time systems. Computer Science, 79-100. DOI. (Article publié).
  • Khoumsi A. (2005). Coordination of Components in a Distributed Discrete-Event System. International Symposium on Parallel and Distributed Computing (ISPDC). DOI. (Article publié).
  • Khoumsi A, Ouedraogo L*, Nourelfath M. (2005). Supervisory Control of Real-Time Discrete Event Systems modeled by Timed Automata with Invariants. IASTED Intern. Conf. on Intelligent Systems and Control (ISC). (Article publié).
  • Khoumsi A, Cherkaoui S. (2004). Design and analysis of two approaches for resolving feature interactions. IADIS International Conference on Applied Computing (AC). (Article publié).
  • Chentouf Z*, Cherkaoui S, Khoumsi A. (2004). Service Interaction Management in SIP User Device using Feature Interaction Management Language. Conférence sur les NOuvelles TEchnologies de la RÉpartition (NOTERE). (Article publié).
  • Khoumsi A, Drissi J. (2004). Submodule construction using the control theory of discrete event systems. IASTED International Conference on Control and Applications (CA). (Article publié).
  • Khoumsi A. (2004). Supervisory control for the conformance of real-time discrete event system. IFAC International Workshop on Discrete Event Systems (WODES). DOI. (Article publié).
  • Khoumsi A. (2004). Test cases generation for embedded systems. Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI). (Article publié).
  • Khoumsi A. (2004). Une expérience de l'approche par problème pour l'apprentissage des probabilités en ingénierie. Association Internationale de Pédagogie Universitaire (AIPU). (Article publié).
  • Chentouf Z*, Khoumsi A, Cherkaoui S. (2003). Conceptual foundations of user preference modeling. International Conference on Network Control and Engineering for QoS, Security and Mobility (NetCon). 238-250. DOI. (Article publié).
  • Nourelfath M, Khoumsi A. (2003). Grid automata and supervisory control of dense real-time discrete event systems. Multiconference on Computational Engineering in Systems Applications (CESA). (Article publié).
  • Chentouf Z*, Cherkaoui S, Khoumsi A. (2003). Implementing Online Feature Interaction Detection in SIP Environment : Early Results. IEEE International Conference on Telecomunications (ICT). DOI. (Article publié).
  • Chentouf Z*, Cherkaoui S, Khoumsi A. (2003). Mapping SIP onto a Feature Interaction Management Language. International Conference on Telecommunications (ConTel). DOI. (Article publié).
  • Khoumsi A, Drissi J. (2003). Méthode de construction de sous-module utilisant la théorie du contrôle des systèmes à événements discrets. Colloque francophone sur la Modélisation des Systèmes Réactifs (MSR). (Article publié).
  • Chentouf Z*, Cherkaoui S, Khoumsi A. (2003). New Management Methods for Feature and Preference Interactions. IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS). DOI. (Article publié).
  • Khoumsi A, Jéron T, Marchand H. (2003). Test cases generation for nondeterministic real-time systems. Worshop on Formal Approaches to Testing of Software (FATES). 131-146. DOI. (Article publié).
  • Nourelfath M, Khoumsi A. (2003). Échantillonnage et automates à grilles pour la synthèse de contrôleur temporisé. Conference francophone de Modélisation et SIMultation (MOSIM). (Article publié).
  • Khoumsi A. (2002). A method for testing the conformance of real-time systems. IEEE International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT). 331-351. DOI. (Article publié).
  • Khoumsi A, Nourelfath M. (2002). An efficient method for the supervisory control of dense real-time discrete event systems. International Conference on Real-Time Computing Systems and Applications (RTCSA). (Article publié).
  • Chentouf Z*, Khoumsi A, Cherkaoui S. (2002). Détection hors-ligne d'interactions de services dans les réseaux hétérogènes de télécommunications. Colloque francophone sur l'ingénierie des protocoles (CFIP). (Article publié).
  • Cherkaoui S, Khoumsi A. (2002). Mobile and static agents for service interactions resolution in telecommunication environments. International Conference on Telecommunications (ICT). (Article publié).
  • Khoumsi A. (2002). New results on testing distributed real-time reactive systems. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN). (Article publié).
  • Drissi J*, Khoumsi A. (2002). Submodule construction for timed systems. IEEE Conference on Decision and Control (CDC). DOI. (Article publié).
  • Khoumsi A. (2002). Supervisory control of dense real-time discrete-event systems with partial observation. IEEE International Workshop on Discrete Event Systems (WODES). DOI. (Article publié).
  • Khoumsi A. (2002). Test execution for distributed real time systems. IEEE International Workshop on Communicating Software Engineering (IWCSE). (Article publié).
  • Khoumsi A. (2002). Testing distributed real-time systems : an efficient method which ensures controllability and optimizes observability. International Conference on Real-Time Computing Systems and Applic. (RTCSA). (Article publié).
  • Cherkaoui S, Khoumsi A. (2001). Active networks: mobile agents as an enabling technology. International Symposium on The Convergence of Information Technologies and COMmunications (ITCOM). DOI. (Article publié).
  • Cherkaoui S, Khoumsi A. (2001). A mixed architecture of software agents for resolving feature interactions. International Conference on Software Engineering and Applications (SEA). (Article publié).
  • Khoumsi A. (2001). Synthesizing distributed real-time systemsmodeled by a timed version of a subset of LOTOS. International Symposium on System Synthesis (ISSS). DOI. (Article publié).
  • Khoumsi A. (2001). Testing distributed real-time reactive systems using a centralized test architecture. North Atlantic Test Workshop (NATW). (Article publié).
  • Khoumsi A. (2001). Testing distributed real time systems using a distributed test architecture. International Symposium on Computers and Communications systems (ISCC). DOI. (Article publié).
  • Khoumsi A, Cherkaoui S. (2001). Use of agents for resolving feature interactions. International Workshop on Mobile Agents for Telecommunication Applications (MATA). 11-20. DOI. (Article publié).
  • Khoumsi A, Bevelo R J*. (2000). A detection method developed after a thorough study of the contest held in 1998. Feature Interaction Workshop (FIW). 226-240. (Article publié).
  • Khoumsi A, Akalay M*, Dssouli R, En-Nouaary A, Granger L. (2000). An approach for testing real-time protocol entities. International Conference on TESTing of COMmunicating systems : Tools and Techniques (TESTCOM). 281-299. DOI. (Article publié).
  • Khoumsi A, En-Nouaary A, Dssouli R, Akalay M*. (2000). A new method for testing real-time systems. International Conference on Real-Time Computing Systems and Applications (RTCSA). DOI. (Article publié).
  • Khoumsi A. (2000). Timing issues in testing distributed systems. International Conference on Software Engineering and Applications (SEA). (Article publié).
  • Khoumsi A, Bochmann G, Dssouli R. (1999). Protocol Synthesis for Real-time Applications. Joint International Conferences on Protocol Specification, Testing and Verification (PSTV) and FORmal description TEchniques for distributed systems (FORTE). 417-433. DOI. (Article publié).
  • Khoumsi A, Fan Q*. (1999). Synthèse de protocoles temps réel utilisant le contrôle des systèmes à événements discrets. Colloque Francophone pour l'ingénierie des Protocoles (CFIP),. (Article publié).
  • Hamza A*, Khoumsi A. (1998). A Feature Interaction Detection Software for Telecommunications Networks. AFRICOM-CCDC. (Article publié).
  • Khoumsi A. (1998). New Results for Deriving Protocol Specifications from Service Specifications for Real-Time Applications. Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI). (Article publié).
  • Khoumsi A. (1997). Detection and Resolution of Interactions between Services of the Telephone Network. Feature Interaction Workshop (FIW). (Article publié).
  • Khoumsi A, Bouyakhf E H. (1995). Contrôle des systèmes distribués communicants. Colloque Francophone pour l'ingénierie des Protocoles (CFIP). (Article publié).
  • Khoumsi A, Bochmann G. (1995). Protocol synthesis using basic Lotos and global variables. International Conference on Network Protocols (ICNP). DOI. (Article publié).
  • Erradi M, Khoumsi A. (1995). Traitement des interactions de fonctionnalités des systèmes téléphoniques dans un environnement orienté-objet. Colloque Francophone pour l'ingénierie des Protocoles (CFIP). (Article publié).
  • Khoumsi A, Bochmann G, Dssouli R. (1994). Contrôle et extension des systèmes à événements discrets totalement et partiellement observables. Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI). (Article publié).
  • Khoumsi A, Bochmann G, Dssouli R. (1994). On Specifying Services and Synthesizing Protocols for Real-Time Applications. International Conférence : Protocol Specification, Testing and Verification (PSTV). 185-200. DOI. (Article publié).
  • Khoumsi A, Bochmann G, Dssouli R. (1993). Dérivation de spécifications de protocoles à partir despécifications de services avec contraintes temporelles. Colloque Francophone pour l'ingénierie des protocoles (CFIP). (Article publié).
  • Noreils F*, Khoumsi A, Bauzil G, Chatila R. (1989). Reactive processes for mobile robot control. International Conference on Advanced Robotics (ICAR). 110-125. DOI. (Article publié).
  • Khoumsi A*, Boissier L*. (1987). Localisation d'un robot mobile par comparaison de modèles géométriques. COGNITIVA Conference. (Article publié).

Autres contributions

Cours enseignés

  • Projet majeur en génie électrique/informatique II. GEL801/GIF801. (2013-09-03 à 2020-12-20).Université de Sherbrooke. Canada. (6CR).
  • Mathématiques discrètes II. GEN265. (2013-01-07 à 2014-04-25).Université de Sherbrooke. Canada. (1CR).
  • Modélisation et conception orientées objets. GEI240. (2013-01-07 à 2014-04-25).Université de Sherbrooke. Canada. (2CR).
  • Projet majeur en génie électrique/informatique I. GEL701/GEL701. (2013-01-03 à 2020-04-30).Université de Sherbrooke. Canada. (6CR).
  • Circuits électriques. GEN 135. (2012-09-04 à 2012-12-21).Université de Sherbrooke. Canada. (2CR).
  • Circuits électriques II. GEN 136. (2009-09-08).Université de Sherbrooke. Canada. (2CR).
  • Composant de réseaux. GEI766. (2009-09-08 à 2009-12-18).Université de Sherbrooke. Canada. (2CR).
  • Physique des semi-conducteurs. GEN 150. (2009-09-08 à 2013-12-20).Université de Sherbrooke. Canada. (2CR).
  • Mécanique pour ingénieurs. GEN 441. (2009-09-01).Université de Sherbrooke. Canada. (3CR).
  • Équations différentielles linéaires. GEN 122. (2009-09-01 à 2013-12-20).Université de Sherbrooke. Canada. (2CR).
  • Mathématiques discrètes III. GIF261. (2009-01-06 à 2009-04-24).Université de Sherbrooke. Canada. (3CR).
  • Électronique analogique. GEN 230. (2009-01-05 à 2009-04-24).Université de Sherbrooke. Canada. (2CR).
  • Spécification et conception de protocoles et services. GEI763. (2005-01-03 à 2010-04-30).Université de Sherbrooke. Canada. (1CR).
  • Validation et test de protocoles et services. GEI764. (2005-01-03 à 2010-04-30).Université de Sherbrooke. Canada. (1CR).
  • Probabilités et modélisation de systèmes discrets. GIF360. (2003-09-02 à 2017-08-25).Université de Sherbrooke. Canada. (2CR).
  • Éléments de compilation. GIF340. (2003-09-02).Université de Sherbrooke. Canada. (2CR).
  • Systèmes répartis. IFT698. (2000-08-28 à 2000-10-20).Université de Sherbrooke (Faculté des sciences). Niveau : Premier cycle. (4CR).
  • Structures de données et algorithmes. GEI442. (1998-01-05 à 2004-04-30).Université de Sherbrooke. Canada. (3CR).
  • Systèmes répartis. GEI465. (1998-01-05 à 2004-04-23).Université de Sherbrooke. Canada. (3CR).
  • Systèmes à événements discrets distribués. GEI738. (1998-01-05 à 2007-12-21).Université de Sherbrooke. Canada. (3CR).
  • Organisation des langages et compilation. GEI443. (1997-01-06 à 2002-04-26).Université de Sherbrooke. Canada. (3CR).
  • Application de microprocesseurs. GEI415. (1996-09-03 à 1996-12-20).Université de Sherbrooke. Canada. (3CR).
  • Analyse de performance. IF510. (1995-08-28 à 1995-12-22).École Polytechnique de Montréal. Canada. (3CR).
  • Systèmes d'exploitation en temps-réel. MIC5235. (1995-08-28 à 1995-12-22).Université du Québec à Montréal. Canada. (3CR).
  • Informatique industrielle - Systèmes à microprocesseurs. (1990-01-01 à 1992-02-28).École nationale supérieure d'électricité et de mécanique (ENSEM), Casablanca, Maroc. Niveau : Premier cycle. (3CR).
  • Robotique. (1990-01-01 à 1992-02-28).École nationale supérieure d'électricité et de mécanique (ENSEM), Casablanca, Maroc. Niveau : Premier cycle. (3CR).

Présentations

  • (2018). An Introduction to Real-Time Model-Based Testing. International Conference on Electronics, Control, Optimization and Computer Science (ICECOCS). Kenitra, Maroc
  • (2001). An Approach for Testing Distributed Real-time Systems. Concordia Prestigious Workshop on Communication Software Engineering (CPWCSE). Montréal, Canada
  • (1995). Formal Methods for the Synthesis of Discrete Events Systems. International Conference on FORmal methods description TEchiniques for distributed systems (FORTE). Montréal, Canada