Partial Bidirectionalization of Model Transformation Languages (MODELS 2024 - Technical Track) - MODELS 2024

Sun 22 - Fri 27 September 2024 Linz, Austria

Who

Soichiro Hidaka, Massimo Tisi

Track

MODELS 2024 Technical Track

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

When

Wed 25 Sep 2024 10:45 - 11:03 at HS 1 - Foundations (1) Chair(s): Sebastian Götz

Soichiro Hidaka

Hosei University

Japan

Massimo Tisi

IMT Atlantique, LS2N (UMR CNRS 6004)

France

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

Session Program

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

	10:45 - 12:30	Foundations (1)Technical Track / Journal-First at HS 1 Chair(s): Sebastian Götz Technische Universität Dresden

	10:45 18m Talk		Partial Bidirectionalization of Model Transformation LanguagesFT Technical Track Soichiro Hidaka Hosei University, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
	11:06 18m Talk		AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced GraphFTVISION Technical Track Guanxuan Wu University of Texas at Arlington, Allison Sullivan University of Texas at Arlington Pre-print
	11:27 18m Paper		Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis Journal-First Bentley Oakes Polytechnique Montréal, Javier Troya Universidad de Málaga, Spain, Jessie Galasso-Carbonnel McGill University, Manuel Wimmer JKU Linz Link to publication DOI
	11:48 18m Talk		Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model ReasoningPT Technical Track Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raul Mazo
	12:09 12m Talk		Model Everything but with Intellectual Property Protection—The Deltachain ApproachFTVISION Technical Track Thomas Weber , Sebastian Weber