MODELS A

32 papers

YearTitle / Authors
202326th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023
2023A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins.
Sushant Vale, Sreedhar Reddy, Sivakumar Subramanian, Subhrojyoti Roy Chaudhuri, Sri Harsha Nistala, Anirudh Deodhar, Venkataramana Runkana
2023A Model-driven and Template-based Approach for Requirements Specification.
Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Imen Benzarti, Sègla Kpodjedo
2023ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023
2023An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning.
Bharat Garhewal, Carlos Diego Nascimento Damasceno
2023An extended model-based characterization of fine-grained access control for SQL queries.
Hoang Nguyen Phuoc Bao, Manuel Clavel
2023Applicability of Model Checking for Verifying Spacecraft Operational Designs.
Philipp Chrszon, Paulina Maurer, George Saleip, Sascha Müller, Philipp Martin Fischer, Andreas Gerndt, Michael Felderer
2023Automated Domain Modeling with Large Language Models: A Comparative Study.
Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Dániel Varró
2023Automated Grading of Use Cases.
Mohsen Hosseinibaghdadabadi, Omar Alam, Nicolas Almerge, Jörg Kienzle
2023Automatic Security-Flaw Detection Replication and Comparison.
Bernhard J. Berger, Christina Plump
2023Digital Twins for Cyber-Biophysical Systems: Challenges and Lessons Learned.
Istvan David, Pascal Archambault, Quentin Wolak, Cong Vinh Vu, Timothé Lalonde, Kashif Riaz, Eugene Syriani, Houari A. Sahraoui
2023EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects.
Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner
2023Experience in Specializing a Generic Realization Language for SPL Engineering at Airbus.
Damien Foures, Mathieu Acher, Olivier Barais, Benoît Combemale, Jean-Marc Jézéquel, Jörg Kienzle
2023Incremental Model Transformations with Triple Graph Grammars for Multi-version Models.
Matthias Barkowsky, Holger Giese
2023Integrating Testing into the Alloy Model Development Workflow.
Allison Sullivan
2023Lessons Learned Building a Tool for Workflow
Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng
2023Leveraging modeling concepts and techniques to address challenges in network management.
Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel
2023Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems' Class Diagrams and Implementations.
Wenli Zhang, Weixing Zhang, Daniel Strüber, Regina Hebig
2023Marine Data Observability using KPIS: An MDSE Approach.
Keila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, Martina De Sanctis
2023Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models.
Francisco Martínez-Lasaca, Pablo Díez, Esther Guerra, Juan de Lara
2023Model-Driven Prompt Engineering.
Robert Clarisó, Jordi Cabot
2023Mutation Testing for Temporal Alloy Models.
Ana Jovanovic, Allison Sullivan
2023OCL Rebuilt, From the Ground Up.
Friedrich Steimann, Robert Clarisó, Martin Gogolla
2023On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from BIGUML.
Haydar Metin, Dominik Bork
2023Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware.
Michael Uelschen, Marco Schaarschmidt, Jannis Budde
2023SkeMo: Sketch Modeling for Real-Time Model Component Generation.
Alisha Sharma Chapai, Eric J. Rapos
2023Timing-Aware Software-in-the-Loop Simulation of Automotive Applications with FMI 3.0.
Srivathsan Ravi, Laura Beermann, Oliver Kotte, Paolo Pazzaglia, Mythreya Vinnakota, Dirk Ziegenbein, Arne Hamann
2023Toward a Symbiotic Approach Leveraging Generative AI for Model Driven Engineering.
Vinay Kulkarni, Sreedhar Reddy, Souvik Barat, Jaya Dutta
2023Uncertainty-aware consistency checking in industrial settings.
Robbert Jongeling, Antonio Vallecillo
2023Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line.
Xiang Chen, Joanne M. Atlee
2023Word Embeddings for Model-Driven Engineering.
José Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado
2023gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior.
Dennis Hendriks, Wytse Oortwijn