Willibald Krenn

27 papers A 3C 3Misc 1Journal 7Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
Machine Learning-Based Vehicle Dynamics Estimation from Wheel Rim Strain Sensors.
ICVES
Chiara Gei, Willibald Krenn, Hèlios Sanchis Alepuz, Peter Priller, Albert Frank, Ales Travnik, Julian Karoliny
2019 J jnl
Compositional Specifications for ioco Testing.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2019 J jnl
Learning and statistical model checking of system response times.
Softw. Qual. J.
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
2019 J jnl
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search.
ACM Trans. Embed. Comput. Syst.
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2019 J jnl
Sicherheit vernetzter, hochautomatisierter Roboter.
Elektrotech. Informationstechnik
Willibald Krenn
2018 — conf
A Vision for Enhancing Security of Cryptography in Executables.
ESSoS
Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
2018 — conf
CPS/IoT Ecosystem: A Platform for Research and Education.
CyPhy/WESE
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
2017 C conf
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles.
ICTSS
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
2017 C conf
Model-based, mutation-driven test case generation via heuristic-guided branching search.
MEMOCODE
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
2015 — conf
A Pattern-Based Formalization of Cloud-Based Elastic Systems.
PESOS@ICSE
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic
2015 J jnl
Killing strategies for model-based mutation testing.
Softw. Test. Verification Reliab.
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
2015 A conf
MoMut: : UML Model-Based Mutation Testing for UML.
ICST
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
2014 A conf
Compositional Specifications for ioco Testing.
ICST
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2014 — conf
Model-Based Mutation Testing of an Industrial Measurement Device.
TAP@STAF
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
2013 — conf
Incremental Language Inclusion Checking for Networks of Timed Automata.
FORMATS
Willibald Krenn, Dejan Nickovic, Loredana Tec
2011 A conf
Efficient Mutation Killers in Action.
ICST
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2011 J jnl
UML in action: a two-layered interpretation for testing.
ACM SIGSOFT Softw. Eng. Notes
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2010 J jnl
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems.
Elektrotech. Informationstechnik
Wolfgang Herzner, Rupert Schlick, Werner Schütz, Harald Brandl, Willibald Krenn
2009 — ch.
Intelligent, Fault Adaptive Control of Autonomous Systems.
Intelligent Technical Systems
Willibald Krenn, Franz Wotawa
2009 — conf
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems.
FMCO
Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig
2009 — conf
Model-Based Mutation Testing of Hybrid Systems.
FMCO
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
2009 C conf
Qualitative Action Systems.
ICFEM
Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
2009 — ch.
Rule-Set Extraction from C-Code.
Intelligent Technical Systems
Franz Wotawa, Willibald Krenn
2009 — conf
Test Case Generation by Contract Mutation in Spec#.
MBT@ETAPS
Willibald Krenn, Bernhard K. Aichernig
2007 Misc conf
Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change.
IDC
Willibald Krenn, Franz Wotawa
2007 — conf
Intelligent, Fault Tolerant Control for Autonomous Systems.
WISES
Willibald Krenn, Franz Wotawa
2007 — conf
Knowledge Extraction from C-Code.
WISES
Franz Wotawa, Willibald Krenn