publication venue for
- Positioning verification in the context of software/system certification 2012
- Aligning OCL with Domain-Specific Languages to support instance-level model queries 2006
- Graph transformation with symbolic attributes via monadic coalgebra homomorphisms. 71. 2015
- Model-based WCET analysis with invariants. 72. 2015
- An Approach for Model Querying-by-Example Applied to Multi- Paradigm Models. 50:327 kB-327 kB. 2013
- From System Requirements to Software Requirements in the Four-Variable Model. 66. 2013
- Co-tabulations, bicolimits and Van-Kampen squares in collagories. 29. 2010
- A generic graph transformation, visualisation, and editing framework in Haskell. 18. 2009
- Observations for Assertion-based Scenarios in the context of Model Validation. 15:191 kB-191 kB. 2008
- Observations for Assertion-based Scenarios in the context of Model Validation. 191 kB-191 kB. 2008
- Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. 9:174 kB-174 kB. 2007