Dr.techn. Willibald Krenn
Function
Thematic Coordinator
Center
Digital Safety & Security
Competence Unit
Security & Communication Technologies
Address
Giefinggasse 4, 1210 Vienna
Career
Field: Dependable Systems Engineering
Main Research: Automated Testcase Generation / Formal Methods
Experience:
- 2010-2012: Compiler Engineer
Maxeler Technologies / UK - 2006-2010: Research Assistant
Institute for Software Technology, Graz University of Technology / Austria
Publications
- Software Engineering, Advanced Topics (2016)
TU Wien - Software Engineering, Advanced Topics (2017)
TU Wien - Software Engineering, Advanced Topics (2018)
TU Wien - Software Engineering, Advanced Topics (2019)
TU Wien - Software Engineering, Advanced Topics (2020)
TU Wien - Testmanagement and Testengineering (2015)
University of Applied Sciences FH Campus - Formal Methods in safety-critical areas (2015)
University of Applied Sciences FH Campus
- Testfallgenerierung
Inventor: Tarrach T., Fellner A., Krenn W.
Submission Date: 12.07.2018
Issue Date: 09.04.2020
Further Information
- Project homepage MoMuT
- Project homepage ThreatGet
- Publications AIT publications database
- CV as pdf