Rupert Schlick

According to our database, Rupert Schlick authored at least 27 papers between 2006 and 2022.

Collaborative distances:

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

2022

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

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, Enrico Ferrari, Mikel Labayen Esnaola, Vanessa Orani, Johnny Öberg, David Pereira, José Proença, Rupert Schlick, Ales Smrcka, Walter Tiberti, Stefano Tonetta, Marco Bozzano, Ahmet Yazici, Behrooz Sangchoolie

Microprocess. Microsystems, November, 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

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper.

Thomas Bauer, 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, Behrooz Sangchoolie

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2021

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, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie

Proceedings of the Quality of Information and Communications Technology, 2021

2020

Profil: Software Engineering Research am AIT - Austrian Institute of Technology GmbH.

Rupert Schlick

Proceedings of the Software Engineering 2020, 2020

MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen.

Rupert Schlick

Proceedings of the Software Engineering 2020, 2020

SE - Wissenschaftliche Praxis und Vergleichbarkeit.

Rupert Schlick

Proceedings of the Software Engineering 2020, 2020

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, Ales Smrcka, Ahmet Yazici, Peter Folkesson, Behrooz Sangchoolie

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

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

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

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).

Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Behaviour-Driven Formal Model Development.

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang

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

Model-based, mutation-driven test case generation via heuristic-guided branching search.

Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 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

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

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

Proceedings of the 2014 14th International Conference on Quality Software, 2014

2011

Towards Fault-based Generation of Test Cases for Dependable Embedded Software.

Wolfgang Herzner, Rupert Schlick, Harald Brandl, Johannes Wiessalla

Softwaretechnik-Trends, 2011

Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences.

Rupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl

Proceedings of the Computer Safety, Reliability, and Security, 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

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

2008

A Step towards Generating Efficient Test Cases - the Project MOGENTES.

Wolfgang Herzner, Rupert Schlick, Manfred Gruber

ERCIM News, 2008

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

2006

Checking SCADE Models for Correct Usage of Physical Units.

Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent

Proceedings of the Computer Safety, 2006