MODELS 2023
Sun 1 - Fri 6 October 2023
Västerås, Sweden
Toggle navigation
Attending
Venue: Västerås Kongress
Registration
Social Events
Accommodations
Travelling
Sponsorship
Program
MODELS Program
Your Program
Program overview
Keynotes
Accepted papers - FT
Accepted papers - PT
Sun 1 Oct
Mon 2 Oct
Tue 3 Oct
Wed 4 Oct
Thu 5 Oct
Fri 6 Oct
Tracks
MODELS 2023
Artifact Evaluation
Awards
Doctoral Symposium
Educators Symposium
Industry Day
Journal-first
MODELS
Panel
Posters
SAM Conference
Technical Track
Tools and Demonstrations
Tutorials
Workshops
Organization
MODELS 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Artifact Evaluation
Chairs
Program Committee
Doctoral Symposium
Chairs
Program Committee
Educators Symposium
Chairs
Program Committee
Industry Day
Journal-first
Posters
Chairs
Program Committee
Technical Track
Chairs
PC - Foundations Track
PC - Practice Track
Program Board
Tools and Demonstrations
Chairs
Program Committee
Tutorials
Chairs
Program Committee
Workshops
Chairs
Program Committee
Contributors
People Index
Search
Series
Series
MODELS 2025
MODELS 2024
MODELS 2023
MODELS 2022
MODELS 2021
MODELS 2020
MODELS 2019
MODELS 2018
MODELS 2017
MODELS 2016
MODELS 2015
MODELS 2014
MODELS 2013
MODELS 2012
MODELS 2011
MODELS 2010
MODELS 2009
MODELS 2008
MODELS 2007
MODELS 2006
MODELS 2005
UML 2004
UML 2003
UML 2002
UML 2001
UML 2000
UML 1999
UML 1998
Sign in
Sign up
MODELS 2023
(
series
) /
Accepted papers - FT
Uncertainty-aware consistency checking in industrial settings
Authors:
Antonio Vallecillo and Robbert Jongeling
Rapid-Prototyping and Early Validation of Software Models through Uniform Integration of Hardware
Authors:
Michael Uelschen, Marco Schaarschmidt, and Jannis Budde
Manual Abstraction in the Wild: A Multiple-Case Study on OSS Systems
Authors:
Wenli Zhang, Weixing Zhang, Daniel Strüber, and Regina Hebig
Word Embeddings for Model-Driven Engineering
Authors:
José Antonio Hernández López, Carlos Durá, and Jesús Sánchez Cuadrado
An extended model-based characterization of fine-grained access control for SQL queries
Authors:
Hoàng Nguyễn Phước Bảo and Manuel Clavel
Automated Domain Modeling with Large Language Models: A Comparative Study
Authors:
Kua Chen, Yujing Yang, Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, and Dániel Varró
Model-Driven Prompt Engineering
Authors:
Robert Clarisó and Jordi Cabot
Incremental Model Transformations with Triple Graph Grammars for Multi-version Models
Authors:
Matthias Barkowsky and Holger Giese
gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior
Authors:
Dennis Hendriks and Wytse Oortwijn
OCL Rebuilt, From the Ground Up
Authors:
Friedrich Steimann, Robert Clarisó Viladrosa, and Martin Gogolla
An Experimental Evaluation of Conformance Testing Techniques in Active Automata Learning
Authors:
Bharat Garhewal and Carlos Diego Nascimento Damasceno
Leveraging modeling concepts and techniques to address challenges in network management
Authors:
Nafiseh Kahani, Mojtaba Bagherzadeh, Reza Ahmadi, and Juergen Dingel
Automatic Security-Flaw Detection - Replication and Comparison
Authors:
Bernhard J. Berger and Christina Plump
SkeMo: Sketch Modeling for Real-Time Model Component Generation
Authors:
Alisha Sharma Chapai and Eric J. Rapos
Variability-aware Neo4j for Analyzing a Graphical Model of a Software Product Line
Authors:
Xiang Chen and Joanne Atlee
x
Sat 21 Dec 13:07