Mohamed Bettaz

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