Willibald Krenn

Silicon Austria Labs (Austria) — Austria

Computer Science · Physical Sciences

13h-index433citations37works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(21), Software Reliability and Analysis Research(16), Formal Methods in Verification(9), Software Engineering Research(7), Model-Driven Software Engineering Techniques(6)

Publications37 total

Machine Learning-Based Vehicle Dynamics Estimation from Wheel Rim Strain Sensors
2025
The European Chips Act, The ISOLDE Project, and Open-Source Hardware
2024· 1 cited
Auswirkungen des automatisierten Fahrens
2023· 1 citedOpen Access
Einleitung
2023Open Access
Sicherheit vernetzter, hochautomatisierter Roboter
e+i Elektrotechnik und Informationstechnik·2019· 1 cited
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
ACM Transactions on Embedded Computing Systems·2019· 22 citedOpen Access
Learning and statistical model checking of system response times
Software Quality Journal·2019· 13 citedOpen Access
CPS/IoT Ecosystem: A Platform for Research and Education
Lecture notes in computer science·2019· 23 cited
A Vision for Enhancing Security of Cryptography in Executables
Lecture notes in computer science·2018· 2 cited
Model-based, mutation-driven test case generation via heuristic-guided branching search
2017· 9 citedOpen Access
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles
Lecture notes in computer science·2017· 6 citedOpen Access
Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results
arXiv (Cornell University)·2016· 3 citedOpen Access
A pattern-based formalization of cloud-based elastic systems
2015· 8 cited
A Pattern-Based Formalization of Cloud-Based Elastic Systems
2015· 6 cited
MoMut::UML Model-Based Mutation Testing for UML
2015· 52 cited
Compositional Specifications for ioco Testing
2014· 26 cited
Killing strategies for model‐based mutation testing
Software Testing Verification and Reliability·2014· 68 citedOpen Access
Compositional Specifications for IOCO Testing:Technical Report
2014· 3 cited
Compositional Specifications for ioco Testing
arXiv (Cornell University)·2014Open Access
Model-Based Mutation Testing of an Industrial Measurement Device
Lecture notes in computer science·2014· 40 cited
page 1 of 2Next →

Frequent Co-authors

Bernhard K. Aichernig(12), Rupert Schlick(11), Franz Wotawa(8), Harald Brandl(7), Elisabeth Jöbstl(7), Dejan Ničković(7), Przemysław Daca(3), Thomas A. Henzinger(3), Schahram Dustdar(3), Thorsten Tarrach(3), Stefan Tiran(2), Robert Korošec(2), Andreas Fellner(2), Georg Weißenbacher(2), Richard Schumi(2), Alessio Gambi(2), Jens Schippl(2), Torsten Fleischer(2), Robert Yen(2), Jakob Auer(1)