David Spieler

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 2

Top Venues

CoRR

QAPL

Formal Methods Syst. Des.

ASMTA

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Julian Strosahl, Jörg Sichermann, Maximilian Jesch, David Spieler
Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN. ICCVE (2022)
Merten Stender, Merten Tiedemann, David Spieler, Daniel Schoepflin, Norbert Hoffmann, Sebastian Oberst
Deep learning for brake squeal: vibration detection, characterization and prediction. CoRR (2020)
David Spieler, Ernst Moritz Hahn, Lijun Zhang
Model Checking CSL for Markov Population Models QAPL (2014)
David Spieler, Verena Wolf
Efficient Steady State Analysis of Multimodal Markov Chains. ASMTA (2013)
Linar Mikeev, Martin R. Neuhäußer, David Spieler, Verena Wolf
On-the-fly verification and optimization of DTA-properties for large Markov chains. Formal Methods Syst. Des. 43 (2) (2013)
David Spieler
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. QEST (2013)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP J. Bioinform. Syst. Biol. 2012 (2012)
Alexandr Andreychenko, Thilo Krüger, David Spieler
Analyzing Oscillatory Behavior with Formal Methods. ROCKS (2012)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Parameter Identification for Markov Models of Biochemical Reactions CoRR (2011)
Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf
Parameter Identification for Markov Models of Biochemical Reactions. CAV (2011)
Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf
Bounding the equilibrium distribution of Markov population models. Numer. Linear Algebra Appl. 18 (6) (2011)
Christian Eisentraut, David Spieler
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. WS-FM (2008)

David Spieler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Spieler