Jean-Claude Laprie Award for Christine Baier and colleagues

For their co-authored paper "Model-Checking Algorithms for Continuous Markov Chains," C. Baier, B. Haverkort, H. Hermanns, and J.P. Katoen were awarded the 2023 Jean-Claude Laprie Award.

“Model-checking algorithms for continuous-time Markov chains”, authored by C. Baier, B. Haverkort, H. Hermanns, and J.P. Katoen, and published in IEEE Transactions on Software Engineering, 2003, presents a unifying theory and algorithm to evaluate a wide variety of performance and dependability measures for continuous-time Markov chain models. The proposed approach inspired many researchers and provided a theoretical foundation for various model-checking tools, including GreatSPN, PRISM, STORM, and COMPASS. Techniques first presented in the paper are being used in real-life, industrial applications of dependable and mission-critical systems, e.g., at the European Space Agency (ESA), the approach has been used for evaluating space system dependability and at BMW, the approach has been applied for evaluating designs of autonomous driving systems architectures. Also, the algorithms, and the supporting tools, were used for applications beyond the realm of dependable systems design, e.g., modeling and analysis of biological and biochemical systems and computational biology. Furthermore, the seminal work presented in the awarded paper was recently extended to evaluate quantum computing systems. Extensions of the approach were also used to model system survivability, stable storage systems, and telecommunications applications. This paper profoundly impacted the research and practice in applying the theoretical formulation of model checking in engineering practice to design and evaluate dependable and mission-critical systems.”
Quelle: https://www.dependability.org/?p=708

Christel Baier has been Professor of Algebraic and Logical Foundations of Computer Science at the TU Dresden since 2006. At the University of Mannheim, she received her diploma in mathematics in 1990, her PhD in computer science in 1994, and her habilitation in 1999. From 1999 to 2006, she was an adjunct professor of theoretical computer science at the University of Bonn. Since September 2022, she holds an honorary doctorate (Dr. rer. nat. h.c.) from RWTH Aachen University.