Room 1 - MODELS 2021

VenueVirtual

Room nameRoom 1

Room Information

Virtual

Program

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

22:00 - 00:00	Tutorials [T1]Tutorials at Room 1

22:00 2h Tutorial		[T1] E-CARGO and Role-Based Collaboration Tutorials Haibin Zhu

Mon 11 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	20:00 - 21:30	[SAM 2021] Welcome to SAM 2021 & KeynoteSAM Conference at Room 1

	21:30 - 21:45	[SAM 2021] Social TimeSAM Conference at Room 1

	21:45 - 23:15	[SAM 2021] Session 1 - Modeling LanguagesSAM Conference at Room 1

	23:15 - 23:30	[SAM 2021] Social TimeSAM Conference at Room 1

	23:30 - 01:00	[SAM 2021] Session 2 - Application of Model-Driven EngineeringSAM Conference at Room 1

Tue 12 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	20:00 - 21:30	[SAM 2021] KeynoteSAM Conference at Room 1

	21:30 - 21:45	[SAM 2021] Social TimeSAM Conference at Room 1

	21:45 - 23:15	[SAM 2021] Session 3 - Modeling Comprehension and EvolutionSAM Conference at Room 1

	23:15 - 23:30	[SAM 2021] Social TimeSAM Conference at Room 1

	23:30 - 00:30	[SAM 2021] Session 4 - Model Model AnalysisSAM Conference at Room 1

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	00:30 - 00:45	[SAM 2021] SAM 2021 / Discussion / Closing NotesSAM Conference at Room 1

08:30 - 09:00	Opening and WelcomeMODELS at Room 1

08:30 30m Day opening		Opening and Welcome MODELS

09:00 - 10:00	Machine learning and Recommender systems ITechnical Papers at Room 1 Chair(s): Betty H.C. Cheng Michigan State University

09:00 20m Talk		Using Recommender Systems to Improve Proactive ModelingJ1ST Technical Papers James Hill , Arvind Nair , Xia Ning
09:20 20m Talk		Predictions-on-Chip: Model-based Training and Automated Deployment of Machine Learning Models at RuntimeJ1ST Technical Papers Sebastian Pilarski McGill University, Martin Staniszewski , Matthew Bryan , Frederic Villeneuve , Daniel Varro McGill University / Budapest University of Technology and Economics
09:40 10m Demonstration		DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain ModellingDEMO Technical Papers Rijul Saini McGill University, Canada, Gunter Mussbacher McGill University, Jin L.C. Guo McGill University, Jörg Kienzle McGill University, Canada

10:00 - 11:00	Certification and Assurance ITechnical Papers at Room 1 Chair(s): Tao Yue Simula Research Laboratory

10:00 20m Full-paper		A Lean Approach to Building Valid Model-Based Safety ArgumentsFT Technical Papers Torin Viger , Logan Murphy , Alessio Di Sandro , Ramy Shahin University of Toronto, Marsha Chechik University of Toronto
10:20 20m Full-paper		MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous SystemsFT Technical Papers Michael Langford , Kenneth Chan , Jonathon Fleck , Philip McKinley , Betty H.C. Cheng Michigan State University
10:40 20m Talk		Graphical Composite Modeling and Simulation for Multi-aircraft Collision AvoidanceJ1ST Technical Papers Feng Zhu , Jun Tang

17:00 - 18:00	Testing and Analysis ITechnical Papers at Room 1 Chair(s): Shaukat Ali Simula Research Laboratory, Norway

17:00 20m Full-paper		Execution Trace Analysis for a Precise Understanding of Latency ViolationsFT Technical Papers Maysam Zoor , Ludovic Apvrille
17:20 20m Full-paper		Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at KostalP&I Technical Papers Carsten Wiecher , Jannik Fischbach Qualicen GmbH / University of Cologne, Joel Greenyer FHDW Hannover, Andreas Vogelsang University of Cologne, Carsten Wolff , Roman Dumitrescu
17:40 20m Talk		Wodel-Test: A Model-Based Framework for Language-Independent Mutation TestingJ1ST Technical Papers Pablo Gómez-Abajo Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid, Manuel Núñez Universidad Complutense de Madrid

18:00 - 19:00	Modeling Languages ITechnical Papers at Room 1 Chair(s): Benoit Combemale University of Rennes; Inria; IRISA

18:00 20m Talk		Pragmatic Reuse in DSML DevelopmentJ1ST Technical Papers Stefan Klikovits , Didier Buchs University of Geneva, Switzerland
18:20 20m Talk		Spectra: A Specification Language for Reactive SystemsJ1ST Technical Papers Shahar Maoz Tel Aviv University, Israel, Jan Oliver Ringert King's College London Link to publication DOI
18:40 20m Full-paper		OSTRICH - A Safe Template Language for Low-code DevelopmentP&I Technical Papers Hugo Lourenço OutSystems SA, Carla Ferreira NOVA School of Science and Technology, João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa

19:00 - 20:00	Human Aspects ITechnical Papers at Room 1 Chair(s): Silvia Abrahão Universitat Politècnica de València

19:00 20m Full-paper		Assessing the Usefulness of a Visual Programming IDE for Large-Scale Automation SoftwareP&I Technical Papers Bianca Wiesmayr LIT CPS Lab, Johannes Kepler University Linz, Alois Zoitl , Rick Rabiser LIT CPS, Johannes Kepler University Linz
19:20 20m Talk		Conceptualization, measurement, and application of semantic transparency in visual notations - A systematic literature reviewJ1ST Technical Papers Saša Kuhar , Gregor Polančič
19:40 20m Talk		A Survey on the Design Space of End-User Oriented Languages for Specifying Robotic MissionsJ1ST Technical Papers Thorsten Berger , Swaib Dragule Chalmers \| University of Gothenburg, Claudio Menghi McMaster University, Canada, Patrizio Pelliccione Gran Sasso Science Institute (GSSI) and Chalmers \| University of Gothenburg

22:30 - 23:00	How to publish a Book with SpringerMODELS at Room 1

22:30 30m Other		How to publish a Book with Springer MODELS Ralf Gerstner Springer

23:00 - 23:59	MIP Award talk (SOSYM - Theme Section)Awards at Room 1 Chair(s): Jeff Gray University of Alabama

23:00 40m Research paper		A dependability profile within MARTE Awards Simona Bernardi , Jose Merseguer , Dorina Petriu Carleton University, Ottawa, Canada

23:59 - 01:30	Keynote by Justyna ZanderKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics

23:59 1h31m Keynote		Scaling the Development and Automating the Validation of Autonomous Systems towards Safe Deployment in Real World Keynotes

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

	01:30 - 02:00	Award CeremonyAwards at Room 1

09:00 - 10:00	MIP Award talk (MODELS 2011)Awards at Room 1 Chair(s): Richard Paige McMaster University

09:00 40m Research paper		From State- to Delta-Based Bidirectional Model Transformations - The Symmetric Case Awards Zinovy Diskin McMaster, Yingfei Xiong Peking University, Krzysztof Czarnecki University of Waterloo, Canada, Hartmut Ehrig , Frank Hermann , Fernando Orejas Universitat Politècnica de Catalunya, Spain

10:00 - 11:30	Keynote by Atsuyuki MorishimaKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics

10:00 90m Keynote		Computational Division of Labor: Imagine All the People and AI in the Crowd Working Happily Keynotes

17:00 - 18:00	Certification and Assurance IITechnical Papers at Room 1 Chair(s): Ileana Ober University of Toulouse

17:00 20m Talk		Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST Technical Papers Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, A W
17:20 20m Talk		Guaranteed master for interval-based cosimulationJ1ST Technical Papers Adrien Coent , Julien Alexandre dit Sandretto , Alexandre Chapoutot
17:40 10m Short-paper		A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION Technical Papers Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart Pre-print

18:00 - 19:00	Applications of MDE IITechnical Papers at Room 1 Chair(s): Xiao He University of Science and Technology Beijing, China

18:00 20m Full-paper		Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production LinesFT Technical Papers Eric Roslin Wete Poaka Leibniz Universität Hannover, A W , Joel Greenyer FHDW Hannover
18:20 20m Talk		Model-Driven Development Platform Selection: Four Industry Case StudiesJ1ST Technical Papers Siamak Farshidi , Slinger Jansen , Sven Fortuin
18:40 20m Talk		A Modeling Methodology for Collaborative Evaluation of Future Automotive InnovationsJ1ST Technical Papers Maher Fakih , Oliver Klemp , Kim Grüttner , Stefan Puch

	19:00 - 20:00	Backup SessionTechnical Papers at Room 1 Chair(s): Xiao He University of Science and Technology Beijing, China

23:00 - 00:00	Machine learning and Recommender systems IITechnical Papers at Room 1 Chair(s): Antonio Cicchetti Mälardalen University

23:00 20m Talk		Recommender Systems in Model-Driven Engineering: A Systematic Mapping ReviewJ1ST Technical Papers Lissette Almonte Universidad Autónoma de Madrid, Esther Guerra , Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid
23:20 20m Full-paper		A GNN-based Recommender System to Assist the Specification of Metamodels and ModelsFT Technical Papers Juri Di Rocco University of L'Aquila, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Phuong T. Nguyen University of L’Aquila Pre-print
23:40 10m Short-paper		Towards Reinforcement Learning for In-Place Model TransformationsVISION Technical Papers Martin Eisenberg , Hans-Peter Pichler JKU Linz, Antonio Garmendia , Manuel Wimmer JKU Linz

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00	Model generation and Search-based engineeringTechnical Papers at Room 1 Chair(s): Matthias Tichy Ulm University, Germany

00:00 20m Talk		Automated Generation of Consistent, Diverse and Structurally Realistic Graph ModelsJ1ST Technical Papers Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Boqi Chen McGill University, Chuning Li , Kristóf Marussy Budapest University of Technology and Economics, Gabor Szarnyas , Daniel Varro McGill University / Budapest University of Technology and Economics
00:20 20m Full-paper		Towards the Characterization of Realistic Model Generators using Graph Neural NetworksFT Technical Papers José Antonio Hernández López , Jesús Sánchez Cuadrado
00:40 20m Talk		Handling nonconforming individuals in Search-Based Model-Driven EngineeringJ1ST Technical Papers Jaime Font San Jorge University, Spain, Lorena Arcega San Jorge University, Øystein Haugen Østfold University College, Carlos Cetina San Jorge University, Spain

01:00 - 02:00	Applications of MDE IIITechnical Papers at Room 1 Chair(s): Juergen Dingel Queen's University, Kingston, Ontario

01:00 20m Talk		Modelling on mobile devices: A systematic mapping studyJ1ST Technical Papers Léa Brunschwig Universidad Autónoma de Madrid, Esther Guerra , Juan de Lara Autonomous University of Madrid
01:20 20m Talk		MIKADO – A Smart City KPIs Assessment Modeling FrameworkJ1ST Technical Papers Ludovico Iovino Gran Sasso Science Institute, L'Aquila, Italy, Martina De Sanctis Gran Sasso Science Institute, Maria Teresa Rossi Gran Sasso Science Institute, Manuel Wimmer JKU Linz
01:40 10m Demonstration		A modeling assistant for cognifying MBSE toolsDEMO Technical Papers Maxime Savary-Leblanc , Xavier Le Pallec , Sebastian Gerard CEA Saclay - NanoInnov

09:00 - 10:30	PanelPanel at Room 1 Chair(s): Houari Sahraoui Université de Montréal, Eugene Syriani Université de Montréal

09:00 90m Panel		Panel (H. Sahraoui, E. Syriani) Panel Lionel Briand EECS, University Of Ottawa, John Grundy Monash University, Bran Selic Malina Software Corporation, Kenji Tei Waseda University

10:30 - 11:30	Model management and model transformations IITechnical Papers at Room 1 Chair(s): Eugene Syriani Université de Montréal

10:30 20m Full-paper		Repository Mining for Changes in Simulink ModelsP&I Technical Papers Monika Jaskolka , Vera Pantelic , Alan Wassyng McMaster University, Canada, Mark Lawford McMaster University, Richard Paige McMaster University
10:50 20m Full-paper		Automated Patch Generation for Fixing Semantic Errors in ATL Transformation RulesFT Technical Papers Zahra Varaminybahnemiry , Jessie Galasso-Carbonnel Université de Montréal, Khalid Belharbi , Houari Sahraoui Université de Montréal
11:10 20m Talk		Live Modeling in the Context of State Machine Models and Code GenerationJ1ST Technical Papers Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Benoit Combemale University of Rennes; Inria; IRISA, Juergen Dingel Queen's University, Kingston, Ontario

17:00 - 18:00	MIP Award talk (SOSYM - Regular Paper)Awards at Room 1 Chair(s): Jeff Gray University of Alabama

17:00 40m Research paper		The many meanings of UML 2 Sequence Diagrams: a survey Awards Zoltán Micskei Budapest University of Technology and Economics, Helene Waeselynck LAAS-CNRS DOI Pre-print

18:00 - 19:30	Keynote by Alexander PretschnerKeynotes at Room 1 Chair(s): Shiva Nejati University of Ottawa, Daniel Varro McGill University / Budapest University of Technology and Economics

18:00 90m Keynote		Software can do Wrong: On Ethics in Agile Software Engineering Keynotes

	19:30 - 20:00	Announcement of MODELS 2022MODELS at Room 1

23:00 - 00:00	Model management and model transformations IIITechnical Papers at Room 1 Chair(s): Dimitris Kolovos University of York

23:00 20m Full-paper		Scalable N-Way Model Matching Using Multi-Dimensional Search TreesFT Technical Papers Alexander Schultheiß Humboldt University of Berlin, Paul Maximilian Bittner University of Ulm, Lars Grunske Humboldt University of Berlin, Thomas Thüm University of Ulm, Timo Kehrer Humboldt University of Berlin
23:20 20m Full-paper		Identifying Manual Changes to Generated Code: Experiences from the Industrial Automation DomainP&I Technical Papers Robbert Jongeling Malardalen University, Sachin Bhatambrekar , Anders Lofberg , Antonio Cicchetti Mälardalen University, Federico Ciccozzi Malardalen University, Jan Carlson Malardalen University
23:40 20m Talk		MUPPIT: A Method for Using Proper Patterns in Model TransformationsJ1ST Technical Papers Bahman Zamani University of Isfahan, Mahsa Panahandeh University of Alberta, Mohammad Hamdaqa , Wahab Hamou-Lhadj Concordia University, Montreal, Canada

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

00:00 - 01:00	Model management and model transformations IVTechnical Papers at Room 1 Chair(s): Davide Di Ruscio University of L'Aquila

00:00 20m Talk		A Systematic Literature Review of Cross-Domain Model Consistency Checking by Model Management ToolsJ1ST Technical Papers Weslley Silva Torres , Mark van den Brand Eindhoven University of Technology, Alexander Serebrenik Eindhoven University of Technology
00:20 20m Full-paper		Identifying Metamodel Inaccurate Structures During Metamodel/Constraints Co-EvolutionFT Technical Papers Elyes CHERFA Université of Rennes 1, Soraya Kesraoui , Chouki Tibermacine LIRMM, CNRS and University of Montpellier, Régis Fleurquin , Salah Sadou
00:40 10m Demonstration		MM-cat: A Tool for Modeling and Transformation of Multi-Model Data using Category TheoryDEMO Technical Papers Pavel Koupil , Martin Svoboda , Irena Holubova

	01:00 - 02:00	Backup SessionTechnical Papers at Room 1 Chair(s): Davide Di Ruscio University of L'Aquila

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	22:00						30						23:00						30
Room 1	Tutorials Tutorials [T1]

Mon 11 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
Room 1	SAM Conference [SAM 2021] Welcome to SAM 2021 & Keynote																		SAM Conference [SAM 2021] Social Time			SAM Conference [SAM 2021] Session 1 - Modeling Languages																		SAM Conference [SAM 2021] Social Time			SAM Conference [SAM 2021] Session 2 - Application of Model-Driven Engineering

Tue 12 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
Room 1	SAM Conference [SAM 2021] Keynote																		SAM Conference [SAM 2021] Social Time			SAM Conference [SAM 2021] Session 3 - Modeling Comprehension and Evolution																		SAM Conference [SAM 2021] Social Time			SAM Conference [SAM 2021] Session 4 - Model Model Analysis

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30						1:00						30
Room 1							SAM Conference [SAM 2021] SAM 2021 / Discussion / Closing Notes																																																																						MODELS Opening and Welcome						Technical Papers Machine learning and Recommender systems I												Technical Papers Certification and Assurance I																																																																												Technical Papers Testing and Analysis I												Technical Papers Modeling Languages I												Technical Papers Human Aspects I																																										MODELS How to publish a Book with Springer						Awards MIP Award talk (SOSYM - Theme Section)												Keynotes Keynote by Justyna Zander

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Room 1							Awards Award Ceremony																																																																						Awards MIP Award talk (MODELS 2011)												Keynotes Keynote by Atsuyuki Morishima																																																																																				Technical Papers Certification and Assurance II												Technical Papers Applications of MDE II												Technical Papers Backup Session																																																Technical Papers Machine learning and Recommender systems II

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Room 1	Technical Papers Model generation and Search-based engineering												Technical Papers Applications of MDE III																																																																												Panel Panel																		Technical Papers Model management and model transformations II																																																																														Awards MIP Award talk (SOSYM - Regular Paper)												Keynotes Keynote by Alexander Pretschner																		MODELS Announcement of MODELS 2022																																										Technical Papers Model management and model transformations III

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	0:00						30						1:00						30
Room 1	Technical Papers Model management and model transformations IV												Technical Papers Backup Session

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	22:00			15			30			45			23:00			15			30			45
Room 1	MODELS Tutorials [T1] E-CARGO and Role-Based Collaboration 22:00 - 00:00

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	8:00			15			30			45			9:00			15			30			45			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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45			0:00			15			30			45			1:00			15			30			45
Room 1							MODELS Opening and Welcome 08:30 - 09:00						MODELS Technical PapersJ1ST Using Recommender Systems to Improve Proactive Modeling 09:00 - 09:20				MODELS Technical PapersJ1ST Predictions-on-Chip: Model-based Training and Automated Deployment of M ... 09:20 - 09:40				MODELS Technical PapersDEMO DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain Mode ... 09:40 - 09:50				MODELS Technical PapersFT A Lean Approach to Building Valid Model-Based Safety Arguments 10:00 - 10:20				MODELS Technical PapersFT MoDALAS: Model-Driven Assurance for Learning-Enabled Autonomous Systems 10:20 - 10:40				MODELS Technical PapersJ1ST Graphical Composite Modeling and Simulation for Multi-aircraft Collisio ... 10:40 - 11:00																																																																				MODELS Technical PapersFT Execution Trace Analysis for a Precise Understanding of Latency Violations 17:00 - 17:20				MODELS Technical PapersP&I Integrated and Iterative Requirements Analysis and Test Specification: ... 17:20 - 17:40				MODELS Technical PapersJ1ST Wodel-Test: A Model-Based Framework for Language-Independent Mutation T ... 17:40 - 18:00				MODELS Technical PapersJ1ST Pragmatic Reuse in DSML Development 18:00 - 18:20				MODELS Technical PapersJ1ST Spectra: A Specification Language for Reactive Systems 18:20 - 18:40				MODELS Technical PapersP&I OSTRICH - A Safe Template Language for Low-code Development 18:40 - 19:00				MODELS Technical PapersP&I Assessing the Usefulness of a Visual Programming IDE for Large-Scale A ... 19:00 - 19:20				MODELS Technical PapersJ1ST Conceptualization, measurement, and application of semantic transparenc ... 19:20 - 19:40				MODELS Technical PapersJ1ST A Survey on the Design Space of End-User Oriented Languages for Specify ... 19:40 - 20:00																																		MODELS How to publish a Book with Springer 22:30 - 23:00						MODELS Awards A dependability profile within MARTE 23:00 - 23:40												MODELS Keynotes Scaling the Development and Automating the Validation of Autonomous Sys ... 23:59 - 01:30

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00			15			30			45			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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Room 1	MODELS Awards From State- to Delta-Based Bidirectional Model Transformations - The Sy ... 09:00 - 09:40												MODELS Keynotes Computational Division of Labor: Imagine All the People and AI in the C ... 10:00 - 11:30																																																																																				MODELS Technical PapersJ1ST Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive Fram ... 17:00 - 17:20				MODELS Technical PapersJ1ST Guaranteed master for interval-based cosimulation 17:20 - 17:40				MODELS Technical PapersVISION A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Sys ... 17:40 - 17:50				MODELS Technical PapersFT Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in ... 18:00 - 18:20				MODELS Technical PapersJ1ST Model-Driven Development Platform Selection: Four Industry Case Studies 18:20 - 18:40				MODELS Technical PapersJ1ST A Modeling Methodology for Collaborative Evaluation of Future Automotiv ... 18:40 - 19:00																																																				MODELS Technical PapersJ1ST Recommender Systems in Model-Driven Engineering: A Systematic Mapping R ... 23:00 - 23:20				MODELS Technical PapersFT A GNN-based Recommender System to Assist the Specification of Metamodel ... 23:20 - 23:40				MODELS Technical PapersVISION Towards Reinforcement Learning for In-Place Model Transformations 23:40 - 23:50

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Room 1	MODELS Technical PapersJ1ST Automated Generation of Consistent, Diverse and Structurally Realistic ... 00:00 - 00:20				MODELS Technical PapersFT Towards the Characterization of Realistic Model Generators using Graph ... 00:20 - 00:40				MODELS Technical PapersJ1ST Handling nonconforming individuals in Search-Based Model-Driven Engineering 00:40 - 01:00				MODELS Technical PapersJ1ST Modelling on mobile devices: A systematic mapping study 01:00 - 01:20				MODELS Technical PapersJ1ST MIKADO – A Smart City KPIs Assessment Modeling Framework 01:20 - 01:40				MODELS Technical PapersDEMO A modeling assistant for cognifying MBSE tools 01:40 - 01:50																																																																				MODELS Panel Panel (H. Sahraoui, E. Syriani) 09:00 - 10:30																		MODELS Technical PapersP&I Repository Mining for Changes in Simulink Models 10:30 - 10:50				MODELS Technical PapersFT Automated Patch Generation for Fixing Semantic Errors in ATL Transforma ... 10:50 - 11:10				MODELS Technical PapersJ1ST Live Modeling in the Context of State Machine Models and Code Generation 11:10 - 11:30																																																																						MODELS Awards The many meanings of UML 2 Sequence Diagrams: a survey 17:00 - 17:40												MODELS Keynotes Software can do Wrong: On Ethics in Agile Software Engineering 18:00 - 19:30																																																												MODELS Technical PapersFT Scalable N-Way Model Matching Using Multi-Dimensional Search Trees 23:00 - 23:20				MODELS Technical PapersP&I Identifying Manual Changes to Generated Code: Experiences from the Indu ... 23:20 - 23:40				MODELS Technical PapersJ1ST MUPPIT: A Method for Using Proper Patterns in Model Transformations 23:40 - 00:00

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	0:00			15			30			45
Room 1	MODELS Technical PapersJ1ST A Systematic Literature Review of Cross-Domain Model Consistency Checki ... 00:00 - 00:20				MODELS Technical PapersFT Identifying Metamodel Inaccurate Structures During Metamodel/Constraint ... 00:20 - 00:40				MODELS Technical PapersDEMO MM-cat: A Tool for Modeling and Transformation of Multi-Model Data usin ... 00:40 - 00:50

Room information: Room 1

Program Display Configuration

Sun 10 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 11 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 12 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Fri 15 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Mon 11 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

SAM Conference

SAM Conference

SAM Conference

SAM Conference

SAM Conference

Tue 12 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

SAM Conference

SAM Conference

SAM Conference

SAM Conference

SAM Conference

Wed 13 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

SAM Conference

MODELS

Technical Papers

Technical Papers

Technical Papers

Technical Papers

Technical Papers

MODELS

Awards

Keynotes

Thu 14 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Awards

Awards

Keynotes

Technical Papers

Technical Papers

Technical Papers

Technical Papers

Fri 15 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Technical Papers

Technical Papers

Panel

Technical Papers

Awards

Keynotes

MODELS

Technical Papers

Sat 16 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Technical Papers

Technical Papers

Sun 10 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Fri 15 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 OctDisplayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 11 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 12 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 11 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 12 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Sun 10 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Wed 13 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 14 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Fri 15 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change

Sat 16 Oct
Displayed time zone: Osaka, Sapporo, Tokyo change