Dimitri Bohlender

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 9

Top Topics

Marginal Distributions

Stochastic Models

Top Venues

Discret. Event Dyn. Syst.

Publications

Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller, Michael Weyrich
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Autom. 68 (1) (2020)
Dimitri Bohlender, Stefan Kowalewski
Leveraging Horn clause solving for compositional verification of PLC software. Discret. Event Dyn. Syst. 30 (1) (2020)
Maximilian A. Köhl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender
Explainability as a Non-Functional Requirement. RE (2019)
Dimitri Bohlender, Maximilian A. Köhl
Towards a Characterization of Explainable Systems. CoRR (2019)
Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski
Cycle-bounded model checking of PLC software via dynamic large-block encoding. SAC (2018)
Dimitri Bohlender, Stefan Kowalewski
Design and Verification of Restart-Robust Industrial Control Software. IFM (2018)
Sebastian Ulewicz, Birgit Vogel-Heuser, Hendrik Simon, Dimitri Bohlender, Mathias Obster, Stefan Kowalewski
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation. ETFA (2017)
Dimitri Bohlender, Hendrik Simon, Stefan Kowalewski
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata. MBMV (2016)
Dimitri Bohlender, Hendrik Simon, Nico Friedrich, Stefan Kowalewski, Stefan Hauck-Stattelmann
Concolic test generation for PLC programs using coverage metrics. WODES (2016)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) (2014)