Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bohlender, Dimitri
add a person with the name Bohlender, Dimitri
 

Other publications of authors with the same name

Explainability as a Non-Functional Requirement., , , , , and . RE, page 363-368. IEEE, (2019)Leveraging Horn clause solving for compositional verification of PLC software., and . Discrete Event Dynamic Systems, 30 (1): 1-24 (2020)Symbolic Verification of PLC Safety-Applications based on PLCopen Automata., , and . MBMV, page 33-45. Albert-Ludwigs-Universität Freiburg, (2016)A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models., , , , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 177-192. Springer, (2014)Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion, , , , , , , , and . at - Automatisierungstechnik, vol. 68, no. 1, 28.01.2020, pp. 3-14, (2020)Concolic test generation for PLC programs using coverage metrics., , , , and . WODES, page 432-437. IEEE, (2016)Cycle-bounded model checking of PLC software via dynamic large-block encoding., , and . SAC, page 1891-1898. ACM, (2018)Design and Verification of Restart-Robust Industrial Control Software., and . IFM, volume 11023 of Lecture Notes in Computer Science, page 47-68. Springer, (2018)Towards a Characterization of Explainable Systems., and . CoRR, (2019)Formal methods for reconfigurable cyber-physical systems in production, , , , , , , , and . Automatisierungstechnik, 68 (1): 3-14 (2020)