Accepted Papers
Full Papers
Joeri De Koster, Tom Van Cutsem and Theo D'Hondt - Vrije Universiteit Brussel (Belgium)
Assaf Marron, Gera Weiss and Guy Wiener - Weizmann Institue of Science, Ben Gurion University, HP Labs (Israel)
Alessandro Ricci and Andrea Santi - University of Bologna (Italy)
Ilham W. Kurnia and Arnd Poetzsch-Heffter - University of Kaiserslautern (Germany)
Álvaro Fernández Díaz, Clara Benac Earle and Lars-Ake Fredlund - Universidad Politécnica de Madrid (Spain)
Thierry Renaux, Lode Hoste, Stefan Marr and Wolfgang De Meuter - Vrije Universiteit Brussel (Belgium)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis - VERIMAG, VERIMAG/CNRS (France)
Ehsan Khamespanah, Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani and Mohammad-Javad Izadi - Tehran University (Iran), Reykjavik University (Iceland)
Ahmad Ahmad-Kassem, Stéphane Grumbach and Stéphane Ubéda - INRIA - INSA Lyon, INRIA (France)
Short/Position papers
Dale Schumacher - United States
Birna Van Riemsdijk - TU Delft (The Netherlands)
Chih-Hong Cheng, Rongjie Yan, Harald Ruess and Saddek Bensalem - Fortiss (Germany), State Key Laboratory of Computer Science Institute of Software (China), VERIMAG (France)
Jeffery Von Ronne - The University of Texas at San Antonio (United States)
Demo papers
Emanuele D'Osualdo, Jonathan Kochems and Luke Ong - Oxford University (United Kingdom)