Mohamed Bettaz - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2023

Towards a New Ontology-Based Descriptive Language: OntoObject-ZMohamed Bettaz, Mourad Maouche. ic3i 2023: 2326-2332 [doi]

2021

EditorialKarim Djemame, Mohamed Bettaz. paapp, 36(2):51-52, 2021. [doi]

2019

TOWARDS A UML PROFILE FOR THE SIMULATION DOMAINMourad Maouche, Mohamed Bettaz. informaticaSI, 43(1), 2019. [doi]

A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformationsNabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz. ijcvr, 9(2):172-191, 2019. [doi]

2017

An Approach to UML Consistency Checking Based on Compositional SemanticsNabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz. ijertcs, 8(2):1-23, 2017. [doi]

2016

On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus SpecificationsNabil Messaoudi, Allaoua Chaoui, Mourad Derardja, Mohamed Bettaz. ant 2016: 658-664 [doi]

2015

An Institution for Object-Z with Inheritance and PolymorphismHubert Baumeister, Mohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi. BIRTHDAY 2015: 134-154 [doi]

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model TransformationsNabil Messaoudi, Allaoua Chaoui, Mohamed Bettaz. fnc 2015: 604-611 [doi]

2014

Access and Resources Reservation in 4G-VANETs for Multimedia ApplicationsMouna Garai, Mariem Mahjoub, Slim Rekhis, Noureddine Boudriga, Mohamed Bettaz. adhoc-now 2015: 95-108 [doi]

2013

Towards an institution for Object-Z specificationsMohamed Bettaz, Mourad Maouche, M'hamed Mosteghanemi. ijcat, 47(2/3):125-137, 2013. [doi]

2006

Contextual ECATNets Semantics in Terms of Conditional Rewriting LogicNadia Zeghib, Kamel Barkaoui, Mohamed Bettaz. aiccsa 2006: 936-943 [doi]

2005

Towards Mobile Z SchemasMohamed Bettaz, Mourad Maouche. ijcsa, 2(2):101-117, 2005. [doi]

CIRTA: An ECATNets Based Model for Embedded Systems SpecificationNadia Zeghib, Mohamed Bettaz, Kamel Barkaoui. csreaESA 2005: 261-267

2002

A Natural Semantic Framework for ECATNetsFaiza Belala, Mohamed Bettaz. acs, 10(5):431-447, 2002. [doi]

2001

Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting LogicMohamed Bettaz. aiccsa 2001: 386 [doi]

2000

Concurrent Systems Analysis Using ECATNetsFaiza Belala, Mohamed Bettaz, Laure Petrucci-Dauchy. igpl, 8(2):149-164, 2000. [doi]

1998

Parallel simulation in rewriting logic: some observationsKarim Djemame, Mohamed Bettaz. In PDP. 1998: 197-203 [doi]

Performance comparison of high-level algebraic nets distributed simulation protocolsKarim Djemame, Dennis C. Gilles, Lewis M. Mackenzie, Mohamed Bettaz. jsa, 44(6-7):457-472, 1998. [doi]

1996

1995

Modelling of Object Based Systems with Hidden Sorted ECATNetsMohamed Bettaz, Mourad Maouche. mascots 1995: 307-311

1994

On reusing ATNet modules in protocol specificationMohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche. jss, 27(2):119-128, 1994. [doi]

A Life-cycle For Parallel And Distributed Systems Based On two Models Of ConcurrencyMohamed Bettaz, Aicha Choutri, Gianna Reggio. pdp 1994: 551-558 [doi]

1993

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case StudyMohamed Bettaz, Mourad Maouche, M. Soulami, Madani Boukebeche. mascots 1993: 149-154

Modelling and proving of truly concurrent systems with CATNetsMohamed Bettaz, Abbas Mehemmel. pdp 1993: 265-272 [doi]

1992

A SMoLCS Based Kit for Defining High-Level Algebraic Petri NetsMohamed Bettaz, Gianna Reggio. compass 1994: 98-112

Using ECATNets for Specifying Communication Software in the OSI FrameworkMohamed Bettaz, Mourad Maouche, Moussa Soualmi, Madani Boukebeche. icci 1992: 410-413

1991

How to Specify Non-Determinism and True Concurrency with Algebraic Term NetsMohamed Bettaz, Mourad Maouche. compass 1993: 164-180

1990

An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication ProtocolsMohamed Bettaz. adt 1991: 11-30

1988

Implementation of Tools for the Specification and Validation of ADTs: Application to Communication ProtocolsMohamed Bettaz. WADT 1988:

Sign in or sign up to see more results.

runs on WebDSL