At the 33rd International Conference on Concurrency Theory (CONCUR), three CPEC principal investigators received a test of time award for their outstanding publications. The CONCUR test of time award recognizes outstanding papers published at past CONCUR conferences that have gained significant attention in the research community over the years.
Below are links to the two award-winning publications:
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar and Mariëlle Stoelinga
published @ CONCUR 2003
The Element of Surprise in Timed Games
- Christel Baier, Joost-Pieter Katoen and Holger Hermanns
published @ CONCUR 1999
Approximate symbolic model checking of continuous-time Markov chains