Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tobias Kuschke, Patrick Mäder, Patrick Rempel |
Recommending Auto-completions for Software Modeling Activities. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jon Whittle 0001, John Edward Hutchinson, Mark Rouncefield, Håkan Burden, Rogardt Heldal |
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hui Song, Stephen Barrett, Aidan Clarke, Siobhán Clarke |
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Famelis, Rick Salay, Alessio Di Sandro, Marsha Chechik |
Transformation of Models Containing Uncertainty. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Don S. Batory, Eric Latimer, Maider Azanza |
Teaching Model Driven Engineering from a Relational Database Perspective. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Borislav Iordanov, Assia Alexandrova, Syed Abbas, Thomas Hilpold, Phani Upadrasta |
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann, Bastian Ulke |
Generic Model Assist. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Saad, Bernhard Bauer |
Data-Flow Based Model Analysis and Its Applications. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Florian Noyrit, Sébastien Gérard, François Terrier |
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Zhang 0025, Xing Chen 0002, Ying Zhang 0012, Yihan Wu, Wei Yao, Gang Huang 0001, Qiang Lin |
Runtime Model Based Management of Diverse Cloud Resources. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hamann, Martin Gogolla |
Endogenous Metamodeling Semantics for Structural UML 2 Concepts. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ethem Arkin, Bedir Tekinerdogan, Kayhan M. Imre |
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Omar Alam, Jörg Kienzle, Gunter Mussbacher |
Concern-Oriented Software Design. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kleinner Farias, Alessandro Garcia 0001, Jon Whittle 0001, Carlos José Pereira de Lucena |
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martins Francis, Dimitrios S. Kolovos, Nikolaos Drivalos Matragkas, Richard F. Paige |
Adding Spreadsheets to the MDE Toolkit. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joel Greenyer, Ekkart Kindler |
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Javier Gonzalez-Huerta, Emilio Insfrán, Silvia Abrahão |
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Fernandes Pires, Thomas Polacsek, Virginie Wiels, Stéphane Duprat |
Behavioural Verification in Embedded Software, from Model to Source Code. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Fondement, Pierre-Alain Muller, Laurent Thiry, Brice Wittmann, Germain Forestier |
Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wuliang Sun, Robert B. France, Indrakshi Ray |
Contract-Aware Slicing of UML Class Models. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mira Balaban, Azzam Maraee |
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Faiez Zalila, Xavier Crégut, Marc Pantel |
Formal Verification Integration Approach for DSML. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Regina Hebig, Holger Giese, Florian Stallmann, Andreas Seibel |
On the Complex Nature of MDE Evolution. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Moreira 0001, Bernhard Schätz, Jeff Gray 0001, Antonio Vallecillo, Peter J. Clarke (eds.) |
Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale |
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jose Luis de la Vara, Rajwinder Kaur Panesar-Walawege |
SafetyMet: A Metamodel for Safety Standards. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hector Miguel Chavez, Wuwei Shen, Robert B. France, Benjamin A. Mechling |
An Approach to Testing Java Implementation against Its UML Class Model. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kunming Nie, Tao Yue 0002, Shaukat Ali 0001, Li Zhang 0029, Zhiqiang Fan |
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed |
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maged Elaasar, Adam Neal |
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Wang 0001, Arnaud Gotlieb, Shaukat Ali 0001, Marius Liaaen |
Automated Test Case Selection Using Feature Model: An Industrial Case Study. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Karolina Zurowska, Jürgen Dingel |
Model Checking of UML-RT Models Using Lazy Composition. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Wimmer, Loli Burgueño |
Testing M2T/T2M Transformations. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Oszkár Semeráth, Ákos Horváth 0001, Dániel Varró |
Validation of Derived Features and Well-Formedness Constraints in DSLs - By Mapping Graph Queries to an SMT-Solver. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo |
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits |
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Asha Rajbhoj, Sreedhar Reddy |
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury |
Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology. |
MoDELS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Aranda, Daniela E. Damian, Arber Borici |
Transition to Model-Driven Engineering - What Is Revolutionary, What Remains the Same? |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Büttner, Marina Egea, Jordi Cabot |
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Donghwan Shin 0001, Eunkyoung Jee, Doo-Hwan Bae |
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Reder, Alexander Egyed |
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Florian Noyrit, Sébastien Gérard, Bran Selic |
FacadeMetamodel: Masking UML. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue 0002 |
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Julia Schroeter, Malte Lochau, Tim Winkelmann |
Multi-perspectives on Feature Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sagar Sunkle, Vinay Kulkarni |
Cost Estimation for Model-Driven Engineering. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Yaniv Sa'ar |
Assume-Guarantee Scenarios: Semantics and Synthesis. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Sindico, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli |
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Combemale, Xavier Thirioux, Benoit Baudry |
Formally Defining and Iterating Infinite Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Kainz, Christian Buckl, Alois C. Knoll |
A Generic Approach Simplifying Model-to-Model Transformation Chains. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Zohaib Z. Iqbal, Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand |
Experiences of Applying UML/MARTE on Three Industrial Projects. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Galina Besova, Sven Walther, Heike Wehrheim, Steffen Becker 0001 |
Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yu Sun 0002, Jeff Gray 0001, Karlheinz Bulheller, Nicolaus von Baillou |
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ethan K. Jackson, Wolfram Schulte, Nikolaj S. Bjørner |
Detecting Specification Errors in Declarative Languages with Constraints. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chris Shaver, Edward A. Lee |
The Coroutine Model of Computation. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James R. Williams, Frank R. Burton, Richard F. Paige, Fiona A. C. Polack |
Sensitivity Analysis in Model-Driven Engineering. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Grammel, Stefan Kastenholz, Konrad Voigt |
Model Matching for Trace Link Generation in Model-Driven Software Development. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hamann, Oliver Hofrichter, Martin Gogolla |
On Integrating Structure and Behavior Modeling with OCL. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fazle Rabbi 0001, Wendy MacCaull |
T□: A Domain Specific Language for Rapid Workflow Development. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Moisés Castelo Branco, Javier Troya, Krzysztof Czarnecki 0001, Jochen Malte Küster, Hagen Völzer |
Matching Business Process Workflows across Abstraction Levels. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos A. González, Jordi Cabot |
ATLTest: A White-Box Test Generation Approach for ATL Transformations. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gunnar Schulze, Joanna Chimiak-Opoka, Jim Arlow |
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Tao Yue 0002, Lionel C. Briand, Suneth Walawege |
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Favre, Ralf Lämmel, Andrei Varanovich |
Modeling the Linguistic Architecture of Software Products. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rick Salay, Shige Wang, Vivien Suen |
Managing Related Models in Vehicle Control Software Development. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Germán H. Alférez, Vicente Pelechano |
Dynamic Evolution of Context-Aware Systems with Models at Runtime. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | El Arbi Aboussoror, Ileana Ober, Iulian Ober |
Seeing Errors: Model Driven Simulation Trace Visualization. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yihan Wu, Gang Huang 0001, Hui Song, Ying Zhang 0012 |
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carmine Gravino, Michele Risi, Giuseppe Scanniello, Genoveffa Tortora |
Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen |
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hajer Saada, Xavier Dolques, Marianne Huchard, Clémentine Nebut, Houari A. Sahraoui |
Generation of Operational Transformation Rules from Examples of Model Transformations. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rolf-Helge Pfeiffer, Andrzej Wasowski |
Cross-Language Support Mechanisms Significantly Aid Software Development. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ábel Hegedüs, Ákos Horváth 0001, István Ráth, Dániel Varró |
Query-Driven Soft Interconnection of EMF Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andres J. Ramirez, Betty H. C. Cheng, Nelly Bencomo, Pete Sawyer |
Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinay Kulkarni, Souvik Barat, Suman Roychoudhury |
Towards Business Application Product Lines. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shiva Nejati, Stefano Di Alesio, Mehrdad Sabetzadeh, Lionel C. Briand |
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Azzam Maraee, Mira Balaban |
Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Kuhlmann, Martin Gogolla |
From UML and OCL to Relational Logic and Back. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Sánchez Cuadrado, Juan de Lara, Esther Guerra |
Bottom-Up Meta-Modelling: An Interactive Approach. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel |
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson 0001 (eds.) |
Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aranega, Anne Etien, Sébastien Mosser 0001 |
Using Feature Model to Build Model Transformation Chains. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kleinner Farias, Alessandro Garcia 0001, Carlos José Pereira de Lucena |
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger |
Quantitative Reactive Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kleinner Farias, Alessandro Garcia 0001, Jon Whittle 0001, Christina Chavez, Carlos José Pereira de Lucena |
Evaluating the Effort of Composing Design Models: A Controlled Experiment. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zille Huma, Christian Gerth, Gregor Engels, Oliver Juwig |
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Scheidgen, Anatolij Zubow, Joachim Fischer, Thomas H. Kolbe |
Automated and Transparent Model Fragmentation for Persisting Large Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Behjati, Tao Yue 0002, Lionel C. Briand |
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, Daniela Lettner |
Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Kuhn, Gail C. Murphy, C. Albert Thompson |
An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yann Moffett, Alain Beaulieu, Jürgen Dingel |
Verifying UML-RT Protocol Conformance Using Model Checking. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Sagar |
Creating Models for Simulating the Face. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shaukat Ali 0001, Lionel C. Briand, Andrea Arcuri, Suneth Walawege |
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey |
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann |
Constraint-Based Model Refactoring. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jon Whittle 0001, Tony Clark 0001, Thomas Kühne 0001 (eds.) |
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot |
Lazy Execution of Model-to-Model Transformations. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Feinerer, Gernot Salzer, Tanja Sisel |
Reducing Multiplicities in Class Diagrams. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Cuccuru, Sébastien Gérard, François Terrier |
Defining MARTE's VSL as an Extension of Alf. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Kainz, Christian Buckl, Alois C. Knoll |
Automated Model-to-Metamodel Transformations Based on the Concepts of Deep Instantiation. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|