Bettina Braitling

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