‹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
Talk
Towards Safe Modular Composition of Network Functions
PASS
16:55 - 17:20
Talk
Applying Aspect-Oriented Change Realization in the Mobile Application Domain
PASS
Sandra KostovaSlovak University of Technology in Bratislava, Slovakia, Valentino VranićSlovak University of Technology in Bratislava
17:20 - 17:45
Talk
Detecting energy bugs and hotspots in control software using model checking
PASS
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
PASS
Yu David LiuState University of New York (SUNY) Binghamton, Lukasz ZiarekSUNY Buffalo, USA, Christoph BockischPhilipps-Universität Marburg, Hidehiko MasuharaTokyo Institute of Technology