The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications PESARO 2011 April 17-22, 2011 - Budapest, Hungary

Awards

The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a diploma will be issued in the name of the authors and mailed to the contact author.

Awarded Papers

Verifying Distributed Algorithms with Executable Creol Models
Wolfgang Leister, Joakim Bjørk, Rudolf Schlatte, Andreas Griesmayer

An Intelligent System to Enhance Traffic Safety Analysis
Andreas Gregoriades, Kyriacos Mouskos, Neville Parker, Ismini Hadjilambrou, Natalia Ruiz-Juri, Aneesh Krishna