Fingerprint
- 1 Ähnliche Profile
Publikationen
-
Criteria for the Analysis of Gaps and Limitations of VV Methods for Safety- and Security-Critical Systems
Ferrari, E., Schlick, R., Vara, J. L. D. L., Folkesson, P. & Sangchoolie, B., 2022, Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops - DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2022, Proceedings. Trapp, M., Schoitsch, E., Guiochet, J. & Bitsch, F. (Hrsg.). Springer, Band 13415. S. 35-46 12 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access -
A Process to Facilitate Automated Automotive Cybersecurity Testing
Marksteiner, S. (Vortragende:r), Marko, N., Smulders, A., Karagiannis, S., Stahl, F., Hamazaryan, H., Schlick, R., Kraxberger, S. & Vasenev, A., 2021, 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring). S. 1-7 7 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access -
A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems
Vara, J. L. D. L. (Vortragende:r), Bauer, T., Fischer, B., Karaca, M., Madeira, H., Matschnig, M., Mazzini, S., Nandi, G. S., Patrone, F., Pereira, D., Proença, J., Schlick, R., Tonetta, S., Yayan, U. & Sangchoolie, B., 2021, Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings. Paiva, A. C. R., Cavalli, A. R., Martins, P. V. & Pérez-Castillo, R. (Hrsg.). Springer, Band 1439. S. 325-340 16 S. (Communications in Computer and Information Science).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
-
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
Bauer, T. (Vortragende:r), Agirre, J. A., Fürcho, D., Herzner, W., Hruska, B., Karaca, M., Pereira, D., Proenca, J., Schlick, R., Sicher, R., Smrcka, A., Yayan, U. & Sangchoolie, B., 2021, Embedded Computer Systems: Architectures, Modeling, and Simulation. Orailoglu, A., Jung, M. & Reichenbach, M. (Hrsg.). Springer, S. 368-382 15 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access -
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Bauer, T. (Autor:in und Vortragende:r), Agirre, J. A., Fürcho, D., Herzner, W., Hruska, B., Karaca, M., Pereira, D., Proença, J., Schlick, R., Sicher, R., Smrcka, A., Yayan, U. & Sangchoolie, B., 2021, Embedded Computer Systems: Architectures, Modeling, and Simulation - 21st International Conference, SAMOS 2021, Virtual Event, July 4-8, 2021, Proceedings. Orailoglu, A., Jung, M. & Reichenbach, M. (Hrsg.). Springer, Band 13227. S. 368-382 15 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Aktivitäten
- 15 Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
Mutation-based test-case generation for Event-B
Schlick, R. (Autor) & Tarrach, T. (Vortragender)
5 Juni 2018Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
Challenges for Safety-Assessment of Highly Automated Driving
Herzner, W. (Vortragender, eingeladen), Nickovic, D. (Autor, eingeladen), Krenn, W. (Autor, eingeladen), Schlick, R. (Autor, eingeladen), Zinner, C. (Autor, eingeladen), Murschitz, M. (Autor, eingeladen) & Zendel, O. (Autor, eingeladen)
9 Dez. 2015Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
V&V-Concepts for Advanced Driver Assistance Systems (ADAS) and Autonomous Driving Functions (ADF)
Herzner, W. (Vortragender), Krenn, W. (Autor), Nickovic, D. (Autor), Schlick, R. (Autor) & Gruber, M. (Autor)
28 Apr. 2015 → 29 Apr. 2015Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
Evaluating Mutation Operators for Test Case Generation from UML Stat Diagrams
Schlick, R. (Vortragender)
29 Nov. 2011 → 1 Dez. 2011Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
What mutation testing of UML models can tell you about your system (and what not)
Schlick, R. (Vortragender) & Herzner, W. (Autor)
23 Sept. 2011Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop