BaierChristel

Modeling component connectors in Reo by constraint automata

BaierChristel, SirjaniMarjan, ArbabFarhad, 2006 .

Model checking for a probabilistic branching time logic with fairness

BaierChristel, KwiatkowskaMarta, 1998 .

Performance evaluation and model checking join forces

BaierChristel, R HaverkortBoudewijn, KatoenJoost-Pieter, 2010 .

Model Checking Markov Chains with Actions and State Labels

BaierChristel, R HaverkortBoudewijn, ClothLucia, 2007 .

Model-Checking Algorithms for Continuous-Time Markov Chains

BaierChristel, KatoenJoost-Pieter, HermannsHolger, 2003 .

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

BaierChristel, R HaverkortBoudewijn, KatoenJoost-Pieter, 2005 .

Comparative branching-time semantics for Markov chains

BaierChristel, KatoenJoost-Pieter, HermannsHolger, 2005 .