Fingerprint
- 1 Similar Profiles
Research output
-
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. (eds.). Springer, Vol. 13415. p. 35-46 12 p. (Lecture Notes in Computer Science).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access -
A Process to Facilitate Automated Automotive Cybersecurity Testing
Marksteiner, S. (Speaker), 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). p. 1-7 7 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
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. (Speaker), 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. (eds.). Springer, Vol. 1439. p. 325-340 16 p. (Communications in Computer and Information Science).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S
Bauer, T. (Speaker), 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. (eds.). Springer, p. 368-382 15 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access -
Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited Paper
Bauer, T. (Author and Speaker), 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. (eds.). Springer, Vol. 13227. p. 368-382 15 p. (Lecture Notes in Computer Science).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Activities
- 15 Presentation at a scientific conference / workshop
-
Mutation-based test-case generation for Event-B
Schlick, R. (Author) & Tarrach, T. (Speaker)
5 Jun 2018Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
Challenges for Safety-Assessment of Highly Automated Driving
Herzner, W. (Speaker, invited), Nickovic, D. (Author, invited), Krenn, W. (Author, invited), Schlick, R. (Author, invited), Zinner, C. (Author, invited), Murschitz, M. (Author, invited) & Zendel, O. (Author, invited)
9 Dec 2015Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
V&V-Concepts for Advanced Driver Assistance Systems (ADAS) and Autonomous Driving Functions (ADF)
Herzner, W. (Speaker), Krenn, W. (Author), Nickovic, D. (Author), Schlick, R. (Author) & Gruber, M. (Author)
28 Apr 2015 → 29 Apr 2015Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
Evaluating Mutation Operators for Test Case Generation from UML Stat Diagrams
Schlick, R. (Speaker)
29 Nov 2011 → 1 Dec 2011Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop
-
What mutation testing of UML models can tell you about your system (and what not)
Schlick, R. (Speaker) & Herzner, W. (Author)
23 Sept 2011Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop