Ralf Wimmer

	2009
12		Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
11		Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
10		Ralf Wimmer, Bettina Braitling, Bernd Becker: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380
9		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker: Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)
	2008
8		Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
7		Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
6		Ralf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74
	2007
5		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
	2006
4		Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
3		Ralf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
2		Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. QEST 2006: 167-178
	2005
1		Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer: BDDs in a Branch and Cut Framework. WEA 2005: 452-463

Coauthor Index

1	Erika Ábrahám (Erika Ábrahám-Mumm)	[12]
2	Bernd Becker	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12]
3	Markus Behle	[1]
4	Eckard Böde	[2] [9]
5	Bettina Braitling	[10]
6	Pepijn Crouzen	[11]
7	Salem Derisavi	[6]
8	Abhishek Dhama	[11]
9	Friedrich Eisenbrand	[1]
10	Marc Herbstritt	[2] [3] [4] [5] [7] [8] [9]
11	Holger Hermanns	[2] [4] [6] [9] [11]
12	Sven Johr	[2] [9]
13	Natalia Kalinnik	[7] [12]
14	Alexander Kortus	[8]
15	Matthew D. T. Lewis	[7]
16	Juri Lichtner	[7]
17	Tobias Nopper	[7]
18	Thomas Peikenkamp	[2] [9]
19	Reza Pulungan	[2] [9]
20	Jan Rakow	[9]
21	Tobias Schubert	[12]
22	Kelley Strampp	[4]
23	Oliver E. Theel	[11]