Rupert Schlick
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2006–2022
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAFECOMP | 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 |
| 2021 | QUATIC | 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 Proena, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie |
| 2021 | VTC | 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 |
| 2020 | DSD | 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 |
| 2019 | ICECCS | 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 |
| 2018 | ICFEM | Behaviour-Driven Formal Model Development. | Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang |
| 2018 | ISoLA | Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). | Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick |
| 2018 | ISoLA | A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. | Rupert Schlick, Michael Felderer, Istvn Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini |
| 2017 | MEMOCODE | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2015 | ICST | MoMut: : UML Model-Based Mutation Testing for UML. | Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl |
| 2014 | TAP | Model-Based Mutation Testing of an Industrial Measurement Device. | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
| 2011 | SAFECOMP | Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. | Rupert Schlick, Wolfgang Herzner, Elisabeth Jbstl |
| 2006 | SAFECOMP | Checking SCADE Models for Correct Usage of Physical Units. | Rupert Schlick, Wolfgang Herzner, Thierry Le Sergent |