CONCUR Test-of-Time Award

With great pleasure, we announce that the paper entitled “Approximate symbolic model checking of continuous-time Markov chains” by Christel Baier, Holger Hermanns and Joost-Pieter Katoen has been selected for the CONCUR Test-of-Time Award. The purpose of the award is to recognize important achievements in Concurrency Theory that were published at the CONCUR conference and have stood the test of time. The paper was one of the two selected papers from the period 1998-2001. The paper provided a fixed-point characterization of time-bounded reachability properties on CTMCs, and detailed a model-checking procedure using multi-terminal BDDs. At CONCUR 2022 in Warsaw, the award will be handed out, and a talk on the paper will be presented.