Dennis Guck
According to our database1,
Dennis Guck
authored at least 16 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
0
1
2
3
4
5
1
1
1
1
4
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Formal Aspects Comput., 2017
2016
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
Reliability-Centered Maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A Practical Experience Report.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Formal Methods and Software Engineering, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2012
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012
Proceedings of the NASA Formal Methods, 2012