Uni-Logo
English       Login
Rechnerarchitektur - Arbeitsgruppe Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Name Ralf Wimmer, apl. Prof. Dr. Ralf Wimmer, apl. Prof. 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
Fax ++49 +761 203-8142
eMail wimmer@informatik.uni-freiburg.de
Website http://ira.informatik.uni-freiburg.de/~wimmer/

Ralf Wimmer

Jahre: 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004

    2021

    Icon: top nach oben zur Jahresübersicht
    • Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler
      Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level
      2021 ACM Press

    2020

    Icon: top nach oben zur Jahresübersicht
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
      Strategy Synthesis for POMDPs in Robot Planning using Game-Based Abstractions
      2020 IEEE T Automat Contr
    • Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
      Strengthening Determinstic Policies for POMPDs
      2020 Proceedings of the 12th NASA Formal Methods Symposium (NFM)

    2019

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 Honolulu, HI, USA Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), AAAI Press
    • Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
      Counterexample-Guided Strategy Improvement for POMDPs using Recurrent Neural Networks
      2019 Macao, China Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI)
    • Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
      Localizing Quantifiers for DQBF
      2019 Proceedings of the 2019 Conference on Formal Methods in Computer Aided Design (FMCAD), Clark W. Barrett, Jin Yang
    • Ralf Wimmer, Christoph Scholl, Bernd Becker
      The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation
      2019 Journal on Satisfiability, Boolean Modeling and Computation, Band: 11, Nummer: 1, Seiten: 3 - 52

    2018

    Icon: top nach oben zur Jahresübersicht
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
      Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
      2018 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas
      In: Advanced Logic Synthesis
      2018, Springer, André Ignacio Reis and Rolf Drechsler, Seiten: 151 - 168, André Ignacio Reis and Rolf Drechsler, ISBN: 978-3-319-67294-6
    • Christoph Scholl, Ralf Wimmer
      Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
      2018 Oxford, UK Proceedings of the 21st Int'l Conf. on Theory and Applications of Satisfiability Testing (SAT), Olaf Beyersdorff, Christoph M. Wintersteiger, Band: 10929, Seiten: 3 - 16
    • Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
      Finite-State Controllers of POMDPs via Parameter Synthesis
      2018 Proceedings of the 34th Conference on Uncertainty in Artificial Intelligence (UAI), AUAI Press, Seiten: 519 - 529
    • Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
      Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes
      2018 Proceedings of the 2018 Annual American Control Conference (ACC), Seiten: 762 - 69
    • Yuliya Butkova, Ralf Wimmer, Holger Hermanns
      Markov Automata on Discount!
      2018 19. International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB), Reinhard German et al., Band: 10740

    2017

    Icon: top nach oben zur Jahresübersicht
    • Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis Maria Ferrer Fioriti, Bernd Becker, Holger Hermanns
      Cost vs. Time in Stochastic Games and Markov Automata
      2017 Form Asp Comput, Band: 29, Nummer: 4, Seiten: 629 - 649
    • Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
      From DQBF to QBF by Dependency Elimination
      2017 Melbourne, VIC, Australia Int'l Conf. on Theory and Applications of Satisfiability Checking, Serge Gaspers and Toby Walsh, Band: 10491, Seiten: 326 - 343
    • Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
      HQSpre - An Effective Preprocessor for QBF and DQBF
      2017 Uppsala, Sweden International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part I, Axel Legay and Tiziana Margaria, Band: 10205, Seiten: 373 - 390
    • Yuliya Butkova, Ralf Wimmer, Holger Hermanns
      Long-run Rewards for Markov Automata
      2017 Uppsala, Sweden International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Part II, Axel Legay and Tiziana Margaria, Band: 10206, Seiten: 188 - 203
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
      Motion Planning under Partial Observability using Game-Based Abstraction
      2017 Melbourne, VIC, Australia 56th IEEE Conf. on Decision and Control (CDC), Seiten: 2201 - 2208
    • Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
      Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
      2017
    • Bernd Becker, Christoph Scholl, Ralf Wimmer
      Verification of Incomplete Designs
      In: Formal System Verification - State of the Art and Future Trends
      2017, Springer, Rolf Drechsler, Seiten: 37 - 72, Rolf Drechsler, ISBN: 978-3-319-57683-1

    2016

    Icon: top nach oben zur Jahresübersicht
    • Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
      Dependency Schemes for DQBF
      2016 Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9710, Seiten: 473 - 489
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF
      2016 Int'l Symposium on Automated Technology for Verification and Analysis (ATVA) Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA), Springer, Band: 9938, Seiten: 395 - 411
    • Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
      Skolem Functions for DQBF (Extended Version)
      , 2016
    • Ralf Wimmer
      Tagungsband des 19. GI/ITG/GMM-Workshops "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV)
      2016 Universität Freiburg / FreiDok, Seite: 150

    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
    • Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
      Counterexamples for Expected Rewards
      2015 Proceedings of the 20th International Symposium on Formal Methods (FM), Springer, Band: 9109, Seiten: 435 - 452
    • Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
      High-level Counterexamples for Probabilistic Automata
      2015 Log Meth Comput Sci (Logical Methods In Computer Science), Band: 11, Nummer: 1:15, Seiten: 1 - 23
    • Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
      Modeling Unknown Values in Test and Verification
      In: Formal Modeling and Verification of Cyber-Physical Systems (Proceedings of the 1st International Summer School on Methods and Tools for the Design of Digital Systems)
      2015, Springer, Rolf Drechsler, Ulrich Kühne, Seiten: 122 - 150, Rolf Drechsler, Ulrich Kühne, ISBN: 978-3-658-09993-0
    • Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
      Preprocessing for DQBF
      2015 Proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer, Band: 9340, Seiten: 173 - 190
    • 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,
    • Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
      Fast Debugging of PRISM Models
      2014 Int'l Symp. on Automated Technology for Verfication and Analysis, Springer-Verlag
    • Ralf Wimmer, Erika Ábrahám
      Maybe or Maybe Not - Contributions to Stochastic Verification
      In: Aspekte der Technischen Informatik: Festschrift zum 60. Geburtstag von Bernd Becker
      2014, Monsenstein und Vannerdat, Rolf Drechsler, Seiten: 119 - 127, Rolf Drechsler,
    • 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
    • Abhis, hek 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
      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