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

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