David Spieler

MSc. Computer Science

Saarland University,
Campus E1 3, Room 326
66123 Saarbrücken

Phone: +49 (0)681 302-5478
Fax:  +49 (0)681 302-5636
E-Mail: spieler(-at-)cs.uni-saarland.de

I am a PhD student at the chair of Modeling and Simulation (former ALMA Junior Research Group) since mid of December 2009.

My main research interests are :

  • Numerical steady-state analysis of stochastic hybrid systems,
  • sensitivity analysis and parameter estimation of biochemical systems,
  • retrival of geometric bounds for the steady state distributions of structured continuous time Markov chains (CTMC) with infinite state-space by the use of Lyapunov functions, as implemented e.g. in the Geobound tool,
  • deterministic timed automata (DTA) as a specification mechanism for CTMC,
  • and detecting oscillatory behavior in discrete stochastic models of chemical reaction networks.

Gene expression – sensitivity analysis w.r.t transcription rate.

Exclusive switch – sensitivity analysis w.r.t to binding rate.

Publications

  • D. Spieler, V. Wolf: Efficient Steady State Analysis of Multimodal Markov Chains, ASMTA 2013, LNCS, Springer, 2013 (to appear), corresponding technical report.
  • D. Spieler: Characterizing oscillatory and noisy periodic behavior in Markov population models, QEST 2013, LNCS, Springer, 2013 (to appear), corresponding technical report.
  • A. Andreychenko, L. Mikeev, D. Spieler, V. Wolf: Approximate maximum likelihood estimation for stochastic chemical kinetics, Journal on Bioinformatics and Systems Biology, Springer, 2012.
  • L. Mikeev, M. Neuhäußer, D. Spieler, V. Wolf: On-the-fly verification and optimization of DTA-properties for large Markov chains, Formal Methods in System Design, 2012.
  • Arand J, Spieler D, Karius T, Branco MR, Meilinger D, et al.: In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases, PLoS Genet 8(6): e1002750. doi:10.1371/journal.pgen.1002750, 2012.
  • Dayar, T., Sandmann, W., Spieler, D., and Wolf, V.: Infinite Level–Dependent QBDs and Matrix Analytic Solutions for Stochastic Chemical Kinetics, Advances in Applied Probability, 43.4, 2011.
  • Dayar, T., Hermanns, H., Spieler, D., and Wolf, V.: Bounding the Equilibrium Distribution of Markov Population Models, Numerical Linear Algebra with Applications, 2011.
  • Andreychenko, A. , Mikeev, L., Spieler, D., and Wolf, V.: Parameter Identification for Markov Models of Biochemical Reactions, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11), 2011.
  • Andreychenko A, Mikeev L, Spieler D, Wolf V: Approximate Maximum Likelihood Estimation for Stochastic Chemical Kinetics, In Proceedings of WCSB 2011, 2011.
  • Eisentraut C., D. Spieler: Fault, Compensation and Termination in WS-BPEL 2.0 – A Comparative Analysis,  WS-FM ’08

Thesis

Teaching

Summer Semester 2013
Lecture: Data Networks (Teaching Assistent)
Seminar: Parameter Estimation in Markov Models

Winter Semester 2012/2013
Proseminar: Anwendungen von Markovketten (Teaching Assistent)

Summer Semester 2012
Lecture: Quantitative Model Checking (Lecturer)

Winter Semester 2011/2012
Seminar: Stochastic Simulation Techniques (Teaching Assistant)

Summer Semester 2011
Data Networks (Teaching Assistant)

Summer Semester 2010
Quantitative Model Checking (Teaching Assistant)

Summer Semester 2009
Concurrent Programming (Student Assistant)

Summer Semester 2008
Concurrent Programming (Student Assistant)

Summer Semester 2007
Programmierung 2 (Student Assistant)

Winter Semester 2006/2007
Programmierung 1 (Student Assistant)

Other Work

I reviewed manuscripts for CAV 2013, CMSB 2010, CMSB 2011, CMSB 2012, CS2BIO 2010, DSN PDS 2010, ESOP 2013, FORMATS 2010, HSCC 2013, MMB 2011, QEST 2010, QEST 2012, TACAS 2011, TACAS 2013, TMS DEVS 2013, WSC 2012, YRCONCUR 2012.