BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × India
1 × Italy
1 × Norway
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
B.Becker B.Braitling J.Katoen N.Jansen E.Ábrahám K.Gitina C.Scholl L.M.F.Fioriti H.Hatefi H.Hermanns C.Dehnert J.Nist S.Reimer M.Sauer T.Quatmann M.Bozzano A.Cimatti V.Y.Nguyen T.Noll M.Roveri
Talks about:
markov (5) model (4) counterexampl (3) abstract (3) discret (3) time (3) automata (2) generat (2) reward (2) dqbf (2)

Person: Ralf Wimmer

DBLP DBLP: Wimmer:Ralf

Contributed to:

DATE 20152015
FM 20152015
SAT 20152015
VMCAI 20152015
QAPL 20142014
SFM 20142014
TACAS 20122012
CAV 20102010
VMCAI 20092009

Wrote 9 papers:

DATE-2015-GitinaWRSSB #quantifier
Solving DQBF through quantifier elimination (KG, RW, SR, MS, CS, BB), pp. 1617–1622.
Counterexamples for Expected Rewards (TQ, NJ, CD, RW, , JPK, BB), pp. 435–452.
SAT-2015-WimmerGNSB #preprocessor
Preprocessing for DQBF (RW, KG, JN, CS, BB), pp. 173–190.
VMCAI-2015-BraitlingFHWBH #automaton #markov #metric
Abstraction-Based Computation of Reward Measures for Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 172–189.
QAPL-2014-BraitlingFHWBH #abstraction #automaton #game studies #markov #named #refinement
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata (BB, LMFF, HH, RW, BB, HH), pp. 48–63.
SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, BB, CD, NJ, JPK, RW), pp. 65–121.
TACAS-2012-WimmerJABK #markov #modelling
Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, , BB, JPK), pp. 299–314.
CAV-2010-BozzanoCKNNRW #model checking
A Model Checker for AADL (MB, AC, JPK, VYN, TN, MR, RW), pp. 562–565.
VMCAI-2009-WimmerBB #bound #generative #markov #model checking #using
Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (RW, BB, BB), pp. 366–380.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.