Bettina Braitling

	2011
5		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: 89-97
4		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: 75-89
	2010
3		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: 27-36
	2009
2		Ralf Wimmer, Bettina Braitling, Bernd Becker: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380
1		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)

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[4]
2	Bernd Becker	[1] [2] [3] [4] [5]
3	Pepijn Crouzen	[3] [5]
4	Abhishek Dhama	[3] [5]
5	Piet Engelke	[1]
6	Ernst Moritz Hahn	[3] [5]
7	Holger Hermanns	[3] [5]
8	Nils Jansen	[4]
9	Ilia Polian	[1]
10	Michel Renovell	[1]
11	Jürgen Schlöffel	[1]
12	Oliver E. Theel	[3] [5]
13	Ralf Wimmer	[2] [3] [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page