MOMPES

Publications

volume 7706, 2013

Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers MOMPES 7706 (2013)

2012

Kent Inge Fagerland Simonsen, Lars Michael Kristensen
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. MOMPES (2012)
Adil Anwar, Amine Benelallam, Mahmoud Nassar, Bernard Coulette
A Graphical Specification of Model Composition with Triple Graph Grammars. MOMPES (2012)
Marco Mori, Anthony Cleve
Feature-Based Adaptation of Database Schemas. MOMPES (2012)
Markus Klotzbücher, Herman Bruyninckx
A Lightweight, Composable Metamodelling Language for Specification and Validation of Internal Domain Specific Languages. MOMPES (2012)
Madalena Gonçalves, João M. Fernandes
Guidelines for Modelling Reactive Systems with Coloured Petri Nets. MOMPES (2012)
Kevin Falzon, Gordon J. Pace
Combining Testing and Runtime Verification Techniques. MOMPES (2012)
Rui Couto, António Nestor Ribeiro, José Creissac Campos
MapIt: A Model Based Pattern Recovery Tool. MOMPES (2012)
Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski
Analysis of Simulink Models Using Databases and Model Transformations. MOMPES (2012)

2010