Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. - Willibald Krenn; Franz Wotawa (IDC, 2007)

Intelligent, Fault Tolerant Control for Autonomous Systems. - Willibald Krenn; Franz Wotawa (WISES, 2007)

Knowledge Extraction from C-Code. - Franz Wotawa; Willibald Krenn (WISES, 2007)

Intelligent, Fault Adaptive Control of Autonomous Systems. - Willibald Krenn; Franz Wotawa (Intelligent Technical Systems, 2009)

Rule-Set Extraction from C-Code. - Franz Wotawa; Willibald Krenn (Intelligent Technical Systems, 2009)

Model-Based Mutation Testing of Hybrid Systems. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (FMCO, 2009)

Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. - Willibald Krenn; Rupert Schlick; Bernhard K. Aichernig (FMCO, 2009)

Qualitative Action Systems. - Bernhard K. Aichernig; Harald Brandl; Willibald Krenn (ICFEM, 2009)

Test Case Generation by Contract Mutation in Spec#. - Willibald Krenn; Bernhard K. Aichernig (MBT@ETAPS, 2009)

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. - Wolfgang Herzner; Rupert Schlick; Werner Schütz; Harald Brandl; Willibald Krenn (Elektrotech. Informationstechnik, 2010)

Efficient Mutation Killers in Action. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ICST, 2011)

UML in action: a two-layered interpretation for testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn (ACM SIGSOFT Softw. Eng. Notes, 2011)

Incremental Language Inclusion Checking for Networks of Timed Automata. - Willibald Krenn; Dejan Nickovic; Loredana Tec (FORMATS, 2013)

Compositional Specifications for ioco Testing. - Przemyslaw Daca; Thomas A. Henzinger; Willibald Krenn; Dejan Nickovic (ICST, 2014)

Model-Based Mutation Testing of an Industrial Measurement Device. - Bernhard K. Aichernig; Jakob Auer; Elisabeth Jöbstl; Robert Korosec; Willibald Krenn; Rupert Schlick; Birgit Vera Schmidt (TAP@STAF, 2014)

A Pattern-Based Formalization of Cloud-Based Elastic Systems. - Schahram Dustdar; Alessio Gambi; Willibald Krenn; Dejan Nickovic (PESOS@ICSE, 2015)

MoMut: : UML Model-Based Mutation Testing for UML. - Willibald Krenn; Rupert Schlick; Stefan Tiran; Bernhard K. Aichernig; Elisabeth Jöbstl; Harald Brandl (ICST, 2015)

Killing strategies for model-based mutation testing. - Bernhard K. Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn; Rupert Schlick; Stefan Tiran (Softw. Test. Verification Reliab., 2015)

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. - Richard Schumi; Priska Lang; Bernhard K. Aichernig; Willibald Krenn; Rupert Schlick (ICTSS, 2017)

CPS/IoT Ecosystem: A Platform for Research and Education. - Haris Isakovic; Denise Ratasich; Christian Hirsch; Michael Platzer; Bernhard Wally; Thomas Rausch; Dejan Nickovic; Willibald Krenn; Gerti Kappel; Schahram Dustdar; Radu Grosu (CyPhy/WESE, 2018)

A Vision for Enhancing Security of Cryptography in Executables. - Otto Brechelmacher; Willibald Krenn; Thorsten Tarrach (ESSoS, 2018)

Sicherheit vernetzter, hochautomatisierter Roboter. - Willibald Krenn (Elektrotech. Informationstechnik, 2019)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)

Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. - Andreas Fellner; Willibald Krenn; Rupert Schlick; Thorsten Tarrach; Georg Weissenbacher (ACM Trans. Embed. Comput. Syst., 2019)