Concepedia

Christel Baier

CB

78

Publications

4.3K

Citations

35

H-Index

1994

Active since

Affiliations

Technische Universität Dresden(Current)

University of Bonn

University of Mannheim

University of Twente

Saarland University

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

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSystems EngineeringProbabilityComputer EngineeringSoftware Analysis

Publications per year

1994–2023

78

Publications

78

Model-checking algorithms for continuous-time markov chains

Christel Baier, Boudewijn R. Haverkort, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2003 · 762 citations

Model Checking Problem, Engineering, Automated Reasoning +15

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab et al. · Science of Computer Programming · 2006 · 302 citations · Full text

Constraint Solving, Engineering, Constraint Automata +8

Model checking for a probabilistic branching time logic with fairness

Christel Baier, Marta Kwiatkowska · Distributed Computing · 1998 · 216 citations

Engineering, Automated Reasoning, Probabilistic Branching Time +11

PROBMELA: a modeling language for communicating probabilistic processes

Christel Baier, Frank Ciesinski · 2005 · 195 citations

Engineering, Verification, Computer-aided Verification +23

Comparative branching-time semantics for Markov chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns et al. · Information and Computation · 2005 · 163 citations · Full text

Process Calculus, Engineering, Automated Reasoning +8

Rows per page

1–5 of 78