HS 7 - EDTConf 2024

VenueJohannes Kepler University Linz

Room nameHS 7

Floor0

Room numberHS 7

Capacity200

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	MBSE and Digital TwinsMODELS Technical Track / MODELS Journal-First / MODELS Tools and Demonstrations at HS 7 Chair(s): Betty H.C. Cheng Michigan State University

10:45 18m Paper		A model-based reference architecture for complex assistive systems and its application MODELS Journal-First Judith Michael RWTH Aachen University, Volodymyr Shekhovtsov Link to publication DOI
11:06 18m Talk		Modeling Languages for Digital Twins: A Survey Among the German Automotive IndustryPT MODELS Technical Track Jérôme Pfeiffer University of Stuttgart, Germany, Dominik Fuchß Karlsruhe Institute of Technology, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Robin Liebhart , Dirk Neumann Karlsruhe KIT, Christer Neimöck , Christian Seiler
11:27 18m Paper		Current trends in digital twin development, maintenance, and operation: an interview study MODELS Journal-First Hossain Muhammad Muctadir Eindhoven University of Technology, David A Manrique Negrin Eindhoven University of Technology (TU/e), Gunasekaran Raghavendran , Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU), Mark van den Brand Eindhoven University of Technology, Boudewijn Haverkort Link to publication DOI
11:48 18m Talk		Advancing Domain-Specific High-Integrity Model-Based Tools: Insights and Future PathwaysPT MODELS Technical Track Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York, Michael Bennett , Joe Newton , Piotr Zacharzewski DOI
12:09 18m Talk		SMOKE: Simulink Model Obfuscator Keeping Structure MODELS Tools and Demonstrations Alexander Boll University of Bern, Timo Kehrer University of Bern, Michael Goedicke paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen DOI Pre-print

14:00 - 15:45	Applications (1)MODELS Tools and Demonstrations / MODELS Technical Track at HS 7 Chair(s): Nelly Bencomo Durham University

14:00 18m Talk		Meta-Modelling KindnessFT MODELS Technical Track Faeq Alrimawi Lero - the Science Foundation Ireland Research Centre for Software, Bashar Nuseibeh The Open University, UK
14:21 18m Talk		Mutation Testing of Java Bytecode: A Model-Driven ApproachPT MODELS Technical Track Christoph Bockisch , Deniz Eren , Sascha Lehmann , Daniel Neufeld , Gabriele Taentzer Philipps-Universität Marburg
14:42 18m Talk		IMP-Logics: a metamodel for analysis and transformations of Datalog programs MODELS Tools and Demonstrations José Francisco Crespo Universitat Politècnica de Catalunya, Martí Juanola I Ametller Universitat Politècnica de Catalunya, Xavier Oriol Universitat Politècnica de Catalunya, Martí Recalde Universitat Politècnica de Catalunya, Ernest Teniente Universitat Politècnica de Catalunya, Spain
15:03 18m Talk		Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle Testing MODELS Tools and Demonstrations Jerry Hou-Liu McGill University, Zhekai Jiang EPFL / McGill University, Aren Babikian McGill University
15:24 12m Talk		Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface VehiclesFTVISION MODELS Technical Track Ulf Kargén , Daniel Varro Linköping University / McGill University

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	Model ManagementMODELS Technical Track / MODELS Tools and Demonstrations at HS 7 Chair(s): Eugene Syriani Université de Montréal

10:45 18m Talk		EditQL: A Textual Query Language for Evolving ModelsFT MODELS Technical Track Jakob Pietron Ulm University, Benedikt Jutz Karlsruhe Institute of Technology (KIT), Alexander Raschke Ulm University, Matthias Tichy Ulm University, Germany
11:06 18m Talk		10 years of Model Federation with Openflexo: Challenges and Lessons LearnedPT MODELS Technical Track Jean-Christophe Bach IMT Atlantique, Lab-STICC (UMR 6285), Antoine Beugnard , Joel Champeau , Fabien Dagnat IMT Atlantique, Lab-STICC (UMR 6285), Sylvain Guérin IMT Atlantique, Lab-STICC (UMR 6285), Salvador Martínez IMT Atlantique
11:27 18m Talk		Give me some REST: A Controlled Experiment to Study Effects and Perception of Model-Driven Engineering with a Domain-Specific LanguagePT MODELS Technical Track Maximilian Schiedermeier Université du Québec à Montréal, Jörg Kienzle ITIS Software, University of Malaga, Bettina Kemme McGill University, Canada
11:48 18m Talk		Enhancing Model Management with Automated REST API Generation MODELS Tools and Demonstrations Adiel Tuyishime Gran Sasso Science Institute, Francesco Basciani Gran Sasso Science Institute (GSSI), Javier Luis Cánovas Izquierdo IN3 - UOC, Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy
12:09 18m Talk		Keeping clients' models up-to-date with Edelta MODELS Tools and Demonstrations Lorenzo Bettini Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA), Davide Di Ruscio University of L'Aquila, Amleto Di Salle Gran Sasso Science Institute (GSSI), Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Alfonso Pierantonio

15:45 - 17:30	Applications (2)MODELS Tools and Demonstrations / MODELS Technical Track / MODELS Journal-First at HS 7 Chair(s): Timothy Lethbridge University of Ottawa

15:45 18m Talk		Requirement-Driven Generation of Distributed Ledger ArchitecturesFT MODELS Technical Track Noor Mohammed Sabr Al-Gburi Budapest University of Technology and Economics, András Földvári , Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Imre Kocsis Pre-print
16:06 18m Paper		FloBP: a model-driven approach for developing and executing IoT-enhanced business processes MODELS Journal-First Arianna Fedeli University of Camerino, Fabrizio Fornari University of Camerino, Italy, Andrea Polini , Barbara Re University of Camerino, Victoria Torres Universitat Politècnica de València, Pedro Valderas Universitat Politècnica de València Link to publication DOI
16:27 18m Talk		EpiMDE: A Model Driven Engineering Platform for Epidemiological ModelingPT MODELS Technical Track Bruno Curzi-Laliberté , Marios-Eleftherios Fokaefs , Michalis Famelis Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal
16:48 18m Talk		AutoMW: Model-based Automated Medical WritingPT MODELS Technical Track Asha Rajbhoj TCS Research, Ajim Pathan TCS Research, Tanay Sant , Vinay Kulkarni Tata Consultancy Services Research, Padmalata Nistala , Rajesh Pandey , Sabarinathan Narasimhan , Geetha Thiagarajan
17:09 18m Talk		Nautilus: Implementation of an Evolution Approach for Graph Databases MODELS Tools and Demonstrations Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:45 - 12:30	Modeling Languages and ToolsMODELS Tools and Demonstrations at HS 7 Chair(s): Steffen Zschaler King's College London

10:45 18m Talk		Modelling Tool Extension for Vulnerability Management MODELS Tools and Demonstrations Avi Shaked University of Oxford, UK, Nan Messe IRIT - University of Toulouse, Tom Melham University of Oxford
11:11 18m Talk		SCCD Debugger: a Debugger for Statecharts and Class Diagrams MODELS Tools and Demonstrations Francisco Simões NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Miguel Goulao NOVA-LINCS, FCT/UNL, Vasco Amaral NOVA LINCS & Nova School of Sciences and Tecnhology, Joeri Exelmans University of Antwerp, Hans Vangheluwe University of Antwerp and Flanders Make
11:37 18m Talk		M2AR: A Web-based Modeling Environment for the Augmented Reality Workflow Modeling Language MODELS Tools and Demonstrations Fabian Muff University of Fribourg, Hans-Georg Fill University of Fribourg DOI
12:03 18m Talk		Cross-IDE remote debugging of model management programs through the Debug Adapter Protocol MODELS Tools and Demonstrations Antonio Garcia-Dominguez University of York, Dimitris Kolovos University of York

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
HS 7										MODELS Technical Track + MODELS Journal-First + MODELS Tools and Demonstrations MBSE and Digital Twins																																							MODELS Tools and Demonstrations + MODELS Technical Track Applications (1)

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
HS 7										MODELS Technical Track + MODELS Tools and Demonstrations Model Management																																																												MODELS Tools and Demonstrations + MODELS Technical Track + MODELS Journal-First Applications (2)

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30
HS 7										MODELS Tools and Demonstrations Modeling Languages and Tools

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
HS 7										MODELS Journal-First A model-based reference architecture for complex assistive systems and ... 10:45 - 11:03				MODELS Technical TrackPT Modeling Languages for Digital Twins: A Survey Among the German Automot ... 11:06 - 11:24				MODELS Journal-First Current trends in digital twin development, maintenance, and operation: ... 11:27 - 11:45					MODELS Technical TrackPT Advancing Domain-Specific High-Integrity Model-Based Tools: Insights an ... 11:48 - 12:06				MODELS Tools and Demonstrations SMOKE: Simulink Model Obfuscator Keeping Structure 12:09 - 12:27																						MODELS Technical TrackFT Meta-Modelling Kindness 14:00 - 14:18				MODELS Technical TrackPT Mutation Testing of Java Bytecode: A Model-Driven Approach 14:21 - 14:39				MODELS Tools and Demonstrations IMP-Logics: a metamodel for analysis and transformations of Datalog pro ... 14:42 - 15:00					MODELS Tools and Demonstrations Concretize: A Model-Driven Tool for Scenario-Based Autonomous Vehicle T ... 15:03 - 15:21				MODELS Technical TrackFTVISION Towards Automated Test Scenario Generation for Assuring COLREGs Complia ... 15:24 - 15:36

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
HS 7										MODELS Technical TrackFT EditQL: A Textual Query Language for Evolving Models 10:45 - 11:03				MODELS Technical TrackPT 10 years of Model Federation with Openflexo: Challenges and Lessons Learned 11:06 - 11:24				MODELS Technical TrackPT Give me some REST: A Controlled Experiment to Study Effects and Percept ... 11:27 - 11:45					MODELS Tools and Demonstrations Enhancing Model Management with Automated REST API Generation 11:48 - 12:06				MODELS Tools and Demonstrations Keeping clients' models up-to-date with Edelta 12:09 - 12:27																																											MODELS Technical TrackFT Requirement-Driven Generation of Distributed Ledger Architectures 15:45 - 16:03				MODELS Journal-First FloBP: a model-driven approach for developing and executing IoT-enhance ... 16:06 - 16:24				MODELS Technical TrackPT EpiMDE: A Model Driven Engineering Platform for Epidemiological Modeling 16:27 - 16:45					MODELS Technical TrackPT AutoMW: Model-based Automated Medical Writing 16:48 - 17:06				MODELS Tools and Demonstrations Nautilus: Implementation of an Evolution Approach for Graph Databases 17:09 - 17:27

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
HS 7										MODELS Tools and Demonstrations Modelling Tool Extension for Vulnerability Management 10:45 - 11:03					MODELS Tools and Demonstrations SCCD Debugger: a Debugger for Statecharts and Class Diagrams 11:11 - 11:29					MODELS Tools and Demonstrations M2AR: A Web-based Modeling Environment for the Augmented Reality Workfl ... 11:37 - 11:55						MODELS Tools and Demonstrations Cross-IDE remote debugging of model management programs through the Deb ... 12:03 - 12:21

Room information: HS 7

This program is tentative and subject to change.

Program Display Configuration

Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MODELS Technical Track + MODELS Journal-First + MODELS Tools and Demonstrations

MODELS Tools and Demonstrations + MODELS Technical Track

Thu 26 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MODELS Technical Track + MODELS Tools and Demonstrations

MODELS Tools and Demonstrations + MODELS Technical Track + MODELS Journal-First

Fri 27 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

MODELS Tools and Demonstrations

Wed 25 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change