‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 17:45 - 18:00 at Matisse - PASS 2

Tue 10 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 18:00: PASS 2PASS at Matisse
16:30 - 16:55
Towards Safe Modular Composition of Network Functions
16:55 - 17:20
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
17:20 - 17:45
Detecting energy bugs and hotspots in control software using model checking
Pascal van GastelAvans University of Applied Sciences, Bernard van GastelOpen University of the Netherlands, The Netherlands, Marko van EekelenOpen University of the Netherlands
17:45 - 18:00
Day closing
Discussion & closing
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology