David Spieler

According to our database, David Spieler authored at least 12 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN.

Julian Strosahl, Jörg Sichermann, Maximilian Jesch, David Spieler

Proceedings of the International Conference on Connected Vehicle and Expo, 2022

2020

Deep learning for brake squeal: vibration detection, characterization and prediction.

Merten Stender, Merten Tiedemann, David Spieler, Daniel Schoepflin, Norbert P. Hoffmann, Sebastian Oberst

CoRR, 2020

2014

Numerical analysis of long-run properties for Markov population models.

David Spieler

PhD thesis, 2014

Model Checking CSL for Markov Population Models

David Spieler, Ernst Moritz Hahn, Lijun Zhang

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

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

Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models.

David Spieler

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Efficient Steady State Analysis of Multimodal Markov Chains.

David Spieler, Verena Wolf

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Approximate maximum likelihood estimation for stochastic chemical kinetics.

Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf

EURASIP J. Bioinform. Syst. Biol., 2012

Analyzing Oscillatory Behavior with Formal Methods.

Alexandr Andreychenko, Thilo Krüger, David Spieler

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011

Bounding the equilibrium distribution of Markov population models.

Tugrul Dayar, Holger Hermanns, David Spieler, Verena Wolf

Numer. Linear Algebra Appl., 2011

Parameter Identification for Markov Models of Biochemical Reactions.

Aleksandr Andreychenko, Linar Mikeev, David Spieler, Verena Wolf

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2008

Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.

Christian Eisentraut, David Spieler

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008