| 2008 |
|---|
| 14 | EE | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Abstraction for Stochastic Systems by Erlang's Method of Stages.
CONCUR 2008: 279-294 |
| 13 | EE | Werner Sandmann,
Verena Wolf:
Computational Probability for Systems Biology.
FMSB 2008: 33-47 |
| 2007 |
|---|
| 12 | | Mila E. Majster-Cederbaum,
Nils Semmelrock,
Verena Wolf:
Interaction Models for Biochemical Reactions.
BIOCOMP 2007: 480-486 |
| 11 | EE | Joost-Pieter Katoen,
Daniel Klink,
Martin Leucker,
Verena Wolf:
Three-Valued Abstraction for Continuous-Time Markov Chains.
CAV 2007: 311-324 |
| 10 | EE | Verena Wolf:
Modelling of Biochemical Reactions by Stochastic Automata Networks.
Electr. Notes Theor. Comput. Sci. 171(2): 197-208 (2007) |
| 2006 |
|---|
| 9 | EE | Hauke Busch,
Werner Sandmann,
Verena Wolf:
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion.
CMSB 2006: 298-311 |
| 8 | EE | Christel Baier,
Verena Wolf:
Stochastic Reasoning About Channel-Based Component Connectors.
COORDINATION 2006: 1-15 |
| 7 | EE | Harald Fecher,
Martin Leucker,
Verena Wolf:
Don't Know in Probabilistic Systems.
SPIN 2006: 71-88 |
| 6 | EE | Verena Wolf,
Christel Baier,
Mila E. Majster-Cederbaum:
Trace Machines for Observing Continuous-Time Markov Chains.
Electr. Notes Theor. Comput. Sci. 153(2): 259-277 (2006) |
| 5 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Bisimulation and Simulation Relations for Markov Chains.
Electr. Notes Theor. Comput. Sci. 162: 73-78 (2006) |
| 4 | EE | Verena Wolf,
Christel Baier,
Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism.
Electr. Notes Theor. Comput. Sci. 164(3): 187-204 (2006) |
| 2005 |
|---|
| 3 | EE | Christel Baier,
Joost-Pieter Katoen,
Holger Hermanns,
Verena Wolf:
Comparative branching-time semantics for Markov chains.
Inf. Comput. 200(2): 149-214 (2005) |
| 2004 |
|---|
| 2 | EE | Verena Wolf:
Testing Theory for Probabilistic Systems.
Model-Based Testing of Reactive Systems 2004: 233-275 |
| 2003 |
|---|
| 1 | EE | Christel Baier,
Holger Hermanns,
Joost-Pieter Katoen,
Verena Wolf:
Comparative Branching-Time Semantics.
CONCUR 2003: 482-497 |
