Rupert Schlick

Search results

• 2022

  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

  • Validation Method 100%
  • Critical System 100%
  • Scalability 100%
  • Environment Reference 33%
  • Learning Curve 33%
• 2021

  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

  • Cybersecurity 100%
  • Validation Method 50%
  • Quality Concern 25%
  • Type Systems 25%
  • Classification Method 25%

• 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

  • Validation Activity 100%
  • Verification Activity 100%
  • Modeling Notation 50%
  • Workflow Modeling 50%
  • Privacy Property 50%
• 2020

  MoMuT - Eine Transfer-Geschichte über modellbasiertes Testen

  Schlick, R. (Speaker, Invited), Felderer, M. (Author, Invited), Hasselbring, W. (Author, Invited), Rabiser, R. (Author, Invited) & Jung, R. (Author, Invited), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. p. 195-200 6 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

  Open Access

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

  Schlick, R. (Speaker, Invited), Felderer, M. (Author, Invited), Hasselbring, W. (Author, Invited), Rabiser, R. (Author, Invited) & Jung, R. (Author, Invited), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. p. 215-220 6 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

  Open Access

• SE - Wissenschaftliche Praxis und Vergleichbarkeit

  Schlick, R. (Speaker, Invited), Felderer, M. (Author, Invited), Hasselbring, W. (Author, Invited), Rabiser, R. (Author, Invited) & Jung, R. (Author, Invited), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. p. 157-158 2 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

  Open Access

• Systematic Verification and Testing

  Dghyam, D., Fischer, T., Son Hoang, T., Reichl, K., Snook, C., Schlick, R. & Tummeltshammer, P., 2020, Validation and Verification of Automated Systems - Results of the ENABLE-S3 Project. p. 89-104 16 p.

  Research output: Chapter in Book or Conference Proceedings › Book chapter

  Open Access

• The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

  Barbosa, R. (Speaker), Basagiannis, S., Giantamidis, G., Becker, H., Ferrari, E., Jahic, J., Kanak, A., Esnaola, M., Orani, V., Pereira, D., Pomante, L., Schlick, R., Smrcka, A., Yazici, A., Folkesson, P. & Sangchoolie, B., 2020, Digital System Design. Euromicro Conference. 23rd 2020. (dsd 2020). p. 352-359 8 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation

  Open Access
• 2019

  Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

  Butler, M., Dghaym, D., Son Hoang, T., Omitola, T., Snook, C., Fellner, A., Schlick, R., Tarrach, T., Fischer, T. & Tummeltshammer, P., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS). p. 97-106 10 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation

  Open Access

• Learning and statistical model checking of system response times

  Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R. & Schumi, R., 2019, In: Software Quality Journal. 27, p. 757-795 39 p.

  Research output: Contribution to journal › Article › peer-review

• Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search

  Fellner, A., Krenn, W., Schlick, R., Tarrach, T. & Weissenbacher, G., 2019, In: ACM Transactions on Embedded Computing Systems. 1, 18, 1 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2018

  Behaviour-Driven Formal Model Development.

  Snook, C., Son Hoang, T., Dghyam, D., Butler, M., Fischer, T., Schlick, R. & Wang, K., 2018, Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer, p. 21-36 16 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation

  Open Access
• 2017

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

  Fellner, A. (Speaker), Krenn, W., Schlick, R., Tarrach, T. & Weissenbacher, G., 2017, Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design. 10 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
• 2015

  Killing strategies for model-based mutation testing

  Aichernig, B. K., Brand, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, In: Software Testing, Verification and Reliability. 25, 8, p. 716-748 33 p.

  Research output: Contribution to journal › Article › peer-review

• MoMut:UML Model-Based Mutation Testing for UML

  Krenn, W. (Speaker), Schlick, R., Tiran, S., Aichernig, B. K., Jobstl, E. & Brandl, H., 2015, ICST. 8 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
• 2014

  Integration of Requirements Engineering and Test-Case Generation via OSLC

  Aichernig, B. K. (Speaker), Hörmaier, K., Nickovic, D., Schlick, R., Lorber, F., Simoneau, D. & Tiran, S., 2014, 2014 14th International Conference on Quality Software. 9 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• Model-Based Mutation Testing of an Industrial Measurement Device

  Aichernig, B. K. (Speaker), Auer, J., Jöbstl, E., Korosec, R., Krenn, W., Schlick, R. & Schmidt, B. V., 2014, Tests and Proofs 8th International Conference. Springer, 19 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
• 2011

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

  Schlick, R. (Speaker), Herzner, W. & Jöbstl, E., 2011, LNCS - Computer Safety, Reliability and Security. Flammini, F., Bologna, S. & Vittorini, V. (eds.). Springer, p. 270-283 14 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Poster Presentation › peer-review

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

  Schlick, R. (Speaker), Herzner, W., Brandl, H. & Wiessalla, J., 2011, GI Softwaretechnik-Trends. p. 49-54 6 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
• 2010

  Towards Generation of Efficient Tes Cases from UML/OCL Models for Complex Safety-Critical Systems

  Herzner, W. (Speaker), Schlick, R., Brandl, H., Krenn, W. & Schütz, W., 2010, Informationstagung Mikroelektronik 2010. p. 237-244 8 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• Towards Generation of Efficient Test Cases from UML/OCL models for complex safety-critical systems

  Herzner, W., Schlick, R., Schütz, W., Brandl, H. & Krenn, W., 2010, In: e&i elektrotechnik und informationstechnik. 6, p. 181-186 6 p.

  Research output: Contribution to journal › Article › peer-review

• Wann wie (viel) testen? Überlegungen zu effizientem Testen und modellbasierter Testfallgenerierung

  Herzner, W. (Speaker) & Schlick, R., 2010, Software Quality Days 2010. 27 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation
• 2008

  An Integrated Software and System Architecture for Critical Applications: The holistic DECOS Concept

  Schoitsch, E., Herzner, W., Althammer, E., Schlick, R. & Buhlmann, M., 2008, driveIT. p. 24 1 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• A Step towards Generating Efficient Test Cases

  Herzner, W., Schlick, R. & Gruber, M., 2008, In: ERCIM News. 75, p. 41-42 2 p.

  Research output: Contribution to journal › Article › peer-review

• Können Störaussendungen von Bussystemen durch symmetrischen Betrieb vollständig vermieden werden?

  Lamedschwandner, K., Preineder, H., Cecil, S., Nakovits, T., Schlick, R., Welinder, J. & Carlsson, J., 2008, Elektromagnetische Verträglichkeit. p. 663-670 8 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

  Herzner, W., Schlager, M., Csertan, G., Huber, B., LeSergent, T., Schoitsch, E. & Schlick, R., 2008, In: ERCIM News. 75, p. 25-26 2 p.

  Research output: Contribution to journal › Article › peer-review
• 2007

  Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Too-Chain

  Herzner, W., Schlick, R., Schlager, M., Leiner, B., Huber, B., Balogh, A., Csertan, G., LeGuennec, A., LeSergent, T., Suri, N. & Islam, S., 2007, SAE 2007 AeroTech Congress & Exhibition. SAE International, 11 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• Model-Based Simulation of Distributed Real-time Applications

  Herzner, W., Schlick, R., Le Guennec, A. & Martin, B., 2007, INDIN2007-Conference Proceedings. Dietrich, D., Hancke, G. & Palensky, P. (eds.). p. 989-994 6 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
• 2006

  "Checking SCADE Models for Correct Usage of Physical Units"

  Schlick, R., Herzner, W. & Le Sergent, T., 2006, SAFECOMP 2006 -. p. 358-371 14 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

• "Ensuring Correct Usage of Physical Units in Data Flow Computational Models"

  Schlick, R., Herzner, W. & Le Sergent, T., 2006, Mikroelektronik 06 ÖVE Schriftenreihe (Nr. 43). p. 130-137 8 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review