Manuel Bentele
|
Manuel Bentele University of Freiburg Building 052, room 00-020 |
I am currently a PhD student supervised by Axel Sikora (Associate Professor at the University of Freiburg).
Research Interests
My research interests include software engineering, with a particular focus on incremental development and program verification for quality assurance, as well as interface specifications and requirements within the context of embedded software for embedded systems.
At the moment I'm working on Incremental Development, Continuous Checking (IDCC) of application programs for embedded systems.
Publications
See my ORCID record and DBLP entry for a list of all publications.