[Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research (FormaliSE 2018 - 6th Conference on Formal Methods in Software Engineering) - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

Who

Alexander Wickert, Anna-Lena Lamprecht, Tiziana Margaria

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

Sat 2 Jun 2018 15:05 - 15:30 at R22+23 - Program Verification and Application Chair(s): Wolfgang Ahrendt

Alexander Wickert

University of Potsdam

Anna-Lena Lamprecht

Utrecht University

Netherlands

Tiziana Margaria

University of Limerick and Lero - The Irish Software Research Centre

Ireland

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

Sat 2 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	14:15 - 15:30	Program Verification and ApplicationFormaliSE at R22+23 Chair(s): Wolfgang Ahrendt Chalmers University of Technology

	14:15 25m Research paper		CIL to Java-bytecode Translation for Static Analysis Leveraging FormaliSE
	14:40 25m Research paper		Modeling Time in Java Programs for Automatic Error Detection FormaliSE
	15:05 25m Talk		[Short paper] Domain-specific Design of Patient Classification in Cancer-related Cachexia Research FormaliSE Alexander Wickert University of Potsdam, Anna-Lena Lamprecht Utrecht University, Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre