|
|
|
|
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.  |
MoDeVVa@MoDELS  |
2016 |
DBLP BibTeX RDF |
|
| 1 | J. Christian Attiogbé |
Mapping Component Models on Distributed Architectures: Correctness Checking. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Christian Dernehl, Jan Kühn, Stefan Kowalewski |
Abstract Interpretation for Block Diagrams - Two Case Studies. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Nils Przigoda, Frank Hilken, Judith Peters, Robert Wille, Martin Gogolla, Rolf Drechsler |
Integrating an SMT-Based ModelFinder into USE. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Faisal Alhwikem, Richard F. Paige, Louis Rose, Rob Alexander |
A Systematic Approach for Designing Mutation Operators for MDE Languages. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Opeyemi Adesina, Stéphane S. Somé, Timothy Lethbridge |
Modeling State Diagrams with And-Cross Transitions. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Harald Störrle, Alexander Knapp |
Discovering Timing Feature Interactions with Timed UML 2 Interactions. |
MoDeVVa@MoDELS |
2016 |
DBLP BibTeX RDF |
|
| 1 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Towards User-Friendly and Efficient Analysis with Alloy. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario |
Active World Model for Testing Autonomous Systems Using CEFSM. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay |
Merging Features in Featured Transition Systems. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann |
Domain-Specific Model Checking for Cyber-Physical Systems. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Andreas Demuth, Markus Riedl-Ehrenleitner, Roberto E. Lopez-Herrejon, Alexander Egyed |
Towards Safe Model Transformation for Constraint-driven Modeling. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
| 1 | Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai |
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Scalable Verification of Model Transformations. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jesús J. López-Fernández, Esther Guerra, Juan de Lara |
Assessing the Quality of Meta-models. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Frank Hilken, Philipp Niemann 0001, Robert Wille, Martin Gogolla |
Towards a Base Model for UML and OCL Verification. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Loïc Gammaitoni, Pierre Kelsen, Fabien Mathey |
Verifying Modelling Languages using Lightning: a Case Study. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Sebastian J. I. Herzig, Christiaan J. J. Paredis |
Bayesian Reasoning Over Models. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Erwan Bousse, Benoît Combemale, Benoit Baudry |
Towards Scalable Multidimensional Execution Traces for xDSMLs. |
MoDeVVa@MoDELS |
2014 |
DBLP BibTeX RDF |
|
| 1 | Jan Olaf Blech |
Ensuring OSGi Component Based Properties at Runtime with Behavioral Types. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Christian Prehofer |
Feature-based Development of State Transition Diagrams with Property Preservation. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Pascal André, Jean-Marie Mottu, Gilles Ardourel |
Building Test Harness From Service-based Component Models. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nico Nachtigall, Benjamin Braatz, Thomas Engel 0001 |
Symbolic Execution of Satellite Control Procedures in Graph-Transformation-Based EMF Ecosystems. |
MoDeVVa@MoDELS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Stefan Mijatov, Philip Langer, Tanja Mayerhofer, Gerti Kappel |
A Framework for Testing UML Activities Based on fUML. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Raji, Philippe Dhaussy |
Improving formal verification practicability through user oriented models and context-awareness. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Surya Bahadur Kathayat, Rolv Bræk |
Analyzing realizability of choreographies using initiating and responding flows. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen |
Specifying a testing oracle for train stations. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay |
Partial models: a position paper. |
MoDeVVa@MoDELS |
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 |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Azzam Maraee, Mira Balaban |
On the interaction of inter-relationship constraints. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Håkan Burden, Rogardt Heldal |
Natural language generation from class diagrams. |
MoDeVVa@MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Büttner, Jordi Cabot, Martin Gogolla |
On validation of ATL transformation rules by transformation models. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres, Irum Rauf |
Generating class contracts from UML protocol statemachines. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Márk Asztalos, László Lengyel, Tihamer Levendovszky |
A formalism for describing modeling transformations for verification. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
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. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Seyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar |
From UML to Alloy and back again. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Siamak Haschemi |
Model transformations to satisfy all-configurations-transitions on statecharts. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Keller, Hans Schippers, Serge Demeyer |
Supporting inconsistency resolution through predictive change impact analysis. |
MoDeVVa@MoDELS |
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 |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license