Direkt zum Inhalt

Researcher Profile

Dr.techn. Willibald Krenn

Dr.techn. Willibald Krenn

Function

Thematic Coordinator

Center

Digital Safety & Security

Competence Unit

Security & Communication Technologies

E-Mail

Willibald.Krenn(at)ait.ac.at

Phone

+43 50550 4109

Fax

+43 50550 4150

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

Back