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: Wimmer:Ralf
Contributed to:
2015
2015
2015
2015
2014
2014
2012
20102009Wrote 9 papers:
- DATE-2015-GitinaWRSSB #quantifier
- Solving DQBF through quantifier elimination (KG, RW, SR, MS, CS, BB), pp. 1617–1622.
- FM-2015-QuatmannJDWAKB
- Counterexamples for Expected Rewards (TQ, NJ, CD, RW, EÁ, 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 (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
- TACAS-2012-WimmerJABK #markov #modelling
- Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, 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.