SUPERB: Simulator Utilizing Parallel Evaluation of Resistive Bridges. - Piet Engelke; Bettina Braitling; Ilia Polian; Michel Renovell; Bernd Becker 001 (ATS, 2007)

Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. - Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001 (VMCAI, 2009)

SUPERB: Simulator utilizing parallel evaluation of resistive bridges. - Piet Engelke; Bernd Becker 001; Michel Renovell; Jürgen Schlöffel; Bettina Braitling; Ilia Polian (ACM Trans. Design Autom. Electr. Syst., 2009)

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. - Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001; Ernst Moritz Hahn; Pepijn Crouzen; Holger Hermanns; Abhishek Dhama; Oliver E. Theel (QEST, 2010)

Bounded Fairness for Probabilistic Distributed Algorithms. - Pepijn Crouzen; Ernst Moritz Hahn; Holger Hermanns; Abhishek Dhama; Oliver E. Theel; Ralf Wimmer 001; Bettina Braitling; Bernd Becker 001 (ACSD, 2011)

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. - Bettina Braitling; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001; Erika Ábrahám (FMOODS/FORTE, 2011)

SMT-based Counterexample Generation for Markov Chains. - Bettina Braitling; Ralf Wimmer 001; Bernd Becker 001; Nils Jansen 001; Erika Ábrahám (MBMV, 2011)

Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. - Bettina Braitling; Ralf Wimmer 001; Bernd Becker 001; Erika Ábrahám (MBMV, 2013)

MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (QAPL, 2014)

Abstraction-Based Computation of Reward Measures for Markov Automata. - Bettina Braitling; Luis María Ferrer Fioriti; Hassan Hatefi; Ralf Wimmer 001; Bernd Becker 001; Holger Hermanns (VMCAI, 2015)

Spielbasierte Abstraktion von Markow-Automaten. - Bettina Braitling (2016)

Cost vs. time in stochastic games and Markov automata. - Hassan Hatefi; Ralf Wimmer 001; Bettina Braitling; Luis María Ferrer Fioriti; Bernd Becker 001; Holger Hermanns (Formal Aspects Comput., 2017)