A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications (* ICSE 2018 * - Journal first papers) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Juan de Lara, Esther Guerra

Track

* ICSE 2018 * Journal first papers

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

Fri 1 Jun 2018 14:40 - 15:00 at G1 room - Models and Modeling II Chair(s): Jon Whittle

Juan de Lara

Esther Guerra

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

Fri 1 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:00 - 15:30	Models and Modeling IITechnical Papers / Journal first papers at G1 room Chair(s): Jon Whittle Monash University

	14:00 20m Talk		Programming Not Only by Example Technical Papers Hila Peleg Technion, Israel, Sharon Shoham Tel Aviv university, Eran Yahav Technion Pre-print Media Attached
	14:20 20m Talk		Goal-Conflict Likelihood Assessment based on Model Counting Technical Papers Renzo Degiovanni Universidad Nacional de Río Cuarto, Pablo Castro , Marcelo Arroyo , Marcelo Ruiz Dept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Pre-print File Attached
	14:40 20m Talk		A Posteriori Typing for Model-Driven Engineering: Concepts, Analysis, and Applications Journal first papers Juan de Lara , Esther Guerra
	15:00 20m Talk		A Static Verification Framework for Message Passing in Go using Behavioural Types Technical Papers Julien Lange University of Kent, Nicholas Ng Imperial College London, Bernardo Toninho Imperial College London, Nobuko Yoshida Imperial College London DOI Pre-print Media Attached
	15:20 10m Talk		Q&A in groups Technical Papers