Dimitri Bohlender
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2019
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | RE | Explainability as a Non-Functional Requirement. | Maximilian A. Khl, Kevin Baum, Markus Langer, Daniel Oster, Timo Speith, Dimitri Bohlender |
| 2018 | IFM | Design and Verification of Restart-Robust Industrial Control Software. | Dimitri Bohlender, Stefan Kowalewski |
| 2018 | SAC | Cycle-bounded model checking of PLC software via dynamic large-block encoding. | Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski |
| 2017 | ETFA | 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 |
| 2014 | ISoLA | 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 |