Skip to main content

Cost-Utility Analysis in Probabilistic Models

Christel Baier ( Technische Universit├Ąt Dresden )

Probabilistic model checking is a well-established method for the automated quantitative system analysis. Thanks to powerful tools, such as PRISM, MRMC or STORM, it has been used in various application areas such as coordination algorithms for distributed systems, communication and multimedia protocols, biological systems, resilient systems or security. In this talk, I will report on our experiences that we made in inter-disciplinary research projects where we contribute with formal methods for the analysis of hardware and software systems. Some obstacles, such as the state-explosion problem, were as expected. However, we also noticed several other shortcomings of existing techniques. Among others, there were several performance measures for the tradeoff between cost and utility that have been identified as highly relevant by the respective domain experts and that were not supported by state-of-the-art tools.

Speaker bio

Christel Baier is a full professor and head of the chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science of the Technische Universit├Ąt Dresden since 2006. From the University of Mannheim she received her Diploma in Mathematics in 1990, her Ph.D. in Computer Science in 1994 and her Habilitation in 1999. She was an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006. Her research focuses on model checking, quantitative analysis of stochastic systems, concurrency theory, automata theory and temporal logic. She is involved in several projects, including the collaborative research center ''Highly-adaptive energy efficient computing (HAEC)'', the cluster of excellence ''center for Advanced Electronics Dresden (cfaed)'' and the research training groups ''Quantitative automata and logics (QuantLA)'' and ''Role-based software infrastructures for continuous context-sensitive systems (RoSI)''. She is a member of the review board for computer science in the German Research Foundation (2012-2020) and of Academia Europa (since 2011). She is editor-in-chief of the journal Acta Informatica and in the steering committee of the conference FoSSaCS.

Share this: