Christel Baier

Cited by

	All	Since 2016
Citations	13892	5487
h-index	50	26
i10-index	109	67

1200

600

300

900

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202137 61 77 110 89 132 181 232 232 304 331 451 555 672 810 846 944 1039 1085 1097 982 1132 1035 943 284

Public access

View all

56 articles

11 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
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerified email at tcs.inf.tu-dresden.de
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Boudewijn R. HaverkortDean, Tilburg School of Humanities & Digital Sciences, Tilburg UniversityVerified email at uvt.nl
Clemens DubslaffTU DresdenVerified email at tu-dresden.de
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
Jan RuttenCWIVerified email at cwi.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
Verena WolfProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Thomas BrihayeUMONSVerified email at umons.ac.be
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Hermann HärtigProfessor Computer Science, Technische Universität DresdenVerified email at tu-dresden.de
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz

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	6026	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	939	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	351	2006
Approximative symbolic model checking of continuous-time Markov chains C Baier, JP Katoen, H Hermanns International Conference on Concurrency Theory, 146-161, 1999	348	1999
Model checking for a probabilistic branching time logic with fairness C Baier, M Kwiatkowska Distributed Computing 11 (3), 125-155, 1998	285	1998
Symbolic model checking for probabilistic processes C Baier, EM Clarke, V Hartonas-Garmhausen, M Kwiatkowska, M Ryan International Colloquium on Automata, Languages, and Programming, 430-440, 1997	219	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	217	2000
On algorithmic verification methods for probabilistic systems C Baier habilitation thesis, University of Mannheim, 1998	197	1998
Weak bisimulation for fully probabilistic processes C Baier, H Hermanns International Conference on Computer Aided Verification, 119-130, 1997	188	1997
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	165	2005
Comparative branching-time semantics for Markov chains C Baier, JP Katoen, H Hermanns, V Wolf Information and computation 200 (2), 149-214, 2005	162	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	153	2000
On the logical characterisation of performability properties C Baier, B Haverkort, H Hermanns, JP Katoen International Colloquium on Automata, Languages, and Programming, 780-792, 2000	151	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	134	2006
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	128*	2007
Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier Theoretical Computer Science 363 (2), 182-195, 2006	118	2006
Controller synthesis for probabilistic systems C Baier, M Größer, M Leucker, B Bollig, F Ciesinski Exploring New Frontiers of Theoretical Informatics, 493-506, 2004	110	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	100	2010
Model checking performability properties B Haverkort, L Cloth, H Hermanns, JP Katoen, C Baier Proceedings International Conference on Dependable Systems and Networks, 103-112, 2002	100	2002
Partial Order Reduction for Probabilistic Systems. C Baier, M Größer, F Ciesinski QEST 4, 230-239, 2004	99	2004

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

Upload PDF

Follow this author

Cited by

Co-authors