Search filters

List of works by Christel Baier

A Hardware/Software Stack for Heterogeneous Systems

article published in 2018

Architecture and Advanced Electronics Pathways Toward Highly Adaptive Energy- Efficient Computing

Bisimulation and Simulation Relations for Markov Chains

Comparative branching-time semantics for Markov chains

Decision making improves sperm chemotaxis in the presence of noise.

scientific article published on 19 April 2018

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

scientific article published in 2022

Metric semantics for true concurrent real time

article by Joost-Pieter Katoen et al published March 2001 in Theoretical Computer Science

Performability assessment by model checking of Markov reward models

article

Performance evaluation and model checking join forces

article

Principles of Model Checking

computer science textbook

Probabilistic weak simulation is decidable in polynomial time

Paulina is supported by:

About Paulina

Help