dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Ralf Wimmer (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen: Minimal Critical Subsystems as Counterexamples for omega-Regular DTMC Properties. MBMV 2012: 169-180
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker, Joost-Pieter Katoen: Minimal Critical Subsystems for Discrete-Time Markov Models. TACAS 2012: 299-314
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Jansen, Erika Ábrahám, Maik Scheffler, Matthias Volk, Andreas Vorpahl, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains CoRR abs/1206.0603: (2012)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: Hierarchical Counterexamples for Discrete-Time Markov Chains. ATVA 2011: 443-452
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking. FMOODS/FORTE 2011: 75-89
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám: SMT-based Counterexample Generation for Markov Chains. MBMV 2011: 19-28
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker: DTMC Model Checking by SCC Reduction. QEST 2010: 37-46

Selection of 7 from 30 records - Ralf Wimmer has 41 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page