David Spieler
According to our database1,
David Spieler
authored at least 12 papers
between 2008 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN.
Proceedings of the International Conference on Connected Vehicle and Expo, 2022
2020
Deep learning for brake squeal: vibration detection, characterization and prediction.
CoRR, 2020
2014
PhD thesis, 2014
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014
2013
Formal Methods Syst. Des., 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013
2012
EURASIP J. Bioinform. Syst. Biol., 2012
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012
2011
Numer. Linear Algebra Appl., 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008