Ralf Wimmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
18
Active years
2006–2022
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DATE | The Scale4Edge RISC-V Ecosystem. | Wolfgang Ecker, Peer Adelt, Wolfgang Mller, 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 Grttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jrg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz |
| 2019 | AAAI | A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. | Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst |
| 2019 | FMCAD | Localizing Quantifiers for DQBF. | Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer |
| 2019 | IJCAI | Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. | Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu |
| 2018 | UAI | Finite-State Controllers of POMDPs using Parameter Synthesis. | Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker |
| 2018 | SAT | Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. | Christoph Scholl, Ralf Wimmer |
| 2017 | SAT | From DQBF to QBF by Dependency Elimination. | Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker |
| 2017 | TACAS | Long-Run Rewards for Markov Automata. | Yuliya Butkova, Ralf Wimmer, Holger Hermanns |
| 2017 | TACAS | HQSpre - An Effective Preprocessor for QBF and DQBF. | Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker |
| 2016 | ATVA | Skolem Functions for DQBF. | Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2016 | SAT | Dependency Schemes for DQBF. | Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker |
| 2015 | DATE | Solving DQBF through quantifier elimination. | Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer, Christoph Scholl, Bernd Becker |
| 2015 | FM | Counterexamples for Expected Rewards. | Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen, Bernd Becker |
| 2015 | SAT | Preprocessing for DQBF. | Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker |
| 2015 | SETTA | Cost vs. Time in Stochastic Games and Markov Automata. | Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis Mara Ferrer Fioriti, Holger Hermanns, Bernd Becker |
| 2015 | VMCAI | Abstraction-Based Computation of Reward Measures for Markov Automata. | Bettina Braitling, Luis Mara Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, Holger Hermanns |
| 2014 | ATVA | Fast Debugging of PRISM Models. | Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika brahm, Joost-Pieter Katoen |
| 2013 | ICCD | Equivalence checking of partial designs using dependency quantified Boolean formulae. | Karina Gitina, Sven Reimer, Matthias Sauer, Ralf Wimmer, Christoph Scholl, Bernd Becker |
| 2012 | ATVA | The COMICS Tool - Computing Minimal Counterexamples for DTMCs. | Nils Jansen, Erika brahm, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2012 | TACAS | Minimal Critical Subsystems for Discrete-Time Markov Models. | Ralf Wimmer, Nils Jansen, Erika brahm, Bernd Becker, Joost-Pieter Katoen |
| 2011 | ATVA | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
| 2011 | FORTE | Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika brahm |
| 2011 | MEMOCODE | Reachability analysis for incomplete networks of Markov decision processes. | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
| 2010 | CAV | A Model Checker for AADL. | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
| 2009 | PDPTA | Picoso - A Parallel Interval Constraint Solver. | Natalia Kalinnik, Tobias Schubert, Erika brahm, Ralf Wimmer, Bernd Becker |
| 2009 | SSS | Dependability Engineering of Silent Self-stabilizing Systems. | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
| 2009 | VMCAI | Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. | Ralf Wimmer, Bettina Braitling, Bernd Becker |
| 2008 | DDECS | Probabilistic Model Checking and Reliability of Results. | Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker |
| 2008 | ICCD | Propositional approximations for bounded model checking of partial circuit designs. | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer |
| 2006 | ATVA | Sigref- A Symbolic Bisimulation Tool Box. | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
| 2006 | DDECS | Minimization of Large State Spaces using Symbolic Branching Bisimulation. | Ralf Wimmer, Marc Herbstritt, Bernd Becker |