Bettina Braitling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2015
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2011 | FORTE | Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm |
| 2009 | VMCAI | Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. | Ralf Wimmer, Bettina Braitling, Bernd Becker |