Mohamed Bettaz

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 7

Top Topics

Specification Language

Dependency Graph

Top Venues

Int. J. Embed. Real Time Commun. Syst.

Software, Services, and Systems

ADHOC-NOW Workshops

Publications

Mohamed Bettaz, Mourad Maouche
Towards a New Ontology-Based Descriptive Language: OntoObject-Z. IC3I (2023)
Karim Djemame, Mohamed Bettaz
Editorial. Int. J. Parallel Emergent Distributed Syst. 36 (2) (2021)
Mourad Maouche, Mohamed Bettaz
TOWARDS A UML PROFILE FOR THE SIMULATION DOMAIN. Informatica (Slovenia) 43 (1) (2019)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. Int. J. Comput. Vis. Robotics 9 (2) (2019)
A. F. Al Azzawi, Mohamed Bettaz, H. M. Al-Refai
Generating Python Code From Object-Z Specifications. CoRR (2018)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
An Approach to UML Consistency Checking Based on Compositional Semantics. Int. J. Embed. Real Time Commun. Syst. 8 (2) (2017)
Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz
On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. ANT/SEIT (2016)
Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi
An Institution for Object-Z with Inheritance and Polymorphism. Software, Services, and Systems (2015)
Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz
An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations. FNC/MobiSPC (2015)
Mouna Garai, Mariem Mahjoub, Slim Rekhis, Noureddine Boudriga, Mohamed Bettaz
Access and Resources Reservation in 4G-VANETs for Multimedia Applications. ADHOC-NOW Workshops (2014)
Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi
Towards an institution for Object-Z specifications. Int. J. Comput. Appl. Technol. 47 (2/3) (2013)
Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz
Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic. AICCSA (2006)
Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui
CIRTA: An ECATNets Based Model for Embedded Systems Specification. ESA (2005)
Mohamed Bettaz, Mourad Maouche
Towards Mobile Z Schemas. Int. J. Comput. Sci. Appl. 2 (2) (2005)
Faiza Belala, Mohamed Bettaz
A Natural Semantic Framework for ECATNets. Appl. Categorical Struct. 10 (5) (2002)
Mohamed Bettaz
Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic. AICCSA (2001)
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy
Concurrent Systems Analysis Using ECATNets. Log. J. IGPL 8 (2) (2000)
Karim Djemame, Mohamed Bettaz
Parallel simulation in rewriting logic: some observations. PDP (1998)
Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz
Performance comparison of high-level algebraic nets distributed simulation protocols. J. Syst. Archit. 44 (6-7) (1998)
Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz
Distributed Simulation of ECATNets: A Conservative Approach. PDP (1996)
Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui
Formal Specification of Communication Protocols with Object-Based ECATNets. EUROMICRO (1996)
Karim Djemame, Mohamed Bettaz, Dennis C. Gilles, Lewis M. Mackenzie
Performance Comparison of High-Level Algebraic Nets Distributed Simulation Protocols. WSC (1996)
Mohamed Bettaz, Mourad Maouche
Modelling of Object Based Systems with Hidden Sorted ECATNets. MASCOTS (1995)
Mohamed Bettaz, Aicha Choutri, Gianna Reggio
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. PDP (1994)
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
On reusing ATNet modules in protocol specification. J. Syst. Softw. 27 (2) (1994)
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study. MASCOTS (1993)
Mohamed Bettaz, Abbas Mehemmel
Modelling and proving of truly concurrent systems with CATNets. PDP (1993)
Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche
Using ECATNets for Specifying Communication Software in the OSI Framework. ICCI (1992)
Mohamed Bettaz, Gianna Reggio
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT (1992)
Mohamed Bettaz, Mourad Maouche
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets. COMPASS/ADT (1991)
Mohamed Bettaz
An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. ADT (1990)
Mohamed Bettaz
Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols. ADT (1988)