Frank Ciesinski und Christel Baier - Info zur Person

(1 - 30 von 39

)

!!Christel Baier - Curriculum vitae Education: \\ *1999: Habilitation ...

www.ae-info.org

, CNRS/ENS Cachan (co-advisor)\\ Marcus Groesser, 2008, TU Dresden\\ Verena Wolf, 2008, Universitaet Mannheim (co-advisor)\\ Frank Ciesinski,

David Parker - Publications

www.cs.ox.ac.uk

[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications.

Frank Ciesinski - The Mathematics Genealogy Project

www.genealogy.math.ndsu.nodak.edu

Dissertation: High-level modelling and efficient analysis of randomized protocols. Advisor 1: Christel Baier. No students known. If you have additional information ...

Handbook of Weighted Automata | E-bok | Ellibs E-bokhandelwww.ellibs.com › book › handboo...

www.ellibs.com

Christel Baier, Marcus Größer, Frank Ciesinski Applications of Weighted Automata in Natural Language Processing Kevin Knight, Jonathan May. Nyckelord: ...

Dependable Software Systems Engineering - Google Books

books.google.de

Christel Baier, Marcus Gr ̈oßer, and Frank Ciesinski. Model checking linear-time properties of probabilistic systems. In Manfred Droste, Werner Kuich, and ...

Automated Technology for Verification and Analysis: 7th International...

books.google.de

Quantitative Analysis under Fairness Constraints Christel Baier, Marcus Groesser, and Frank Ciesinski Technische Universtät Dresden ...

Handbook of Weighted Automata - Google Books

books.google.de

Springer, Berlin, K. Chatterjee. Stochastic w-regular games. PhD thesis, University of 564 Christel Baier, Marcus Grofier, and Frank Ciesinski.

dblp: Frank Ciesinski

dblp.uni-trier.de

Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker: On Reduction Criteria for Probabilistic Reward Models. FSTTCS :

Logiknahe Lehrveranstaltungen in Bonn SoSe 2002

www.math.uni-bonn.de

Prof. Dr. Christel Baier, Dr. Alexander Asteroth, Frank Ciesinski, Marcus Größer: Di N327 Math: Vorlesung: Einführung in die Mathematische Logik:

dblp: Christel Baier

dblp.org

List of computer science publications by Christel Baier

Generating Compact MTBDD-Representations from Probmela Specifications...

link.springer.com

Frank Ciesinski (1); Christel Baier (1); Marcus Größer (1); David Parker (2). Author Affiliations. 1. Institute for Theoretical Computer Science, Technical University ...

Validation of stochastic systems : a guide to current research :...

archive.org

Validation of Stochastic Systems: A Guide to Current ResearchAuthor: Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus...

Generating Compact MTBDD-Representations from Probmela Specifications

www.infona.pl

Generating Compact MTBDD-Representations from Probmela Specifications. Frank Ciesinski, Christel Baier, Marcus Größer, David Parker.

Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein Reduction techniques for model checking Markov decision processes Proceedings of the 5th International Conference on Quantitative Evaluation of SysTems (QEST'08), pp , IEEE Computer Society Press, Link. Joachim Klein, Christel Baier

ACM-IEEE MEMOCODE 2004

memocode.irisa.fr

Christel Baier, Frank Ciesinski, and Marcus Groesser, U. Bonn Break

Generating Compact MTBDD-Representations from Probmela Specifications

www.prismmodelchecker.org

[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications.

JH Libraries

catalyst.library.jhu.edu

... On reduction criteria for probabilistic reward models / r| Marcus Grosser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska and David Parker ...

[PDF] PROBMELA: a modeling language for communicating probabilistic...

www.semanticscholar.org

Christel Baier, Frank Ciesinski, Marcus Größer ∗. Universität Bonn, Institut für Informatik I, Germany,. &#-bonn.de. Abstract.

PRISM - Publications

www.prismmodelchecker.org

[GNB+06] Marcus Groesser, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Kwiatkowska, David Parker. On reduction criteria for probabilistic reward ...

QTDDS: Quantitative Techniques for Dependable Distributed Systems |...

dsg.famaf.unc.edu.ar

Christian Eisentraut (U. Saarland) E. Moritz Hahn (U. Saarland), Christel Baier (TUD) Marcus Größer (TUD) Frank Ciesinski (TUD) Joost-Pieter Katoen (RWTH)

PRISM - Publications

www.prismmodelchecker.org

[CBGP08] Frank Ciesinski, Christel Baier, Marcus Groesser and David Parker. Generating Compact MTBDD-Representations from Probmela Specifications.

HTML

cgi.cse.unsw.edu.au

... doi: DSN Frank Ciesinski & Christel Baier (2006): LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.

Two Decades of Probabilistic Verification - Reflections and...

sws.cs.ru.nl

... Stoelinga); PASS (Bjoern Wachter); Liquor/PROBMELA (Christel Baier/Frank Ciesinski/Marcus Groesser/Joachim Klein); A Model Checking Competition?

reconstructed bibtex - Electronic Proceedings in Theoretical ...

cgi.cse.unsw.edu.au

... doi = " DSN ", ) @inproceedings(CB06b, author = "Frank Ciesinski and Christel Baier", year = "2006", title = "LiQuor: A tool for Qualitative and ...