Elena Fersman / Wang Yi Paul Pettersson John / Didier Lime / Lars Asplund / Klaus Havelund / Justin Pearson / David Griffioen / Carsten Weise / Franck Cassez / Paul Pettersson John Håkansson Anders / Jan Tretmans / John Håkansson Anders Hessel Pavel / Alexandre David Jacob Illum Rasmussen Marius Mikucionis / Fredrik Larsson / Arne Skou Brian Nielsen Alexandre / Brian Nielsen Alexandre David Jacob / Pavel Krcal Leonid Mokrushin Shi / Leonid Mokrushin Shi Xiaochun / Judi Romijn / Tobias Amnell / Theo Ruys / Oliver Möller / Kim G Larsen Collaborators Informationsteknologi / Johan Bengtsson / Anders Hessel Pavel Krcal Leonid / Kristina Lundqvist / Thomas Hune / Patricia Bouyer / Francois Laroussinie / Augusto Burgueno / Kim G Larsen Gerd Behrman Arne / /
Position
Model Checking Plant Controller / tasks/scheduler / Controller / Control Synthesis Plant Controller / /
Testing activities at CISS