Ralf Wimmer

90 papers A* 3A 8B 9C 7Misc 2Journal 21Unranked 36
YearRankTypeTitle / Venue / Authors
2024 J jnl
Strong Simple Policies for POMDPs.
Int. J. Softw. Tools Technol. Transf.
Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen
2023 J jnl
Using Unit Propagation with Universal Reduction in DQBF Preprocessing.
CoRR
Ralf Wimmer, Ming-Yi Hu
2022 — conf
Diagnosing Partially Observable Markov Decision Processes.
MBMV
Ming Hu, Leonore Winterer, Ralf Wimmer
2022 J jnl
Solving dependency quantified Boolean formulas using quantifier localization.
Theor. Comput. Sci.
Aile Ge-Ernst, Christoph Scholl, Juraj Síc, Ralf Wimmer
2022 A conf
The Scale4Edge RISC-V Ecosystem.
DATE
Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
2021 — conf
Minimally Invasive HW/SW Co-debug Live Visualization on Architecture Level.
ACM Great Lakes Symposium on VLSI
Pascal Pieper, Ralf Wimmer, Gerhard Angst, Rolf Drechsler
2021 J jnl
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions.
IEEE Trans. Autom. Control.
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2020 — conf
Strengthening Deterministic Policies for POMDPs.
NFM
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2020 J jnl
Strengthening Deterministic Policies for POMDPs.
CoRR
Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
2019 A* conf
A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving.
AAAI
Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
2019 — conf
Correct-by-construction policies for POMDPs.
SNR
Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer
2019 A* conf
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
IJCAI
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 J jnl
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019 B conf
Localizing Quantifiers for DQBF.
FMCAD
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
2019 J jnl
Quantifier Localization for DQBF.
CoRR
Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer
2019 J jnl
The (D)QBF Preprocessor HQSpre - Underlying Theory and Its Implementation.
J. Satisf. Boolean Model. Comput.
Ralf Wimmer, Christoph Scholl, Bernd Becker
2018 — conf
Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext.
MBMV
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2018 — ch.
Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas.
Advanced Logic Synthesis
Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
2018 A conf
Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract.
SAT
Christoph Scholl, Ralf Wimmer
2018 A conf
Finite-State Controllers of POMDPs using Parameter Synthesis.
UAI
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2018 — conf
From DQBF to QBF by Dependency Elimination.
MBMV
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
2018 C conf
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
ACC
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 J jnl
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.
CoRR
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018 — conf
Markov Automata on Discount!
MMB
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
2017 J jnl
Cost vs. time in stochastic games and Markov automata.
Formal Aspects Comput.
Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker, Holger Hermanns
2017 A conf
From DQBF to QBF by Dependency Elimination.
SAT
Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker
2017 — conf
HQSpre - An Effective Preprocessor for QBF and DQBF.
TACAS (1)
Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker
2017 — conf
Long-Run Rewards for Markov Automata.
TACAS (2)
Yuliya Butkova, Ralf Wimmer, Holger Hermanns
2017 J jnl
Motion Planning under Partial Observability using Game-Based Abstraction.
CoRR
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 — conf
Motion planning under partial observability using game-based abstraction.
CDC
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker
2017 J jnl
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis.
CoRR
Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker
2016 — ed.
19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016.
MBMV
Ralf Wimmer
2016 A conf
Dependency Schemes for DQBF.
SAT
Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker
2016 B conf
Skolem Functions for DQBF.
ATVA
Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2016 — conf
Vorwort.
MBMV
Ralf Wimmer
2015 B conf
Abstraction-Based Computation of Reward Measures for Markov Automata.
VMCAI
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2015 Misc conf
Cost vs. Time in Stochastic Games and Markov Automata.
SETTA
Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker
2015 B conf
Counterexamples for Expected Rewards.
FM
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 J jnl
High-level Counterexamples for Probabilistic Automata
Log. Methods Comput. Sci.
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2015 — conf
Modeling Unknown Values in Test and Verification.
SyDe Summer School
Bernd Becker, Matthias Sauer, Christoph Scholl, Ralf Wimmer
2015 A conf
Preprocessing for DQBF.
SAT
Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker
2015 A conf
Solving DQBF through quantifier elimination.
DATE
Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker
2015 — conf
Towards Verification of Artificial Neural Networks.
MBMV
Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker
2015 J jnl
Transient Reward Approximation for Continuous-Time Markov Chains.
IEEE Trans. Reliab.
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2014 — conf
Accelerating Parametric Probabilistic Verification.
QEST
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014 — conf
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey.
SFM
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
2014 B conf
Fast Debugging of PRISM Models.
ATVA
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
2014 — conf
Maybe or Maybe Not: Contributions to Stochastic Verification.
Aspekte der Technischen Informatik
Ralf Wimmer, Erika Ábrahám
2014 — conf
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata.
QAPL
Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns
2014 J jnl
Minimal counterexamples for linear-time probabilistic verification.
Theor. Comput. Sci.
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2014 J jnl
Symbolic counterexample generation for large discrete-time Markov chains.
Sci. Comput. Program.
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
2013 J jnl
Accelerating Parametric Probabilistic Verification.
CoRR
Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 — conf
Equivalence Checking for Partial Implementations Revisited.
MBMV
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2013 C conf
Equivalence checking of partial designs using dependency quantified Boolean formulae.
ICCD
Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker
2013 — conf
High-Level Counterexamples for Probabilistic Automata.
QEST
Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
2013 — conf
Stochastic Bounded Model Checking: Bounded Rewards and Compositionality.
MBMV
Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám
2012 — conf
Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties.
MBMV
Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen
2012 A conf
Minimal Critical Subsystems for Discrete-Time Markov Models.
TACAS
Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen
2012 — conf
Symbolic Counterexample Generation for Discrete-Time Markov Chains.
FACS
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
2012 B conf
The COMICS Tool - Computing Minimal Counterexamples for DTMCs.
ATVA
Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012 J jnl
The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains
CoRR
Nils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2012 J jnl
Transient Reward Approximation for Grids, Crowds, and Viruses
CoRR
Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker
2011 — conf
Bounded Fairness for Probabilistic Distributed Algorithms.
ACSD
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker
2011 — conf
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking.
FMOODS/FORTE
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011 B conf
Hierarchical Counterexamples for Discrete-Time Markov Chains.
ATVA
Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2011 C conf
Reachability analysis for incomplete networks of Markov decision processes.
MEMOCODE
Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker
2011 — conf
SMT-based Counterexample Generation for Markov Chains.
MBMV
Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám
2011 — ch.
Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele.
Ausgezeichnete Informatikdissertationen
Ralf Wimmer
2011 — —
Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele.
Ralf Wimmer
2010 A* conf
A Model Checker for AADL.
CAV
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer
2010 — conf
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains.
MMB/DFT
Ralf Wimmer, Bernd Becker
2010 — conf
DTMC Model Checking by SCC Reduction.
QEST
Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker
2010 — conf
Exploiting Different Strategies for the Parallelization of an SMT Solver.
MBMV
Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker
2010 — conf
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.
QEST
Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel
2010 J jnl
Symbolic partition refinement with automatic balancing of time and space.
Perform. Evaluation
Ralf Wimmer, Salem Derisavi, Holger Hermanns
2009 J jnl
Compositional Dependability Evaluation for STATEMATE.
IEEE Trans. Software Eng.
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker
2009 B conf
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.
VMCAI
Ralf Wimmer, Bettina Braitling, Bernd Becker
2009 C conf
Dependability Engineering of Silent Self-stabilizing Systems.
SSS
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
2009 Misc conf
Picoso - A Parallel Interval Constraint Solver.
PDPTA
Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker
2008 C conf
Probabilistic Model Checking and Reliability of Results.
DDECS
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2008 C conf
Propositional approximations for bounded model checking of partial circuit designs.
ICCD
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
2008 — conf
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
QEST
Ralf Wimmer, Salem Derisavi, Holger Hermanns
2008 — conf
The Demand for Reliability in Probabilistic Verification.
MBMV
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker
2007 — conf
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation.
MBMV
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2007 — conf
Optimization techniques for BDD-based bisimulation computation.
ACM Great Lakes Symposium on VLSI
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2006 — conf
Compositional Performability Evaluation for STATEMATE.
QEST
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker
2006 C conf
Minimization of Large State Spaces using Symbolic Branching Bisimulation.
DDECS
Ralf Wimmer, Marc Herbstritt, Bernd Becker
2006 B conf
Sigref- A Symbolic Bisimulation Tool Box.
ATVA
Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker
2005 — conf
BDDs in a Branch and Cut Framework.
WEA
Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer
2004 — conf
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
MBMV
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