Mohamed Bettaz

According to our database, Mohamed Bettaz authored at least 31 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a New Ontology-Based Descriptive Language: OntoObject-Z.

Mohamed Bettaz, Mourad Maouche

Proceedings of the 6th International Conference on Contemporary Computing and Informatics, 2023

2021

Editorial.

Karim Djemame, Mohamed Bettaz

Int. J. Parallel Emergent Distributed Syst., 2021

2019

TOWARDS A UML PROFILE FOR THE SIMULATION DOMAIN.

Mourad Maouche, Mohamed Bettaz

Informatica (Slovenia), 2019

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

2018

Generating Python Code From Object-Z Specifications.

A. F. Al Azzawi, Mohamed Bettaz, H. M. Al-Refai

CoRR, 2018

2017

An Approach to UML Consistency Checking Based on Compositional Semantics.

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz

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

2016

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications.

Nabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations.

Nabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz

Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015

An Institution for Object-Z with Inheritance and Polymorphism.

Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi

Proceedings of the Software, 2015

2014

Access and Resources Reservation in 4G-VANETs for Multimedia Applications.

Mouna Garai, Mariem Mahjoub, Slim Rekhis, Noureddine Boudriga, Mohamed Bettaz

Proceedings of the Ad-hoc Networks and Wireless, 2014

2013

Towards an institution for Object-Z specifications.

Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi

Int. J. Comput. Appl. Technol., 2013

2006

Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic.

Nadia Zeghib, Kamel Barkaoui, Mohamed Bettaz

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Towards Mobile Z Schemas.

Mohamed Bettaz, Mourad Maouche

Int. J. Comput. Sci. Appl., 2005

CIRTA: An ECATNets Based Model for Embedded Systems Specification.

Nadia Zeghib, Mohamed Bettaz, Kamel Barkaoui

Proceedings of The 2005 International Conference on Embedded Systems and Applications, 2005

2002

A Natural Semantic Framework for ECATNets.

Faiza Belala, Mohamed Bettaz

Appl. Categorical Struct., 2002

2001

Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.

Mohamed Bettaz

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000

Concurrent Systems Analysis Using ECATNets.

Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy

Log. J. IGPL, 2000

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

Parallel simulation in rewriting logic: some observations.

Karim Djemame, Mohamed Bettaz

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998

1996

Distributed Simulation of ECATNets: A Conservative Approach.

Karim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz

Proceedings of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996

Formal Specification of Communication Protocols with Object-Based ECATNets.

Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

Modelling of Object Based Systems with Hidden Sorted ECATNets.

Mohamed Bettaz, Mourad Maouche

Proceedings of the MASCOTS '95, 1995

1994

On reusing ATNet modules in protocol specification.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

J. Syst. Softw., 1994

A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency.

Mohamed Bettaz, Aicha Choutri, Gianna Reggio

Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

1993

Modelling and proving of truly concurrent systems with CATNets.

Mohamed Bettaz, Abbas Mehemmel

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

Proceedings of the MASCOTS '93, 1993

1992

Using ECATNets for Specifying Communication Software in the OSI Framework.

Mohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche

Proceedings of the Computing and Information, 1992

A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets.

Mohamed Bettaz, Gianna Reggio

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.

Mohamed Bettaz, Mourad Maouche

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols.

Mohamed Bettaz

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols.

Mohamed Bettaz

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988