The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ralf Wimmer" ( http://dblp.L3S.de/Authors/Ralf_Wimmer )

URL (Homepage):  http://www.informatik.uni-freiburg.de/~wimmer/  Author page on DBLP  Author page in RDF  Community of Ralf Wimmer in ASPL-2

Publication years (Num. hits)
2004-2009 (15) 2010-2012 (19) 2013-2015 (20) 2016-2018 (19) 2019 (5)
Publication types (Num. hits)
article(15) incollection(1) inproceedings(60) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 79 publication records. Showing 78 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer Quantifier Localization for DQBF. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aile Ge-Ernst, Christoph Scholl, Ralf Wimmer Localizing Quantifiers for DQBF. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker 0001, Ufuk Topcu Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker 0001 Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas. Search on Bibsonomy Advanced Logic Synthesis The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Steven Carr, Nils Jansen 0001, Ralf Wimmer, Jie Fu, Ufuk Topcu Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Ralf Wimmer, Holger Hermanns Markov Automata on Discount! Search on Bibsonomy MMB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext. Search on Bibsonomy MBMV The full citation details ... 2018 DBLP  BibTeX  RDF
1Christoph Scholl, Ralf Wimmer Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications - Extended Abstract. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion Planning under Partial Observability using Game-Based Abstraction. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hassan Hatefi, Ralf Wimmer, Bettina Braitling, Luis María Ferrer Fioriti, Bernd Becker 0001, Holger Hermanns Cost vs. time in stochastic games and Markov automata. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen 0001, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker 0001 Motion planning under partial observability using game-based abstraction. Search on Bibsonomy CDC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl, Bernd Becker 0001 From DQBF to QBF by Dependency Elimination. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Ralf Wimmer, Holger Hermanns Long-Run Rewards for Markov Automata. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001 HQSpre - An Effective Preprocessor for QBF and DQBF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Karina Wimmer, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Skolem Functions for DQBF. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer Vorwort. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer (eds.) 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. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  BibTeX  RDF
1Ralf Wimmer, Christoph Scholl, Karina Wimmer, Bernd Becker 0001 Dependency Schemes for DQBF. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Continuous-Time Markov Chains. Search on Bibsonomy IEEE Trans. Reliability The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-level Counterexamples for Probabilistic Automata Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Ralf Wimmer, Sven Reimer, Matthias Sauer 0002, Christoph Scholl, Bernd Becker 0001 Solving DQBF through quantifier elimination. Search on Bibsonomy DATE The full citation details ... 2015 DBLP  BibTeX  RDF
1Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Counterexamples for Expected Rewards. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karsten Scheibler, Leonore Winterer, Ralf Wimmer, Bernd Becker 0001 Towards Verification of Artificial Neural Networks. Search on Bibsonomy MBMV The full citation details ... 2015 DBLP  BibTeX  RDF
1Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker 0001 Preprocessing for DQBF. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hassan Hatefi, Bettina Braitling, Ralf Wimmer, Luis María Ferrer Fioriti, Holger Hermanns, Bernd Becker 0001 Cost vs. Time in Stochastic Games and Markov Automata. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl, Ralf Wimmer Modeling Unknown Values in Test and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns Abstraction-Based Computation of Reward Measures for Markov Automata. Search on Bibsonomy VMCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Minimal counterexamples for linear-time probabilistic verification. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker 0001, Holger Hermanns MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata. Search on Bibsonomy QAPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker 0001, Johann Schuster Symbolic counterexample generation for large discrete-time Markov chains. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen Fast Debugging of PRISM Models. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Accelerating Parametric Probabilistic Verification. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 High-Level Counterexamples for Probabilistic Automata. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence Checking for Partial Implementations Revisited. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Erika Ábrahám Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. Search on Bibsonomy MBMV The full citation details ... 2013 DBLP  BibTeX  RDF
1Karina Gitina, Sven Reimer, Matthias Sauer 0002, Ralf Wimmer, Christoph Scholl, Bernd Becker 0001 Equivalence checking of partial designs using dependency quantified Boolean formulae. Search on Bibsonomy ICCD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Transient Reward Approximation for Grids, Crowds, and Viruses Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Maik Scheffler, Matthias Volk 0001, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Matthias Volk 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 The COMICS Tool - Computing Minimal Counterexamples for DTMCs. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám, Joost-Pieter Katoen Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. Search on Bibsonomy MBMV The full citation details ... 2012 DBLP  BibTeX  RDF
1Ralf Wimmer, Nils Jansen 0001, Erika Ábrahám, Bernd Becker 0001, Joost-Pieter Katoen Minimal Critical Subsystems for Discrete-Time Markov Models. Search on Bibsonomy TACAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker 0001 Symbolic Counterexample Generation for Discrete-Time Markov Chains. Search on Bibsonomy FACS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker 0001 Reachability analysis for incomplete networks of Markov decision processes. Search on Bibsonomy MEMOCODE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 Hierarchical Counterexamples for Discrete-Time Markov Chains. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám SMT-based Counterexample Generation for Markov Chains. Search on Bibsonomy MBMV The full citation details ... 2011 DBLP  BibTeX  RDF
1Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker 0001 Bounded Fairness for Probabilistic Distributed Algorithms. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2011 DBLP  BibTeX  RDF
1Bettina Braitling, Ralf Wimmer, Bernd Becker 0001, Nils Jansen 0001, Erika Ábrahám Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Salem Derisavi, Holger Hermanns Symbolic partition refinement with automatic balancing of time and space. Search on Bibsonomy Perform. Eval. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer A Model Checker for AADL. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bettina Braitling, Bernd Becker 0001, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker 0001 DTMC Model Checking by SCC Reduction. Search on Bibsonomy QEST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Bernd Becker 0001 Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. Search on Bibsonomy MMB/DFT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Natalia Kalinnik, Erika Ábrahám, Tobias Schubert 0001, Ralf Wimmer, Bernd Becker 0001 Exploiting Different Strategies for the Parallelization of an SMT Solver. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Ralf Wimmer Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele. Search on Bibsonomy 2010   RDF
1Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker 0001 Compositional Dependability Evaluation for STATEMATE. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Dependability Engineering of Silent Self-stabilizing Systems. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Natalia Kalinnik, Tobias Schubert 0001, Erika Ábrahám, Ralf Wimmer, Bernd Becker 0001 Picoso - A Parallel Interval Constraint Solver. Search on Bibsonomy PDPTA The full citation details ... 2009 DBLP  BibTeX  RDF
1Ralf Wimmer, Bettina Braitling, Bernd Becker 0001 Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 Probabilistic Model Checking and Reliability of Results. Search on Bibsonomy DDECS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Salem Derisavi, Holger Hermanns Symbolic Partition Refinement with Dynamic Balancing of Time and Space. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 The Demand for Reliability in Probabilistic Verification. Search on Bibsonomy MBMV The full citation details ... 2008 DBLP  BibTeX  RDF
1Bernd Becker 0001, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer Propositional approximations for bounded model checking of partial circuit designs. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. Search on Bibsonomy MBMV The full citation details ... 2007 DBLP  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Optimization techniques for BDD-based bisimulation computation. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods
1Ralf Wimmer, Marc Herbstritt, Bernd Becker 0001 Minimization of Large State Spaces using Symbolic Branching Bisimulation. Search on Bibsonomy DDECS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker 0001 Compositional Performability Evaluation for STATEMATE. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker 0001 Sigref- A Symbolic Bisimulation Tool Box. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer BDDs in a Branch and Cut Framework. Search on Bibsonomy WEA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Markus Behle, Friedrich Eisenbrand, Martin Fränzle, Marc Herbstritt, Christian Herde, Jörg Hoffmann 0001, Daniel Kröning, Bernhard Nebel, Ilia Polian, Ralf Wimmer Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #78 of 78 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license