| Term Charters. | 0 | 0.34 | 2018 |
| Institutions for OCL-Like Expression Languages. | 1 | 0.35 | 2015 |
| Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). | 0 | 0.34 | 2014 |
| System-Model-based Simulation of UML Models | 2 | 0.40 | 2014 |
| System Model Semantics of Class Diagrams. | 8 | 0.58 | 2014 |
| System Model Semantics of Statecharts. | 1 | 0.36 | 2014 |
| Towards a System Model for UML. The Structural Data Model. | 6 | 0.53 | 2014 |
| Inter-Domain Requirements and their Future Realisability: The ARAMiS Cyber-Physical Systems Scenario. | 2 | 0.50 | 2013 |
| Cyber-physical systems: imminent challenges | 6 | 0.78 | 2012 |
| UML formal semantics: lessons learned | 15 | 0.84 | 2011 |
| Variability within Modeling Language Definitions. | 11 | 0.58 | 2009 |
| A Heterogeneous Approach to UML Semantics | 30 | 1.04 | 2008 |
| Approaches to an All-encompassing Formal Semantics for the UML | 0 | 0.34 | 2008 |
| System model for UML -- The interactions case | 3 | 0.50 | 2006 |
| Semantics of UML 2.0 Interactions with Variabilities | 17 | 0.99 | 2006 |
| OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness | 19 | 0.91 | 2004 |
| A Formal Semantics for OCL 1.4 | 7 | 1.23 | 2001 |
| On the Expressive Power of OCL | 42 | 4.88 | 1999 |
| The Disjunctive Constrained Lambda Calculus | 1 | 0.38 | 1996 |
| A Calculus of Higher-Order Parameterization for Algebraic Specifications | 2 | 0.46 | 1995 |
| Semantic Typing for Parametric Algebraic Specifications | 0 | 0.34 | 1995 |
| Answer to Baker's remarks of July 1991 on version 1.0 | 0 | 0.34 | 1992 |
| An approach to the DIN Kernel Lisp definition | 2 | 0.50 | 1992 |
| Knowledge Representation in Kernel Lisp | 0 | 0.34 | 1991 |
