AnimUML as a UML Modeling and Verification Teaching Tool (MODELS 2021 - Technical Papers) - MODELS 2021

Write a Blog >>

Sun 10 - Sat 16 October 2021

Who

Frédéric Jouault, Valentin Sebille, Valentin Besnard, Théo Le Calvar, Ciprian Teodorov, Matthias Brun, Jérôme Delatour

Track

MODELS 2021 Technical Papers

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

When

Thu 14 Oct 2021 18:40 - 18:50 at Room 2 - Model management and model transformations I Chair(s): Massimo Tisi

Frédéric Jouault

ERIS Team, ESEO , France

Valentin Sebille

Valentin Besnard

Théo Le Calvar

IMT Atlantique, LS2N (UMR CNRS 6004)

France

Ciprian Teodorov

ENSTA Bretagne

Matthias Brun

Jérôme Delatour

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

Session Program

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

	18:00 - 19:00	Model management and model transformations ITechnical Papers at Room 2 Chair(s): Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)

	18:00 20m Talk		Controllable and Decomposable Multidirectional SynchronizationsJ1ST Technical Papers Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs
	18:20 10m Short-paper		Towards Control Flow Analysis of Declarative Graph Transformations with Symbolic ExecutionVISION Technical Papers Florian Ege , Matthias Tichy Ulm University, Germany
	18:30 10m Demonstration		From Conceptual Models to Knowledge Graphs: A Generic Model Transformation PlatformDEMO Technical Papers Muhamed Smajevic , Dominik Bork TU Wien, Vienna, Austria
	18:40 10m Demonstration		AnimUML as a UML Modeling and Verification Teaching ToolDEMO Technical Papers Frédéric Jouault ERIS Team, ESEO , France, Valentin Sebille , Valentin Besnard , Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Ciprian Teodorov ENSTA Bretagne, Matthias Brun , Jérôme Delatour