default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMODELS 2024: Linz, Austria - Companion Proceedings
- Manuel Wimmer, Alexander Egyed, Benoît Combemale, Marsha Chechik:
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024. ACM 2024, ISBN 979-8-4007-0622-6
Tools and Demonstration Track
- Fabian Muff
, Hans-Georg Fill:
M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language. 1-5 - Steffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos:
Move your MDE teaching online: The MDENet Education Platform. 6-10 - Dominique Hausler, Meike Klettke:
Nautilus: Implementation of an Evolution Approach for Graph Databases. 11-15 - Victor Lamas, Miguel R. Luaces, Daniel Garcia-Gonzalez:
DSL-Xpert: LLM-driven Generic DSL Code Generation. 16-20 - Antonio García-Domínguez, Dimitris S. Kolovos:
Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol. 21-25 - Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera:
A RAG-based Feedback Tool to Augment UML Class Diagram Learning. 26-30 - Antonio Bucchiarone, Tommaso Guidolin, Lorenzo Fasol, Gianluca Schiavo, Jörg Kienzle, Sebastien Gerard, David Négrier, Tommaso Martorella:
PolyGloT-UML: A Gamified Framework for Enhancing UML Learning Paths. 31-35 - Adiel Tuyishime, Francesco Basciani, Javier Luis Cánovas Izquierdo, Ludovico Iovino:
Enhancing Model Management with Automated REST API Generation. 36-40 - Alexander Boll, Timo Kehrer, Michael Goedicke:
SMOKE: Simulink Model Obfuscator Keeping Structure. 41-45 - Lorenzo Bettini, Davide Di Ruscio, Amleto Di Salle, Ludovico Iovino, Alfonso Pierantonio:
Keeping clients' models up-to-date with Edelta. 46-50 - José Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente:
IMP-Logics: a metamodel for analysis and transformations of Datalog programs. 51-55 - Avi Shaked, Nan Messe, Tom Melham:
Modelling Tool Extension for Vulnerability Management. 56-60 - Francisco Simões, Miguel Goulão, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe:
SCCD Debugger: a Debugger for Statecharts and Class Diagrams. 61-65 - Jerry Hou-Liu, Zhekai Jiang, Aren A. Babikian:
Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing. 66-70 - Josselin Enet, Erwan Bousse, Massimo Tisi, Gerson Sunyé:
dpDebugger: a Domain-Parametric Debugger for DSLs Using DAP and Language Protocols. 71-75
POSTER SESSION: Posters Track
- Stefan Schöberl, Christian Banse, Verena Geist, Immanuel Kunz, Martin Pinzger:
CertGraph: Towards a Comprehensive Knowledge Graph for Cloud Security Certifications. 76-77
Educators Symposium
- Antonio Bucchiarone, Antonio Cicchetti, Andrea Vázquez-Ingelmo, Filippo Adami, Gianluca Schiavo, Alicia García-Holgado, Francisco José García-Peñalvo:
Designing and Generating Lesson Plans combining Open Educational Content and Generative AI. 78-86 - Kua Chen, Boqi Chen, Yujing Yang, Gunter Mussbacher, Dániel Varró:
Embedding-based Automated Assessment of Domain Models. 87-94 - Markus Hamann, Sebastian Götz, Uwe Aßmann:
Towards an Interoperable Model-driven Automated Assessment System for Computer Science Education. 95-102 - Pasquale Ardimento, Mario Luca Bernardi, Marta Cimitile, Michele Scalera:
Enhancing Software Modeling Learning with AI-Powered Scaffolding. 103-106 - Pierre Maier, Tobias Schwarz:
UML++: Enhancing Student Learning of Object-Oriented Modeling through Executable Objects. 107-114 - Lukas Netz, Jan Reimer, Bernhard Rumpe:
Using Grammar Masking to Ensure Syntactic Validity in LLM-based Modeling Tasks. 115-122
Doctoral Symposium
- Dominique Hausler:
Estimation, Impact and Visualization of Schema Evolution in Graph Databases. 123-129 - Jonathan Silva Mercado:
AI Assisted Domain Modeling Explainability and Traceability. 130-135 - Marcel Weller:
Automated Synchronization of Enterprise Architecture Models with Deployment Models. 136-141 - Máté Földiák:
Probabilistic Graph Queries for Design Space Exploration Under Uncertainty. 142-148 - Alexandre Monnier Weil:
Ensuring the consistency of information between two versions of a mechanical drawing. 149-154 - Willem Meijer:
Contract-based Validation of Conceptual Design Bugs for Engineering Complex Machine Learning Software. 155-161 - Lina Bilal:
Automating Digital Twins Development in Industry 4.0. 162-167 - Rickson Simioni Pereira:
Automated Generation and Configuration of Domain-Specific Recommender Systems. 168-173 - Théo Giraudet:
Interactivity and Collaboration in the Context of Heterogeneous Modeling. 174-179
ACM Student Research Competition
- Cyrus Nejat:
Space System Modeling Approach for Exploring of the Iced-Covered Ganymede Moon Subsurface Oceans. 180-183 - Nirmal Chaudhari:
Pipelines Have Feelings Too: A Structured Way To Design CI/CD Pipelines. 184-187 - Meriem Ben Chaaben:
Software Modeling Assistance with Large Language Models. 188-191 - Kyanna Dagenais:
Towards Model Repair by Human Opinion-Guided Reinforcement Learning. 192-195 - Pascal Archambault:
Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture Systems. 196-199 - Joshua Tetteh Ocansey:
Enhanced Interoperability and Consistency in Heterogeneous Systems with CorrLang and OpenAPI. 200-203 - Josselin Enet:
Language Protocols for Domain-Specific Debugging. 204-207
16th System Analysis and Modelling Conference (SAM)
- Emmanuel Gaudin:
Experimenting low code with SDL and BPMN. 208-215 - Fabian Giertzsch, Marvin Blecken, Ralf God:
Towards a Model-Based Systems Engineering Framework for the Design and Configuration of Communication Networks in a Data-Driven and Interconnected Aircraft Cabin. 216-226 - Zaheed Ahmed, Philip Makedonski:
Exploring the Fundamentals of Mutations in Deep Neural Networks. 227-233 - Bianca Wiesmayr, Alois Zoitl, David Hästbacka:
Modeling Service Choreographies and Collaborative Tasks for Autonomous Mixed-Fleet Systems. 234-244 - Carina Bieber, Patrick Harms, Dominick Leppich, Katrin Proschek:
AI-based User Emotion Recognition from Interaction Data: Challenges and Guidelines for Training Data Creation. 245-252 - Vaishali Siddeshwar, Sanaa A. Alwidian, Masoud Makrehchi:
A Comparative Study of Large Language Models for Goal Model Extraction. 253-263 - Manas Manoj Bedekar, Gunter Mussbacher:
A Multi-Platform Specification Language and Dataset for the Analysis of DevOps Pipelines. 264-274 - Federico Bonetti, Antonio Bucchiarone, Judith Michael, Antonio Cicchetti, Annapaola Marconi, Bernhard Rumpe:
Digital Twins of Socio-Technical Ecosystems to Drive Societal Change. 275-286 - Johan Cederbladh, Daniel Krems, Antonio Cicchetti:
Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification. 287-298 - Johan Cederbladh, Martin Eisenberg, Luca Berardinelli, Damir Bilic:
Automation Support for System Simulation and Architecture Layout Design in Cyber-Physical Systems Engineering. 299-310 - Ármin Zavada, Kristóf Marussy, Vince Molnár:
From Transpilers to Semantic Libraries: Formal Verification With Pluggable Semantics. 311-317
1st International Conference on Engineering Digital Twins (EDTconf)
- Fady Salama, Idil Sezgin, Ege Korkan, Sebastian Käbisch, Sebastian Steinhorst:
HoloWoT: A First Step Towards Mixed Reality Digital Twins for the Industrial Internet of Things. 318-321 - Vinicius Kreischer de Almeida, Douglas Ericson Marcelino de Oliveira, Claudio Daniel Tenorio de Barros, Gabriel dos Santos Scatena, Asdrubal N. Queiroz Filho, Fábio Levy Siqueira, Anna Helena Reali Costa, Edson Satoshi Gomi, Leonardo A. F. Mendoza, Evelyn Conceição Santos Batista, Cristian E. Muñoz, Isabela Guimarães Siqueira, Rodrigo A. Barreira, Ismael H. F. dos Santos, Carlos Cardoso, Eduardo S. Ogasawara, Fábio Porto:
A Digital Twin System for Oil And Gas Industry: A Use Case on Mooring Lines Integrity Monitoring. 322-331 - Samuele Burattini, Antoine Zimmermann, Marco Picone, Alessandro Ricci:
Towards Linked Data for Ecosystems of Digital Twins. 332-337 - Taylor Riché, Joshua Prewitt, Cristian Hotea, Cosmin Neagu, T. J. Giere:
Managing Digital Twins of The Test Lab with SystemLink Software. 338-341 - Pascal Archambault, Houari A. Sahraoui, Eugene Syriani:
A Modeling Methodology for Crop Representation in Digital Twins for Smart Farming. 342-352 - Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Declarative Lifecycle Management in Digital Twins. 353-363 - Giordano d'Aloisio, Alessandro Di Matteo, Alessia Cipriani, Daniele Lozzi, Enrico Mattei, Gennaro Zanfardino, Antinisca Di Marco, Giuseppe Placidi:
Engineering a Digital Twin for Diagnosis and Treatment of Multiple Sclerosis. 364-369 - Guodong Shao:
Manufacturing Digital Twin Standards. 370-377 - Jean-Marc Maree, Karel Kruger, Anton Basson:
Opportunities for Digital Twins for the Provisioning, Management and Monitoring of Heterogeneous IoT Devices. 378-389 - Rene Honcak, Ana Wooley:
An MBSE approach for Virtual Verification & Validation of Systems with Digital Twins. 390-400 - Xiaoran Liu, Istvan David:
AI Simulation by Digital Twins: Systematic Survey of the State of the Art and a Reference Framework. 401-412 - Lior Skoury, Samuel Leder, Achim Menges, Thomas Wortmann:
Digital twin architecture for the AEC Industry : A case study in collective robotic construction. 413-418 - Faima Abbasi, Pierre Brimont, Cédric Pruski, Jean-Sébastien Sottet:
Understanding Semantic Drift in Model Driven Digital Twins. 419-430 - Ryno Visser, Anton Basson, Karel Kruger:
An Architecture for the Integration of Product and Production Digital Twins in the Automotive Industry. 431-441 - Jean-Marc Maree, Karel Kruger, Anton Basson:
A Digital Twin Architecture for the Provisioning, Management, and Monitoring of Heterogenous IoT Devices. 442-452 - Gwendal G. Beaumont, Antoine Beugnard, Salvador Martínez Perez, Christelle Urtado, Sylvain Vauttier:
Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases. 453-458 - Lionel Protin, Wassila Aggoune-Mtalaa, Carlos Kavka:
Practical design and implementation of an augmented reality based digital twin. 459-463 - Bentley J. Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard:
Towards Ontological Service-Driven Engineering of Digital Twins. 464-469 - Christoph Walter, Eric Bayrhammer, Ajaykumar Jasvantbhai Nadoda:
Digital Twins to drive Robot-based Disassembly Applications: Asset Models for Autonomous Planning. 470-475 - Andrea Giulianelli, Samuele Burattini, Andrei Ciortea, Alessandro Ricci:
Engineering Interoperable Ecosystems of Digital Twins: A Web-based Approach. 476-485 - Ireoluwa Akinlolu Fakeye, Ellen Diana van Lutsenburg Maas, Paul Harris, Bader Oulaid, Chris Baker:
Towards A Framework For Farm Scale Digital Twin. 486-491 - François Fouquet, Thomas Hartmann, Cyril Cecchinel, Benoît Combemale:
GreyCat: A Framework to Develop Digital Twins at Large Scale. 492-495 - Sara Aissat, Jonathan Beaulieu, Francis Bordeleau, Julien Gascon-Samson, Erik A. Poirier, Ali Motamedi:
JuNo-OPS: A DevOps Framework for the Engineering of Digital Twins for Built Assets. 496-506 - Paula Muñoz, Javier Troya, Antonio Vallecillo:
Towards Measuring Digital Twins Fidelity at Runtime. 507-512
1st International Workshop on Sustainability and Modeling (SusMod)
- Amleto Di Salle, Arianna Fedeli, Ludovico Iovino, Leonardo Mariani, Daniela Micucci, Luciana Rebelo, Maria Teresa Rossi:
Waste Management Through Digital Twins and Business Process Modeling. 513-517 - Léa Brunschwig, Olivier Le Goaër:
Cross-Detection of Mobile-specific Energy Hotspots: MBSE to the Rescue. 518-522 - Tiago Sousa, Benoît Ries, Nicolas Guelfi:
Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper. 523-527 - Gabriel Morais, Mehdi Adda, Dominik Bork:
Breaking Down Barriers: Building Sustainable Microservices Architectures with Model-Driven Engineering. 528-532
6th Workshop on Artificial Intelligence and Model-Driven Engineering (MDE Intelligence)
- Evin Aslan Oguz, Jochen Malte Küster:
A Comparative Analysis of ChatGPT-Generated and Human-Written Use Case Descriptions. 533-540 - My M. Mosthaf, Andrzej Wasowski:
From a Natural to a Formal Language with DSL Assistant. 541-549 - Thomas Buchmann:
Prompting Bidirectional Model Transformations - The Good, The Bad and The Ugly. 550-555 - Thomas Buchmann, René Peinl, Felix Schwägerl:
White-box LLM-supported Low-code Engineering: A Vision and First Insights. 556-560 - Alan Birchler De Allende, Bastien Sultan, Ludovic Apvrille:
From Attack Trees to Attack-Defense Trees with Generative AI & Natural Language Processing. 561-569 - Joel Charles, Judith Michael, Lukas Netz, Bernhard Rumpe:
Teaching Model-Driven Low-Code Development Platforms. 570-577 - Lola Burgueño, C. Maria Keet, Jörg Kienzle, Judith Michael, Önder Babur:
A Human Behavior Exploration Approach Using LLMs for Cyber-Physical Systems. 578-586 - Yujing Yang, Boqi Chen, Kua Chen, Gunter Mussbacher, Dániel Varró:
Multi-step Iterative Automated Domain Modeling with Large Language Models. 587-595 - Claudio Di Sipio, Riccardo Rubei, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino:
On the use of LLMs to support the development of domain-specific modeling languages. 596-601 - Susanne Göbel, Ralf Lämmel:
Model-Based Trust Analysis of LLM Conversations. 602-610 - Mirza Rehenuma Tabassum, Matthew J. Ritchie, Sadaf Mustafiz, Jörg Kienzle:
Using LLMs for Use Case Modelling of IoT Systems: An Experience Report. 611-619
International Workshop on Collaborative and Participatory Modeling (CoPaMo)
- Sebastian Bergemann, Nina Benkendorf:
Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators. 620-629 - Harald Störrle:
Engaging End-User-Modelers: An Action Research Study. 630-639 - Sebastian Hahner, Nils Niehues, Nicolas Boltz, Mario Fuksa, Robert Heinrich:
ARC3N: A Collaborative Uncertainty Catalog to Address the Awareness Problem of Model-Based Confidentiality Analysis. 640-644 - Rajitha Manellanga, Istvan David:
Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review. 645-654 - Luciano Marchezan, Marcel Homolka, Andrei Blokhin, Wesley K. G. Assunção, Edvin Herac, Alexander Egyed:
A Tool for Collaborative Consistency Checking During Modeling. 655-659 - Arianna Fedeli, David Azael Manrique Negrin:
Towards a collaborative approach for Digital Twin simulation models comprehension. 660-664 - Robbert Jongeling:
Towards public understanding of software through modeling. 665-669 - Henrik Gustavsson, Johan Cederbladh:
Towards Model-Based Adoption for Requirements Elicitation in Railway - the Role of Collaborative and Participatory Modelling. 670-674 - Steven Kelly:
New UX for Participatory Modeling. 675-679 - Malvina Latifaj:
Towards Active Participation of Domain Experts in Modeling Language Evolution. 680-684 - Chaimae Asaad, Karim Baïna, Mounir Ghogho:
Bridging the Gap: Participatory Modeling for Stakeholder-Driven NoSQL Database Design. 685-689
WORKSHOP SESSION: Workshop on Modeling in Automotive System and Software Engineering (MASE'24)
- Philip Ochs, Tobias Pett, Ina Schaefer:
Consistency Is Key: Can Your Product Line Realise What It Models? 690-699 - Maksym Labzhaniia, Julien Deantoni, Marie-Agnès Peraldi-Frati, Frédéric Mallet:
Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles. 700-709 - Harald Störrle:
Industrial Adoption of MDE for Embedded Control Software: A Qualitative Inquiry in the German Automotive Industry. 710-719 - Ali Raeisdanaei, Logan Murphy, Alessio Di Sandro, Mehrnoosh Askarpour, Torin Viger, Marsha Chechik:
Evaluation of Automotive OTA Updates Using Assurance Cases. 720-724 - Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser:
A Tool For Feature-Requirement Traceability Using Requirement Canvas and Encapsulation. 725-734 - Nick Polanco, Betty H. C. Cheng:
Socio-technical Automotive Security Design Patterns: Applying a Stakeholder-Based Approach to Securing Self-Driving Vehicles. 735-744
3rd International Workshop on Foundations and Practice of Visual Modeling
- Fazle Rabbi:
A Model-Based Framework for Exploring Conflict Dynamics. 745-754 - Alfonso de la Vega:
Timeline exploration of model differences in source code repositories through graphical and textual views. 755-759
11th International Workshop on Multi-Level Modeling (MULTI 2024)
- Thomas Weber, Monalisha Ojha, Mohammad Sadeghi, Lars König, Martin Armbruster, Arne Lange, Erik Burger, Colin Atkinson:
Towards Deep Reactions in Multi-Level, Multi-View Modeling. 760-769 - Georg Hinkel:
Modeling a Warehouse system using refinements and decomposition: A contribution to the MULTI Warehouse challenge. 770-779 - Ulrich Frank, Daniel Töpel:
Associaton Types: Motivation, Specification and Implementation with the XModelerML. 780-789 - Gergely Mezei, Ferenc Attila Somogyi, Norbert Somogyi, Gergely Gembela:
Multi-Level Modeling with DMLA: A Contribution to the MULTI Warehouse Challenge. 790-799 - Thomas Kühne, Pierre Maier:
FMMLx and DLM - A Contribution to the MULTI Collaborative Comparison Challenge. 800-809 - Colin Atkinson, Thomas Kühne, Arne Lange:
Misconceptions about Potency-Based Deep Instantiation. 810-817 - Mira Balaban, Lars Hamann, Gil Khais, Amiel Amram Saad, Azzam Maraee, Arnon Sturm:
Mediation-Based MLM in USE. 818-827 - Yuhong Fu, Matt Selway, Georg Grossmann, Karamjit Kaur, Markus Stumptner:
Modelling a Warehouse with SLICER: A Contribution to the MULTI Warehouse Challenge. 828-837
WORKSHOP SESSION: Workshop on Low-Code Development Platforms (LowCode)
- Atefeh Nirumand Jazi, Iván Alfonso, Jordi Cabot:
Low-Code Flutter Application Development Solution. 838-847 - Roy Kakkenberg, Satrio Adi Rukmono, Michel Chaudron, Wim Gerholt, Miguel Pinto, Claudio Ribeiro de Oliveira:
Arvisan: an Interactive Tool for Visualisation and Analysis of Low-Code Architecture Landscapes. 848-855 - Till Guthardt, Jens Kosiol, Oliver Hohlfeld:
Low-code vs. the developer: An empirical study on the developer experience and efficiency of a no-code platform. 856-865 - Anne-Kathrin Hermann, Lars König, Erik Burger, Ralf H. Reussner:
Towards Integrating Low-Code in View-based Development. 866-875 - Nathan Hagel, Nicolas Hili, Didier Schwab:
Turning Low-Code Development Platforms into True No-Code with LLMs. 876-885 - Gayane Sedrakyan, Maria-Eugenia Iacob, Jos van Hillegersberg:
Towards LowDevSecOps Framework for Low-Code Development: Integrating Process-Oriented Recommendations for Security Risk Management. 886-894 - Antonio Bucchiarone, Marco Panciera, Antonio Cicchetti, Nadia Mana, Carlotta Castelluccio, Lee Stott:
PromptDeck: A No-Code Platform for Modular Prompt Engineering. 895-904 - Jean-Marie Mottu, Gerson Sunyé:
Emerging New Roles for Low-Code Software Development Platforms. 905-914
WORKSHOP SESSION: Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)
- Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner:
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. 915-919 - Kyanna Dagenais, Istvan David:
Driving Requirements Evolution by Engineers' Opinions. 920-929 - Johan Cederbladh, Thomas C. Zimmermann:
How does one Model Appropriately in Systems Engineering? An Initial Conceptual Model Framing Model Appropriateness. 930-934 - Bárbara da Silva Oliveira, Nicolas Ferry, Julien Deantoni:
Towards Leveraging the Concept of Influence to Enhance Collaborative Cyber-Physical Systems Development. 935-944
First International Workshop on Model Management (MoM)
- Hafiyyan Sayyid Fadhlillah, Sandra Greiner, Kevin Feichtinger, Rick Rabiser, Alois Zoitl:
Managing Variability of Cyber-Physical Production Systems: Towards Consistency Management. 945-949 - Anthony Anjorin, Thomas Buchmann, Lars Fritsche:
Benchmarx 2.0: A Benchmark for Concurrent Model Synchronisation Approaches. 950-959 - Felipe A. C. Xavier, David Azael Manrique Negrin, Loek Cleophas:
Rapid interface generation method for heterogeneous models in Digital twins. 960-969 - Ionut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez, Matthias Lenk, Wolfram Ebel, Jan Burkl:
Towards Processing YAML Documents with Model Management Languages. 970-979 - Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik:
From Products to Product Lines: a Model-based Methodology. 980-989 - Moussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak:
A Survey of Federative Approaches for Model Management in MBSE. 990-999 - Joeri Exelmans, Jakob Pietron, Alexander Raschke, Hans Vangheluwe:
A Virtual Global Monorepo of Immutable Linked Data. 1000-1004 - Yara Hallak, Dominique Blouin, Laurent Pautet, Layale Saab, Baptiste Laborie, Rakshit Mittal:
Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions. 1005-1014 - Alireza Khalilipour, Moharram Challenger:
Towards Intelligent Model Management: An Exploratory Study and Road-mapping. 1015-1024
WORKSHOP SESSION: Workshop on Models and Evolution (ME) 2024
- Alexandre Lachance, Sébastien Mosser:
Building deduplicated model repositories to assess domain-specific languages evolution. 1025-1034 - Konstantin Rupert Blaschke, Simon Barner:
Towards the Estimation of Quality Attributes on System Model Histories. 1035-1040 - Zahra Fiyouzisabah, Jessie Galasso, Marios Fokaefs, Michalis Famelis:
Towards Rapid Design of Compartmental Models. 1041-1045 - Karl Kegel, Andreas Domanowski, Kevin Feichtinger, Romain Pascual, Uwe Aßmann:
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis. 1046-1055 - Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai:
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. 1056-1060 - Judith Michael, Istvan David, Dominik Bork:
Digital Twin Evolution for Sustainable Smart Ecosystems. 1061-1065
WORKSHOP SESSION: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa)
- Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo:
Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL. 1066-1075 - Burak Karaduman, Baris Tekin Tezel, Moharram Challenger:
Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques. 1076-1085 - Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm:
Towards the Formal Verification of SysML v2 Models. 1086-1095 - Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger:
Consistency Management for Security Annotations for Continuous Verification. 1096-1105 - Ankit Jha, Rosemary Monahan, Hao Wu:
Verifying UML Models Annotated with OCL Strings. 1106-1110 - Léna Bamouh, Erwan Bousse:
Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing. 1111-1120 - Kevin Lano, Hanan Abdulwahab Siala:
Using OCL for verified re-engineering. 1121-1130 - Andreas Waldvogel, Björn Annighöfer:
Model-based Block Diagram Recognition for Model Visualization Verification. 1131-1140
WORKSHOP SESSION: Workshop on Modeling Language Engineering (MLE)
- Mario Fuksa, Timur Saglam, Tim Neumann, Steffen Becker:
ALFI: Action Language for Foundational UML as an Intermediate Language for Model Transformations in JetBrains MPS. 1141-1145 - Horacio Hoyos Rodriguez, Victor Bandur, Vera Pantelic, Mark Lawford, Richard F. Paige:
Towards Model Product Lines: Composition of EMF Models. 1146-1155 - Ionut Predoaia, Dimitris S. Kolovos, Antonio García-Domínguez:
Hybrid Graphical-Textual DSL Editors: Vision, Requirements and Challenges. 1156-1160 - Nico Jansen, Bernhard Rumpe, David Schmalzing:
A Synopsis on Import Statements in Modeling Languages. 1161-1169 - Marcus Gerhold, Aliaksei Kouzel, Haroun Mangal, Selin Mehmed, Vadim Zaytsev:
Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, Design. 1170-1179 - Thomas Chiang, Richard F. Paige, Alan Wassyng, Sébastien Mosser:
Mapping Requirements to Features to Create Traceability in Product Line Models. 1180-1187
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-26 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
