Willibald Krenn

According to our database, Willibald Krenn authored at least 24 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Sicherheit vernetzter, hochautomatisierter Roboter.

Willibald Krenn

Elektrotech. Informationstechnik, 2019

2018

A Vision for Enhancing Security of Cryptography in Executables.

Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach

Proceedings of the Engineering Secure Software and Systems - 10th International Symposium, 2018

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles.

Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick

Proceedings of the Testing Software and Systems, 2017

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

MoMut: : UML Model-Based Mutation Testing for UML.

Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

A Pattern-Based Formalization of Cloud-Based Elastic Systems.

Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic

Proceedings of the 7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2015

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

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Compositional Specifications for ioco Testing.

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Incremental Language Inclusion Checking for Networks of Timed Automata.

Willibald Krenn, Dejan Nickovic, Loredana Tec

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

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

Efficient Mutation Killers in Action.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

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

2009

Test Case Generation by Contract Mutation in Spec#.

Willibald Krenn, Bernhard K. Aichernig

Proceedings of Fifth Workshop on Model Based Testing, 2009

Qualitative Action Systems.

Bernhard K. Aichernig, Harald Brandl, Willibald Krenn

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Model-Based Mutation Testing of Hybrid Systems.

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Rule-Set Extraction from C-Code.

Franz Wotawa, Willibald Krenn

Proceedings of the Intelligent Technical Systems, 2009

Intelligent, Fault Adaptive Control of Autonomous Systems.

Willibald Krenn, Franz Wotawa

Proceedings of the Intelligent Technical Systems, 2009

2007

Knowledge Extraction from C-Code.

Franz Wotawa, Willibald Krenn

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

Intelligent, Fault Tolerant Control for Autonomous Systems.

Willibald Krenn, Franz Wotawa

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change.

Willibald Krenn, Franz Wotawa

Proceedings of the Advances in Intelligent and Distributed Computing, 2007