Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. - Christian Eisentraut; David Spieler (WS-FM, 2008)

Parameter Identification for Markov Models of Biochemical Reactions. - Aleksandr Andreychenko; Linar Mikeev; David Spieler; Verena Wolf (CAV, 2011)

Bounding the equilibrium distribution of Markov population models. - Tugrul Dayar; Holger Hermanns; David Spieler; Verena Wolf (Numer. Linear Algebra Appl., 2011)

Analyzing Oscillatory Behavior with Formal Methods. - Alexandr Andreychenko; Thilo Krüger; David Spieler (ROCKS, 2012)

Approximate maximum likelihood estimation for stochastic chemical kinetics. - Aleksandr Andreychenko; Linar Mikeev; David Spieler; Verena Wolf (EURASIP J. Bioinform. Syst. Biol., 2012)

Efficient Steady State Analysis of Multimodal Markov Chains. - David Spieler; Verena Wolf (ASMTA, 2013)

Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. - David Spieler (QEST, 2013)

On-the-fly verification and optimization of DTA-properties for large Markov chains. - Linar Mikeev; Martin R. Neuhäußer; David Spieler; Verena Wolf (Formal Methods Syst. Des., 2013)

Model Checking CSL for Markov Population Models - David Spieler; Ernst Moritz Hahn; Lijun Zhang 001 (QAPL, 2014)

Numerical analysis of long-run properties for Markov population models. - David Spieler (2014)

Deep learning for brake squeal: vibration detection, characterization and prediction. - Merten Stender; Merten Tiedemann; David Spieler; Daniel Schoepflin 002; Norbert P. Hoffmann; Sebastian Oberst (CoRR, 2020)

Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN. - Julian Strosahl; Jörg Sichermann; Maximilian Jesch; David Spieler (ICCVE, 2022)