Abstract
No abstract available.
Cited By
- Gemeinhardt F, Garmendia A, Wimmer M and Wille R (2024). A Model-Driven Framework for Composition-Based Quantum Circuit Design, ACM Transactions on Quantum Computing, 5:4, (1-36), Online publication date: 31-Dec-2025.
- Mittal R and Blouin D (2024). Facilitating AADL Model Processing and Analysiswith OSATE-DIM, ACM SIGAda Ada Letters, 44:1, (53-57), Online publication date: 2-Dec-2024.
- Mozaffari M, Dignös A, Gamper J and Störl U (2024). Self-tuning Database Systems: A Systematic Literature Review of Automatic Database Schema Design and Tuning, ACM Computing Surveys, 56:11, (1-37), Online publication date: 30-Nov-2024.
- Muttillo V, Di Sipio C, Rubei R, Berardinelli L and Dehghani M Towards Synthetic Trace Generation of Modeling Operations using In-Context Learning Approach Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, (619-630)
- Gerasimov A, Jansen N, Michael J and Rumpe B Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (29-43)
- Richardson N, Kolovos D and Garcia-Dominguez A Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, (16-28)
- Kienzle J, Zschaler S, Barnett W, Sağlam T, Bucchiarone A, Abrahão S, Syriani E, Kolovos D, Lethbridge T, Mustafiz S and Meacham S (2024). Requirements for modelling tools for teaching, Software and Systems Modeling (SoSyM), 23:5, (1055-1073), Online publication date: 1-Oct-2024.
- Marchezan L, Homolka M, Blokhin A, Assunção W, Herac E and Egyed A A Tool for Collaborative Consistency Checking During Modeling Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (655-659)
- Jansen N, Rumpe B and Schmalzing D A Synopsis on Import Statements in Modeling Languages Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (1161-1169)
- Hoyos Rodriguez H, Bandur V, Pantelic V, Lawford M and Paige R Towards Model Product Lines: Composition of EMF Models Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (1146-1155)
- Hagel N, Hili N and Schwab D Turning Low-Code Development Platforms into True No-Code with LLMs Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (876-885)
- Amrani M, Mittal R, Goulão M, Amaral V, Guérin S, Martínez S, Blouin D, Bhobe A and Hallak Y A Survey of Federative Approaches for Model Management in MBSE Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (990-999)
- Anjorin A, Buchmann T and Fritsche L Benchmarx 2.0: A Benchmark for Concurrent Model Synchronisation Approaches Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (950-959)
- Tuyishime A, Basciani F, Canovas Izquierdo J and Iovino L Enhancing Model Management with Automated REST API Generation Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (36-40)
- Cederbladh J, Eisenberg M, Berardinelli L and Bilic D Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems Engineering Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (299-310)
- Curzi-Laliberté B, Fokaefs M, Famelis M and Hamdaqa M EpiMDE: A-Model Driven Engineering Platform for Epidemiological Modeling Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (226-236)
- Naveed H, Grundy J, Arora C, Khalajzadeh H and Haggag O Towards Runtime Monitoring for Responsible Machine Learning using Model-driven Engineering Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (195-202)
- López J, Földiák M and Varró D Text2VQL: Teaching a Model Query Language to Open-Source Language Models with ChatGPT Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (13-24)
- Bach J, Beugnard A, Champeau J, Dagnat F, Guérin S and Martínez S 10 years of Model Federation with Openflexo: Challenges and Lessons Learned Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, (25-36)
- Vaudey J, Mocanu S, Delaval G and Rutten E An IEC 62443-security oriented domain specific modelling language Proceedings of the 19th International Conference on Availability, Reliability and Security, (1-10)
- Chillón A, Klettke M, Ruiz D and Molina J (2024). A Generic Schema Evolution Approach for NoSQL and Relational Databases, IEEE Transactions on Knowledge and Data Engineering, 36:7, (2774-2789), Online publication date: 1-Jul-2024.
- Yar A, Idani A, Ledru Y, Collart-Dutilleul S, Mammar A and Vega G An Iterative Formal Model-Driven Approach to Railway Systems Validation Engineering of Complex Computer Systems, (272-289)
- Dragaš B, Todorović N, Rajačić T and Milosavljević G SeamlessMDD: Framework for Seamless Integration of Generated and Hand-Written Code Web Engineering, (163-177)
- Deckers R and Lago P (2024). Specifying features in terms of domain models, Journal of Software: Evolution and Process, 36:6, Online publication date: 5-Jun-2024.
- Vieira M, Velasco G and Carvalho S An Ecore Metamodel for the W3C PROV Provenance Data Model Proceedings of the 20th Brazilian Symposium on Information Systems, (1-10)
- Dai J, Gao B, Luo M, Huang Z, Li Z, Zhang Y and Yang M SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, (1-13)
- Wei R, Jiang Z, Guo X, Yang R, Mei H, Zolotas A and Kelly T (2023). DECISIVE: Designing Critical Systems With Iterative Automated Safety Analysis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43:5, (1346-1359), Online publication date: 1-May-2024.
- Yildiz E, Akhunov K, Riva L, Goknil A, Kurtev I and Yildirim K Adaptable Runtime Monitoring for Intermittent Systems Proceedings of the Nineteenth European Conference on Computer Systems, (1175-1191)
- Oriol M, Gómez A and Cabot J AsyncSLA: Towards a Service Level Agreement for Asynchronous Services Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, (1781-1788)
- Cederbladh J, Cicchetti A and Suryadevara J (2024). Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review, ACM Transactions on Software Engineering and Methodology, 33:3, (1-67), Online publication date: 31-Mar-2024.
- Michael J, Bork D, Wimmer M and Mayr H (2024). Quo Vadis modeling?, Software and Systems Modeling (SoSyM), 23:1, (7-28), Online publication date: 1-Feb-2024.
- Mora Segura Á, de Lara J and Wimmer M (2024). Modelling assistants based on information reuse: a user evaluation for language engineering, Software and Systems Modeling (SoSyM), 23:1, (57-84), Online publication date: 1-Feb-2024.
- Wei R, Jiang Z, Mei H, Barmpis K, Foster S, Kelly T and Zhuang Y (2024). Automated Model-Based Assurance Case Management Using Constrained Natural Language, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 43:1, (291-304), Online publication date: 1-Jan-2024.
- Chikhaoui A, Chadli A and Ouared A (2023). A model-based DevOps process for development of mathematical database cost models, Automated Software Engineering, 30:2, Online publication date: 1-Nov-2023.
- Almonte L, Garmendia A, Guerra E and de Lara J Reuse and Automated Integration of Recommenders for Modelling Languages Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, (97-110)
- Jouneaux G, Frölich D, Barais O, Combemale B, Le Guernic G, Mussbacher G and van Binsbergen L Adaptive Structural Operational Semantics Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, (29-42)
- Cazzola W and Favalli L Exceptions all Over the Shop: Modular, Customizable, Language-Independent Exception Handling Layer Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, (1-14)
- van Rozen R Game Engine Wizardry for Programming Mischief Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, (36-43)
- Teles A and Santos A Code Merging using Transformations and Member Identity Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (71-88)
- Lourenço H, Ferreira C, Costa Seco J and Parreira J (2023). OSTRICH: a rich template language for low-code development (extended version), Software and Systems Modeling (SoSyM), 22:5, (1645-1663), Online publication date: 1-Oct-2023.
- Viger T, Murphy L, Di Sandro A, Menghi C, Shahin R and Chechik M (2023). The ForeMoSt approach to building valid model-based safety arguments, Software and Systems Modeling (SoSyM), 22:5, (1473-1494), Online publication date: 1-Oct-2023.
- Harbin J, Gerasimou S, Matragkas N, Zolotas T, Calinescu R and Alpizar Santana M (2023). Model-driven design space exploration for multi-robot systems in simulation, Software and Systems Modeling (SoSyM), 22:5, (1665-1688), Online publication date: 1-Oct-2023.
- Klare H and Gleitze J (2023). Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations, Formal Aspects of Computing, 35:3, (1-35), Online publication date: 30-Sep-2023.
- Graics B, Molnár V and Majzik I Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers Formal Methods for Industrial Critical Systems, (76-95)
- Andersson J, Caporuscio M, D’Angelo M and Napolitano A (2023). Architecting decentralized control in large-scale self-adaptive systems, Computing, 105:9, (1849-1882), Online publication date: 1-Sep-2023.
- Zschaler S, Bousse E, Deantoni J and Combemale B (2023). A generic framework for representing and analyzing model concurrency, Software and Systems Modeling (SoSyM), 22:4, (1319-1340), Online publication date: 1-Aug-2023.
- Kolovos D and de la Vega A (2023). Flexmi: a generic and modular textual syntax for domain-specific modelling, Software and Systems Modeling (SoSyM), 22:4, (1197-1215), Online publication date: 1-Aug-2023.
- Bucaioni A, Di Salle A, Iovino L, Malavolta I and Pelliccione P (2023). Reference architectures modelling and compliance checking, Software and Systems Modeling (SoSyM), 22:3, (891-917), Online publication date: 1-Jun-2023.
- Marchezan L, Assunção W, Herac E, Keplinger F, Egyed A and Lauwerys C Fulfilling Industrial Needs for Consistency among Engineering Artifacts Proceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice, (246-257)
- Altoyan N and Batory D (2022). On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels, ACM Transactions on Software Engineering and Methodology, 32:2, (1-42), Online publication date: 30-Apr-2023.
- López J and Cuadrado J (2023). Generating Structurally Realistic Models With Deep Autoregressive Networks, IEEE Transactions on Software Engineering, 49:4, (2661-2676), Online publication date: 1-Apr-2023.
- Ben Halima R, Hachicha M, Jemal A and Hadj Kacem A (2023). MAPE-K patterns for self-adaptation in cyber-physical systems, The Journal of Supercomputing, 79:5, (4917-4943), Online publication date: 1-Mar-2023.
- Di Rocco J, Di Ruscio D, Di Sipio C, Nguyen P and Pierantonio A (2023). MemoRec: a recommender system for assisting modelers in specifying metamodels, Software and Systems Modeling (SoSyM), 22:1, (203-223), Online publication date: 1-Feb-2023.
- Mkaouar H, Blouin D and Borde E (2023). A benchmark of incremental model transformation tools based on an industrial case study with AADL, Software and Systems Modeling (SoSyM), 22:1, (175-201), Online publication date: 1-Feb-2023.
- Di Sandro A, Shahin R and Chechik M Adding Product-Line Capabilities to Your Favourite Modeling Language Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, (3-12)
- Bardaro G, El-Shamouly M, Fontana G, Awad R and Matteucci M Toward model-based benchmarking of robot components 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), (1682-1687)
- Khorram F, Bousse E, Garmendia A, Mottu J, Sunyé G and Wimmer M From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, (235-248)
- Tinnes C, Rössler W, Hohenstein U, Kühn T, Biesdorf A and Apel S Sometimes you have to treat the symptoms: tackling model drift in an industrial clone-and-own software product line Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1355-1366)
- Olivier L, Sauvětre L, Bousse E and Sunyé G A tool-assisted approach to engineer domain-specific languages (DSLs) using Rust Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (712-721)
- Hili N and de Oliveira R A light-weight low-code platform for back-end automation Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (837-846)
- Yar A, Idani A, Ledru Y and Collart-Dutilleul S Visual animation of B specifications using executable DSLs Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (617-626)
- Eckwert T, Guckert M and Taentzer G EvolveDB Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (61-65)
- Schöne R, Mey J, Ebert S, Götz S and Aßmann U Incremental causal connection for self-adaptive systems based on relational reference attribute grammars Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (1-12)
- Di Rocco J, Di Sipio C, Nguyen P, Di Ruscio D and Pierantonio A Finding with NEMO Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (154-164)
- Khorram F, Bousse E, Mottu J, Sunyé G, Gómez-Abajo P, Cañizares P, Guerra E and de Lara J Automatic test amplification for executable models Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (109-120)
- Földiák M, Marussy K, Varró D and Majzik I System architecture synthesis for performability by logic solvers Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (43-54)
- de Lara J, Guerra E and Bottoni P Modular language product lines Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (334-344)
- Seco J, Lourenço H, Parreira J and Ferreira C Nested OSTRICH Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (210-220)
- Yohannis A and Kolovos D Towards model-based bias mitigation in machine learning Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (143-153)
- Barriga A, Heldal R, Rutle A and Iovino L (2022). PARMOREL: a framework for customizable model repair, Software and Systems Modeling (SoSyM), 21:5, (1739-1762), Online publication date: 1-Oct-2022.
- Wei R, Jiang Z, Guo X, Mei H, Zolotas A and Kelly T Designing critical systems with iterative automated safety analysis Proceedings of the 59th ACM/IEEE Design Automation Conference, (181-186)
- Schmidt A About Lightweight Code Generation Web Engineering, (497-500)
- Rocha Silva T Towards a Domain-Specific Language to Specify Interaction Scenarios for Web-Based Graphical User Interfaces Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (48-53)
- Bork D, Anagnostou K and Wimmer M Towards Interoperable Metamodeling Platforms: The Case of Bridging ADOxx and EMF Advanced Information Systems Engineering, (479-497)
- Sghaier O, Sahraoui H and Syriani E Fighting evil is not enough when refactoring metamodels Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, (1517-1526)
- Kulcsár G, Kristan J and Jeroschewski S Correctness, Completeness, Consistency: Challenges of Migrating Arrowhead System-of-Systems Models NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium, (1-6)
- Boudia M and Bourahla M (2022). Formalization of Ontology Conceptualizations Using Model Transformation, International Journal of Information System Modeling and Design, 13:1, (1-21), Online publication date: 23-Mar-2022.
- Steffen B, Gossen F, Naujokat S and Margaria T Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages Computing and Software Science, (311-344)
- Greiner S, Nieke M and Seidl C Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, (1-10)
- Casalaro G, Cattivera G, Ciccozzi F, Malavolta I, Wortmann A and Pelliccione P (2022). Model-driven engineering for mobile robotic systems: a systematic mapping study, Software and Systems Modeling (SoSyM), 21:1, (19-49), Online publication date: 1-Feb-2022.
- Shailesh T, Nayak A and Prasad D (2021). Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach, Journal of Software: Evolution and Process, 34:1, Online publication date: 18-Jan-2022.
- Idani A A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs Proceedings of the 2021 European Symposium on Software Engineering, (85-93)
- Derakhshandi M, Kolahdouz-Rahimi S, Troya J and Lano K (2021). A model-driven framework for developing android-based classic multiplayer 2D board games, Automated Software Engineering, 28:2, Online publication date: 1-Nov-2021.
- Leroy D, Lelandais B, Oudot M and Combemale B Monilogging for executable domain-specific languages Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, (2-15)
- Almonte L, Pérez-Soler S, Guerra E, Cantador I and de Lara J Automating the synthesis of recommender systems for modelling languages Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering, (22-35)
- Zweihoff P and Steffen B Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition Leveraging Applications of Formal Methods, Verification and Validation, (18-40)
- Font J, Arcega L, Haugen Ø and Cetina C (2021). Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility, Software and Systems Modeling (SoSyM), 20:5, (1653-1688), Online publication date: 1-Oct-2021.
- Kopetzki D, Lybecait M, Naujokat S and Steffen B (2021). Towards language-to-language transformation, International Journal on Software Tools for Technology Transfer (STTT), 23:5, (655-677), Online publication date: 1-Oct-2021.
- Wiesmayr B, Zoitl A, Garmendia A and Wimmer M A Model-based Execution Framework for Interpreting Control Software 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (1-8)
- Meixner K, Rinker F, Marcher H, Decker J and Biffl S A Domain-Specific Language for Product-Process-Resource Modeling 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), (1-8)
- Lara J, Guerra E and Kienzle J (2021). Facet-oriented Modelling, ACM Transactions on Software Engineering and Methodology, 30:3, (1-59), Online publication date: 31-Jul-2021.
- Ebert S, Kluge T and Götz S Resolving synchronization conflicts in role-based multimodel-synchronization environments Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, (1-8)
- Chondamrongkul N, Sun J and Warren I (2021). Software Architectural Migration, ACM Transactions on Software Engineering and Methodology, 30:4, (1-35), Online publication date: 1-Jul-2021.
- Burgueño L, Clarisó R, Gérard S, Li S and Cabot J An NLP-Based Architecture for the Autocompletion of Partial Domain Models Advanced Information Systems Engineering, (91-106)
- Boronat A (2021). Incremental execution of rule-based model transformation, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (289-311), Online publication date: 1-Jun-2021.
- Brunschwig L, Campos-López R, Guerra E and de Lara J Towards domain-specific modelling environments based on augmented reality Proceedings of the 43rd International Conference on Software Engineering: New Ideas and Emerging Results, (56-60)
- Weber T, Winiker C and Hussmann H A Closer Look at Machine Learning Code Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, (1-6)
- Gharaat M, Sharbaf M, Zamani B and Hamou-Lhadj A (2021). ALBA: a model-driven framework for the automatic generation of android location-based apps, Automated Software Engineering, 28:1, Online publication date: 1-May-2021.
- Melis A, Layeghy S, Berardi D, Portmann M, Prandini M and Callegati F (2021). P-SCOR: Integration of Constraint Programming Orchestration and Programmable Data Plane, IEEE Transactions on Network and Service Management, 18:1, (402-414), Online publication date: 1-Mar-2021.
- Quinton C, Vierhauser M, Rabiser R, Baresi L, Grünbacher P and Schuhmayer C (2020). Evolution in dynamic software product lines, Journal of Software: Evolution and Process, 33:2, Online publication date: 14-Feb-2021.
- Nguyen H, Nassar N, Kehrer T and Grunske L MoFuzz Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, (1103-1115)
- Rouland Q, Hamid B and Jaskolka J Reusable Formal Models for Threat Specification, Detection, and Treatment Reuse in Emerging Software Engineering Practices, (52-68)
- Idani A, Ledru Y and Vega G (2020). Alliance of model-driven engineering with a proof-based formal approach, Innovations in Systems and Software Engineering, 16:3-4, (289-307), Online publication date: 1-Dec-2020.
- Barash M Example-driven software language engineering Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, (246-252)
- Garmendia A, Wimmer M, Guerra E, Gómez-Martínez E and de Lara J Automated variability injection for graphical modelling languages Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (15-21)
- Stokke K, Barash M and Järvi J Manipulating GUI structures declaratively Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (63-69)
- Idani A Meeduse: A Tool to Build and Run Proved DSLs Integrated Formal Methods, (349-367)
- Pérez-Soler S, Guerra E and de Lara J Model-Driven Chatbot Development Conceptual Modeling, (207-222)
- Di Sandro A, Selim G, Salay R, Viger T, Chechik M and Kokaly S MMINT-A 2.0 Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (1-5)
- Luckcuck M, Farrell M, Dennis L, Dixon C and Fisher M (2019). Formal Specification and Verification of Autonomous Robotic Systems, ACM Computing Surveys, 52:5, (1-41), Online publication date: 30-Sep-2020.
- Alulema D, Criado J, Iribarne L, Fernández-García A and Ayala R (2020). A model-driven engineering approach for the service integration of IoT systems, Cluster Computing, 23:3, (1937-1954), Online publication date: 1-Sep-2020.
- Rutle A, Iovino L, König H and Diskin Z (2020). A query-retyping approach to model transformation co-evolution, Software and Systems Modeling (SoSyM), 19:5, (1107-1138), Online publication date: 1-Sep-2020.
- Gómez A, Mendialdua X, Barmpis K, Bergmann G, Cabot J, de Carlos X, Debreceni C, Garmendia A, Kolovos D and de Lara J (2020). Scalable modeling technologies in the wild: an experience report on wind turbines control applications development, Software and Systems Modeling (SoSyM), 19:5, (1229-1261), Online publication date: 1-Sep-2020.
- Bruneliere H, de Kerchove F, Daniel G, Madani S, Kolovos D and Cabot J (2020). Scalable model views over heterogeneous modeling technologies and resources, Software and Systems Modeling (SoSyM), 19:4, (827-851), Online publication date: 1-Jul-2020.
- Westfechtel B and Greiner S (2020). Extending single- to multi-variant model transformations by trace-based propagation of variability annotations, Software and Systems Modeling (SoSyM), 19:4, (853-888), Online publication date: 1-Jul-2020.
- Khelladi D, Combemale B, Acher M, Barais O and Jézéquel J Co-evolving code with evolving metamodels Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, (1496-1508)
- Wolter U, Macías F and Rutle A Multilevel Typed Graph Transformations Graph Transformation, (163-182)
- Buisson J, M J and Belloir N Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), (000243-000248)
- Somogyi F and Asztalos M (2019). Systematic review of matching techniques used in model-driven methodologies, Software and Systems Modeling (SoSyM), 19:3, (693-720), Online publication date: 1-May-2020.
- Vidal J, Carreira P, Amaral V, Aguiam J and Sousa J (2019). Towards high-level fuzzy control specifications for building automation systems, Software and Systems Modeling (SoSyM), 19:3, (625-646), Online publication date: 1-May-2020.
- Anjorin A, Buchmann T, Westfechtel B, Diskin Z, Ko H, Eramo R, Hinkel G, Samimi-Dehkordi L and Zündorf A (2019). Benchmarking bidirectional transformations: theory, implementation, application, and assessment, Software and Systems Modeling (SoSyM), 19:3, (647-691), Online publication date: 1-May-2020.
- Greiner S and Westfechtel B Towards iterative software product line engineering with incremental multi-variant model transformations Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems, (1-9)
- Salay R, Kokaly S, Di Sandro A, Fung N and Chechik M (2019). Heterogeneous megamodel management using collection operators, Software and Systems Modeling (SoSyM), 19:1, (231-260), Online publication date: 1-Jan-2020.
- Zolotas A, Hoyos Rodriguez H, Hutchesson S, Sanchez Pina B, Grigg A, Li M, Kolovos D and Paige R (2019). Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon, Software and Systems Modeling (SoSyM), 19:1, (17-38), Online publication date: 1-Jan-2020.
- Schwägerl F and Westfechtel B (2019). Integrated revision and variation control for evolving model-driven software product lines, Software and Systems Modeling (SoSyM), 18:6, (3373-3420), Online publication date: 1-Dec-2019.
- Boronat A Code-first model-driven engineering Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, (874-886)
- Gómez-Abajo P, Guerra E, de Lara J and Merayo M Mutation testing for DSLs (tool demo) Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, (60-62)
- Sousa V, Syriani E and Fall K Operationalizing the integration of user interaction specifications in the synthesis of modeling editors Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, (42-54)
- Horn G, Skrzypek P, Prusiński M, Materka K, Stefanidis V and Verginadis Y MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment Platform Software Technology: Methods and Tools, (364-377)
- Lara J, Guerra E, Ruscio D, Rocco J, Cuadrado J, Iovino L and Pierantonio A (2019). Automated Reuse of Model Transformations through Typing Requirements Models, ACM Transactions on Software Engineering and Methodology, 28:4, (1-62), Online publication date: 12-Oct-2019.
- Hoare T, Struth G and Woodcock J A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic Unifying Theories of Programming, (3-21)
- Marmsoler D and Blakqori G APML: An Architecture Proof Modeling Language Formal Methods – The Next 30 Years, (611-630)
- Gómez A, Rodríguez R, Cambronero M and Valero V (2019). Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets, Software and Systems Modeling (SoSyM), 18:5, (2973-3003), Online publication date: 1-Oct-2019.
- Braghin C, Cimato S, Damiani E, Frati F, Mauri L and Riccobene E A Model Driven Approach for Cyber Security Scenarios Deployment Computer Security, (107-122)
- Opfer S, Jakob S, Jahl A and Geihs K ALICA 2.0 - Domain-Independent Teamwork KI 2019: Advances in Artificial Intelligence, (264-272)
- Pérez-Soler S, Guerra E and de Lara J Flexible modelling using conversational agents Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (478-482)
- Mezei G, Theisz Z, Bácsi S, Somogyi F and Palatinszky D Towards flexible, rigorous refinement in metamodeling Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (455-459)
- Schröpfer J, Schwägerl F and Westfechtel B Consistency control for model versions in evolving model-driven software product lines Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (268-277)
- Rodriguez H and Piña B JSOI Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (259-266)
- Barriga A, Rutle A and Heldal R Personalized and automatic model repairing using reinforcement learning Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (175-181)
- Rodríguez A and Macías F Multilevel modelling with multecore Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (152-163)
- Rodríguez A, Rutle A, Kristensen L and Durán F A foundation for the composition of multilevel domain-specific languages Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (88-97)
- Di Sandro A, Kokaly S, Salay R and Chechik M Querying automotive system models and safety artifacts with MMINT and viatra Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion, (2-11)
- Lüder A, Pauly J, Rinker F and Biffl S Data Exchange Logistics in Engineering Networks Exploiting Automated Data Integration 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (657-664)
- Berger T and Collet P Usage Scenarios for a Common Feature Modeling Language Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B, (174-181)
- Greiner S On extending single-variant model transformations for reuse in software product line engineering Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (1160-1163)
- Ahmadi R and Dingel J Concolic testing for models of state-based systems Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (4-15)
- Gamboa M and Syriani E (2019). Improving user productivity in modeling tools by explicitly modeling workflows, Software and Systems Modeling (SoSyM), 18:4, (2441-2463), Online publication date: 1-Aug-2019.
- Kövesdán G and Lengyel L (2019). Meta3, Software and Systems Modeling (SoSyM), 18:4, (2421-2439), Online publication date: 1-Aug-2019.
- Capocchi L, Santucci J and Zeigler B PDEVS protocol performance prediction using activity patterns with finite probabilistic devs Proceedings of the 2019 Summer Simulation Conference, (1-12)
- Bernardi S, Marrone S, Merseguer J, Nardone R and Vittorini V (2019). Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism, Software and Systems Modeling (SoSyM), 18:3, (2241-2264), Online publication date: 1-Jun-2019.
- Berger B, Maeder C, Wete Nguempnang R, Sohr K and Rubio-Medrano C Towards Effective Verification of Multi-Model Access Control Properties Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, (149-160)
- Bill R, Fleck M, Troya J, Mayerhofer T and Wimmer M (2019). A local and global tour on MOMoT, Software and Systems Modeling (SoSyM), 18:2, (1017-1046), Online publication date: 1-Apr-2019.
- López-Fernández J, Garmendia A, Guerra E and Lara J (2019). An example is worth a thousand words, Software and Systems Modeling (SoSyM), 18:2, (961-993), Online publication date: 1-Apr-2019.
- Garcia-Dominguez A, Barmpis K, Kolovos D, Wei R and Paige R (2019). Stress-testing remote model querying APIs for relational and graph-based stores, Software and Systems Modeling (SoSyM), 18:2, (1047-1075), Online publication date: 1-Apr-2019.
- Famelis M and Chechik M (2019). Managing design-time uncertainty, Software and Systems Modeling (SoSyM), 18:2, (1249-1284), Online publication date: 1-Apr-2019.
- Hoffmann B, Chalmers K, Urquhart N and Guckert M Athos - A Model Driven Approach to Describe and Solve Optimisation Problems Proceedings of the 4th ACM International Workshop on Real World Domain Specific Languages, (1-10)
- Chaudhuri S, Banerjee A, Swaminathan N, Choppella V, Pal A and Balamurali P A knowledge centric approach to conceptualizing robotic solutions Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference), (1-11)
- Greiner S and Westfechtel B On Determining Variability Annotations In Partially Annotated Models Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, (1-10)
- Ogunyomi B, Rose L and Kolovos D (2019). Incremental execution of model-to-text transformations using property access traces, Software and Systems Modeling (SoSyM), 18:1, (367-383), Online publication date: 1-Feb-2019.
- Gammaitoni L and Kelsen P (2019). F-Alloy, Software and Systems Modeling (SoSyM), 18:1, (213-247), Online publication date: 1-Feb-2019.
- Gabmeyer S, Kaufmann P, Seidl M, Gogolla M and Kappel G (2019). A feature-based classification of formal verification techniques for software models, Software and Systems Modeling (SoSyM), 18:1, (473-498), Online publication date: 1-Feb-2019.
- Khan A, Mallet F and Rashid M (2019). A framework to specify system requirements using natural interpretation of UML/MARTE diagrams, Software and Systems Modeling (SoSyM), 18:1, (11-37), Online publication date: 1-Feb-2019.
- Kluge R, Stein M, Varró G, Schürr A, Hollick M and Mühlhäuser M (2019). A systematic approach to constructing families of incremental topology control algorithms using graph transformation, Software and Systems Modeling (SoSyM), 18:1, (279-319), Online publication date: 1-Feb-2019.
- Heinzemann C, Becker S and Volk A (2019). Transactional execution of hierarchical reconfigurations in cyber-physical systems, Software and Systems Modeling (SoSyM), 18:1, (157-189), Online publication date: 1-Feb-2019.
- Lara J and Guerra E (2018). Refactoring Multi-Level Models, ACM Transactions on Software Engineering and Methodology, 27:4, (1-56), Online publication date: 22-Nov-2018.
- Boßelmann S, Naujokat S and Steffen B On the Difficulty of Drawing the Line Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (340-356)
- Cheng Z and Tisi M (2018). Slicing ATL model transformations for scalable deductive verification and fault localization, International Journal on Software Tools for Technology Transfer (STTT), 20:6, (645-663), Online publication date: 1-Nov-2018.
- Hebig R, Seidl C, Berger T, Pedersen J and Wąsowski A Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (445-455)
- Coulon F, Degueule T, van der Storm T and Combemale B Shape-diverse DSLs: languages without borders (vision paper) Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (215-219)
- Leduc M, Degueule T and Combemale B Modular language composition for the masses Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (47-59)
- Lelandais B, Oudot M and Combemale B Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo) Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (200-204)
- Mey J, Schöne R, Hedin G, Söderberg E, Kühn T, Fors N, Öqvist J and Aßmann U Continuous model validation using reference attribute grammars Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (70-82)
- de Lara J, Guerra E, Kienzle J and Hattab Y Facet-oriented modelling: open objects for model-driven engineering Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (147-159)
- Guerra E, de Lara J, Chechik M and Salay R Analysing meta-model product lines Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (160-173)
- Butting A, Jansen N, Rumpe B and Wortmann A Translating grammars to accurate metamodels Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, (174-186)
- De Landtsheer R, Deprez J and Ponsard C Optimal mapping of task-based computation models over heterogeneous hardware using placer Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, (17-21)
- Westfechtel B and Greiner S From Single- to Multi-Variant Model Transformations Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (46-56)
- Marussy K, Semeráth O and Varró D Incremental View Model Synchronization Using Partial Models Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (323-333)
- Bruneliere H, de Kerchove F, Daniel G and Cabot J Towards Scalable Model Views on Heterogeneous Model Resources Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (334-344)
- Martínez S, Gérard S and Cabot J Robust Hashing for Models Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (312-322)
- Kinneer C and Herzig S Dissimilarity Measures for Clustering Space Mission Architectures Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (392-402)
- Boronat A Expressive and Efficient Model Transformation with an Internal DSL of Xtend Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (78-88)
- Guerra E and de Lara J On the Quest for Flexible Modelling Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, (23-33)
- Szárnyas G, Izsó B, Ráth I and Varró D (2018). The Train Benchmark, Software and Systems Modeling (SoSyM), 17:4, (1365-1393), Online publication date: 1-Oct-2018.
- Cheng Z, Monahan R and Power J (2018). Formalised EMFTVM bytecode language for sound verification of model transformations, Software and Systems Modeling (SoSyM), 17:4, (1197-1225), Online publication date: 1-Oct-2018.
- Acre?Oaie V, Störrle H and Strüber D (2018). VMTL, Software and Systems Modeling (SoSyM), 17:4, (1139-1167), Online publication date: 1-Oct-2018.
- Butting A, Eikermann R, Kautz O, Rumpe B and Wortmann A Modeling language variability with reusable language components Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1, (65-75)
- Kühn T, Kassin K, Cazzola W and Aßmann U Modular feature-oriented graphical editor product lines Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1, (76-86)
- Arcelli D, Cortellessa V and Di Pompeo D A metamodel for the specification and verification of model refactoring actions Proceedings of the 2nd International Workshop on Refactoring, (14-21)
- Marussy K and Majzik I Constructing Dependability Analysis Models of Reconfigurable Production Systems 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), (1158-1163)
- Wimmer M and Mazak A From AutomationML to AutomationQL: A By-Example Query Language for CPPS Engineering Models 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), (1394-1399)
- Washizaki H, Guéhéneuc Y and Khomh F (2018). ProMeTA, Empirical Software Engineering, 23:4, (2323-2358), Online publication date: 1-Aug-2018.
- Chadli M, Kim J, Larsen K, Legay A, Naujokat S, Steffen B and Traonouez L (2018). High-level frameworks for the specification and verification of scheduling problems, International Journal on Software Tools for Technology Transfer (STTT), 20:4, (397-422), Online publication date: 1-Aug-2018.
- Zheng Y, Cu C and Taylor R (2018). Maintaining Architecture-Implementation Conformance to Support Architecture Centrality, ACM Transactions on Software Engineering and Methodology, 27:2, (1-52), Online publication date: 19-Jul-2018.
- Westfechtel B (2018). Case-based exploration of bidirectional transformations in QVT Relations, Software and Systems Modeling (SoSyM), 17:3, (989-1029), Online publication date: 1-Jul-2018.
- Naujokat S, Lybecait M, Kopetzki D and Steffen B (2018). CINCO, International Journal on Software Tools for Technology Transfer (STTT), 20:3, (327-354), Online publication date: 1-Jun-2018.
- Vogel T mRUBiS Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, (101-107)
- Dupont G, Mustafiz S, Khendek F and Toeroe M Building domain-specific modelling environments with papyrus Proceedings of the 10th International Workshop on Modelling in Software Engineering, (49-56)
- Schwichtenberg S, Jovanovikj I, Gerth C and Engels G CrossEcore Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, (292-293)
- Vögele C, Hoorn A, Schulz E, Hasselbring W and Krcmar H (2018). WESSBAS, Software and Systems Modeling (SoSyM), 17:2, (443-477), Online publication date: 1-May-2018.
- Seiger R, Huber S and Schlegel T (2018). Toward an execution system for self-healing workflows in cyber-physical systems, Software and Systems Modeling (SoSyM), 17:2, (551-572), Online publication date: 1-May-2018.
- Ananieva S, Klare H, Burger E and Reussner R Variants and Versions Management for Models with Integrated Consistency Preservation Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, (3-10)
- Butting A, Eikermann R, Kautz O, Rumpe B and Wortmann A Controlled and Extensible Variability of Concrete and Abstract Syntax with Independent Language Features Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, (75-82)
- Troya J, Segura S and Ruiz-Corts A (2018). Automated inference of likely metamorphic relations for model transformations, Journal of Systems and Software, 136:C, (188-208), Online publication date: 1-Feb-2018.
- Vaupel S, Taentzer G, Gerlach R and Guckert M (2018). Model-driven development of mobile applications for Android and iOS supporting role-based app variability, Software and Systems Modeling (SoSyM), 17:1, (35-63), Online publication date: 1-Feb-2018.
- Carvalho V and Almeida J (2018). Toward a well-founded theory for multi-level conceptual modeling, Software and Systems Modeling (SoSyM), 17:1, (205-231), Online publication date: 1-Feb-2018.
- Ober I, Palyart M, Bruel J and Lugato D (2018). On the use of models for high-performance scientific computing applications, Software and Systems Modeling (SoSyM), 17:1, (319-342), Online publication date: 1-Feb-2018.
- uti A, Brand M and Verhoeff T (2018). Exploration of modularity and reusability of domain-specific languages, Computer Languages, Systems and Structures, 51:C, (48-70), Online publication date: 1-Jan-2018.
- Walter J, van Hoorn A and Kounev S Automated and Adaptable Decision Support for Software Performance Engineering Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, (66-73)
- Khelladi D, Bendraou R, Hebig R and Gervais M (2017). A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution, Journal of Systems and Software, 134:C, (242-260), Online publication date: 1-Dec-2017.
- Bermdez Ruiz F, Garca Molina J and Daz Garca O (2017). On the application of model-driven engineering in data reengineering, Information Systems, 72:C, (136-160), Online publication date: 1-Dec-2017.
- Sandobalin J A Model-Driven Approach to Continuous Delivery of Cloud Resources Service-Oriented Computing – ICSOC 2017 Workshops, (346-351)
- Pérez-Soler S, Guerra E, de Lara J and Jurado F The rise of the (modelling) bots: towards assisted modelling via social networks Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, (723-728)
- Schauss S, Lämmel R, Härtel J, Heinz M, Klein K, Härtel L and Berger T A chrestomathy of DSL implementations Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, (103-114)
- Luhunu L and Syriani E Comparison of the expressiveness and performance of template-based code generation tools Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, (206-216)
- Long A, Ouhammou Y, Grolleau E, Fejoz L and Rioux L Bridging the gap between practical cases and temporal performance analysis Proceedings of the 25th International Conference on Real-Time Networks and Systems, (178-187)
- Jimnez-Pastor A, Garmendia A and de Lara J (2017). Scalable model exploration for model-driven engineering, Journal of Systems and Software, 132:C, (204-225), Online publication date: 1-Oct-2017.
- Debreceni C, Bergmann G, Ráth I and Varró D Property-based locking in collaborative modeling Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (199-209)
- Klare H, Burger E, Kramer M, Langhammer M, Sağlam T and Reussner R Ecoreification Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (221-228)
- Famelis M, Rubin J, Czarnecki K, Salay R and Chechik M Software product lines with design choices Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (93-100)
- Denney E, Pai G and Whiteside I Model-driven development of safety architectures Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (156-166)
- Batot E, Kessentini W, Sahraoui H and Famelis M Heuristic-based recommendation for metamodel Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (210-220)
- Leduc M, Degueule T, Combemale B, van der Storm T and Barais O Revisiting visitors for modular extension of executable DSMLs Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (112-122)
- Zolotas A, Rodriguez H, Kolovos D, Paige R and Hutchesson S Bridging proprietary modelling and open-source model management tools Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (237-247)
- Cuadrado J, Guerra E and de Lara J (2017). Static Analysis of Model Transformations, IEEE Transactions on Software Engineering, 43:9, (868-897), Online publication date: 1-Sep-2017.
- Zolotas A, Claris R, Matragkas N, Kolovos D and Paige R (2017). Constraint programming for type inference in flexible model-driven engineering, Computer Languages, Systems and Structures, 49:C, (216-230), Online publication date: 1-Sep-2017.
- Gmez-Abajo P, Guerra E and Lara J (2017). A domain-specific language for model mutation and its application to the automated generation of exercises, Computer Languages, Systems and Structures, 49:C, (152-173), Online publication date: 1-Sep-2017.
- Degueule T, Combemale B, Blouin A, Barais O and Jzquel J (2017). Safe model polymorphism for flexible modeling, Computer Languages, Systems and Structures, 49:C, (176-195), Online publication date: 1-Sep-2017.
- Strber D, Rieger F and Taentzer G (2017). A text-based visual notation for the unit testing of model-driven tools, Computer Languages, Systems and Structures, 49:C, (196-215), Online publication date: 1-Sep-2017.
- Ahmadian A, Peldszus S, Ramadan Q and Jürjens J Model-based privacy and security analysis with CARiSMA Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (989-993)
- Kögel S Recommender system for model driven software development Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, (1026-1029)
- Berramla K, Deba E, Benyamina A and Benhamamouch D (2017). A Contribution to the Specification of Model Transformations with Metamodel Matching Approach, International Journal of Information System Modeling and Design, 8:3, (1-23), Online publication date: 1-Jul-2017.
- Sousa V Adapting modeling environments to domain specific interactions Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (145-148)
- Bermdez Ruiz F, Snchez Ramn s and Garca Molina J (2017). A tool to support the definition and enactment of model-driven migration processes, Journal of Systems and Software, 128:C, (106-129), Online publication date: 1-Jun-2017.
- Zacharopoulos T, Inostroza P and Storm T (2016). Extensible modeling with managed data in Java, ACM SIGPLAN Notices, 52:3, (25-35), Online publication date: 12-May-2017.
- Lara J and Guerra E (2017). A Posteriori Typing for Model-Driven Engineering, ACM Transactions on Software Engineering and Methodology, 25:4, (1-60), Online publication date: 5-May-2017.
- Ajit S, Holmes C, Johnson J, Kolovos D and Paige R (2017). Model-based tool support for Tactical Data Links, Software and Systems Modeling (SoSyM), 16:2, (559-586), Online publication date: 1-May-2017.
- Cheng Z and Tisi M A Deductive Approach for Fault Localization in ATL Model Transformations Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 10202, (300-317)
- Yildiz B, Bockisch C, Rensink A and Aksit M An MDE Approach for Modular Program Analyses Companion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming, (1-5)
- Sousa V, Syriani E and Paquin M Feedback on how MDE tools are used prior to academic collaboration Proceedings of the Symposium on Applied Computing, (1190-1197)
- Erata F, Challenger M, Tekinerdogan B, Monceaux A, Tüzün E and Kardas G Tarski Proceedings of the Symposium on Applied Computing, (1607-1614)
- Stefanello D and Lopes D A framework for supporting the context-aware mobile application development process Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing, (1-8)
- Gonzalez-de-Aledo P, Przigoda N, Wille R, Drechsler R and Sanchez P (2017). Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36:3, (475-488), Online publication date: 1-Mar-2017.
- Mat A, Trujillo J and Mylopoulos J (2017). Specification and derivation of key performance indicators for business analytics, Data & Knowledge Engineering, 108:C, (30-49), Online publication date: 1-Mar-2017.
- Störrle H (2017). Cost-effective evolution of research prototypes into end-user tools, Science of Computer Programming, 134:C, (47-60), Online publication date: 1-Feb-2017.
- Kluge R, Stein M, Varr G, Schrr A, Hollick M and Mhlhuser M (2017). A systematic approach to constructing incremental topology control algorithms using graph transformation, Journal of Visual Languages and Computing, 38:C, (47-83), Online publication date: 1-Feb-2017.
- Kolovos D, García-Domínguez A, Rose L and Paige R (2017). Eugenia, Software and Systems Modeling (SoSyM), 16:1, (229-255), Online publication date: 1-Feb-2017.
- Cañizares P, Merayo M, Vara J, Nguyen N, Núñez M and Trawiński B (2017). LAnt, Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology, 32:2, (1343-1354), Online publication date: 1-Jan-2017.
- Hamid B and Perez J (2016). Supporting pattern-based dependability engineering via model-driven development, Journal of Systems and Software, 122:C, (239-273), Online publication date: 1-Dec-2016.
- López-Fernández J, Guerra E and de Lara J (2016). Combining unit and specification-based testing for meta-model validation and verification, Information Systems, 62:C, (104-135), Online publication date: 1-Dec-2016.
- Khelladi D, Hebig R, Bendraou R, Robin J and Gervais M (2016). Detecting complex changes and refactorings during (Meta)model evolution, Information Systems, 62:C, (220-241), Online publication date: 1-Dec-2016.
- Tanhaei M, Habibi J and Mirian-Hosseinabadi S (2016). Automating feature model refactoring, Information and Software Technology, 80:C, (138-157), Online publication date: 1-Dec-2016.
- Bettini L and Capecchi S VDML4RS: a tool for reputation systems modeling and design Proceedings of the 8th International Workshop on Social Software Engineering, (8-14)
- Navarro A and da Silva A (2016). A metamodel-based definition of a conversion mechanism between SOAP and RESTful web services, Computer Standards & Interfaces, 48:C, (49-70), Online publication date: 1-Nov-2016.
- Ergin H, Syriani E and Gray J (2016). Design pattern oriented development of model transformations, Computer Languages, Systems and Structures, 46:C, (106-139), Online publication date: 1-Nov-2016.
- Washizaki H, Guéhéneuc Y and Khomh F Patterns for program reverse engineering from the viewpoint of metamodel Proceedings of the 23rd Conference on Pattern Languages of Programs, (1-10)
- Santos A and Gomes E Xdiagram: a declarative textual DSL for describing diagram editors (tool demo) Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, (253-257)
- Martínez S, García J and Cabot J Runtime support for rule-based access-control evaluation through model-transformation Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, (57-69)
- Zacharopoulos T, Inostroza P and Storm T Extensible modeling with managed data in Java Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (25-35)
- Acreţoaie V, Störrle H and Strüber D Model transformation for end-user modelers with VMTL Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (305-305)
- Wei R, Kolovos D, Garcia-Dominguez A, Barmpis K and Paige R Partial loading of XMI models Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (329-339)
- Szárnyas G, Kővári Z, Salánki Á and Varró D Towards the characterization of realistic models Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (87-94)
- Przigoda N, Wille R and Drechsler R Ground setting properties for an efficient translation of OCL in SMT-based model finding Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, (261-271)
- M'barek S, Baccouche L and Ben Ghezala H (2016). Model Driven Engineering for Quality of Service Management, Journal of Database Management, 27:4, (24-38), Online publication date: 1-Oct-2016.
- Sousa G, Rudametkin W and Duchien L Extending feature models with relative cardinalities Proceedings of the 20th International Systems and Software Product Line Conference, (79-88)
- Ichii M, Shimbara D, Suzuki Y and Ogawa H Refactoring verification using model transformation Proceedings of the 1st International Workshop on Software Refactoring, (17-24)
- Bettini L Jbase Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, (1-6)
- Demuth A, Riedl-Ehrenleitner M and Egyed A Efficient detection of inconsistencies in a multi-developer engineering environment Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (590-601)
- Schwägerl F and Westfechtel B SuperMod: tool support for collaborative filtered model-driven software product line engineering Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (822-827)
- Zhu Z, Zhu Y, Lei Y and Sarjoughian H A WESS-based method for anti-submarine simulation through planning waypoints of helicopter (WIP) Proceedings of the Summer Computer Simulation Conference, (1-5)
- Garcia-Dominguez A, Barmpis K, Kolovos D, Wei R and Paige R Stress-Testing Centralised Model Stores Proceedings of the 12th European Conference on Modelling Foundations and Applications - Volume 9764, (48-63)
- Allon M, Vanwormhoudt G, Carré B and Caron O Isolating and Reusing Template Instances in UML Proceedings of the 12th European Conference on Modelling Foundations and Applications - Volume 9764, (173-187)
- Greiner S and Buchmann T (2016). Round-trip Engineering UML Class Models and Java Models, International Journal of Information System Modeling and Design, 7:3, (72-92), Online publication date: 1-Jul-2016.
- Wu H (2016). An SMT-based Approach for Generating Coverage Oriented Metamodel Instances, International Journal of Information System Modeling and Design, 7:3, (23-50), Online publication date: 1-Jul-2016.
- Hamid B A Model Repository Description Language - MRDL Proceedings of the 15th International Conference on Software Reuse: Bridging with Social-Awareness - Volume 9679, (350-367)
- Khelladi D, Hebig R, Bendraou R, Robin J and Gervais M Metamodel and Constraints Co-evolution Proceedings of the 15th International Conference on Software Reuse: Bridging with Social-Awareness - Volume 9679, (333-349)
- Dghaym D, Trindade M, Butler M and Fathabadi A A Graphical Tool for Event Refinement Structures in Event-B Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675, (269-274)
- Martínez S, Cosentino V and Cabot J Model-based analysis of Java EE web security configurations Proceedings of the 8th International Workshop on Modeling in Software Engineering, (55-61)
- Khelladi D, Bendraou R and Gervais M AD-ROOM Proceedings of the 38th International Conference on Software Engineering Companion, (617-620)
- Gómez-Abajo P, Guerra E and de Lara J Wodel Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1968-1973)
- Córdoba-Sánchez I and de Lara J (2016). Ann, Computer Languages, Systems and Structures, 45:C, (164-190), Online publication date: 1-Apr-2016.
- Şutîi A, Verhoeff T and Brand M Modular multilevel metamodeling with MetaMod Companion Proceedings of the 15th International Conference on Modularity, (212-217)
- Rygielski P, Simko V, Sittner F, Aschenbrenner D, Kounev S and Schilling K Automated Extraction of Network Traffic Models Suitable for Performance Simulation Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering, (27-35)
- Sarjoughian H, Alshareef A and Lei Y Behavioral DEVS metamodeling Proceedings of the 2015 Winter Simulation Conference, (2788-2799)
- Duran-Limon H, Garcia-Rios C, Castillo-Barrera F and Capilla R (2015). An Ontology-Based Product Architecture Derivation Approach, IEEE Transactions on Software Engineering, 41:12, (1153-1168), Online publication date: 1-Dec-2015.
- Koshima A and Englebert V (2015). Collaborative editing of EMF/Ecore meta-models and models, Science of Computer Programming, 113:P1, (3-28), Online publication date: 1-Dec-2015.
- Atkinson C, Gerbig R and Fritzsche M (2015). A multi-level approach to modeling language extension in the Enterprise Systems Domain, Information Systems, 54:C, (289-307), Online publication date: 1-Dec-2015.
- Bouougada B, Bouchiha D and Malki M A Framework for Reengineering Web applications into Linked Data based on MDA Proceedings of the International Conference on Intelligent Information Processing, Security and Advanced Communication, (1-5)
- Maro S, Steghöfer J, Anjorin A, Tichy M and Gelin L On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, (1-12)
- Rodríguez-Gracia D, Criado J, Iribarne L and Padilla N (2015). A collaborative testbed web tool for learning model transformation in software engineering education, Computers in Human Behavior, 51:PB, (734-741), Online publication date: 1-Oct-2015.
- Salay R, Kokaly S, Di Sandro A and Chechik M Enriching megamodel management with collection-based operators Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (236-245)
- Amálio N, de Lara J and Guerra E Fragmenta Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (106-115)
- Křikava F, Rouvoy R and Seinturier L Infrastructure as runtime models Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (100-105)
- Hartmann T, Moawad A, Fouquet F, Nain G, Klein J and Traon Y Stream my models Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (80-89)
- Ouhammou Y, Grolleau E and Richard P Extension and Utilization of a Design Framework to Model Integrated Modular Avionic Architecture Proceedings of the 5th International Conference on Model and Data Engineering - Volume 9344, (16-27)
- Kuryazov D and Winter A Collaborative Modeling Empowered By Modeling Deltas Proceedings of the 3rd International Workshop on (Document) Changes: modeling, detection, storage and visualization, (1-6)
- Costa B, Pires P, Delicato F and Oquendo F Towards a View-Based Process for Designing and Documenting RESTful Service Architectures Proceedings of the 2015 European Conference on Software Architecture Workshops, (1-7)
- Meer A, Kherrazi R, Noroozi N and Wierda A The Synergy Between User Experience Design and Software Testing Revised Selected Papers of the SEFM 2015 Collocated Workshops on Software Engineering and Formal Methods - Volume 9509, (11-21)
- Theelen B and Hooman J Uniting Academic Achievements on Performance Analysis with Industrial Needs Proceedings of the 12th International Conference on Quantitative Evaluation of Systems - Volume 9259, (3-18)
- Gerking C, Ladleif J and Schäfer W Model-driven test case design for model-to-model semantics preservation Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation, (1-7)
- (2015). Towards a verified transformation from AADL to the formal component-based language FIACRE, Science of Computer Programming, 106:C, (30-53), Online publication date: 1-Aug-2015.
- Jung B, Lenk M and Vitzthum A (2015). Structured development of 3D applications, Computer Science - Research and Development, 30:3-4, (285-301), Online publication date: 1-Aug-2015.
- Di Cola S, Lau K, Tran C and Qian C An MDE tool for defining software product families with explicit variation points Proceedings of the 19th International Conference on Software Product Line, (355-360)
- Acretoaie V, Störrle H and Strüber D Transparent Model Transformation Proceedings of the 8th International Conference on Theory and Practice of Model Transformations - Volume 9152, (121-130)
- Fernández E, Toledo C, Galli M, Salomone E and Chiotti O (2015). Agent-based monitoring service for management of disruptive events in supply chains, Computers in Industry, 70:C, (89-101), Online publication date: 1-Jun-2015.
- Konersmann M and Goedicke M Integrating Protocol Contracts with Program Code --- A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (197-219)
- Jepsen J and Kindler E The Event Coordination Notation Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368, (133-164)
- Buchmann T, Baumgartl J, Henrich D and Westfechtel B Robots and their variability Proceedings of the Fifth International Workshop on Product LinE Approaches in Software Engineering, (27-30)
- Famelis M, Ben-David N, Di Sandro A, Salay R and Chechik M Mu-Mmint Proceedings of the 37th International Conference on Software Engineering - Volume 2, (697-700)
- Graciano Neto V, Garcés L, Guessi M, de Oliveira L and Oquendo F On the Equivalence between Reference Architectures and Metamodels Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures, (21-24)
- Mitakidis N, Delias P and Spanoudakis N Validating Requirements Using Gaia Roles Models Revised, Selected, and Invited Papers of the Third International Workshop on Engineering Multi-Agent Systems - Volume 9318, (171-190)
- García-Díaz V, Espada J, García-Bustelo B, Lovelle J and Osis J (2015). Towards a Standard-Based Domain-Specific Platform to Describe Points of Interest, Applied Computer Systems, 17:1, (69-78), Online publication date: 1-May-2015.
- Costa A, Cavalheiro S, Foss L and Ribeiro L From UML diagrams to simulink models Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1547-1552)
- Córdoba I and de Lara J A modelling language for the effective design of Java annotations Proceedings of the 30th Annual ACM Symposium on Applied Computing, (2087-2092)
- Sun W, Combemale B and France R Towards the use of slicing techniques for an efficient invariant checking Companion Proceedings of the 14th International Conference on Modularity, (23-24)
- Romary L, Zeldes A and Zipser F (2015).
, Language Resources and Evaluation, 49:1, (1-18), Online publication date: 1-Mar-2015. - Jiménez Á, Vara J, Bollati V and Marcos E (2015). MeTAGeM-Trace, Science of Computer Programming, 98:P1, (3-27), Online publication date: 1-Feb-2015.
- Zivkovic S, Miksa K and Kühn H (2015). On Developing Hybrid Modeling Methods using Metamodeling Platforms, International Journal of Information System Modeling and Design, 6:1, (47-66), Online publication date: 1-Jan-2015.
- Segundo U, López-Cuadrado J, Aldamiz-Echevarria L, Pérez T, Buenestado D, Iruetaguena A, Barrena R and Pikatza J (2015). Automatic construction of Fuzzy Inference Systems for computerized clinical guidelines and protocols, Applied Soft Computing, 26:C, (257-269), Online publication date: 1-Jan-2015.
- Lara J, Guerra E and Cuadrado J (2014). When and How to Use Multilevel Modelling, ACM Transactions on Software Engineering and Methodology, 24:2, (1-46), Online publication date: 23-Dec-2014.
- Soto F, Sánchez P, Mateo A, Alonso D and Navarro P (2014). An educational tool for implementing reactive systems following a goal-driven approach, Computer Applications in Engineering Education, 22:4, (764-773), Online publication date: 1-Dec-2014.
- Kern H, Stefan F, Dimitrieski V and Čeliković M Mapping-Based Exchange of Models Between Meta-Modeling Tools Proceedings of the 14th Workshop on Domain-Specific Modeling, (29-34)
- Neubauer J, Frohme M, Steffen B and Margaria T Prototype-Driven Development of Web Applications with DyWA Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (56-72)
- Naujokat S, Traonouez L, Isberner M, Steffen B and Legay A Domain-Specific Code Generator Modeling Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (481-498)
- Birken K Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (407-424)
- Aβmann U, Knoop J and Zimmermann W Model-Based Code-Generators and Compilers - Track Introduction Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (386-390)
- Deantoni J, Brun C, Caillaud B, France R, Karsai G, Nierstrasz O and Syriani E Domain Globalization Revised Papers of the International Dagstuhl Seminar on Globalizing Domain-Specific Languages - Volume 9400, (70-87)
- Koscielny J, Holthusen S, Schaefer I, Schulze S, Bettini L and Damiani F DeltaJ 1.5 Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, (63-74)
- Bergh J and Coninx K CASSIS Proceedings of the 5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering - Volume 8742, (243-250)
- Quinton C, Pleuss A, Berre D, Duchien L and Botterweck G Consistency checking for the evolution of cardinality-based feature models Proceedings of the 18th International Software Product Line Conference - Volume 1, (122-131)
- Turenne M, Kanso A, Gherbi A and Razzook S A tool chain for generating the description files of highly available software Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (867-870)
- Arifulina S, Walther S, Becker M and Platenius M SeSAME Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (839-842)
- López-Fernández J, Guerra E and de Lara J Meta-Model validation and verification with MetaBest Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, (831-834)
- Kapuruge M, Han J and Colman A (2014). Service Orchestration as Organization, 10.5555/2692514, Online publication date: 29-Aug-2014.
- Johanson A and Hasselbring W Hierarchical Combination of Internal and External Domain-Specific Languages for Scientific Computing Proceedings of the 2014 European Conference on Software Architecture Workshops, (1-8)
- Jung R, Heinrich R, Schmieders E, Strittmatter M and Hasselbring W A Method for Aspect-oriented Meta-Model Evolution Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, (19-22)
- Konersmann M, Kurt N and Goedicke M Integrating Protocol Contracts with Java Code Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, (1-10)
- Pfeiffer R, Reimann J and Wąsowski A Language-Independent Traceability with Lässig Proceedings of the 10th European Conference on Modelling Foundations and Applications - Volume 8569, (148-163)
- Tchakaloff B, Saudrais S and Babau J Integration of physical models in the ORQA framework for electric vehicle energy management Proceedings of the 19th international doctoral symposium on Components and architecture, (7-12)
- Ecker W, Velten M, Zafari L and Goyal A Metasynthesis for Designing Automotive SoCs Proceedings of the 51st Annual Design Automation Conference, (1-6)
- Johanson A and Hasselbring W Sprat Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative, (1-6)
- Le C A model driven framework for modeling and composing service based Android applications Proceedings of the 29th Annual ACM Symposium on Applied Computing, (450-457)
- Schmidt A, Kimmig D, Bittner K and Dickerhof M Teaching model-driven software development Proceedings of the Sixteenth Australasian Computing Education Conference - Volume 148, (97-104)
- Clowes D, Dawson R and Probets S (2013). Extending document models to incorporate semantic information for complex standards, Computer Standards & Interfaces, 36:1, (97-109), Online publication date: 1-Nov-2013.
- Méndez-Acuña D, Casallas R and Etien A On the customization of model management systems for file-centric IDEs Proceedings of the 2013 ACM workshop on Domain-specific modeling, (57-62)
- Geisel J, Hamid B, Ziani A and Rademacher A Common pattern modeling language for object and component architectures Proceedings of the 20th Conference on Pattern Languages of Programs, (1-16)
- Hamid B and Percebois C Model-Based Specification and Validation of Security and Dependability Patterns Foundations and Practice of Security, (65-82)
- Saad C and Bauer B Data-Flow Based Model Analysis and Its Applications Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (707-723)
- Famelis M, Salay R, Sandro A and Chechik M Transformation of Models Containing Uncertainty Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (673-689)
- Francis M, Kolovos D, Matragkas N and Paige R Adding Spreadsheets to the MDE Toolkit Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (35-51)
- Faunes M, Cadavid J, Baudry B, Sahraoui H and Combemale B Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (187-202)
- Elaasar M and Neal A Integrating Modeling Tools in the Development Lifecycle with OSLC Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (154-169)
- Izquierdo J, Cabot J, López-Fernández J, Cuadrado J, Guerra E and Lara J Engaging End-Users in the Collaborative Development of Domain-Specific Modelling Languages Proceedings of the 10th International Conference on Cooperative Design, Visualization, and Engineering - Volume 8091, (101-110)
- Quinton C, Romero D and Duchien L Cardinality-based feature models with constraints Proceedings of the 17th International Software Product Line Conference, (162-166)
- Mooij A, Hooman J and Albers R Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment Revised Selected Papers of the Third International Symposium on Foundations of Health Information Engineering and Systems - Volume 8315, (170-187)
- Hamid B, Ziani A and Geisel J Towards tool support for pattern-based secure and dependable systems development Proceedings of the workshop on ACadeMics Tooling with Eclipse, (1-10)
- Schwägerl F, Uhrig S and Westfechtel B Model-based tool support for consistent three-way merging of EMF models Proceedings of the workshop on ACadeMics Tooling with Eclipse, (1-10)
- Atkinson C and Gerbig R Harmonizing textual and graphical visualizations of domain specific models Proceedings of the Second Workshop on Graphical Modeling Language Development, (32-41)
- Dimech C and Balasubramaniam D Maintaining architectural conformance during software development Proceedings of the 7th European conference on Software Architecture, (208-223)
- Sun W, Combemale B, Derrien S and France R Using model types to support contract-aware model substitutability Proceedings of the 9th European conference on Modelling Foundations and Applications, (118-133)
- Buezas N, Guerra E, de Lara J, Martín J, Monforte M, Mori F, Ogallar E, Pérez O and Sánchez Cuadrado J Umbra designer Proceedings of the 9th European conference on Modelling Foundations and Applications, (179-191)
- Scheidgen M Reference representation techniques for large models Proceedings of the Workshop on Scalability in Model Driven Engineering, (1-9)
- Tchakaloff B, Saudrais S and Babau J ORQA Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, (3-12)
- Herold S and Rausch A Complementing model-driven development for the detection of software architecture erosion Proceedings of the 5th International Workshop on Modeling in Software Engineering, (24-30)
- Bettini L, Damiani F, Schaefer I and Strocco F (2013). TraitRecordJ, Science of Computer Programming, 78:5, (521-541), Online publication date: 1-May-2013.
- Bettini L Implementing Java-like languages in Xtext with Xsemantics Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1559-1564)
- Heitkötter H, Majchrzak T and Kuchen H Cross-platform model-driven development of mobile applications with md2 Proceedings of the 28th Annual ACM Symposium on Applied Computing, (526-533)
- Dixon M (2013). A Graphical Based Approach to the Conceptual Modeling, Validation and Generation of XML Schema Definitions, International Journal of Information Technology and Web Engineering, 8:1, (1-22), Online publication date: 1-Jan-2013.
- Angelidis E, Bohn D and Rose O A simulation-based optimization heuristic using self-organization for complex assembly lines Proceedings of the Winter Simulation Conference, (1-10)
- Büttner F, Egea M, Cabot J and Gogolla M Verification of ATL transformations using transformation models and model finders Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering, (198-213)
- Marques E, Balegas V, Barroca B, Barisic A and Amaral V The RPG DSL Proceedings of the 2012 workshop on Domain-specific modeling, (13-18)
- Rahon D, Gayno R, Gratien J, Le Fur G and Schneider S Migration to model driven engineering in the development process of distributed scientific application software Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity, (181-190)
- Loh A, van der Storm T and Cook W Managed data Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (179-194)
- Barbier F and Cariou E Inductive UML Proceedings of the 2nd international conference on Model and Data Engineering, (153-161)
- Scheidgen M and Zubow A Map/reduce on EMF models Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing, (1-5)
- Taentzer G, Arendt T, Ermel C and Heckel R Towards refactoring of rule-based, in-place model transformation systems Proceedings of the First Workshop on the Analysis of Model Transformations, (41-46)
- Schiffelers R, Alberts W and Voeten J Model-based specification, analysis and synthesis of servo controllers for lithoscanners Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, (55-60)
- Duddy K, Beazley S, Kiegeland J and Steel J Q: why is a raven like a writing desk? Proceedings of the Modelling of the Physical World Workshop, (1-6)
- Taromirad M and Paige R Agile requirements traceability using domain-specific modelling languages Proceedings of the 2012 Extreme Modeling Workshop, (45-50)
- Buchmann T Towards tool support for agile modeling Proceedings of the 2012 Extreme Modeling Workshop, (9-14)
- Fischer J, Redlich J, Scheuermann B, Schiller J, Günes M, Nagel K, Wagner P, Scheidgen M, Zubow A, Eveslage I, Sombrutzki R and Juraschek F From earthquake detection to traffic surveillance Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice, (121-141)
- Fathabadi A, Butler M and Rezazadeh A A systematic approach to atomicity decomposition in event-b Proceedings of the 10th international conference on Software Engineering and Formal Methods, (78-93)
- Combemale B, Thirioux X and Baudry B Formally defining and iterating infinite models Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (119-133)
- Scheidgen M, Zubow A, Fischer J and Kolbe T Automated and transparent model fragmentation for persisting large models Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (102-118)
- Williams J, Burton F, Paige R and Polack F Sensitivity analysis in model-driven engineering Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (743-758)
- Sánchez-Cuadrado J, De Lara J and Guerra E Bottom-up meta-modelling Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (3-19)
- Hoehn K, Sun W, France R and Yu L SUDA Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, (1-2)
- Robenalt S MDSD for games with eclipse modeling technologies Proceedings of the 11th international conference on Entertainment Computing, (511-517)
- Gómez A, Penadés M, Canós J, Borges M and Llavador M DPLfw Proceedings of the 16th International Software Product Line Conference - Volume 1, (96-105)
- Lenk M, Vitzthum A and Jung B Model-driven iterative development of 3D web-applications using SSIML, X3D and JavaScript Proceedings of the 17th International Conference on 3D Web Technology, (161-169)
- Rutle A, MacCaull W, Wang H and Lamo Y A metamodelling approach to behavioural modelling Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, (1-10)
- Kolovos D, Rose L, Williams J, Matragkas N and Paige R A lightweight approach for managing XML documents with MDE languages Proceedings of the 8th European conference on Modelling Foundations and Applications, (118-132)
- Adda M (2012). Progressive Data Synchronization Model for Mobile Devices, International Journal of Mobile Computing and Multimedia Communications, 4:3, (1-20), Online publication date: 1-Jul-2012.
- García Frey A, Céret E, Dupuy-Chessa S, Calvary G and Gabillon Y UsiComp Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, (263-268)
- Rouvoy R and Merle P Rapid prototyping of domain-specific architecture languages Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering, (13-22)
- Malakova M, Dimov A and Dimov D SOREGENE Proceedings of the 13th International Conference on Computer Systems and Technologies, (179-186)
- Naujokat S, Lamprecht A, Steffen B, Jörges S and Margaria T Simplicity principles for plug-in development Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, (7-12)
- Zheng Y and Taylor R Enhancing architecture-implementation conformance with change management and support for behavioral mapping Proceedings of the 34th International Conference on Software Engineering, (628-638)
- Arendt T and Taentzer G Integration of smells and refactorings within the Eclipse modeling framework Proceedings of the Fifth Workshop on Refactoring Tools, (8-15)
- Cazzola W Domain-Specific languages in few steps Proceedings of the 11th international conference on Software Composition, (162-177)
- Bach J, Crégut X, Moreau P and Pantel M Model transformations with Tom Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications, (1-9)
- Sarjoughian H and Markid A EMF-DEVS modeling Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
- Sarkar S, Sharma V and Agarwal R Creating design from requirements and use cases Proceedings of the 5th India Software Engineering Conference, (3-12)
- Pitikakis M, Vavalis M and Houstis C (2012). Review: semantically interoperable three-dimensional scientific objects, The Knowledge Engineering Review, 27:1, (33-55), Online publication date: 1-Feb-2012.
- Jurack S and Taentzer G (2012). Transformation of Typed Composite Graphs with Inheritance and Containment Structures, Fundamenta Informaticae, 118:1-2, (97-134), Online publication date: 1-Jan-2012.
- Konersmann M and Goedicke M A conceptual framework and experimental workbench for architectures Software Service and Application Engineering, (36-52)
- Tranoris C and Denazis S FSToolkit The Future Internet, (201-212)
- Angelidis E, Pappert F and Rose O A prototype simulation tool for a framework for simulation-based optimization of assembly lines Proceedings of the Winter Simulation Conference, (2383-2394)
- Yongjie Zheng and Taylor R Taming changes With 1.x-Way architecture-implementation mapping Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (396-399)
- Stenzel K, Moebius N and Reif W Formal verification of QVT transformations for code generation Proceedings of the 14th international conference on Model driven engineering languages and systems, (533-547)
- García-Domínguez A, Kolovos D, Rose L, Paige R and Medina-Bulo I EUnit Proceedings of the 14th international conference on Model driven engineering languages and systems, (395-409)
- Elaasar M and Labiche Y Diagram definition Proceedings of the 14th international conference on Model driven engineering languages and systems, (364-378)
- Tisi M, Martínez S, Jouault F and Cabot J Lazy execution of model-to-model transformations Proceedings of the 14th international conference on Model driven engineering languages and systems, (32-46)
- Kainz G, Buckl C and Knoll A Automated model-to-metamodel transformations based on the concepts of deep instantiation Proceedings of the 14th international conference on Model driven engineering languages and systems, (17-31)
- Jung C, Rudolph M and Schwarz R (2011). Security Evaluation of Service-Oriented Systems Using the SiSOA Method, International Journal of Secure Software Engineering, 2:4, (19-33), Online publication date: 1-Oct-2011.
- Delmas R, Doose D, Pires A and Polacsek T Supporting model based design Proceedings of the First international conference on Model and data engineering, (237-248)
- Ridene Y and Barbier F A model-driven approach for automating mobile applications testing Proceedings of the 5th European Conference on Software Architecture: Companion Volume, (1-7)
- Williams J, Poulding S, Rose L, Paige R and Polack F Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels Proceedings of the Third international conference on Search based software engineering, (112-126)
- Bettini L A DSL for writing type systems for Xtext languages Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, (31-40)
- Teodorov C and Lagadec L MDE-based FPGA physical design Proceedings of the International Workshop on Smalltalk Technologies, (1-13)
- Warwas S and Klusch M Making Multiagent System Designs Reusable Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02, (101-108)
- Corrêa C Towards automatic consistency preservation for model-driven software product lines Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-7)
- Duran-Limon H, Castillo-Barrera F and Lopez-Herrejon R Towards an ontology-based approach for deriving product architectures Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-5)
- Corrêa C, Oliveira T and Werner C An analysis of change operations to achieve consistency in model-driven software product lines Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-4)
- Quinton C, Mosser S, Parra C and Duchien L Using multiple feature models to design applications for mobile phones Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-8)
- Zschaler S and Rashid A Towards modular code generators using symmetric language-aware aspects Proceedings of the 1st International Workshop on Free Composition, (1-5)
- Palyart M, Lugato D, Ober I and Bruel J MDE4HPC Proceedings of the 15th international conference on Integrating System and Software Modeling, (247-261)
- Vermolen S, Wachsmuth G and Visser E Reconstructing complex metamodel evolution Proceedings of the 4th international conference on Software Language Engineering, (201-221)
- Horn T and Ebert J The GReTL transformation language Proceedings of the 4th international conference on Theory and practice of model transformations, (183-197)
- Kindler E The ePNK Proceedings of the 32nd international conference on Applications and theory of Petri Nets, (318-327)
- Kindler E Integrating behaviour in software models Proceedings of the Third Workshop on Behavioural Modelling, (41-48)
- Zheng Y 1.x-Way architecture-implementation mapping Proceedings of the 33rd International Conference on Software Engineering, (1118-1121)
- Schreier S Modeling RESTful applications Proceedings of the Second International Workshop on RESTful Design, (15-21)
- Kelsen P, Ma Q and Glodt C Models within models Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (171-185)
- Guan W, Sierszecki K and Angelov C Developing a Toolset Supporting the Construction of Reusable Components for Embedded Control Systems Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing, (879-884)
- Hansen H, Ketema J, Luttik B, Mousavi M, van de Pol J and dos Santos O Automated verification of executable UML models Proceedings of the 9th international conference on Formal Methods for Components and Objects, (225-250)
- Volz B and Jablonski S Towards an open meta modeling environment Proceedings of the 10th Workshop on Domain-Specific Modeling, (1-6)
- Barkowski D, Kuhn T, Schäfer C and Trapp M Domain-specific modeling as an enabling technology for small and medium-sized enterprises Proceedings of the 10th Workshop on Domain-Specific Modeling, (1-6)
- Parreiras F, Walter T and Gröner G Visualizing ontologies with UML-like notation Ontology-Driven Software Engineering, (1-6)
- Eysholdt M and Behrens H Xtext Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, (307-309)
- Eysholdt M and Rupprecht J Migrating a large modeling environment from XML/UML to Xtext/GMF Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, (97-104)
- Herrmannsdoerfer M, Vermolen S and Wachsmuth G An extensive catalog of operators for the coupled evolution of metamodels and models Proceedings of the Third international conference on Software language engineering, (163-182)
- Herrmannsdoerfer M, Ratiu D and Koegel M Metamodel usage analysis for identifying metamodel improvements Proceedings of the Third international conference on Software language engineering, (62-81)
- Bürger C, Karol S, Wende C and Aßmann U Reference attribute grammars for metamodel semantics Proceedings of the Third international conference on Software language engineering, (22-41)
- Jugel U and Preußner A A case study on API generation Proceedings of the 6th international conference on System analysis and modeling: about models, (156-172)
- Dahman W and Grabowski J UML-based specification and generation of executable web services Proceedings of the 6th international conference on System analysis and modeling: about models, (91-107)
- Noorshams Q, Martens A and Reussner R Using quality of service bounds for effective multi-objective software architecture optimization Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, (1-6)
- Heidenreich F, Johannes J, Karol S, Seifert M, Thiele M, Wende C and Wilke C Integrating OCL and textual modelling languages Proceedings of the 2010 international conference on Models in software engineering, (349-363)
- Kainz G, Buckl C, Sommer S and Knoll A Model-to-metamodel transformation for the development of component-based systems Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (391-405)
- Fernández D, Penzenstadler B, Kuhrmann M and Broy M A meta model for artefact-orientation Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (183-197)
- Reimann J, Seifert M and Aßmann U Role-based generic model refactoring Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (78-92)
- Johannes J and Aßmann U Concern-based (de)composition of model-driven software development processes Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II, (47-62)
- Kolovos D, Rose L, Abid S, Paige R, Polack F and Botterweck G Taming EMF and GMF using model transformation Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, (211-225)
- Arendt T, Biermann E, Jurack S, Krause C and Taentzer G Henshin Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, (121-135)
- de Lara J and Guerra E Generic meta-modelling with concepts, templates and mixin layers Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I, (16-30)
- Seifert M, Wende C and Aßmann U Anticipating unanticipated tool interoperability using role models Proceedings of the First International Workshop on Model-Driven Interoperability, (52-60)
- Jurack S and Taentzer G A component concept for typed graphs with inheritance and containment structures Proceedings of the 5th international conference on Graph transformations, (187-202)
- Cirilo C, do Prado A, de Souza W and Zaina L Model driven RichUbi Proceedings of the 28th ACM International Conference on Design of Communication, (207-214)
- Líška M and Návrat P An ontology driven approach to software project enactment with a supplier Proceedings of the 14th east European conference on Advances in databases and information systems, (378-391)
- van Amstel M, van den Brand M and Engelen L An exercise in iterative domain-specific language design Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), (48-57)
- Bettini L, Damiani F, Schaefer I and Strocco F A prototypical Java-like language with records and traits Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, (129-138)
- Piao S, Kwak J and Kim W Research on eclipse based media art authoring tool for the media artist Proceedings of the 9th international conference on Entertainment computing, (342-349)
- Haschemi S and Weißleder S A generic approach to run mutation analysis Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques, (155-164)
- Aldewereld H and Dignum V OperettA Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems, (1-18)
- Pérez J, Díaz J, Garbajosa J and Alarcón P Flexible working architectures Proceedings of the 4th European conference on Software architecture, (102-117)
- Mu L, Gjøsæter T, Prinz A and Tveit M Specification of modelling languages in a flexible meta-model architecture Proceedings of the Fourth European Conference on Software Architecture: Companion Volume, (302-308)
- Elsner C, Schwanninger C, Schröder-Preikschat W and Lohmann D Multi-Level Product Line Customization Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (37-58)
- del Amo I, Pelta D, Masegosa A and Verdegay J (2010). A software modeling approach for the design and analysis of cooperative optimization systems, Software—Practice & Experience, 40:9, (811-823), Online publication date: 1-Aug-2010.
- Schilling B, Koldehofe B, Pletat U and Rothermel K Distributed heterogeneous event processing Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, (150-159)
- Díaz O and Puente G Model-aware Wiki analysis tools Proceedings of the 6th International Symposium on Wikis and Open Collaboration, (1-9)
- Herrmannsdoerfer M and Koegel M Towards a generic operation recorder for model evolution Proceedings of the 1st International Workshop on Model Comparison in Practice, (76-81)
- Koegel M, Herrmannsdoerfer M, von Wesendonk O and Helming J Operation-based conflict detection Proceedings of the 1st International Workshop on Model Comparison in Practice, (21-30)
- Christ F, Bals J, Engels G, Gerth C and Luckey M A generic meta-model-based approach for specifying framework functionality and usage Proceedings of the 48th international conference on Objects, models, components, patterns, (21-40)
- de Lara J and Guerra E Deep meta-modelling with METADEPTH Proceedings of the 48th international conference on Objects, models, components, patterns, (1-20)
- Rose L, Kolovos D, Paige R and Polack F Model migration with epsilon flock Proceedings of the Third international conference on Theory and practice of model transformations, (184-198)
- Kolovos D, Rose L, Matragkas N, Paige R, Polack F and Fernandes K Constructing and navigating non-invasive model decorations Proceedings of the Third international conference on Theory and practice of model transformations, (138-152)
- Heidenreich F, Kopcsek J and Aßmann U Safe composition of transformations Proceedings of the Third international conference on Theory and practice of model transformations, (108-122)
- Cazzola W and Poletti D DSL evolution through composition Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution, (1-6)
- Kindler E Model-based software engineering Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, (1-8)
- Schmidt M, Polowinski J, Johannes J and Fernández M An integrated facet-based library for arbitrary software components Proceedings of the 6th European conference on Modelling Foundations and Applications, (261-276)
- Rose L, Kolovos D, Drivalos N, Williams J, Paige R, Polack F and Fernandes K Concordance Proceedings of the 6th European conference on Modelling Foundations and Applications, (245-260)
- Lopez-Herrejon R and Egyed A Detecting inconsistencies in multi-view models with variability Proceedings of the 6th European conference on Modelling Foundations and Applications, (217-232)
- Johannes J and Fernández M Adding abstraction and reuse to a network modelling tool using the reuseware composition framework Proceedings of the 6th European conference on Modelling Foundations and Applications, (132-143)
- Ellner R, Al-Hilank S, Drexler J, Jung M, Kips D and Philippsen M eSPEM – a SPEM extension for enactable behavior modeling Proceedings of the 6th European conference on Modelling Foundations and Applications, (116-131)
- Fedor S and Fallon L A method of automatic assessment of feature compatibility in mobile networks Proceedings of the 9th conference on Wireless telecommunications symposium, (39-46)
- Heidenreich F, Sánchez P, Santos J, Zschaler S, Alférez M, Araújo J, Fuentes L, Kulesza U, Moreira A and Rashid A Relating feature models to other models of a software product line Transactions on aspect-oriented software development VII, (69-114)
- Heidenreich F, Sánchez P, Santos J, Zschaler S, Alférez M, Araújo J, Fuentes L, Kulesza U, Moreira A and Rashid A Relating feature models to other models of a software product line Transactions on aspect-oriented software development VII, (69-114)
- Schmidt H, Dang C, Gessler S and Hauck F Model-Driven Development of Adaptive Applications with Self-Adaptive Mobile Processes Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I, (726-743)
- Heidenreich F Towards systematic ensuring well-formedness of software product lines Proceedings of the First International Workshop on Feature-Oriented Software Development, (69-74)
- Heinrich M, Boehm-Peters A and Knechtel M A platform to automatically generate and incorporate documents into an ontology-based content repository Proceedings of the 9th ACM symposium on Document engineering, (43-46)
- Martínez-Ortiz I, Sierra J, Fernández-Manjón B and Fernández-Valmayor A (2009). Language engineering techniques for the development of e-learning applications, Journal of Network and Computer Applications, 32:5, (1092-1105), Online publication date: 1-Sep-2009.
- do Nascimento F, da Silva Oliveira M and Wagner F Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes, (1-6)
- Moreno G, Smith C and Williams L Performance analysis of real-time component architectures Proceedings of the 7th international workshop on Software and performance, (115-126)
- Prinz A, Scheidgen M and Tveit M A model-based standard for SDL Proceedings of the 13th international SDL Forum conference on Design for dependable systems, (1-18)
- Autili M, Berardinelli L, Cortellessa V, Marco A, Ruscio D, Inverardi P and Tivoli M A Development Process for Self-adapting Service Oriented Applications Proceedings of the 5th international conference on Service-Oriented Computing, (442-448)
- Chidisiuc C and Wainer G CD++Builder Proceedings of the 2007 spring simulation multiconference - Volume 2, (235-240)
- Costa F, Provensi L and Vaz F Using runtime models to unify and structure the handling of meta-information in reflective middleware Proceedings of the 2006 international conference on Models in software engineering, (232-241)
- de Lara J and Guerra E Adaptive modelling languages: Abstract syntax and model migration, ACM Transactions on Software Engineering and Methodology, 0:0
- Berardinelli L, Drath R, Maetzler E and Wimmer M On the evolution of CAEX: A language engineering perspective 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), (1-8)
Index Terms
- EMF: Eclipse Modeling Framework 2.0
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
EMF-DEVS modeling
TMS/DEVS '12: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S SymposiumThis paper introduces EMF-DEVS, a meta-modeling approach based on the Eclipse Modeling Framework (EMF) and system-theoretic Discrete Event System Specification (DEVS). Generic atomic and coupled EMF-DEVS meta-models are conceptualized and developed. ...