MoDeVVa@MoDELS

Keyphrases

Publications

2016

J. Christian Attiogbé
Mapping Component Models on Distributed Architectures: Correctness Checking. MoDeVVa@MoDELS (2016)
Christian Dernehl, Jan Kühn, Stefan Kowalewski
Abstract Interpretation for Block Diagrams - Two Case Studies. MoDeVVa@MoDELS (2016)
Harald Störrle, Alexander Knapp
Discovering Timing Feature Interactions with Timed UML 2 Interactions. MoDeVVa@MoDELS (2016)
Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler
Integrating an SMT-Based ModelFinder into USE. MoDeVVa@MoDELS (2016)
Faiez Zalila, Xavier Crégut, Marc Pantel
A DSL to Feedback Formal Verification Results. MoDeVVa@MoDELS (2016)
Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge
Modeling State Diagrams with And-Cross Transitions. MoDeVVa@MoDELS (2016)
Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander
A Systematic Approach for Designing Mutation Operators for MDE Languages. MoDeVVa@MoDELS (2016)

volume 1713, 2016

Proceedings of the 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016. MoDeVVa@MoDELS 1713 (2016)

2015

volume 1514, 2015

Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. MoDeVVa@MoDELS 1514 (2015)

2014

volume 1235, 2014

Proceedings of the 11th Workshop on Model-Driven Engineering, Verification and Validation co-located with 17th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MODELS 2014, Valencia, Spain, September 30, 2014. MoDeVVa@MoDELS 1235 (2014)

2013

volume 1069, 2013

Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013. MoDeVVa@MoDELS 1069 (2013)

2011