Concepedia

Frank Ciesinski

FC

Statistics

Publications

7

Citations

515

H-Index

7

Active since

2004

Affiliations

University of Bonn(Current)

Frank Ciesinski is an author at University of Bonn specializing in model checking, computing, and computer science.

Publications per year

2004–2008

7

Publications

7

PROBMELA: a modeling language for communicating probabilistic processes

Christel Baier, Frank Ciesinski · 2005 · 197 citations

Computing, Computer Science, Computer Systems +17

LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems

Christel Baier, Frank Ciesinski, Christel Baier et al. · 2006 · 94 citations

Computing, Computer Science, Systems Engineering +17

Controller synthesis for probabilistic systems

Christel Baier, Marcus Größer, Martin Leucker et al. · 2004 · 72 citations

Engineering, Mathematics, Systems Engineering +12

Partial order reduction for probabilistic systems

Christel Baier, Marcus Größer, Frank Ciesinski · 2004 · 60 citations

Computing, Computer Science, Formal Methods +13

Reduction Techniques for Model Checking Markov Decision Processes

Frank Ciesinski, Christel Baier, Marcus Größer et al. · 2008 · 42 citations

Computing, Computer Science, Algorithms +15

1–5 of 7