| 2026 | SIMULTECH | An Action Oriented Execution Semantics for Business Process Models: Application to Protocol Design in Hierarchical Enterprise Networks. | Mohamed Bettaz |
| 2026 | SIMULTECH | An Association of OntoUML and DEMO Process Models for the Specification of Dynamic Routing Protocols: Application to the Open Shortest Protocol First. | Mohamed Bettaz |
| 2025 | SIMULTECH | An OWL Implementation of OntoUML and BPMN Models to Unify Representation of Structure and Behavior of Complex Domains: Application to Routing Protocols. | Mohamed Bettaz |
| 2024 | SIMULTECH | Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs. | Mohamed Bettaz |
| 2016 | ANT | On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. | Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz |
| 2015 | FNC | An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. | Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz |
| 2006 | AICCSA | Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. | Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz |
| 2001 | AICCSA | Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. | Mohamed Bettaz |
| 1998 | PDP | Parallel simulation in rewriting logic: some observations. | Karim Djemame, Mohamed Bettaz |
| 1996 | PDP | Distributed Simulation of ECATNets: A Conservative Approach. | Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz |
| 1996 | WSC | Performance Comparison of High-Level Algebraic Nets Distributed Simulation Protocols. | Karim Djemame, Mohamed Bettaz, Dennis C. Gilles, Lewis M. Mackenzie |
| 1995 | MASCOTS | Modelling of Object Based Systems with Hidden Sorted ECATNets. | Mohamed Bettaz, Mourad Maouche |
| 1994 | PDP | A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. | Mohamed Bettaz, Aicha Choutri, Gianna Reggio |
| 1993 | MASCOTS | Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. | Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche |
| 1993 | PDP | Modelling and proving of truly concurrent systems with CATNets. | Mohamed Bettaz, Abbas Mehemmel |
| 1992 | COMPASS | A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. | Mohamed Bettaz, Gianna Reggio |
| 1992 | ICCI | Using ECATNets for Specifying Communication Software in the OSI Framework. | Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche |
| 1991 | COMPASS | How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. | Mohamed Bettaz, Mourad Maouche |