Dimitri Bohlender
Orcid: 0000-0002-8591-501X
According to our database1,
Dimitri Bohlender
authored at least 11 papers
between 2014 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
PhD thesis, 2021
2020
Discret. Event Dyn. Syst., 2020
Autom., 2020
2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
2017
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014