Benjamin Engel
According to our database1,
Benjamin Engel
authored at least 6 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
0
1
2
3
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 16th International Conference on Computer Science & Education, 2021
2015
J. Comput. Syst. Sci., 2015
2013
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Proceedings of the NASA Formal Methods, 2013
2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012