Detecting energy bugs and hotspots in control software using model checking (PASS 2018 - Programming Across the System Stack) - ‹Programming› 2018

Mon 9 - Thu 12 April 2018 Nice, France

Who

Pascal van Gastel, Bernard van Gastel, Marko van Eekelen

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

Tue 10 Apr 2018 17:20 - 17:45 at Matisse - PASS 2

Pascal van Gastel

Avans University of Applied Sciences

Bernard van Gastel

Open University of the Netherlands, The Netherlands

Marko van Eekelen

Open University of the Netherlands

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

Tue 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:30 - 18:00	PASS 2PASS at Matisse

	16:30 25m Talk		Towards Safe Modular Composition of Network Functions PASS Matthias Eichholz , Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt
	16:55 25m Talk		Applying Aspect-Oriented Change Realization in the Mobile Application Domain PASS Sandra Kostova Slovak University of Technology in Bratislava, Slovakia, Valentino Vranić Slovak University of Technology in Bratislava
	17:20 25m Talk		Detecting energy bugs and hotspots in control software using model checking PASS Pascal van Gastel Avans University of Applied Sciences, Bernard van Gastel Open University of the Netherlands, The Netherlands, Marko van Eekelen Open University of the Netherlands
	17:45 15m Day closing		Discussion & closing PASS Yu David Liu State University of New York (SUNY) Binghamton, Lukasz Ziarek SUNY Buffalo, USA, Christoph Bockisch Philipps-Universität Marburg, Hidehiko Masuhara Tokyo Institute of Technology