Ralf Wimmer Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker: Picoso - A Parallel Interval Constraint Solver. PDPTA 2009: 473-479
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Bettina Braitling, Bernd Becker: Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. VMCAI 2009: 366-380
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker: Probabilistic Model Checking and Reliability of Results. DDECS 2008: 207-212
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Salem Derisavi, Holger Hermanns: Symbolic Partition Refinement with Dynamic Balancing of Time and Space. QEST 2008: 65-74
2007
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Bernd Becker: Optimization techniques for BDD-based bisimulation computation. ACM Great Lakes Symposium on VLSI 2007: 405-410
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker: Sigref- A Symbolic Bisimulation Tool Box. ATVA 2006: 477-492
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Marc Herbstritt, Bernd Becker: Minimization of Large State Spaces using Symbolic Branching Bisimulation. DDECS 2006: 9-14
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEckard 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer: BDDs in a Branch and Cut Framework. WEA 2005: 452-463

Coauthor Index

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

Copyright © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)