Bettina Braitling

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 3

Top Venues

VMCAI

SETTA

Formal Aspects Comput.

QAPL

University of Freiburg, Germany (PHD)

Education History

University of Freiburg, Germany

PHD

Publications

Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
Cost vs. time in stochastic games and Markov automata. Formal Aspects Comput. 29 (4) (2017)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
Abstraction-Based Computation of Reward Measures for Markov Automata. VMCAI (2015)
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
Cost vs. Time in Stochastic Games and Markov Automata. SETTA (2015)
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. QAPL (2014)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. MBMV (2013)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE (2011)
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
SMT-based Counterexample Generation for Markov Chains. MBMV (2011)
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
Bounded Fairness for Probabilistic Distributed Algorithms. ACSD (2011)
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST (2010)
Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian
SUPERB: Simulator utilizing parallel evaluation of resistive bridges. ACM Trans. Design Autom. Electr. Syst. 14 (4) (2009)
Ralf Wimmer, Bettina Braitling, Bernd Becker
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI (2009)
Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker
SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges. ATS (2007)

Bettina Braitling.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bettina Braitling