Christel Baier - Concepedia

Author

Christel Baier

Also Known As

Baeten, Jos C. M, Baier Christel, Baier, C, Baier, C., Baier, Christel, C. BAIER, C. Baier, CHRISTEL BAIER, Ch Baier, Christel Baier

355

Publications

13.3K

Citations

H-Index

128

Concepts

All Affiliations

Technische Universität Dresden University of Bonn University of Mannheim University of Twente Saarland University

About

Christel Baier is an author at Technische Universität Dresden specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	33	67	4K
2	Language Studies	5	5	297
3	Business	1	1	12
4	Education	1	1	85
5	Management	1	1	12

Christel Baier

Publications

4.3K

Citations

H-Index

Page 1

	Year	Citations
Model-checking algorithms for continuous-time markov chains Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, IEEE Transactions on Software Engineering Model Checking ProblemEngineeringAutomated ReasoningProbabilistic VerificationVerification	2003	762
Modeling component connectors in Reo by constraint automata Christel Baier, Marjan Sirjani, Farhad Arbab, Science of Computer Programming Constraint SolvingEngineeringConstraint AutomataComputer EngineeringFormal Methods	2006	302
Model checking for a probabilistic branching time logic with fairness Christel Baier, Marta Kwiatkowska Distributed Computing EngineeringAutomated ReasoningProbabilistic Branching TimeProbabilistic VerificationVerification	1998	216
PROBMELA: a modeling language for communicating probabilistic processes Christel Baier, Frank Ciesinski EngineeringVerificationComputer-aided VerificationModel CheckingSoftware Analysis	2005	195
Comparative branching-time semantics for Markov chains Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Information and Computation Process CalculusEngineeringAutomated ReasoningMarkov KernelFormal Methods	2005	163
Deciding Bisimilarity and Similarity for Probabilistic Processes Christel Baier, Bettina Engelen, Mila Majster-Cederbaum Journal of Computer and System Sciences EngineeringProbabilistic SystemProbabilistic AnalysisProbabilistic ComputationStatistical Inference	2000	131
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Theoretical Computer Science Reachability AnalysisEfficient ComputationEngineeringReachability ProblemProbabilistic Verification	2005	123
Probabilistic ω-automata Christel Baier, Nathalie Bertrand Journal of the ACM Logical AutomatonEngineeringProbabilistic ω-AutomataAutomated ReasoningProbabilistic Verification	2012	100
Experiments with deterministic<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>ω</mml:mi></mml:math>-automata for formulas of linear temporal logic Joachim Klein, Christel Baier Theoretical Computer Science	2006	95
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems Christel Baier, Frank Ciesinski, Christel Baier, EngineeringIndustrial EngineeringVerificationSoftware EngineeringModel Checking	2006	94

Page 1