Uni-Logo
English       Login
Lehrstuhl für Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Ralf Wimmer, Dr. Ralf Wimmer, Dr.
Adresse Technische Fakultät
Albert-Ludwigs-Universität
Georges Köhler Allee, Gebäude 51
79110 Freiburg im Breisgau
Deutschland
Büro Gebäude 51, Raum 01..033
Telefon ++49 +761 203-8179
Fax ++49 +761 203-8142
eMail wimmer@informatik.uni-freiburg.de
Website http://www.informatik.uni-freiburg.de/~wimmer/


Jahre: 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004

    2015

    Icon: top nach oben zur Jahresübersicht
    • Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
      Abstraction-based Computation of Reward Measures for Markov Automata
      2015 Mumbai, India Int'l Conf. Verification, Model Checking, and Abstract Interpretation (VMCAI), Band: 8931, Seiten: 172 - 189
    • Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Maria Ferrer Fioriti, Holger Hermanns, Bernd Becker
      Cost vs. Time in Stochastic Games and Markov Automata
      2015 International Symposium on Dependable Software Engineering: Theory, Tools and Applications (SETTA) Proc. of SETTA, Springer-Verlag, Band: 9409, Seiten: 19 - 34
    • Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
      Solving DQBF Through Quantifier Elimination
      2015 Conf. on Design, Automation and Test in Europe
    • Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
      Towards Verification of Artificial Neural Networks
      2015 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Transient Reward Approximation for Continuous-Time Markov Chains
      2015 Ieee T Reliab, Band: 64, Nummer: 4

    2014

    Icon: top nach oben zur Jahresübersicht
    • Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Accelerating Parametric Probabilistic Verification
      2014 Int'l Conf. on Quantitative Evaluation of Systems (QEST), Springer-Verlag, Band: 8657, Seite: 404-420
    • Sreedhar Saseendran Kumar, Jan Wülfing, Joschka Boedecker, Ralf Wimmer, Martin Riedmiller, Bernd Becker, Ulrich Egert
      Autonomous Control of Network Activity
      2014 9th International Meeting on Substrate-Integrated Microelectrode Arrays (MEA)
    • Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
      Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey
      In: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), Advanced Lectures
      2014, Springer-Verlag, Seiten: 65 - 121,
    • Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
      MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
      2014 International Workshop on Quantitative Aspects of Programming Languages and Systems , Band: EPTCS
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Minimal Counterexamples for Linear-Time Probabilistic Verification
      2014 Theor Comput Sci
    • Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
      Symbolic Counterexample Generation for Large Discrete-Time Markov Chains
      2014 Sci Comput Program, Band: 91, Nummer: A, Seiten: 90 - 114

    2013

    Icon: top nach oben zur Jahresübersicht
    • Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Becker, Bernd
      Accelerating Parametric Probabilistic Verification
      arXiv, Band: arXiv:1312.3979, 2013
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking for Partial Implementations Revisited
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Universität Rostock ITMZ, Seiten: 61 - 70
    • Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Equivalence Checking of Partial Designs using Dependency Quantified Boolean Formulae
      2013 Int'l Conf. on Computer Design, IEEE Computer Society, Seiten: 396 - 403
    • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      High-Level Counterexamples for Probabilistic Automata
      2013 Springer-Verlag, Band: 8054, Seiten: 18 - 33
    • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      High-Level Counterexamples for Probabilistic Automata
      , Band: arxiv:1305.5055, 2013
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
      Stochastic Bounded Model Checking: Bounded Rewards and Compositionality
      2013 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Seiten: 243 - 254

    2012

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
      Minimal Counterexamples for Refuting omega-Regular Properties of Markov Decision Processes
      AVACS Technical Report, Nummer: 88, 2012
    • Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties
      2012 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Verlag Dr. Kovac, Seiten: 169 - 180
    • Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      Minimal Critical Subsystems for Discrete-Time Markov Models
      2012 Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, Band: 7214, Seiten: 299 - 314
    • Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
      Symbolic Counterexample Generation for Discrete-time Markov Chains
      2012 Int'l Symp. on Formal Aspects of Component Software, Springer-Verlag, Band: 7684, Seiten: 134 - 151
    • Ralf Wimmer
      Symbolische Methoden für die probabilistische Verifikation
      In: Ausgezeichnete Informatik-Dissertationen
      2012, Gesellschaft für Informatik, Stefan Hölldobler et al., Seiten: 271 - 280, Stefan Hölldobler et al., ISBN: 978-3-88579-416-5
    • Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      The COMICS Tool - Computing Minimal Counterexamples for DTMCs
      2012 Automated Technology for Verification and Analysis, Springer-Verlag, Band: 7561, Seiten: 349 - 353
    • Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      The COMICS Tool - Computing Minimal Counterexamples for DTMCs
      , Band: arxiv:1206.0603, 2012
    • Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Transient Reward Approximation for Grids, Crowds, and Viruses
      arXiv, Band: arxiv:1212.1251, 2012

    2011

    Icon: top nach oben zur Jahresübersicht
    • Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
      Bounded Fairness for Probabilistic Distributed Algorithms
      2011 Int'l Conf. on Application of Concurrency to System Design, IEEE Computer Society, Seiten: 89 - 97
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
      Counterexample Generation for Markov Chains using SMT-based Bounded Model Checking
      2011 IFIP Int'l Conf. on Formal Methods for Open Object-based Distributed Systems, Springer-Verlag, Band: 6722, Seiten: 75 - 89
    • Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Hierarchical Counterexamples for Discrete-Time Markov Chains
      2011 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 6996, Seiten: 443 - 452
    • Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      Hierarchical Counterexamples for Discrete-Time Markov Chains
      , Band: AIB-2011-11, 2011
    • Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
      Reachability Analysis for Incomplete Networks of Markov Decision Processes
      2011 Int'l Conf. on Formal Methods and Models for Co-Design, IEEE Computer Society Press, Seiten: 151 - 160
    • Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
      SMT-based Counterexample Generation for Markov Chains
      2011 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Offis Oldenburg, Band: 14, Seiten: 19 - 28

    2010

    Icon: top nach oben zur Jahresübersicht
    • Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
      A Model Checker for AADL
      2010 Int'l Conf. on CAV, Springer-Verlag, Band: 6174, Seiten: 562 - 565
    • Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
      Bounded Fairness for Probabilistic Distributed Algorithms
      AVACS Technical Report, Band: 57, 2010
    • Ralf Wimmer, Bernd Becker
      Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
      2010 Int'l GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems”, Springer-Verlag, Band: 5987, Seiten: 287 - 301
    • Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
      DTMC Model Checking by SCC Reduction
      2010 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Society, Seiten: 37 - 46
    • Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
      Exploiting Different Strategies for the Parallelization of an SMT Solver
      2010 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Fraunhofer Verlag, Seiten: 97 - 106
    • Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver Theel
      Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
      2010 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Society, Seiten: 27 - 36
    • Ralf Wimmer, Salem Derisavi, Holger Hermanns
      Symbolic Partition Refinement with Automatic Balancing of Time and Space
      2010 Performance Evaluation, Band: 67, Nummer: 9, Seiten: 815 - 835

    2009

    Icon: top nach oben zur Jahresübersicht
    • Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
      Picoso - A Parallel Interval Constraint Solver
      2009 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications, CSREA Press, Seiten: 473 - 479
    • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker
      Compositional Dependability Evaluation for Statemate
      2009 IEEE Trans. on Software Engineering, Band: 35, Nummer: 2, Seiten: 274 - 292
    • Ralf Wimmer, Bettina Braitling, Bernd Becker
      Counterexample Generation for Discrete-time Markov Chains using Bounded Model Checking
      2009 Int'l Conf. on Verification, Model Checking and Abstract Interpretation, Springer-Verlag, Band: 5403, Seiten: 366 - 380
    • Abhishek Dhama, Oliver Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
      Dependability Engineering of Silent Self-Stabilizing Systems
      2009 Int'l Symp. on Stabilization, Safety, and Security of Distributed Systems, Springer-Verlag, Band: 5873, Seiten: 238 - 253

    2008

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      Probabilistic Model Checking and Reliability of Results
      2008 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Science Press, Seiten: 207 - 212
    • Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
      Propositional Approximations for Bounded Model Checking of Partial Circuit Designs
      2008 IEEE Int'l Conf. on Computer Design, IEEE Computer Society Press, Seiten: 52 - 59
    • Ralf Wimmer, Salem Derisavi, Holger Hermanns
      Symbolic Partition Refinement with Dynamic Balancing of Time and Space
      2008 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Science Press, Seiten: 65 - 74
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      The Demand for Reliability in Probabilistic Verification
      2008 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 99 - 108

    2007

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation
      2007 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 203 - 212
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Optimization Techniques for BDD-based Bisimulation Minimization
      2007 Great Lakes Symp. on VLSI, ACM Press, Seiten: 405 - 410
    • Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
      Symbolic Model Checking for DTMCs with Exact and Inexact Arithmetic
      AVACS Technical Report, Nummer: 30, 2007
    • Ralf Wimmer, Holger Hermanns, Marc Herbstritt, Bernd Becker
      Towards Symbolic Stochastic Aggregation
      AVACS Technical Report, Nummer: 16, 2007

    2006

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Tobias Nopper, Marc Herbstritt, Christoph Löffler, Bernd Becker
      Collaborative Exercise Management
      2006 World Conf. on E-Learning in Corporate, Government, Healthcare, and Higher Education, Association for the Advancement of Computing in Education (AACE), Seiten: 3127 - 3134
    • Marc Herbstritt, Ralf Wimmer, Thomas Peikenkamp, Eckard Böde, Michael Adelaide, Sven Johr, Holger Hermanns, Bernd Becker
      Analysis of Large Safety-Critical Systems: A quantitative Approach
      AVACS Technical Report, Band: 8, 2006
    • Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
      Compositional Performability Evaluation for STATEMATE
      2006 Int'l Conf. on Quantitative Evaluation of Systems, IEEE Computer Society, Seiten: 167 - 178
    • Ralf Wimmer, Marc Herbstritt, Bernd Becker
      Minimization of Large State Spaces using Symbolic Branching Bisimulation
      2006 IEEE Design and Diagnostics of Electronic Circuits and Systems, IEEE Computer Society Press, Seiten: 9 - 14
    • Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
      Sigref - A Symbolic Bisimulation Tool Box
      2006 Int'l Symp. on Automated Technology for Verification and Analysis, Springer-Verlag, Band: 4218, Seiten: 477 - 492

    2005

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
      BDDs in a Branch & Cut Framework
      2005 Int'l Workshop on Efficient and Experimental Algorithms, Springer Verlag, Band: 3503, Seiten: 452 - 463

    2004

    Icon: top nach oben zur Jahresübersicht
    • Bernd Becker, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer
      Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems
      2004 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, Shaker Verlag, Seiten: 65 - 75