Follow
David Spieler
David Spieler
Professor of Computer Science - Machine Learning, Munich University of Applied Science
Verified email at hm.edu - Homepage
Title
Cited by
Cited by
Year
In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases
J Arand, D Spieler, T Karius, MR Branco, D Meilinger, A Meissner, ...
PLoS genetics 8 (6), e1002750, 2012
4542012
Deep learning for brake squeal: Brake noise detection, characterization and prediction
M Stender, M Tiedemann, D Spieler, D Schoepflin, N Hoffmann, S Oberst
Mechanical Systems and Signal Processing 149, 107181, 2021
682021
Bounding the equilibrium distribution of Markov population models
T Dayar, H Hermanns, D Spieler, V Wolf
Numerical linear algebra with applications 18 (6), 931-946, 2011
472011
Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics
T Dayar, W Sandmann, D Spieler, V Wolf
Advances in Applied Probability 43 (4), 1005-1026, 2011
452011
Parameter identification for Markov models of biochemical reactions
A Andreychenko, L Mikeev, D Spieler, V Wolf
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
402011
Approximate maximum likelihood estimation for stochastic chemical kinetics
A Andreychenko, L Mikeev, D Spieler, V Wolf
EURASIP Journal on Bioinformatics and Systems Biology 2012, 1-14, 2012
282012
On-the-fly verification and optimization of DTA-properties for large Markov chains
L Mikeev, MR Neuhäußer, D Spieler, V Wolf
Formal Methods in System Design 43, 313-337, 2013
232013
Fault, compensation and termination in WS-BPEL 2.0—A comparative analysis
C Eisentraut, D Spieler
International Workshop on Web Services and Formal Methods, 107-126, 2008
212008
Numerical analysis of long-run properties for Markov population models
D Spieler
Saarland University, 2014
112014
Characterizing oscillatory and noisy periodic behavior in markov population models
D Spieler
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013
112013
Model checking of oscillatory and noisy periodic behavior in Markovian population models
D Spieler
Master's thesis, Saarland University, 2009
112009
Model checking CSL for Markov population models
D Spieler, EM Hahn, L Zhang
arXiv preprint arXiv:1111.4385, 2011
82011
Deep learning for brake squeal: vibration detection, characterization and prediction
M Stender, M Tiedemann, D Spieler, D Schoepflin, N Hofffmann, S Oberst
arXiv preprint arXiv:2001.01596, 2020
72020
Efficient steady state analysis of multimodal markov chains
D Spieler, V Wolf
International Conference on Analytical and Stochastic Modeling Techniques …, 2013
52013
Analyzing oscillatory behavior with formal methods
A Andreychenko, T Krüger, D Spieler
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
42012
Bounding the equilibrium distribution of markov population models
T Dayar, H Hermanns, D Spieler, V Wolf
arXiv preprint arXiv:1007.3130, 2010
42010
Web services and formal methods. chapter Fault, Compensation and Termination in WS-BPEL 2.0–A Comparative Analysis
C Eisentraut, D Spieler
Springer-Verlag, Berlin, Heidelberg, 2009
42009
Perspective-Corrected Extraction of Trajectories from Urban Traffic Camera Using CNN
J Strosahl, J Sichermann, M Jesch, D Spieler
2022 International Conference on Connected Vehicle and Expo (ICCVE), 1-7, 2022
2022
Steuerverfahren und Sprachdialogsystem
T Scheideck, R Retter, D Spieler
DE Patent DE102017222549A1, 2019
2019
Method for controlling voice-controlled operating interfaces in motor vehicles and device for performing the method
D Spieler
WO Patent WO2,017,194,241, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20