David Spieler

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