Concepedia

Dimitri Bohlender

DB

4

Publications

151

Citations

4

H-Index

2016

Active since

Affiliations

RWTH Aachen University(Current)

Dimitri Bohlender is an author at RWTH Aachen University specializing in formal methods, program analysis, and systems engineering.

ORCID

Top concepts

Publications per year

2016–2019

4

Publications

4

Explainability as a Non-Functional Requirement

Maximilian A. Köhl, Kevin Baum, Markus Langer et al. · 2019 · 104 citations

, , +26

Concolic test generation for PLC programs using coverage metrics

Dimitri Bohlender, Hendrik Simon, Nico Friedrich et al. · 2016 · 22 citations

, , +23

Towards a Characterization of Explainable Systems

Dimitri Bohlender, Maximilian A. Köhl · arXiv (Cornell University) · 2019 · 13 citations · Full text

, , +19

Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Dimitri Bohlender, Stefan Kowalewski · IFAC-PapersOnLine · 2018 · 12 citations · Full text

, , +26

Rows per page

1–4 of 4