| Model and Tool Integration Platforms for Cyber-Physical System Design. | 2 | 0.40 | 2018 |
| Automatically reasoning about metamodeling | 1 | 0.36 | 2015 |
| A model-integrated authoring environment for privacy policies | 2 | 0.36 | 2014 |
| OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. | 14 | 0.89 | 2014 |
| A Module System for Domain-Specific Languages. | 1 | 0.37 | 2014 |
| A bounded model checking tool for periodic sample-hold systems | 4 | 0.40 | 2014 |
| Diversely enumerating system-level architectures | 6 | 0.47 | 2013 |
| Engineering domain-specific languages with formula 2.0. | 0 | 0.34 | 2013 |
| FORMULA 2.0: A Language for Formal Specifications | 3 | 0.37 | 2013 |
| Understanding specification languages through their model theory | 0 | 0.34 | 2012 |
| Detecting specification errors in declarative languages with constraints | 8 | 0.51 | 2012 |
| Cancer treatment planning: Formal methods to the rescue | 2 | 0.38 | 2012 |
| Finding Models in Model-Based Development - (Abstract). | 0 | 0.34 | 2011 |
| Canonical Regular Types. | 4 | 0.44 | 2011 |
| Reasoning about metamodeling with formal specifications and automatic proofs | 26 | 0.95 | 2011 |
| Components, platforms and possibilities: towards generic automation for MDA | 34 | 1.33 | 2010 |
| Reusing model transformations while preserving properties | 5 | 0.50 | 2010 |
| Specifying and Composing Non-functional Requirements in Model-Based Development | 15 | 0.77 | 2009 |
| Formalizing the structural semantics of domain-specific modeling languages | 24 | 1.57 | 2009 |
| Compositional Modeling for Data-Centric Business Applications | 0 | 0.34 | 2008 |
| Compositional modeling for data-centric business applications | 2 | 0.39 | 2008 |
| Model Generation for Horn Logic with Stratified Negation | 10 | 0.60 | 2008 |
| Constructive techniques for meta- and model-level reasoning | 12 | 0.61 | 2007 |
| Towards a formal foundation for domain specific modeling languages | 16 | 0.98 | 2006 |
| Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality | 4 | 0.55 | 2006 |
| Using separation of concerns for embedded systems design | 9 | 0.77 | 2005 |
