| CASL reference manual: The complete documentation of the common algebraic specification language PD Mosses Springer, 2004 | 257 | 2004 |
| How to specify non determinism and true concurrency with algebraic term nets M Bettaz, M Maouche Workshop on the Specification of Abstract Data Types, 164-180, 1991 | 66 | 1991 |
| Performance comparison of high-level algebraic nets distributed simulation protocols K Djemame, M Bettaz, DC Gilles, LM Mackenzie Proceedings of the 28th conference on Winter simulation, 621-628, 1996 | 26 | 1996 |
| Protocol specification using ECATNets M Bettaz, M Maouche, M Soualmi, M Boukebeche Networking and Distributed Computing 3 (1), 7-35, 1993 | 25 | 1993 |
| An association of algebraic term nets and abstract data types for specifying real communication protocols M Bettaz Recent Trends in Data Type Specification, LNCS, Springer 534, 11-30, 1990 | 20 | 1990 |
| Modelling of object based systems with hidden sorted ECATNets M Bettaz, M Maouche MASCOTS'95. Proceedings of the Third International Workshop on Modeling …, 1995 | 14 | 1995 |
| On reusing ATNet modules in protocol specification M Bettaz, M Maouche, M Soualmi, M Boukebeche Journal of Systems and Software 27 (2), 119-128, 1994 | 11 | 1994 |
| Algebraic term nets: a formalism for specifying communication software in the OSI framework M Bettaz, A Choutri The unified computation laboratory: Modelling, specifications, and tools …, 1992 | 11 | 1992 |
| Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types, Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30 … H Ehrig, F Orejas Springer-Verlag, 1994 | 10 | 1994 |
| Using ECATNets for specifying communication software in the OSI framework M Bettaz, M Maouche, M Soualmi, M Boukebeche 1992 Fourth International Conference on Computing and Information, 410,411 …, 1992 | 10 | 1992 |
| An operational semantics for uml 2 sequence diagrams supported by model transformations N Messaoudi, A Chaoui, M Bettaz Procedia Computer Science 56, 604-611, 2015 | 9 | 2015 |
| Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study M Bettaz, M Maouche, M Soualmi | 9* | |
| Contextual ECATNets semantics in terms of conditional rewriting logic N Zeghib, K Barkaoui, M Bettaz IEEE International Conference on Computer Systems and Applications, 2006 …, 2006 | 8 | 2006 |
| Une approche pour le diagnostic des pannes dans les réseaux H Bennoui, M Maouche, M Bettaz Proceedings of the Colloque Francophone sur l'Ingénierie des Protocoles …, 1999 | 8 | 1999 |
| Du vrai parallélisme dans les réseaux algébriques et de son application dans les systèmes de production M Maouche, M Bettaz, G Berthelot, L Petrucci Conférence Francophone de Modélisation et Simulation (MOSIM’97), Hermes, 417-424, 1997 | 8 | 1997 |
| Modelling and proving of truly concurrent systems with CATNets M Bettaz, A Mehemmel 1993 Euromicro Workshop on Parallel and Distributed Processing, 265-272, 1993 | 8 | 1993 |
| A SMoLCS based kit for defining the semantics of algebraic high-level nets M Bettaz, G Reggio Recent Trends in Data Type Specification. Lecture Notes in Computer Science …, 1992 | 8 | 1992 |
| Towards Mobile Z Schemas. M Bettaz, M Maouche Int. J. Comput. Sci. Appl. 2 (2), 101-117, 2005 | 7 | 2005 |
| A graphical editor-simulator for algebraic term nets O Bounouioua, M Bettaz Proceedings of the Second Maghrebin Conference on SE and AI. Tunis 4, 1992 | 7 | 1992 |
| An approach to UML consistency checking based on compositional semantics M Nabil, A Chaoui, M Bettaz International Journal of Embedded and Real-Time Communication Systems …, 2017 | 6 | 2017 |
Kamel BarkaouiProfessor, Conservatoire National des Arts et MetiersBestätigte E-Mail-Adresse bei cnam.fr
