MODELS

Publications

2023

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