Stop the war!
Остановите войну!
for scientists:
default search action
26th MODELS 2023: Västerås, Sweden
- 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023. IEEE 2023, ISBN 979-8-3503-2480-8
- 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. 1-12 - 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. 13-23 - Keila Lima, Ludovico Iovino, Maria Teresa Rossi, Rogardt Heldal, Tosin Daniel Oyetoyan, Martina De Sanctis:
Marine Data Observability using KPIS: An MDSE Approach. 24-35 - 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. 36-46 - Robert Clarisó, Jordi Cabot:
Model-Driven Prompt Engineering. 47-54 - Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, Juergen Dingel:
Leveraging modeling concepts and techniques to address challenges in network management. 55-61 - 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. 62-72 - Robbert Jongeling, Antonio Vallecillo:
Uncertainty-aware consistency checking in industrial settings. 73-83 - Bernhard J. Berger, Christina Plump:
Automatic Security-Flaw Detection Replication and Comparison. 84-94 - Hoang Nguyen Phuoc Bao, Manuel Clavel:
An extended model-based characterization of fine-grained access control for SQL queries. 95-105 - Mohsen Hosseinibaghdadabadi, Omar Alam, Nicolas Almerge, Jörg Kienzle:
Automated Grading of Use Cases. 106-116 - Allison Sullivan:
Integrating Testing into the Alloy Model Development Workflow. 117-128 - Haydar Metin, Dominik Bork:
On Developing and Operating GLSP-based Web Modeling Tools: Lessons Learned from BIGUML. 129-139 - Nicholas Annable, Thomas Chiang, Mark Lawford, Richard F. Paige, Alan Wassyng:
Lessons Learned Building a Tool for Workflow+. 140-150 - José Antonio Hernández López, Carlos Durá, Jesús Sánchez Cuadrado:
Word Embeddings for Model-Driven Engineering. 151-161 - 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. 162-172 - Alisha Sharma Chapai, Eric J. Rapos:
SkeMo: Sketch Modeling for Real-Time Model Component Generation. 173-183 - Vinay Kulkarni, Sreedhar Reddy, Souvik Barat, Jaya Dutta:
Toward a Symbiotic Approach Leveraging Generative AI for Model Driven Engineering. 184-193 - Friedrich Steimann, Robert Clarisó, Martin Gogolla:
OCL Rebuilt, From the Ground Up. 194-205 - 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. 206-216 - Bharat Garhewal, Carlos Diego Nascimento Damasceno:
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning. 217-227 - Ana Jovanovic, Allison Sullivan:
Mutation Testing for Temporal Alloy Models. 228-238 - Ikram Darif, Cristiano Politowski, Ghizlane El-Boussaidi, Imen Benzarti, Sègla Kpodjedo:
A Model-driven and Template-based Approach for Requirements Specification. 239-249 - Michael Uelschen, Marco Schaarschmidt, Jannis Budde:
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware. 250-260 - Francisco Martínez-Lasaca, Pablo Díez, Esther Guerra, Juan de Lara:
Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models. 261-272 - Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner:
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. 273-284 - Dennis Hendriks, Wytse Oortwijn:
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior. 285-295 - Matthias Barkowsky, Holger Giese:
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models. 296-306 - Xiang Chen, Joanne M. Atlee:
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line. 307-318 - 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. 319-330
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.