Markov Chain
We consider the problem of computing the steady state distribution of Markov chains describing cellular processes. Our main …
@inproceedings{spielerEfficientSteadyStateAnalysis2013,
author = {David Spieler and Verena Wolf},
booktitle = {Analytical and Stochastic Modeling Techniques and Applications. International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA-2013), 20th International Conference, ASMTA 2013, July 8-10, Gent, Belgium},
doi = {10.1007/978-3-642-39408-9_27},
editor = {Alexander Dudin and Koen De Turck},
isbn = {9783642394089},
month = {7},
pages = {380-395},
publisher = {Springer Berlin Heidelberg, Heidelberg},
title = {Efficient Steady State Analysis of Multimodal Markov Chains},
year = {2013}
}
Molecular noise, which arises from the randomness of the discrete events in the cell, significantly influences fundamental biological …
@article{didierApproximationOfEventProbabilities2011,
author = {Frédéric Didier and Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
doi = {10.1016/j.tcs.2010.10.022},
journal = {Theoretical Computer Science (TCS)},
month = {5},
number = {21},
pages = {2128-2141},
publisher = {Elsevier, Amsterdam},
title = {Approximation of event probabilities in noisy cellular processes},
volume = {412},
year = {2011}
}
We present an on-the-fly abstraction technique for infinite-state continuous -time Markov chains. We consider Markov chains that are …
@incollection{henzingerSlidingWindowAbstractionFor2009,
author = {Thomas A. Henzinger and Maria Mateescu and Verena Wolf},
booktitle = {Ahmed Bouajjani; Oded Maler;: International Conference on Computer Aided Verification},
doi = {10.1007/978-3-642-02658-4_27},
isbn = {9783642026584},
month = {6},
pages = {337-352},
publisher = {Springer Berlin Heidelberg, Heidelberg},
title = {Sliding Window Abstraction for Infinite Markov Chains},
year = {2009}
}
In this thesis, we introduce Phase Type Processes (PTPs), a novel stochastic modeling approach that can express probabilistic and …
@phdthesis{wolfEquivalencesOnPhaseType2008,
author = {Verena Wolf},
month = {5},
pages = {210},
publisher = {Univ.},
school = {Universität Mannheim},
title = {Equivalences on Phase Type Processes},
type = {PhD-Thesis},
year = {2008}
}
This paper presents a stochastic modelling framework based on stochastic automata networks (SANs) for the analysis of complex …
@article{wolfModellingOfBiochemicalReactions2007,
author = {Verena Wolf},
doi = {10.1016/j.entcs.2007.05.017},
editor = {Nicht bekannt},
journal = {Electronic Notes in Theoretical Computer Science},
month = {7},
number = {2},
pages = {197-208},
publisher = {Elsevier, Amsterdam},
title = {Modelling of Biochemical Reactions by Stochastic Automata Networks},
volume = {171},
year = {2007}
}
Computational models of biochemical systems are usually very large, and moreover, if reaction frequencies of different reaction types …
@inproceedings{buschANumericalAggregationAlgorithm2006,
author = {Hauke Busch and Werner Sandmann and Verena Wolf},
booktitle = {Computational Methods in Systems Biology - International Conference, Proceedings. International Conference on Computational Methods in Systems Biology (CMSB-2006), October 18-19, Trento, Italy},
doi = {10.1007/11885191_21},
edition = {1},
editor = {Corrado Priami},
isbn = {9783540461678},
month = {10},
pages = {298-311},
publisher = {Springer, Berlin, Heidelberg},
series = {Lecture Notes in Computer Science, LNCS},
title = {A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion},
volume = {4210},
year = {2006}
}
Formal notions of bisimulation and simulation relation play a central role for any kind of process algebra. This short paper sketches …
@article{baierBisimulationAndSimulationRelations2006,
author = {Christel Baier and Holger Hermanns and Joost-Pieter Katoen and Verena Wolf},
doi = {10.1016/j.entcs.2005.12.078},
journal = {Electronic Notes in Theoretical Computer Science},
month = {9},
pages = {73-78},
publisher = {Elsevier, Amsterdam},
title = {Bisimulation and Simulation Relations for Markov Chains},
volume = {162},
year = {2006}
}
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for …
@article{wolfTraceMachinesForObserving2006,
author = {Verena Wolf and Christel Baier and Mila Majster-Cederbaum},
doi = {10.1016/j.entcs.2005.10.042},
editor = {Nicht bekannt},
journal = {Electronic Notes in Theoretical Computer Science},
month = {5},
number = {2},
pages = {259-277},
publisher = {Elsevier, Amsterdam},
title = {Trace Machines for Observing Continuous-Time Markov Chains},
volume = {153},
year = {2006}
}
This paper presents various semantics in the branching-time spectrum of discrete-time and continuous-time Markov chains (DTMCs and …
@article{baierComparativeBranchingTimeSemanticsFor2005,
author = {Christel Baier and Joost-Pieter Katoen and Holger Hermanns and Verena Wolf},
doi = {10.1016/j.ic.2005.03.001},
journal = {Information and Computation (Inform. Comput.)},
month = {8},
number = {2},
pages = {149-214},
publisher = {Elsevier, Amsterdam},
title = {Comparative branching-time semantics for Markov chains},
volume = {200},
year = {2005}
}