Khoumsi, Ahmed

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

Coordonnées

Courriel


819-821-8000, poste 63796


Site Web

Diplômes

(1988) Pilotage, asservissement sensoriel et localisation d'un robot mobile autonome. Doctorat (Automatique et Robotique). LAAS (CNRS), Université Paul Sabatier, Toulouse.

(1984) Équivalent de la maîtrise (Diplôme d'études approfondies (DEA) en Aéronautique-Automatique). Sup'Aéro, Toulouse.

(1984) Équivalent du baccalauréat (Ingénieur en Aéronautique-Automatique). Sup.Aéro, Toulouse.

Expérience académique

(2006) Professeur. Université de Sherbrooke.

(2017-2018) Professeur invité (Visiting professor). École nationale supérieure d'informatique et d'analyse des systèmes (ENSIAS), Rabat, Maroc.

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

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

(2002-2003) Professeur invité (Visiting professor). Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, France.

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

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

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

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

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

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

(1989-1992) Professeur adjoint (Assistant Professor). École nationale supérieure d'électricité et de mécanique (ENSEM), Casablanca, Maroc.

Présentation

Sujets de recherche

Développement de logiciels, Systèmes de contrôle, Systèmes de télécommunications, Téléinformatique.

Disciplines de recherche

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

Mots-clés

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, Protocoles de communication, Test de conformité, Pédagogie : apprentissage par problèmes/projets.

Langues parlées et écrites

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

Prix et distinctions

  • (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. 105000 $ (2005-2010).

Subvention. (Terminé). Cochercheur. New technologies for the design of distributed telecommunication systems. Université de Sherbrooke. Research Group Support. 75000 $ (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. 90000 $ (2001-2005).

Contrat. (Terminé). Chercheur principal. Design of Web Services. Recherche Ericsson Canada. Grant for a Master Project. 12000 $ (2002).

Contrat. (Terminé). Cochercheur. Design of telecommunications systems. Fondation Bell. Group research grant. 150000 $ (2000-2001).

Subvention. (Terminé). Chercheur principal. Design of distributed and communication real-time systems. Fondation Canadienne pour l'Innovation (FCI). Equipment Grant. 70000 $ (2001).

Subvention. (Terminé). Chercheur principal. Design of distibuted and communicating systems. Université de Sherbrooke. Support for professors. 17000 $ (2000-2001).

(Terminé). Chercheur principal. Design of services in Internet telephony. Recherche Ericsson Canada. Grant for supporting a Master Project. 18000 $ (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. 45570 $ (1997-2000).

(Terminé). Chercheur principal. Design of distributed and communicating systems. Université de Sherbrooke. Support for new professors. 18000 $ (1997-1998).

(Terminé). Chercheur principal. Design of distributed and communicating systems. Université de Sherbrooke. Support for new professors. 12000 $ (1997).

Publications

Articles de revue

  • 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, (Article accepté).
  • 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 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 DiscreteEvents 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 despécifications de service avec des contraintes temps-réel. Revue Réseaux et informatique répartie (RIR), 4(1), (Article publié).

Chapitres de livre

  • 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. (2020). Efficient collaborative energy trading between smart grids using blockchain and smart contracts. International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD). (Article accepté).
  • 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*, Freisleben B, Erradi M, 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. 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énementsdiscrets 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). Université de Sherbrooke. Canada. Niveau : Premier cycle. (6CR).
  • Mathématiques discrètes II. GEN265. (2013-01-07 à 2014-04-25). Université de Sherbrooke. Canada. Niveau : Premier cycle. (1CR).
  • Modélisation et conception orientées objets. GEI240. (2013-01-07 à 2014-04-25). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Projet majeur en génie électrique/informatique I. GEL701/GEL701. (2013-01-03). Université de Sherbrooke. Canada. Niveau : Premier cycle. (6CR).
  • Circuits électriques. GEN 135. (2012-09-04 à 2012-12-21). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Circuits électriques II. GEN 136. (2009-09-08 à 2013-12-20). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Composant de réseaux. GEI766. (2009-09-08 à 2009-12-18). Université de Sherbrooke. Canada. Niveau : Cycles supérieurs. (2CR).
  • Physique des semi-conducteurs. GEN 150. (2009-09-08 à 2013-12-20). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Mécanique pour ingénieurs. GEN 441. (2009-09-01). Université de Sherbrooke. Canada. Niveau : Premier cycle. (3CR).
  • Équations différentielles linéaires. GEN 122. (2009-09-01 à 2013-12-20). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Mathématiques discrètes III. GIF261. (2009-01-06 à 2009-04-24). Université de Sherbrooke. Canada. Niveau : Premier cycle. (3CR).
  • Électronique analogique. GEN 230. (2009-01-05 à 2009-04-24). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Spécification et conception de protocoles et services. GEI763. (2005-01-03 à 2010-04-30). Université de Sherbrooke. Canada. Niveau : Cycles supérieurs. (1CR).
  • Validation et test de protocoles et services. GEI764. (2005-01-03 à 2010-04-30). Université de Sherbrooke. Canada. Niveau : Cycles supérieurs. (1CR).
  • Probabilités et modélisation de systèmes discrets. GIF360. (2003-09-02 à 2017-08-25). Université de Sherbrooke. Canada. Niveau : Premier cycle. (2CR).
  • Éléments de compilation. GIF340. (2003-09-02). Université de Sherbrooke. Canada. Niveau : Premier cycle. (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. Niveau : Premier cycle. (3CR).
  • Systèmes répartis. GEI465. (1998-01-05 à 2004-04-23). Université de Sherbrooke. Canada. Niveau : Premier cycle. (3CR).
  • Systèmes à événements discrets distribués. GEI738. (1998-01-05 à 2007-12-21). Université de Sherbrooke. Canada. Niveau : Cycles supérieurs. (3CR).
  • Organisation des langages et compilation. GEI443. (1997-01-06 à 2002-04-26). Université de Sherbrooke. Canada. Niveau : Premier cycle. (3CR).
  • Application de microprocesseurs. GEI415. (1996-09-03 à 1996-12-20). Université de Sherbrooke. Canada. Niveau : Premier cycle. (3CR).
  • Analyse de performance. IF510. (1995-08-28 à 1995-12-22). École Polytechnique de Montréal. Canada. Niveau : Premier cycle. (3CR).
  • Systèmes d'exploitation en temps-réel. MIC5235. (1995-08-28 à 1995-12-22). Université du Québec à Montréal. Canada. Niveau : Premier cycle. (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.

Les informations disponibles dans la base de données Expertus sont tirées du CV commun canadien.