Checking SCADE Models for Correct Usage of Physical Units. - Rupert Schlick; Wolfgang Herzner; Thierry Le Sergent (SAFECOMP, 2006)

Model-Based Development of Distributed Embedded Real-Time Systems. - Wolfgang Herzner; Martin Schlager; György Csertán; Bernhard Huber; Thierry Le Sergent; Erwin Schoitsch; Rupert Schlick (ERCIM News, 2008)

A Step towards Generating Efficient Test Cases - the Project MOGENTES. - Wolfgang Herzner; Rupert Schlick; Manfred Gruber (ERCIM News, 2008)

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)

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)

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. - Rupert Schlick; Wolfgang Herzner; Elisabeth Jöbstl (SAFECOMP, 2011)

Towards Fault-based Generation of Test Cases for Dependable Embedded Software. - Wolfgang Herzner; Rupert Schlick; Harald Brandl; Johannes Wiessalla (Softwaretechnik-Trends, 2011)

Integration of Requirements Engineering and Test-Case Generation via OSLC. - Bernhard K. Aichernig; Klaus Hörmaier; Florian Lorber; Dejan Nickovic; Rupert Schlick; Didier Simoneau; Stefan Tiran (QSIC, 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)

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)

Behaviour-Driven Formal Model Development. - Colin F. Snook; Thai Son Hoang; Dana Dghaym; Michael J. Butler; Tomas Fischer; Rupert Schlick; Keming Wang (ICFEM, 2018)

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). - Michael Felderer; Dilian Gurov; Marieke Huisman; Björn Lisper; Rupert Schlick (ISoLA (4), 2018)

A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. - Rupert Schlick; Michael Felderer; István Majzik; Roberto Nardone; Alexander Raschke; Colin F. Snook; Valeria Vittorini (ISoLA (4), 2018)

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. - Michael J. Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin F. Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer (ICECCS, 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)

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security. - Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; H. Becker; Enrico Ferrari; J. Jahic; Alper Kanak; Mikel Labayen Esnaola; Vanessa Orani; David Pereira; Luigi Pomante; Rupert Schlick; et al. (DSD, 2020)

SE - Wissenschaftliche Praxis und Vergleichbarkeit. - Rupert Schlick (SE, 2020)

MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen. - Rupert Schlick (SE, 2020)

Profil: Software Engineering Research am AIT - Austrian Institute of Technology GmbH. - Rupert Schlick (SE, 2020)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. - Jose Luis de la Vara; Thomas Bauer 002; Bernhard Fischer; Mustafa Karaca; Henrique Madeira; Martin Matschnig; Silvia Mazzini; Giann Spilere Nandi; Fabio Patrone; David Pereira; José Proença; Rupert Schlick; et al. (QUATIC, 2021)

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper. - Thomas Bauer 002; Joseba Andoni Agirre; David Fürcho; Wolfgang Herzner; Bob Hruska; Mustafa Karaca; David Pereira; José Proença; Rupert Schlick; Robert Sicher; Ales Smrcka; Ugur Yayan; et al. (SAMOS, 2021)

A Process to Facilitate Automated Automotive Cybersecurity Testing. - Stefan Marksteiner; Nadja Marko; Andre Smulders; Stelios Karagiannis; Florian Stahl; Hayk Hamazaryan; Rupert Schlick; Stefan Kraxberger; Alexandr Vasenev (VTC Spring, 2021)

The VALU3S ECSEL project: Verification and validation of automated systems safety and security. - Joseba Andoni Agirre; Leire Etxeberria; Raul Barbosa; Stylianos Basagiannis; Georgios Giantamidis; Thomas Bauer 002; Enrico Ferrari; Mikel Labayen Esnaola; Vanessa Orani; Johnny Öberg; David Pereira; José Proença; et al. (Microprocess. Microsystems, 2021)

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems. - Enrico Ferrari; Rupert Schlick; Jose Luis de la Vara; Peter Folkesson; Behrooz Sangchoolie (SAFECOMP Workshops, 2022)