Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ta'id Holmes, Uwe Zdun |
Refactoring Architecture Models for Compliance with Custom Requirements. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Brice Morin, Jakob Høgenes, Hui Song, Nicolas Harrand, Benoît Baudry |
Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lorena Arcega, Jaime Font 0001, Carlos Cetina |
Evolutionary Algorithm for Bug Localization in the Reconfigurations of Models at Runtime. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kühne 0001 |
Exploring Potency. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Besnard, Matthias Brun 0001, Frédéric Jouault, Ciprian Teodorov, Philippe Dhaussy |
Unified LTL Verification and Embedded Execution of UML Models. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Zoubek, Philip Langer, Tanja Mayerhofer |
Visualizations of Evolving Graphical Models in the Context of Model Review. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henrique O. Henriques, Hugo Lourenço, Vasco Amaral 0001, Miguel Goulão |
Improving the Developer Experience with a Low-Code Process Modelling Language. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juha-Pekka Tolvanen, Steven Kelly 0001 |
Effort Used to Create Domain-Specific Modeling Languages. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Loli Burgueño, Manuel F. Bertoa, Nathalie Moreno, Antonio Vallecillo |
Expressing Confidence in Models and in Model Transformation Elements. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat |
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, Michael von Wenckstern |
Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis |
Hybrid Co-simulation: It's About Time. |
MoDELS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luciane Telinski Wiedermann Agner, Timothy C. Lethbridge |
A Survey of Tool Use in Modeling Education. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Klare, Erik Burger, Max E. Kramer, Michael Langhammer, Timur Saglam, Ralf H. Reussner |
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh |
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Eder, Sergey Zverlov, Sebastian Voss, Maged Khalil, Alexandru Ipatiov |
Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Famelis, Julia Rubin, Krzysztof Czarnecki 0001, Rick Salay, Marsha Chechik |
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon Barner, Alexander Diewald, Jörn Migge, Ali Syed, Gerhard Fohler, Madeleine Faugère, Daniel Gracia Pérez |
DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom |
Why is My Component and Connector Views Specification Unsatisfiable? |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Bidirectional Transformations in the Large. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Abrahão, Francis Bordeleau, Betty H. C. Cheng, Sahar Kokaly, Richard F. Paige, Harald Störrle, Jon Whittle 0001 |
User Experience for Model-Driven Engineering: Challenges and Future Directions. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joel Greenyer, Timo Gutjahr |
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Leduc, Thomas Degueule, Benoît Combemale, Tijs van der Storm, Olivier Barais |
Revisiting Visitors for Modular Extension of Executable DSMLs. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gehan M. K. Selim, James R. Cordy, Juergen Dingel |
How is ATL Really Used? Language Feature Use in the ATL Zoo. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wortmann 0001, Benoît Combemale, Olivier Barais |
A Systematic Mapping Study on Modeling for Industry 4.0. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aravantinos, Sudeep Kanav |
Tool Support for Live Formal Verification. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Hidaka, Frédéric Jouault, Massimo Tisi |
On Additivity in Transformation Languages. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Hartmann 0001, Assaad Moawad, François Fouquet, Yves Le Traon |
The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ratiu, Vaclav Pech, Kolja Dummann |
Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wei Dou 0001, Domenico Bianculli, Lionel C. Briand |
A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amine Benelallam, Thomas Hartmann 0001, Ludovic Mouline, François Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon |
Raising Time Awareness in Model-Driven Engineering: Vision Paper. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | |
20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017 |
MoDELS |
2017 |
DBLP BibTeX RDF |
|
1 | Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró |
Property-Based Locking in Collaborative Modeling. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Diego Vaquero-Melchor, Javier Palomares, Esther Guerra, Juan de Lara |
Active Domain-Specific Languages: Making Every Mobile User a Modeller. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Ernadote |
Ontology-Based Pattern for System Engineering. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki 0001 |
Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis |
Heuristic-Based Recommendation for Metamodel - OCL Coevolution. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern |
Component and Connector Views in Practice: An Experience Report. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Zaytsev |
Language Design with Intent. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Taentzer, Rick Salay, Daniel Strüber 0001, Marsha Chechik |
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot |
Translating Target to Source Constraints in Model-to-Model Transformations. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marina Egea, Carolina Dania |
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Darko Durisic, Corrado Motta, Miroslaw Staron, Matthias Tichy |
Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige, Stuart Hutchesson |
Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Beckmann 0002, Vanessa N. Michalke, Aaron Schlutter, Andreas Vogelsang |
Removal of Redundant Elements within UML Activity Diagrams. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qusai Ramadan, Mattia Salnitri, Daniel Strüber 0001, Jan Jürjens, Paolo Giorgini |
From Secure Business Process Modeling to Design-Level Security Verification. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh Pai, Iain Whiteside |
Model-Driven Development of Safety Architectures. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Javier Luis Cánovas Izquierdo, Valerio Cosentino, Jordi Cabot |
An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Famelis, Marsha Chechik |
Managing Design-Time Uncertainty. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulyana Tikhonova |
Reusable Specification Templates for Defining Dynamic Semantics of DSLs. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bastian Ulke, Friedrich Steimann, Ralf Lämmel |
Partial Evaluation of OCL Expressions. |
MoDELS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nafiseh Kahani, Mojtaba Bagherzadeh, Juergen Dingel, James R. Cordy |
The problems with eclipse modeling tools: a topic analysis of eclipse forums. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Bader Alkhazi, Terry Ruas, Marouane Kessentini, Manuel Wimmer, William I. Grosky |
Automated refactoring of ATL model transformations: a search-based approach. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Edouard Batot, Houari A. Sahraoui |
A generic framework for model-set selection for the unification of testing and learning MDE tasks. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Jaime Font 0001, Lorena Arcega, Øystein Haugen, Carlos Cetina |
Feature location in models through a genetic algorithm driven by information retrieval techniques. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
A requirement driven testing method for multi-disciplinary system design. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Vlad Acretoaie, Harald Störrle, Daniel Strüber 0001 |
Model transformation for end-user modelers with VMTL. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Miao Fang, Georg Leyh, Jörg Dörr, Christoph Elsner |
Multi-variability modeling and realization for software derivation in industrial automation management. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Thomas Kühne 0001 |
Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik |
A model management approach for assurance case reuse due to system evolution. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Oszkár Semeráth, Csaba Debreceni, Ákos Horváth 0001, Dániel Varró |
Incremental backward change propagation of view models by logic solvers. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Gwendal Daniel, Gerson Sunyé, Jordi Cabot |
PrefetchML: a framework for prefetching and caching models. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Daniel Tuchscherer, Alexander Weibert, Frank Tränkle |
Modern C++ as a modeling language for automated driving and human-robot collaboration. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Xiao He, Paris Avgeriou, Peng Liang 0001, Zengyang Li |
Technical debt in MDE: a case study on GMF/EMF-based projects. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Ulf Rüegg, Rajneesh Lakkundi, Ashwin Prasad, Anand Kodaganur, Christoph Daniel Schulze, Reinhard von Hanxleden |
Incremental diagram layout for automated model migration. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Katrina Falkner, Claudia Szabo, Vanea Chiprianov |
Model-driven performance prediction of systems of systems. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa |
ThingML: a language and code generation framework for heterogeneous targets. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Nondini Das, Suchita Ganesan, Leo Jweda, Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel |
Supporting the model-driven development of real-time embedded systems with run-time monitoring and animation via highly customizable code generation. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige |
Partial loading of XMI models. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Fahad Rafique Golra, Antoine Beugnard, Fabien Dagnat, Sylvain Guérin, Christophe Guychard |
Using free modeling as an agile method for developing domain specific modeling languages. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Endre T. Somogyi, James P. Sluka, James A. Glazier |
Formalizing knowledge in multi-scale agent-based simulations. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Matthias Freund, Annerose Braune |
A generic transformation algorithm to simplify the development of mapping models. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Calypso Barnes, Jean-Marie Cottin, François Verdier, Alain Pegatoquet |
Towards the verification of industrial communication protocols through a simulation environment based on QEMU and systemC. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Antonio García-Domínguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Marcos Aurélio Almeida da Silva, Antonin Abherve, Alessandra Bagnato |
Integration of a graph-based model indexer in commercial modelling tools. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Ana Ivanchikj, Cesare Pautasso, Silvia Schreier |
Visual modeling of RESTful conversations with RESTalk. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Piotr Kosiuczenko |
On the synthesis of protocol state machines from contracts. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Regina Hebig, Truong Ho-Quang, Michel R. V. Chaudron, Gregorio Robles, Miguel Angel Fernández |
The quest for open source projects that use UML: mining GitHub. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Michael Szvetits, Uwe Zdun |
Controlled experiment on the comprehension of runtime phenomena using models created at design time. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin |
Process mining using BPMN: relating event logs and process models. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Stefan Karg, Alexander Raschke, Matthias Tichy, Grischa Liebel |
Model-driven software engineering in the openETCS project: project experiences and lessons learned. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Gábor Szárnyas, Zsolt Kovári, Ágnes Salánki, Dániel Varró |
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Fazle Rabbi 0001, Yngve Lamo, Ingrid Chieh Yu |
Towards a categorical approach for meta-modelling epistemic game theory. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Huihui Zhang, Tao Yue 0002, Shaukat Ali 0001, Chao Liu |
Towards mutation analysis for use cases. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Chetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer |
Extracting domain models from natural-language requirements: approach and industrial evaluation. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Nils Przigoda, Robert Wille, Rolf Drechsler |
Ground setting properties for an efficient translation of OCL in SMT-based model finding. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Massimo Tivoli |
Automatic generation of detailed flight plans from high-level mission descriptions. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró |
Query-based access control for secure collaborative modeling using bidirectional transformations. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, Jon Whittle 0001 |
Descriptive vs prescriptive models in industry. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Christian Prehofer, Andreas Wagner, Yucheng Jin |
A model-based approach for multi-device user interactions. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Gunter Blache |
Handling index-out-of-bounds in safety-critical embedded C code using model-based development. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Audris Kalnins, Janis Barzdins |
Metamodel specialization for graphical modeling language support. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Carolina Dania, Manuel Clavel |
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Byron DeVries, Betty H. C. Cheng |
Automatic detection of incomplete requirements via symbolic analysis. |
MoDELS |
2016 |
DBLP BibTeX RDF |
|
1 | Benoit Baudry, Benoît Combemale (eds.) |
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016 |
MoDELS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel C. Briand |
A model-based framework for probabilistic simulation of legal policies. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amal Khalil, Juergen Dingel |
Incremental symbolic execution of evolving state machines. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Lettner, Klaus Eder, Paul Grünbacher, Herbert Prähofer |
Feature modeling of two large-scale industrial software systems: Experiences and lessons learned. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tuhin Kanti Das, Juergen Dingel |
State machine antipatterns for UML-RT. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
Software supply chains (keynote). |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau |
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. |
MoDELS |
2015 |
DBLP DOI BibTeX RDF |
|