Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. - Mohamed Bettaz (ADT, 1988)

An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. - Mohamed Bettaz (ADT, 1990)

How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. - Mohamed Bettaz; Mourad Maouche (COMPASS/ADT, 1991)

A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. - Mohamed Bettaz; Gianna Reggio (COMPASS/ADT, 1992)

Using ECATNets for Specifying Communication Software in the OSI Framework. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (ICCI, 1992)

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (MASCOTS, 1993)

Modelling and proving of truly concurrent systems with CATNets. - Mohamed Bettaz; Abbas Mehemmel (PDP, 1993)

A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. - Mohamed Bettaz; Aicha Choutri; Gianna Reggio (PDP, 1994)

On reusing ATNet modules in protocol specification. - Mohamed Bettaz; Mourad Maouche; Moussa Soualmi; Madani Boukebeche (J. Syst. Softw., 1994)

Modelling of Object Based Systems with Hidden Sorted ECATNets. - Mohamed Bettaz; Mourad Maouche (MASCOTS, 1995)

Formal Specification of Communication Protocols with Object-Based ECATNets. - Mohamed Bettaz; Mourad Maouche; Kamel Barkaoui (EUROMICRO, 1996)

Distributed Simulation of ECATNets: A Conservative Approach. - Karim Djemame; Dennis C. Gilles; Lewis M. Mackenzie; Mohamed Bettaz (PDP, 1996)

Parallel simulation in rewriting logic: some observations. - Karim Djemame; Mohamed Bettaz (PDP, 1998)

Performance comparison of high-level algebraic nets distributed simulation protocols. - Karim Djemame; Dennis C. Gilles; Lewis M. Mackenzie; Mohamed Bettaz (J. Syst. Archit., 1998)

Concurrent Systems Analysis Using ECATNets. - Faiza Belala; Mohamed Bettaz; Laure Petrucci-Dauchy (Log. J. IGPL, 2000)

Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. - Mohamed Bettaz (AICCSA, 2001)

A Natural Semantic Framework for ECATNets. - Faiza Belala; Mohamed Bettaz (Appl. Categorical Struct., 2002)

CIRTA: An ECATNets Based Model for Embedded Systems Specification. - Nadia Zeghib; Mohamed Bettaz; Kamel Barkaoui (ESA, 2005)

Towards Mobile Z Schemas. - Mohamed Bettaz; Mourad Maouche (Int. J. Comput. Sci. Appl., 2005)

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. - Nadia Zeghib; Kamel Barkaoui; Mohamed Bettaz (AICCSA, 2006)

Towards an institution for Object-Z specifications. - Mohamed Bettaz; Mourad Maouche; M'hamed Mosteghanemi (Int. J. Comput. Appl. Technol., 2013)

Access and Resources Reservation in 4G-VANETs for Multimedia Applications. - Mouna Garai; Mariem Mahjoub; Slim Rekhis; Noureddine Boudriga; Mohamed Bettaz (ADHOC-NOW Workshops, 2014)

An Institution for Object-Z with Inheritance and Polymorphism. - Hubert Baumeister; Mohamed Bettaz; Mourad Maouche; M'hamed Mosteghanemi (Software, Services, and Systems, 2015)

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (FNC/MobiSPC, 2015)

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. - Nabil Messaoudi; Allaoua Chaoui; Mourad Derardja; Mohamed Bettaz (ANT/SEIT, 2016)

An Approach to UML Consistency Checking Based on Compositional Semantics. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Embed. Real Time Commun. Syst., 2017)

Generating Python Code From Object-Z Specifications. - A. F. Al Azzawi; Mohamed Bettaz; H. M. Al-Refai (CoRR, 2018)

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. - Nabil Messaoudi; Allaoua Chaoui; Mohamed Bettaz (Int. J. Comput. Vis. Robotics, 2019)

TOWARDS A UML PROFILE FOR THE SIMULATION DOMAIN. - Mourad Maouche; Mohamed Bettaz (Informatica (Slovenia), 2019)

Editorial. - Karim Djemame; Mohamed Bettaz (Int. J. Parallel Emergent Distributed Syst., 2021)

Towards a New Ontology-Based Descriptive Language: OntoObject-Z. - Mohamed Bettaz; Mourad Maouche (IC3I, 2023)

Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs. - Mohamed Bettaz (SIMULTECH, 2024)

Towards an Ontological-based CIM Modeling Framework for IoT Applications. - Mohamed Bettaz; Mourad Maouche (Informatica (Slovenia), 2024)

An OWL Implementation of OntoUML and BPMN Models to Unify Representation of Structure and Behavior of Complex Domains: Application to Routing Protocols. - Mohamed Bettaz (SIMULTECH, 2025)