← Back to directory
Christel Baier
Researcher Next ID · RN-000323
Professor · Computer Science
Technische Universität Dresden
Dresden, Germany
Not currently recruitingFunding unknown
- Works count
- 360
- Citation count
- 13,410
- H-index
- 43
- i10-index
- 139
About
361 publications and 13,410 citations recorded on OpenAlex.
Research interests
Computer Science
Formal Methods in Verification
Petri Nets in System Modeling
Advanced Software Engineering Methodologies
Software Reliability and Analysis Research
Logic, programming, and type systems
Publications
Principles of Model Checking
Journal · 2008
Principles of Model Checking (Representation and Mind Series)
The MIT Press eBooks · 2008
Modeling component connectors in Reo by constraint automata
Science of Computer Programming · 2006 · 10.1016/j.scico.2005.10.008
Model-checking algorithms for continuous-time markov chains
IEEE Transactions on Software Engineering · 2003 · 10.1109/tse.2003.1205180
Model checking for a probabilistic branching time logic with fairness
Distributed Computing · 1998 · 10.1007/s004460050046
Current projects
No projects listed.