Travelled to:1 × France
1 × USA
2 × Germany
Collaborated with:C.Baier M.E.Majster-Cederbaum A.Andreychenko P.Crouzen T.A.Henzinger M.Mateescu L.Mikeev D.Spieler J.Katoen D.Klink M.Leucker
Talks about:markov (5) chain (3) time (3) abstract (2) infinit (2) continu (2) trace (2) model (2) nondetermin (1) inhomogen (1)
Person: Verena Wolf
DBLP: Wolf:Verena
Contributed to:
2011
20112009200720062006Wrote 6 papers:
- CAV-2011-AndreychenkoMSW #identification #markov #modelling #parametricity
- Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.
- QAPL-2011-AndreychenkoCW #infinity #markov #modelling #on the fly
- On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models (AA, PC, VW), p. 1.
- CAV-2009-HenzingerMW #abstraction #infinity #markov
- Sliding Window Abstraction for Infinite Markov Chains (TAH, MM, VW), pp. 337–352.
- CAV-2007-KatoenKLW #abstraction #markov
- Three-Valued Abstraction for Continuous-Time Markov Chains (JPK, DK, ML, VW), pp. 311–324.
- QAPL-2006-WolfBM06a #nondeterminism #probability #semantics
- Trace Semantics for Stochastic Systems with Nondeterminism (VW, CB, MEMC), pp. 187–204.
- QAPL-2005-WolfBM06 #markov
- Trace Machines for Observing Continuous-Time Markov Chains (VW, CB, MEMC), pp. 259–277.