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

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)

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)

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

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

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. - Aissam Belghiat; Allaoua Chaoui; Mourad Maouche; Mokhtar Beldjehem (ICIST, 2014)

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

Merging software architectures with conflicts detections. - Zine-Eddine Bouras; Mourad Maouche (Int. J. Inf. Syst. Chang. Manag., 2015)

Software Architectures Evolution based Merging. - Zine-Eddine Bouras; Mourad Maouche (Informatica (Slovenia), 2017)

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

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

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