Dimitri Bohlender

According to our database, Dimitri Bohlender authored at least 11 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Symbolic methods for formal verification of industrial control software.

Dimitri Bohlender

PhD thesis, 2021

2020

Leveraging Horn clause solving for compositional verification of PLC software.

Dimitri Bohlender, Stefan Kowalewski

Discret. Event Dyn. Syst., 2020

Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion.

Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich

Autom., 2020

2019

Towards a Characterization of Explainable Systems.

Dimitri Bohlender, Maximilian A. Köhl

CoRR, 2019

Explainability as a Non-Functional Requirement.

Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018

Cycle-bounded model checking of PLC software via dynamic large-block encoding.

Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Design and Verification of Restart-Robust Industrial Control Software.

Dimitri Bohlender, Stefan Kowalewski

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.

Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Concolic test generation for PLC programs using coverage metrics.

Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.

Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2014

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models.

Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014