Bettina Braitling

According to our database, Bettina Braitling authored at least 12 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Cost vs. time in stochastic games and Markov automata.

Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns

Formal Aspects Comput., 2017

2016

Spielbasierte Abstraktion von Markow-Automaten.

Bettina Braitling

PhD thesis, 2016

2015

Abstraction-Based Computation of Reward Measures for Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.

Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

2013

Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.

Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2011

SMT-based Counterexample Generation for Markov Chains.

Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.

Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám

Proceedings of the Formal Techniques for Distributed Systems, 2011

Bounded Fairness for Probabilistic Distributed Algorithms.

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel

Proceedings of the QEST 2010, 2010

2009

SUPERB: Simulator utilizing parallel evaluation of resistive bridges.

Piet Engelke, Bernd Becker, Michel Renovell, Jürgen Schlöffel, Bettina Braitling, Ilia Polian

ACM Trans. Design Autom. Electr. Syst., 2009

Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.

Ralf Wimmer, Bettina Braitling, Bernd Becker

Proceedings of the Verification, 2009

2007

SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges.

Piet Engelke, Bettina Braitling, Ilia Polian, Michel Renovell, Bernd Becker

Proceedings of the 16th Asian Test Symposium, 2007