Travelled to:1 × Austria
1 × China
1 × Czech Republic
1 × Denmark
1 × Germany
1 × Greece
1 × Hungary
1 × Israel
1 × Switzerland
2 × Spain
3 × Italy
4 × USA
5 × France
Collaborated with:J.Klein S.Klüppelholz M.Größer H.Hermanns J.Katoen ∅ N.Bertrand B.R.Haverkort C.Dubslaff V.Wolf M.E.Majster-Cederbaum S.Wunderlich M.Ummels M.Stoelinga P.Bouyer T.Brihaye S.Märcker J.K.0001 P.R.D'Argenio A.Asteroth U.Aßmann D.Latella D.Müller F.Arbab F.S.d.Boer J.J.M.M.Rutten P.Chrszon E.M.Clarke V.Hartonas-Garmhausen M.Z.Kwiatkowska M.Ryan L.Leuschner D.P.0001 S.Kiefer D.M.0001 J.W.0001 M.Daum
Talks about:model (15) probabilist (11) time (10) automata (8) check (8) markov (6) process (4) logic (4) continu (3) bisimul (3)
Person: Christel Baier
DBLP: Baier:Christel
Facilitated 3 volumes:
Ed
EdEdContributed to:
2014
2014
20142014
2013
2011
2010
200920082008
20072006200520052006
20042004
20012000200020001998199719971996201620162017Wrote 30 papers:
- FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard
- Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.
- LATA-2014-KleinMBK #automaton #model checking #probability #question
- Are Good-for-Games Automata Good for Probabilistic Model Checking? (JK, DM, CB, SK), pp. 453–465.
- LICS-CSL-2014-BaierDK #analysis #model checking #probability #trade-off
- Trade-off analysis meets probabilistic model checking (CB, CD, SK), p. 10.
- LICS-CSL-2014-BaierKKW #complexity #decidability #linear #logic #monitoring
- Weight monitoring with linear temporal logic: complexity and decidability (CB, JK, SK, SW), p. 10.
- TACAS-2014-BaierKKM #markov #modelling
- Computing Conditional Probabilities in Markovian Models Efficiently (CB, JK, SK, SM), pp. 515–530.
- FoSSaCS-2013-UmmelsB #markov #modelling
- Computing Quantiles in Markov Reward Models (MU, CB), pp. 353–368.
- SFM-2011-BaierKK #component #modelling #verification
- Modeling and Verification of Components and Connectors (CB, JK, SK), pp. 114–147.
- IFM-2010-Baier #distributed #model checking #on the #random
- On Model Checking Techniques for Randomized Distributed Systems (CB), pp. 1–11.
- ICALP-v2-2009-BaierBBB #automaton #question
- When Are Timed Automata Determinizable? (CB, NB, PB, TB), pp. 43–54.
- FoSSaCS-2008-BaierBG #automaton #on the #probability #problem
- On Decision Problems for Probabilistic Büchi Automata (CB, NB, MG), pp. 287–301.
- LICS-2008-BaierBBBG #automaton #infinity #model checking
- Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (CB, NB, PB, TB, MG), pp. 217–226.
- CIAA-2007-KleinB #automaton #on the fly
- On-the-Fly Stuttering in the Construction of Deterministic ω-Automata (JK, CB), pp. 51–61.
- QAPL-2006-WolfBM06a #nondeterminism #probability #semantics
- Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
- CIAA-2005-KleinB #automaton #linear #logic
- Experiments with Deterministic ω-Automata for Formulas of Linear Temporal Logic (JK, CB), pp. 199–212.
- LICS-2005-BaierG #automaton #probability #regular expression
- Recognizing ω-regular Languages with Probabilistic Automata (CB, MG), pp. 137–146.
- QAPL-2005-BaierDG06 #branch #partial order #probability #reduction
- Partial Order Reduction for Probabilistic Branching Time (CB, PRD, MG), pp. 97–116.
- QAPL-2005-WolfBM06 #markov
- Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.
- SEFM-2004-ArbabBBR #component #logic #modelling
- Models and Temporal Logics for Timed Component Connectors (FA, CB, FSdB, JJMMR), pp. 198–207.
- TACAS-2004-BaierHHK #bound #markov #performance #process #reachability
- Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes (CB, BRH, HH, JPK), pp. 61–76.
- CAV-2001-AsterothBA #model checking #modelling
- Model Checking with Formula-Dependent Abstract Models (AA, CB, UA), pp. 155–168.
- CAV-2000-BaierHHK #analysis #markov #model checking
- Model Checking Continuous-Time Markov Chains by Transient Analysis (CB, BRH, HH, JPK), pp. 358–372.
- FoSSaCS-2000-BaierS #bisimulation #probability
- Norm Functions for Probabilistic Bisimulations with Delays (CB, MS), pp. 1–16.
- ICALP-2000-BaierHHK #logic #on the
- On the Logical Characterisation of Performability Properties (CB, BRH, HH, JPK), pp. 780–792.
- ICALP-1998-BaierKL #concurrent #metric #realtime #semantics
- Metric Semantics for True Concurrent Real Time (CB, JPK, DL), pp. 568–579.
- CAV-1997-BaierH #bisimulation #probability #process
- Weak Bisimulation for Fully Probabilistic Processes (CB, HH), pp. 119–130.
- ICALP-1997-BaierCHKR #model checking #probability #process
- Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
- CAV-1996-Baier #algorithm #bisimulation #polynomial #probability #simulation #testing
- Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (CB), pp. 50–61.
- FASE-2016-ChrszonDKB #analysis #modelling #probability
- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.
- CAV-2016-BaierK0K0W #ambiguity #automaton #markov
- Markov Chains and Unambiguous Büchi Automata (CB, SK, JK0, SK, DM0, JW0), pp. 23–42.
- CAV-2017-Baier0L0W #markov #model checking #process #reliability
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (CB, JK0, LL, DP0, SW), pp. 160–180.