| Definition and correct refinement of operation specifications | 1 | 0.47 | 2006 |
| Parallax, or Viewing Designs Through a Prism of Middleware Platforms | 3 | 0.68 | 2005 |
| «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings | 31 | 5.65 | 2004 |
| Applying Fondue to Specify a Drink Vending Machine | 2 | 0.46 | 2004 |
| “Weaving” MTL model transformations | 1 | 0.83 | 2004 |
| Towards an MDA-oriented UML profile for distribution | 19 | 1.58 | 2004 |
| Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings | 26 | 3.31 | 2004 |
| Model-driven engineering of middleware-mediated distributed systems | 0 | 0.34 | 2004 |
| An MDA-Based approach for inferring concurrency in distributed systems | 3 | 0.50 | 2004 |
| Integrating CBSE, SoC, MDA, and AOP in a Software Development Method | 10 | 1.22 | 2003 |
| Porting OMTTs to CORBA | 0 | 0.34 | 2003 |
| Generic Concern-Oriented Model Transformations Meet AOP | 1 | 0.41 | 2003 |
| Reliable Software Technologies - Ada-Europe 2003, 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings | 28 | 4.29 | 2003 |
| A Software Architecture for Industrial Automation | 4 | 0.57 | 2003 |
| Bridging the gap between IEEE 1471, an architecture description language, and UML | 8 | 0.74 | 2002 |
| Auction system design using open multithreaded transactions | 7 | 0.93 | 2002 |
| Critical Evaluation of the EJB Transaction Model | 3 | 0.50 | 2002 |
| Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings | 26 | 3.01 | 2002 |
| Using OCL and UML to Specify System Behavior | 12 | 0.83 | 2002 |
| About the Difficulties of Building a Pretty-Printer for Ada | 0 | 0.34 | 2002 |
| Integrating the ConcernBASE Approach with SADL | 3 | 0.52 | 2001 |
| Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings | 28 | 3.93 | 2001 |
| Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML | 20 | 1.29 | 2001 |
| Open Multithreaded Transactions: Keeping Threads and Exceptions under Control | 14 | 1.33 | 2001 |
| OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code | 0 | 0.34 | 2001 |
| Object-Oriented Stable Storage Based on Mirroring | 1 | 0.37 | 2001 |
| ASIS-for-GNAT: A Report of Practical Experiences | 2 | 0.46 | 2000 |
| From use cases to system operation specifications | 23 | 3.19 | 2000 |
| Towards a UML profile for software architecture descriptions | 26 | 2.29 | 2000 |
| Fault Tolerance by Transparent Replication for Distributed Ada 95 | 3 | 0.57 | 1999 |
| UML Based Fusion Analysis Applied to a Bank Case Study | 1 | 0.42 | 1999 |
| Shared Recoverable Objects | 6 | 0.64 | 1999 |
| Mapping Object-Oriented Designs to Ada | 0 | 0.34 | 1999 |
| Quality-for-ASIS: A Portable Testing Facility for ASIS | 4 | 0.55 | 1998 |
| PINROB: A Portable API for Industrial Robots | 1 | 0.38 | 1998 |
| ASIStint: an interactive ASIS interpreter | 3 | 0.51 | 1997 |
| Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings | 39 | 9.67 | 1996 |
| Secure Communication in Distributed Ada | 2 | 0.57 | 1996 |
| ASIS for GNAT: From the Prototype to the Full Implementation | 8 | 1.06 | 1996 |
| Ada and ASIS: justification of differences in terminology and mechanisms | 2 | 0.43 | 1996 |
| ASIS for GNAT: goals, problems and implementation strategy | 11 | 1.47 | 1995 |
| Ada 9X | 0 | 0.34 | 1994 |
| SARTEX a programming language for graph processing | 1 | 0.44 | 1985 |
