Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ta'id Holmes, Uwe Zdun |
Refactoring Architecture Models for Compliance with Custom Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 267-277, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 155-165, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 90-100, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kühne 0001 |
Exploring Potency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 2-12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 112-122, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florian Zoubek, Philip Langer, Tanja Mayerhofer |
Visualizations of Evolving Graphical Models in the Context of Model Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 381-391, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 200-210, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Juha-Pekka Tolvanen, Steven Kelly 0001 |
Effort Used to Create Domain-Specific Modeling Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 235-244, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 57-66, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat |
Expressive and Efficient Model Transformation with an Internal DSL of Xtend. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 78-88, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 447-457, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 368, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luciane Telinski Wiedermann Agner, Timothy C. Lethbridge |
A Survey of Tool Use in Modeling Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 303-311, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 221-228, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Al-Refai, Walter Cazzola, Sudipto Ghosh |
A Fuzzy Logic Based Approach for Model-Based Regression Test Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 55-62, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 270-280, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 93-100, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 259-269, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom |
Why is My Component and Connector Views Specification Unsatisfiable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 134-144, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Perdita Stevens |
Bidirectional Transformations in the Large. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 1-11, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 229-236, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joel Greenyer, Timo Gutjahr |
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 312-322, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 112-122, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 34-44, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wortmann 0001, Benoît Combemale, Olivier Barais |
A Systematic Mapping Study on Modeling for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 281-291, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Aravantinos, Sudeep Kanav |
Tool Support for Live Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 145-155, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Soichiro Hidaka, Frédéric Jouault, Massimo Tisi |
On Additivity in Transformation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 23-33, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 180, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 83-92, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 323-333, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 181-188, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![IEEE Computer Society, 978-1-5386-3492-9 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Csaba Debreceni, Gábor Bergmann, István Ráth, Dániel Varró |
Property-Based Locking in Collaborative Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 199-209, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 75-82, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Ernadote |
Ontology-Based Pattern for System Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 248-258, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 178, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edouard Batot, Wael Kessentini, Houari A. Sahraoui, Michalis Famelis |
Heuristic-Based Recommendation for Metamodel - OCL Coevolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 210-220, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 167-177, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vadim Zaytsev |
Language Design with Intent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 45-52, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 101-111, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 12-22, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marina Egea, Carolina Dania |
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 54, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 189-198, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 237-247, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Beckmann 0002, Vanessa N. Michalke, Aaron Schlutter, Andreas Vogelsang |
Removal of Redundant Elements within UML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 334-343, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 123-133, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, Ganesh Pai, Iain Whiteside |
Model-Driven Development of Safety Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 156-166, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 292-302, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Famelis, Marsha Chechik |
Managing Design-Time Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 179, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulyana Tikhonova |
Reusable Specification Templates for Defining Dynamic Semantics of DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 74, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bastian Ulke, Friedrich Steimann, Ralf Lämmel |
Partial Evaluation of OCL Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, pp. 63-73, 2017, IEEE Computer Society, 978-1-5386-3492-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 227-237, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 295-304, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 374-384, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 272-282, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Martial Chabot, Laurence Pierre, Alexandre Nabais-Moreno |
A requirement driven testing method for multi-disciplinary system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 396-405, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Vlad Acretoaie, Harald Störrle, Daniel Strüber 0001 |
Model transformation for end-user modelers with VMTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 305, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 2-12, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Thomas Kühne 0001 |
Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 95-102, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 196-206, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 306-316, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Gwendal Daniel, Gerson Sunyé, Jordi Cabot |
PrefetchML: a framework for prefetching and caching models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 318-328, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 136-142, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 162-172, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 185-195, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Katrina Falkner, Claudia Szabo, Vanea Chiprianov |
Model-driven performance prediction of systems of systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 44, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Nicolas Harrand, Franck Fleurey, Brice Morin, Knut Eilif Husa |
ThingML: a language and code generation framework for heterogeneous targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 125-135, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 36-43, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 329-339, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 24-34, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Endre T. Somogyi, James P. Sluka, James A. Glazier |
Formalizing knowledge in multi-scale agent-based simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 115-122, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Matthias Freund, Annerose Braune |
A generic transformation algorithm to simplify the development of mapping models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 284-294, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 207-214, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 340-350, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Ana Ivanchikj, Cesare Pautasso, Silvia Schreier |
Visual modeling of RESTful conversations with RESTalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 114, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Piotr Kosiuczenko |
On the synthesis of protocol state machines from contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 76-85, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 173-183, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Michael Szvetits, Uwe Zdun |
Controlled experiment on the comprehension of runtime phenomena using models created at design time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 151-161, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 123, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 238-248, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 87-94, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Fazle Rabbi 0001, Yngve Lamo, Ingrid Chieh Yu |
Towards a categorical approach for meta-modelling epistemic game theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 57-64, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Huihui Zhang, Tao Yue 0002, Shaukat Ali 0001, Chao Liu |
Towards mutation analysis for use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 363-373, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 250-260, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 261-271, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 45-55, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 351-361, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag, Jon Whittle 0001 |
Descriptive vs prescriptive models in industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 216-226, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Christian Prehofer, Andreas Wagner, Yucheng Jin |
A model-based approach for multi-device user interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 13-23, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Gunter Blache |
Handling index-out-of-bounds in safety-critical embedded C code using model-based development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 143-149, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Audris Kalnins, Janis Barzdins |
Metamodel specialization for graphical modeling language support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 103-112, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 65-75, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Byron DeVries, Betty H. C. Cheng |
Automatic detection of incomplete requirements via symbolic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, pp. 385-395, 2016, ACM, 978-1-4503-4321-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![ACM, 978-1-4503-4321-3 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 70-79, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Amal Khalil, Juergen Dingel |
Incremental symbolic execution of evolving state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 14-23, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 386-395, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tuhin Kanti Das, Juergen Dingel |
State machine antipatterns for UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 54-63, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
Software supply chains (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 2, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015, pp. 358-367, 2015, IEEE Computer Society, 978-1-4673-6908-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|