|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen |
Minimal Critical Subsystems for Discrete-Time Markov Models.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám |
Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker |
Reachability analysis for incomplete networks of Markov decision processes. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker |
Bounded Fairness for Probabilistic Distributed Algorithms. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
Hierarchical Counterexamples for Discrete-Time Markov Chains. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer |
Symbolische Methoden für die probabilistische Verifikation: Zustandsraumreduktion und Gegenbeispiele. |
|
2010 |
RDF |
|
| 1 | Ralf Wimmer, Salem Derisavi, Holger Hermanns |
Symbolic partition refinement with automatic balancing of time and space. |
Perform. Eval. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer |
A Model Checker for AADL. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel |
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |
DTMC Model Checking by SCC Reduction. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Bernd Becker |
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains. |
MMB/DFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker |
Compositional Dependability Evaluation for STATEMATE. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker |
Picoso - A Parallel Interval Constraint Solver. |
PDPTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker |
Dependability Engineering of Silent Self-stabilizing Systems. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Bettina Braitling, Bernd Becker |
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Salem Derisavi, Holger Hermanns |
Symbolic Partition Refinement with Dynamic Balancing of Time and Space. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker |
Probabilistic Model Checking and Reliability of Results. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer |
Propositional approximations for bounded model checking of partial circuit designs. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Marc Herbstritt, Bernd Becker |
Optimization techniques for BDD-based bisimulation computation. |
ACM Great Lakes Symposium on VLSI |
2007 |
DBLP DOI BibTeX RDF |
binary decision diagrams, bisimulation, state space reduction, state space explosion, symbolic methods |
| 1 | Ralf Wimmer, Marc Herbstritt, Holger Hermanns, Kelley Strampp, Bernd Becker |
Sigref- A Symbolic Bisimulation Tool Box. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker |
Compositional Performability Evaluation for STATEMATE. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer, Marc Herbstritt, Bernd Becker |
Minimization of Large State Spaces using Symbolic Branching Bisimulation. |
DDECS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Bernd Becker, Markus Behle, Friedrich Eisenbrand, Ralf Wimmer |
BDDs in a Branch and Cut Framework. |
WEA |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")