Manuel Bentele
|
Manuel Bentele University of Freiburg Building 052, room 00-020 |
Research Interests
My research interests cover software engineering, incremental development, program verification, and interface specifications in the context of embedded software for embedded systems.
At the moment I'm working on Incremental Development, Continuous Checking (IDCC) of embedded software.
Publications
See my ORCID record and DBLP entry for a list of all publications.