David Spieler
TitleCited byYear
In vivo control of CpG and non-CpG DNA methylation by DNA methyltransferases
J Arand, D Spieler, T Karius, MR Branco, D Meilinger, A Meissner, ...
PLoS genetics 8 (6), e1002750, 2012
2782012
Bounding the equilibrium distribution of Markov population models
T Dayar, H Hermanns, D Spieler, V Wolf
Numerical linear algebra with applications 18 (6), 931-946, 2011
382011
Parameter identification for Markov models of biochemical reactions
A Andreychenko, L Mikeev, D Spieler, V Wolf
International Conference on Computer Aided Verification, 83-98, 2011
292011
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics
T Dayar, W Sandmann, D Spieler, V Wolf
Advances in Applied Probability 43 (4), 1005-1026, 2011
262011
Approximate maximum likelihood estimation for stochastic chemical kinetics
A Andreychenko, L Mikeev, D Spieler, V Wolf
EURASIP Journal on Bioinformatics and Systems Biology 2012 (1), 9, 2012
242012
Fault, compensation and termination in WS-BPEL 2.0—A comparative analysis
C Eisentraut, D Spieler
International Workshop on Web Services and Formal Methods, 107-126, 2008
192008
On-the-fly verification and optimization of DTA-properties for large Markov chains
L Mikeev, MR Neuhäußer, D Spieler, V Wolf
Formal Methods in System Design 43 (2), 313-337, 2013
172013
Model checking of oscillatory and noisy periodic behavior in Markovian population models
D Spieler
Master's thesis, Saarland University, 2009
112009
Characterizing oscillatory and noisy periodic behavior in markov population models
D Spieler
International Conference on Quantitative Evaluation of Systems, 106-122, 2013
72013
Numerical analysis of long-run properties for Markov population models
D Spieler
Saarland University, 2014
52014
Termination in WS-BPEL 2.0--A Comparative Analysis, Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected …
C Eisentraut, D Spieler, C Fault
Springer-Verlag, Berlin, Heidelberg, 2009
52009
Model checking CSL for markov population models
D Spieler, EM Hahn, L Zhang
arXiv preprint arXiv:1111.4385, 2011
42011
Bounding the equilibrium distribution of markov population models
T Dayar, H Hermanns, D Spieler, V Wolf
arXiv preprint arXiv:1007.3130, 2010
42010
Efficient steady state analysis of multimodal markov chains
D Spieler, V Wolf
International Conference on Analytical and Stochastic Modeling Techniques …, 2013
22013
Analyzing oscillatory behavior with formal methods
A Andreychenko, T Krüger, D Spieler
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
22012
Bounding the Equilibrium Distribution of Markov Population Models
D Spieler
2010
Bachelor’s Thesis Scope-based FCT-Handling in WS-BPEL 2.0
D Spieler
Saarland University, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–17