Ralf Wimmer

Contact Information

Dipl.-Inf. Ralf Wimmer
Chair of Computer Architecture
Faculty of Engineering
Albert-Ludwigs-University Freiburg
Georges-Köhler-Allee, Building 51, Room 01..030
79110 Freiburg im Breisgau
Germany

Phone +49 761 203 8179
Fax +49 761 203 8142
E-Mail: wimmer AT informatik.uni-freiburg.de

Biography
- 1999-2004: Studies in Computer Science (major subject) and Microsystems Engineering (minor subject) at the Albert-Ludwigs-University Freiburg, Germany. During this time various jobs at the Institute of Computer Science, e. g. at the Chair of Computer Architecture, the Chair of Operating Systems, and the Insitute for Applied Mathematics
- October 2005: VDI Award 2005, sponsored by VDI, the German Engineering Association, for the diploma thesis "Ganzzahlige lineare Optimierung und Separierung mit binären Entscheidungsdiagrammen" ("Integer linear optimization and separation with binary decision diagrams").
- Since January 1st, 2005: PhD student at the Chair of Computer Architecture of Prof. Dr. Bernd Becker
- Since October 2006: Member of the faculty council ("Fakultätsrat") and the committee of study affairs ("Studienkommission") of the faculty of engineering at the university of Freiburg
Teaching Activites:
- Sommercampus 2004: "Introduction to the Typesetting System LaTeX"
- Winter term 2004/2005: Assistant for the lecture "Technische Informatik"
- Summer term 2005: Assistant for the lecture "Technische Informatik II"
- Sommercampus 2005: "Introduction to the Typsetting System LaTeX".
- Winter term 2005/06: Assistant for the undergraduate seminar "Entwurfsmethoden" and of the graduate seminar "Advanced Model Checking"
- Summer term 2006: Assistant for the graduate lecture "Eingebettete Systeme II"
- Sommercampus 2006: "Introduction to the Typesetting System LaTeX"
- Winter term 2006/07: Assistant for the graduate seminar "Theoretical Foundations of Model checking"
- Summer term 2007: Assistant for the graduate seminar "Methoden der Verifikation"
- Winter term 2007/08: Assistant for the graduate seminar "SAT and beyond"
- Summer term 2008: Assistant for the lecture "Rechnerarchitektur"
- Winter term 2008/09: Assistant for the undergraduate seminar "Entwurfsmethoden" and for the graduate seminar "Satisfiability modulo theories (SMT)"
- Summer term 2009: Lecturer of the course "Einführung in die effiziente Softwareentwicklung"
- Winter term 2009/10: Assistant for the undergraduate seminar "Entwurfsmethoden" and lecturer of the graduate lecture "Eingebettete Systeme I"
Advisor for the following projects/theses
- Diploma thesis "Symbolische Berechnung von Bisimulationen" by Kelley Strampp
- Diploma thesis "Kompositionalität und Bounded Model Checking" by Natalia Kalinnik
- Student's project "xGen - ein Webportal zur Generierung von Übungsblättern" by Christoph Löffler
- Student's project "Ein semi-symbolischer Algorithmus für Paritätsspiele" by Georges Morbé
- Student's project "Probabilistisches Model-Checking mit exakter Arithmetik" by Alexander Kortus
- Bachelor thesis "Visualisierung von SAT-Algorithmen" by Markus Fuchs
- Diploma thesis "Bounded Model Checking für stochastische Systeme" by Alexander Kortus
- Diploma thesis "Model Checking für stochastische Systeme mit Black Boxes" by Eric Nyaben
- Bachelor Project "xGen2 - ein Portal zur Generierung von Übungsblättern" by Andreas Spilla, Daniel Frey, and Eduard Skaley.
- Bachelor Project "Implementierung eines stochastischen SAT-Solvers" by Jennifer Modes
- Diploma Thesis "Bounded Model Checking auf stochastischen Systemen" by Bettina Braitling (Weiterführung der Arbeit von Alexander Kortus)
Publications
1. R. Wimmer
  Ganzzahlige lineare Optimierung und Separierung mit binären Entscheidungsdiagrammen (Diploma thesis, only available in German), November 2004 (pdf).
2. B. Becker, M. Behle, F. Eisenbrand, M. Fränzle, M. Herbstritt, C. Herde, J. Hoffmann, D. Kröning, B. Nebel, Ilia Polian und Ralf Wimmer
  Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems
  Proceedings of the ITG/GI/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", 2004 (pdf, bibtex)
3. B. Becker, M. Behle, F. Eisenbrand und R. Wimmer
  Using BDDs in a Branch & Cut Framework
  In Sotiris Nikoletseas (Ed.), Efficient and Experimental Algorithms, Proceedings of the 4th International Workshop on Efficient and Experimental Algorithms (WEA'05), Santorini, Greece, LNCS 3503, Springer, p. 452-463, May 2005 (pdf, bibtex)
4. M. Herbstritt, R. Wimmer, T. Peikenkamp, E. Böde, M. Adelaide, S. Johr, H. Hermanns, B. Becker
  Analysis of Large Safety-Critical Systems: A Quantitative Approach
  Reports of SFB/TR 14 AVACS Nr. 8 (siehe www.avacs.org), 2006, ISSN 1860-9821 (pdf, bibtex)
5. R. Wimmer, M. Herbstritt, B. Becker
  Minimization of Large State Spaces using Symbolic Branching Bisimulation
  Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems, April 2006 (pdf, bibtex)
6. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
  Compositional Performability Evaluation for Statemate
  Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST), Sept. 2006 (bibtex)
7. R. Wimmer, T. Nopper, M. Herbstritt, C. Löffler, B. Becker
  Collaborative Exercise Management
  Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare & Higher Education (E-LEARN), October 13-17, 2006 (bibtex)
8. R. Wimmer, M. Herbstritt, H. Hermanns, K. Strampp, B. Becker
  Sigref - A Symbolic Bisimulation Tool Box
  Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA), October 23-26, 2006, Beijing, China (bibtex)
9. R. Wimmer, M. Herbstritt, B. Becker
  Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation
  10. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", March 5-7, 2007, Erlangen, Germany (bibtex)
10. R. Wimmer, M. Herbstritt, B. Becker
  Optimization Techniques for BDD-based Bisimulation Computation
  Proceedings of the 17th Great Lakes Symposium on VLSI, March 11-13, 2007, Stresa, Italy (bibtex)
11. R. Wimmer, H. Hermanns, M. Herbstritt, B. Becker
  Towards Symbolic Stochastic Aggregation
  Reports of SFB/TR 14 AVACS Nr. 16 (siehe www.avacs.org), 2007, ISSN 1860-9821 (pdf, bibtex)
12. R. Wimmer, A. Kortus, M. Herbstritt, B. Becker
  Symbolic Model Checking of DTMCs with Exact and Inexact Arithmetic
  Reports of SFB/TR 14 AVACS Nr. 30 (siehe www.avacs.org), 2007, ISSN 1860-9821 (pdf, bibtex)
13. R. Wimmer, A. Kortus, M. Herbstritt, B. Becker
  The Demand for Reliability in Probabilistic Verification
  11. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" March 3-5, 2008, Freiburg, Germany (bibtex)
14. R. Wimmer, A. Kortus, M. Herbstritt, B. Becker
  Probabilistic Model Checking and Reliability of Results
  11. IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems, April 2008, Bratislava, Slovakia (bibtex)
15. R. Wimmer, S. Derisavi, H. Hermanns
  Symbolic Partition Refinement with Dynamic Balancing of Time and Space
  5. International Conference on Quantitative Evaluation of Systems, September 2008, St. Malo, France (bibtex)
16. B. Becker, M. Herbstritt, N. Kalinnik, M. Lewis, J. Lichtner, T. Nopper, R. Wimmer
  Propositional Approximations for Bounded Model Checking of Partial Circuit Designs
  26. IEEE International Conference on Computer Design, October 2008, Squaw Creek, CA, USA (bibtex)
17. R. Wimmer, B. Braitling, B. Becker
  Counterexample Generation for Discrete-Time Markov Chains using Bounded Model Checking
  10. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 2009, Savannah, GA, USA
18. E. Böde, M. Herbstritt, H. Hermanns, S. Johr, T. Peikenkamp, R. Pulungan, J. Rakow, R. Wimmer, B. Becker
  Compositional Dependability Evaluation for STATEMATE
  IEEE Transactions on Software Engineering 35(2):274-292, 2009
19. N. Kalinnik, T. Schubert, E. Ábrahám, R. Wimmer, B. Becker
  Picoso - A Parallel Interval Constraint Solver
  The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), July 2009, Las Vegas, NV, USA
20. A. Dhama, O. Theel, P. Crouzen, H. Hermanns, R. Wimmer, B. Becker
  Dependability Engineering of Silent Self-Stabilizing Systems
  11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), November 2009, Lyon, France (to appear)
The publication list in pdf format can be downloaded here.