| A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations. | 0 | 0.34 | 2019 |
| Towards A Uml Profile For The Simulation Domain | 0 | 0.34 | 2019 |
| Generating Python Code from Object-Z Specifications | 0 | 0.34 | 2018 |
| An Approach to UML Consistency Checking Based on Compositional Semantics | 0 | 0.34 | 2017 |
| On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications. | 1 | 0.38 | 2016 |
| An Institution for Object-Z with Inheritance and Polymorphism. | 0 | 0.34 | 2015 |
| An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations | 3 | 0.48 | 2015 |
| Towards an institution for Object-Z specifications | 0 | 0.34 | 2013 |
| CIRTA: An ECATNets Based Model for Embedded Systems Specification | 1 | 0.38 | 2005 |
| Towards Mobile Z Schemas | 0 | 0.34 | 2005 |
| A Natural Semantic Framework for ECATNets | 0 | 0.34 | 2002 |
| Concurrent Systems Analysis Using ECATNets | 1 | 0.36 | 2000 |
| Performance comparison of high-level algebraic nets distributed simulation protocols | 1 | 0.36 | 1998 |
| Parallel simulation in rewriting logic: some observations | 0 | 0.34 | 1998 |
| Distributed Simulation of ECATNets: A Conservative Approach | 0 | 0.34 | 1996 |
| Formal specification of communication protocols with object-based ECATNets | 3 | 0.40 | 1996 |
| Modelling of Object Based Systems with Hidden Sorted ECATNets | 5 | 0.56 | 1995 |
| A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. | 0 | 0.34 | 1994 |
| On reusing ATNet modules in protocol specification | 6 | 0.51 | 1994 |
| Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study | 2 | 0.37 | 1993 |
| Modelling and proving of truly concurrent systems with CATNets. | 4 | 0.49 | 1993 |
| A SMoLCS based kit for defining high-level algebraic Petri nets | 2 | 0.36 | 1992 |
| Using ECATNets for specifying communication software in the OSI framework | 5 | 0.57 | 1992 |
| How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets | 20 | 1.06 | 1991 |
| An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols | 11 | 0.79 | 1990 |
| Implementation of Tools for the Specification and Validation of ADTs: Application to Communication Protocols | 1 | 0.34 | 1988 |
