Seguir
Christel Baier
Título
Citado por
Citado por
Ano
Principles of model checking
C Baier, JP Katoen
MIT press, 2008
73482008
Model-checking algorithms for continuous-time Markov chains
C Baier, B Haverkort, H Hermanns, JP Katoen
IEEE Transactions on software engineering 29 (6), 524-541, 2003
10072003
Modeling component connectors in Reo by constraint automata
C Baier, M Sirjani, F Arbab, J Rutten
Science of computer programming 61 (2), 75-113, 2006
3792006
Approximative symbolic model checking of continuous-time Markov chains
C Baier, JP Katoen, H Hermanns
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
3661999
Model checking for a probabilistic branching time logic with fairness
C Baier, M Kwiatkowska
Distributed Computing 11 (3), 125-155, 1998
3001998
Symbolic model checking for probabilistic processes
C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan
Automata, Languages and Programming: 24th International Colloquium, ICALP'97 …, 1997
2331997
Model checking continuous-time Markov chains by transient analysis
C Baier, B Haverkort, H Hermanns, JP Katoen
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
2292000
On algorithmic verification methods for probabilistic systems
C Baier
Habilitation thesis, Fakultät für Mathematik & Informatik, Universität Mannheim, 1998
2021998
Weak bisimulation for fully probabilistic processes
C Baier, H Hermanns
Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997
2001997
Comparative branching-time semantics for Markov chains
C Baier, JP Katoen, H Hermanns, V Wolf
Information and computation 200 (2), 149-214, 2005
1742005
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
C Baier, H Hermanns, JP Katoen, BR Haverkort
Theoretical Computer Science 345 (1), 2-26, 2005
1622005
Deciding bisimilarity and similarity for probabilistic processes
C Baier, B Engelen, M Majster-Cederbaum
Journal of Computer and System Sciences 60 (1), 187-231, 2000
1622000
On the logical characterisation of performability properties
C Baier, B Haverkort, H Hermanns, JP Katoen
Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000
1572000
Liquor: A tool for qualitative and quantitative linear time analysis of reactive systems
C Baier, F Ciesinski
Third International Conference on the Quantitative Evaluation of Systems …, 2006
1442006
Model checking Markov chains with actions and state labels
C Baier, L Cloth, BR Haverkort, M Kuntz, M Siegle
IEEE Transactions on Software Engineering 33 (4), 209-224, 2007
134*2007
Experiments with deterministic ω-automata for formulas of linear temporal logic
J Klein, C Baier
Theoretical Computer Science 363 (2), 182-195, 2006
1242006
Controller synthesis for probabilistic systems
C Baier, M Größer, M Leucker, B Bollig, F Ciesinski
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004
1132004
Performance evaluation and model checking join forces
C Baier, BR Haverkort, H Hermanns, JP Katoen
Communications of the ACM 53 (9), 76-85, 2010
1042010
Partial Order Reduction for Probabilistic Systems.
C Baier, M Größer, F Ciesinski
QEST 4, 230-239, 2004
1042004
Modeling component connectors in Reo by constraint automata
F Arbab, C Baier, J Rutten, M Sirjani
Electronic Notes in Theoretical Computer Science 97, 25-46, 2004
1022004
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20