Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yu Sun 0002, Jeff Gray 0001 |
End-User Support for Debugging Demonstration-Based Model Transformation Execution. |
ECMFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lars Patzina, Sven Patzina, Thorsten Piper, Paul Manns |
Model-Based Generation of Run-Time Monitors for AUTOSAR. |
ECMFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Harald Störrle |
MOCQL: A Declarative Language for Ad-Hoc Model Querying. |
ECMFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Kleiner, Marcos Didonet Del Fabro, Davi De Queiroz Santos |
Transformation as Search. |
ECMFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Cariou, Olivier Le Goaër, Franck Barbier, Samson Pierre |
Characterization of Adaptable Interpreted-DSML. |
ECMFA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tao Yue 0002, Shaukat Ali 0001 |
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anjelika Votintseva, Petra Witschel, Nikolaus Regnat, Philipp Emanuel Stelzig |
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Behjati, Shiva Nejati, Tao Yue 0002, Arnaud Gotlieb, Lionel C. Briand |
Model-Based Automated and Guided Configuration of Embedded Software Systems. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Rieke, Oliver Sudmann |
Specifying Refinement Relations in Vertical Model Transformations. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Petr C. Smolik, Pavel Vitkovsky |
Code Generation Nirvana. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gehan M. K. Selim, Shige Wang, James R. Cordy, Jürgen Dingel |
Model Transformations for Migrating Legacy Models: An Industrial Case Study. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Mosser 0001, Mireille Blay-Fornarino, Laurence Duchien |
A Commutative Model Composition Operator to Support Software Adaptation. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Juan de Lara, Esther Guerra |
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Batori, Zoltán Theisz, Domonkos Asztalos |
Metamodel Based Methodology for Dynamic Component Systems. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios S. Kolovos, Louis M. Rose, James R. Williams, Nikolas Drivalos Matragkas, Richard F. Paige |
A Lightweight Approach for Managing XML Documents with MDE Languages. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ed Seidewitz |
Executable UML: From Multi-domain to Multi-core. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Clément Guy, Benoît Combemale, Steven Derrien, Jim Steel, Jean-Marc Jézéquel |
On Model Subtyping. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Varró, Anthony Anjorin, Andy Schürr |
Unification of Compiled and Interpreter-Based Pattern Matching Techniques. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Yvan Labiche, Yanhua Liu |
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Winkler, Mathias Fritzsche, Wasif Gilani, Alan Marshall 0001 |
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Lönn |
Models Meeting Automotive Design Challenges. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | István Ráth, Ábel Hegedüs, Dániel Varró |
Derived Features for EMF by Integrating Advanced Model Queries. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
OCL-Based Runtime Monitoring of Applications with Protocol State Machines. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf-Helge Pfeiffer, Andrzej Wasowski |
TexMo: A Multi-language Development Environment. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Maged Elaasar, Yvan Labiche |
Model Interchange Testing: A Process and a Case Study. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Kuhlmann, Martin Gogolla |
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gefei Zhang |
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Pinna Puissant, Ragnhild Van Der Straeten, Tom Mens |
Badger: A Regression Planner to Resolve Design Model Inconsistencies. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitrios S. Kolovos (eds.) |
Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kongens Lyngby, Denmark, July 2-5, 2012. Proceedings |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alek Radjenovic, Richard F. Paige, Louis M. Rose, Jim Woodcock 0001, Steve King 0001 |
A Plug-in Based Approach for UML Model Simulation. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank R. Burton, Richard F. Paige, Louis M. Rose, Dimitrios S. Kolovos, Simon M. Poulding, Simon Smith |
Solving Acquisition Problems Using Model-Driven Engineering. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Büttner, Jordi Cabot |
Lightweight String Reasoning for OCL. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Goldschmidt, Wolfgang Mahnke |
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tahir Naseer Qureshi, De-Jiu Chen, Martin Törngren |
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marius Lauder, Anthony Anjorin, Gergely Varró, Andy Schürr |
Bidirectional Model Transformation with Precedence Triple Graph Grammars. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colin Atkinson 0001, Ralph Gerbig, Bastian Kennel |
On-the-Fly Emendation of Multi-level Models. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ning Ge 0002, Marc Pantel |
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi 0001, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos |
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. |
ECMFA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Goldschmidt, Axel Uhl |
Incremental Updates for View-Based Textual Modelling. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tao Yue 0002, Shaukat Ali 0001, Lionel C. Briand |
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (eds.) |
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Behjati, Tao Yue 0002, Shiva Nejati, Lionel C. Briand, Bran Selic |
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Goetz Botterweck, Andreas Pleuss, Julia Rubin, Christa Schwanninger |
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011). |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Le Noir, Olivier Delande, Daniel Exertier, Marcos Aurélio Almeida da Silva, Xavier Blanc 0001 |
Operation Based Model Representation: Experiences on Inconsistency Detection. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Reda Bendraou, Rédouane Lbath, Bernard Coulette, Marie-Pierre Gervais |
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Dolques, Aymen Dogui, Jean-Rémy Falleri, Marianne Huchard, Clémentine Nebut, François Pfister |
Easing Model Transformation Learning with Automatically Aligned Examples. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Combemale, Laure Gonnord, Vlad Rusu |
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Jürjens, Loïc Marchal, Martín Ochoa, Holger Schmidt 0001 |
Incremental Security Verification for Evolving UMLsec models. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda |
A SysML Profile for Development and Early Validation of TLM 2.0 Models. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wilhelm Schäfer |
Building Advanced Mechatronic Systems. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller |
Agile Development with Domain Specific Languages. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ella E. Roubtsova, Ashley T. McNeile, Ekkart Kindler, Mehmet Aksit |
The Third Workshop on Behaviour Modelling - Foundations and Applications. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jordi Cabot, Patrick Albert, Grégoire Dupé, Marcos Didonet Del Fabro, Scott Uk-Jin Lee |
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen |
Analyzing Variability: Capturing Semantic Ripple Effects. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joel Greenyer, Sebastian Pook, Jan Rieke |
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Antonio Vallecillo |
Tractable Model Transformation Testing. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams |
Integrated Model Management with Epsilon. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maged Elaasar, Lionel C. Briand, Yvan Labiche |
Domain-Specific Model Verification with QVT. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Juha-Pekka Tolvanen |
Creating Domain-Specific Modelling Languages That Work: Hands-On. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rolf-Helge Pfeiffer, Andrzej Wasowski |
Taming the Confusion of Languages. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Doux, Patrick Albert, Gabriel Barbier, Jordi Cabot, Marcos Didonet Del Fabro, Scott Uk-Jin Lee |
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Colombo, Ferhat Khendek, Luigi Lavazza |
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung 0006, Detlef Kips, Michael Philippsen |
A FUML-Based Distributed Execution Machine for Enacting Software Process Models. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marie Ludwig, Nicolas Farcet, Jean-Philippe Babau, Joël Champeau |
Integrating Design and Runtime Variability Support into a System ADL. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser 0001, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang |
Aspect-Oriented Model Development at Different Levels of Abstraction. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ralf-Detlef Kutsche, Nikola Milanovic |
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ragnhild Van Der Straeten, Jorge Pinna Puissant, Tom Mens |
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vallecillo |
Improving Naming and Grouping in UML. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Gessenharter, Martin Rauscher |
Code Generation for UML 2 Activity Diagrams - Towards a Comprehensive Model-Driven Development Approach. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Imran Sarwar Bajwa, Mark G. Lee |
Transformation Rules for Translating Business Rules to OCL Constraints. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Bergmann, Ákos Horváth 0001, István Ráth, Dániel Varró |
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier |
Contracts for Model Execution Verification. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen C. Barrett, Patrice Chalin, Greg Butler |
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marouane Kessentini, Arbi Bouchoucha, Houari A. Sahraoui, Mounir Boukadoum |
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Colombo, Ferhat Khendek, Luigi Lavazza |
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Acher, Philippe Collet, Philippe Lahire, Robert B. France |
Comparing Approaches to Implement Feature Model Composition. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Malte Küster, Christian Gerth, Gregor Engels |
Dynamic Computation of Change Operations in Version Management of Business Process Models. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Diarmuid Corcoran |
The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Balderas-Contreras, Gustavo Rodríguez Gómez, René Cumplido |
A UML 2.0 Profile to Model Block Cipher Algorithms. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tao Yue 0002, Lionel C. Briand, Yvan Labiche |
An Automated Approach to Transform Use Cases into Activity Diagrams. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes 0001 |
Concordance: A Framework for Managing Model Integrity. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Martin Jung 0006, Detlef Kips, Michael Philippsen |
eSPEM - A SPEM Extension for Enactable Behavior Modeling. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Walter, Fernando Silva Parreiras, Steffen Staab, Jürgen Ebert |
Joint Language and Domain Engineering. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Bruneliere, Jordi Cabot, Cauê Clasen, Frédéric Jouault, Jean Bézivin |
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Crégut, Benoît Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei |
Generative Technologies for Model Animation in the TopCased Platform. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini |
Model-Driven Engineering of Machine Executable Code. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ali Koudri, Joël Champeau, Jean-Christophe Le Lann, Vincent Leilde |
MoPCoM Methodology: Focus on Models of Computation. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashley Sterritt, Siobhán Clarke, Vinny Cahill |
Precise Specification of Design Pattern Structure and Behaviour. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Anis Charfi, Heiko Müller 0004, Mira Mezini |
Aspect-Oriented Business Process Modeling with AO4BPMN. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schmidt, Jan Polowinski, Jendrik Johannes, Miguel A. Fernández |
An Integrated Facet-Based Library for Arbitrary Software Components. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Colin Atkinson 0001 |
Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Erick Lopez-Herrejon, Alexander Egyed |
Detecting Inconsistencies in Multi-View Models with Variability. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Trujillo, Jose Miguel Garate, Roberto Erick Lopez-Herrejon, Xabier Mendialdua, Albert Rosado, Alexander Egyed, Charles W. Krueger, Josune De Sosa |
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rupesh Kakade, Mohan Murugesan, Bhupal Perugu, Mohanan Nair |
Model-Based Development of Automotive Electronic Climate Control Software. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jendrik Johannes, Miguel A. Fernández |
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Kleiner, Marcos Didonet Del Fabro, Patrick Albert |
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets |
A Reflective Approach to Model-Driven Web Engineering. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kühne 0001, Bran Selic, Marie-Pierre Gervais, François Terrier (eds.) |
Modelling Foundations and Applications - 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vallecillo |
On the Combination of Domain Specific Modeling Languages. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kouichi Ono, Manabu Toyota, Ryo Kawahara, Yoshifumi Sakamoto, Takeo Nakada, Naoaki Fukuoka |
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|