|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Faiez Zalila, Xavier Crégut, Marc Pantel |
A DSL to Feedback Formal Verification Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 30-39, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | J. Christian Attiogbé |
Mapping Component Models on Distributed Architectures: Correctness Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 1-9, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Christian Dernehl, Jan Kühn, Stefan Kowalewski |
Abstract Interpretation for Block Diagrams - Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 20-29, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
Integrating an SMT-Based ModelFinder into USE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 40-45, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander |
A Systematic Approach for Designing Mutation Operators for MDE Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 54-59, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Michalis Famelis, Daniel Ratiu, Gehan M. K. Selim (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge |
Modeling State Diagrams with And-Cross Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 46-53, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Harald Störrle, Alexander Knapp |
Discovering Timing Feature Interactions with Timed UML 2 Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 10-19, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Towards User-Friendly and Efficient Analysis with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 28-37, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario |
Active World Model for Testing Autonomous Systems Using CEFSM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 1-10, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
Merging Features in Featured Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 38-43, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann |
Domain-Specific Model Checking for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 18-27, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed |
Towards Safe Model Transformation for Constraint-driven Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 11-17, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 44-47, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai |
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 79-88, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Scalable Verification of Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 29-38, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Maria Spichkova, Jan Olaf Blech, Peter Herrmann, Heinz W. Schmidt |
Modeling Spatial Aspects of Safety-Critical Systems with Focus-ST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 49-58, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Jesús J. López-Fernández, Esther Guerra, Juan de Lara |
Assessing the Quality of Meta-models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 3-12, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Frank Hilken, Philipp Niemann 0001, Robert Wille, Martin Gogolla |
Towards a Base Model for UML and OCL Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 59-68, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey |
Verifying Modelling Languages using Lightning: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 19-28, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Sebastian J. I. Herzig, Christiaan J. J. Paredis |
Bayesian Reasoning Over Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 69-78, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Julien Brunel, David Chemouil, Laurent Rioux, Mohamed Bakkali, Frédérique Vallée |
A Viewpoint-Based Approach for Formal Safety & Security Assessment of System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 39-48, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Erwan Bousse, Benoît Combemale, Benoit Baudry |
Towards Scalable Multidimensional Execution Traces for xDSMLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 13-18, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Jan Olaf Blech |
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 51-60, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter |
Research Questions for Validation and Verification in the Context of Model-Based Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 67-76, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Christian Prehofer |
Feature-based Development of State Transition Diagrams with Property Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 21-30, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Mustafa Al-Lail, Ramadan Abdunabi, Robert B. France, Indrakshi Ray |
An Approach to Analyzing Temporal Properties in UML Class Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 77-86, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Pascal André, Jean-Marie Mottu, Gilles Ardourel |
Building Test Harness From Service-based Component Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 11-20, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl |
Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 31-40, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff |
Applying Model Transformation and Event-B for Specifying an Industrial DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 41-50, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Nico Nachtigall, Benjamin Braatz, Thomas Engel 0001 |
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 61-66, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel |
A Framework for Testing UML Activities Based on fUML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: 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., pp. 1-10, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Frédéric Boulanger, Michalis Famelis, Daniel Ratiu (eds.) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Tamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky |
Runtime model validation with parallel object constraint language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 7:1-7:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amine Raji, Philippe Dhaussy |
Improving formal verification practicability through user oriented models and context-awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 4:1-4:4, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Surya Bahadur Kathayat, Rolv Bræk |
Analyzing realizability of choreographies using initiating and responding flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 6:1-6:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen |
Specifying a testing oracle for train stations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 5:1-5:6, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay |
Partial models: a position paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 1:1-1:4, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Weißleder, Levi Lúcio, Harald Cichos, Frédéric Fondement (eds.) |
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![ACM, 978-1-4503-0914-1 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Soeken, Robert Wille, Rolf Drechsler |
Towards automatic determination of problem bounds for object instantiation in static model verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 2:1-2:4, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Azzam Maraee, Mira Balaban |
On the interaction of inter-relationship constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 3:1-3:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Håkan Burden, Rogardt Heldal |
Natural language generation from class diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 8:1-8:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Büttner, Jordi Cabot, Martin Gogolla |
On validation of ATL transformation rules by transformation models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa, Wellington, New Zealand, October 17, 2011, pp. 9:1-9:8, 2011, ACM, 978-1-4503-0914-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Victor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban |
Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 1:1-1:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Porres, Irum Rauf |
Generating class contracts from UML protocol statemachines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 8:1-8:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mlynarski, Baris Güldali, Melanie Späth, Gregor Engels |
From design models to test models by means of test ideas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 7:1-7:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Márk Asztalos, László Lengyel, Tihamer Levendovszky |
A formalism for describing modeling transformations for verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 2:1-2:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett R. Bryant |
Verification of DSMLs using graph transformation: a case study with Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 3:1-3:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis |
Automated model-based testing using the UML testing profile and QVT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 6:1-6:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar |
From UML to Alloy and back again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 4:1-4:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Siamak Haschemi |
Model transformations to satisfy all-configurations-transitions on statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 5:1-5:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anne Keller, Hans Schippers, Serge Demeyer |
Supporting inconsistency resolution through predictive change impact analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![In: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009, pp. 9:1-9:10, 2009, ACM, 978-1-60558-876-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Levi Lúcio, Stephan Weißleder (eds.) |
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October 5, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDeVVa@MoDELS ![ACM, 978-1-60558-876-6 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|