Christel Baier

Cited by

	All	Since 2020
Citations	18571	5598
h-index	56	25
i10-index	132	67

1300

650

325

975

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202561 73 119 89 150 194 230 243 331 334 466 554 686 791 861 974 1042 1127 1101 1026 1166 1044 988 1068 1126 1082 1228 105

Public access

View all

81 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerified email at tcs.inf.tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Clemens DubslaffEindhoven University of Technology | CeTI (TU Dresden)Verified email at tue.nl
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Boudewijn R. HaverkortTilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Nathalie BertrandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Simon JantschTechnische Universität DresdenVerified email at tu-dresden.de
Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at dfki.de
Jan RuttenCWIVerified email at cwi.nl
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr
Thomas BrihayeUMONSVerified email at umons.ac.be
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerified email at tu-dresden.de

Christel Baier

TU Dresden

Verified email at tu-dresden.de - Homepage

Theoretical Computer Science Model Checking Modeling and Analysis of Probabilistic Systems Automata Theory Temporal Logic


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Principles of model checking C Baier, JP Katoen MIT press, 2008	8741	2008
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	1061	2003
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	386	2006
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	380	1999
Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998	321	1998
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	251	1997
Model checking continuous-time Markov chains by transient analysis C Baier, B Haverkort, H Hermanns, JP Katoen International conference on computer aided verification, 358-372, 2000	247	2000
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997	218	1997
On algorithmic verification methods for probabilistic systems C Baier Habilitation thesis, Fakultät für Mathematik & Informatik, Universität Mannheim, 1998	215	1998
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	196*	2005
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	184	2005
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	174	2000
On the logical characterisation of performability properties C Baier, B Haverkort, H Hermanns, JP Katoen Automata, Languages and Programming: 27th International Colloquium, ICALP …, 2000	162	2000
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	148	2006
Model checking probabilistic systems C Baier, L de Alfaro, V Forejt, M Kwiatkowska Handbook of Model Checking, 963-999, 2018	143*	2018
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	133*	2007
Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier Theoretical Computer Science 363 (2), 182-195, 2006	133	2006
ProFeat: feature-oriented engineering for family-based probabilistic model checking P Chrszon, C Dubslaff, S Klüppelholz, C Baier Formal Aspects of Computing 30, 45-75, 2018	131*	2018
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	122	2004
Performance evaluation and model checking join forces C Baier, BR Haverkort, H Hermanns, JP Katoen Communications of the ACM 53 (9), 76-85, 2010	115	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors