Rupert Schlick

Suchergebnisse

• 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. (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

  • 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. (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

  • 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. (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

  • 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. (Vortragende:r, eingeladen), Felderer, M. (Autor:in, eingeladen), Hasselbring, W. (Autor:in, eingeladen), Rabiser, R. (Autor:in, eingeladen) & Jung, R. (Autor:in, eingeladen), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. S. 195-200 6 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

  Open Access

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

  Schlick, R. (Vortragende:r, eingeladen), Felderer, M. (Autor:in, eingeladen), Hasselbring, W. (Autor:in, eingeladen), Rabiser, R. (Autor:in, eingeladen) & Jung, R. (Autor:in, eingeladen), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. S. 215-220 6 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

  Open Access

• SE - Wissenschaftliche Praxis und Vergleichbarkeit

  Schlick, R. (Vortragende:r, eingeladen), Felderer, M. (Autor:in, eingeladen), Hasselbring, W. (Autor:in, eingeladen), Rabiser, R. (Autor:in, eingeladen) & Jung, R. (Autor:in, eingeladen), 2020, Software Engineering 2020: Fachtagung Des GI-Fachbereichs Softwaretechnik : 24.-28. Februar 2020, Innsbruck, Austria. S. 157-158 2 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

  Open Access

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

  Barbosa, R. (Vortragende:r), 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). S. 352-359 8 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

  Open Access
• 2017

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

  Fellner, A. (Vortragende:r), 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 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 2015

  MoMut:UML Model-Based Mutation Testing for UML

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

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 2014

  Integration of Requirements Engineering and Test-Case Generation via OSLC

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

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

• Model-Based Mutation Testing of an Industrial Measurement Device

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

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 2011

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

  Schlick, R. (Vortragende:r), Herzner, W., Brandl, H. & Wiessalla, J., 2011, GI Softwaretechnik-Trends. S. 49-54 6 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 2010

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

  Herzner, W. (Vortragende:r), Schlick, R., Brandl, H., Krenn, W. & Schütz, W., 2010, Informationstagung Mikroelektronik 2010. S. 237-244 8 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

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

  Herzner, W. (Vortragende:r) & Schlick, R., 2010, Software Quality Days 2010. 27 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband
• 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. S. 24 1 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

• 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. S. 663-670 8 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 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 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

• 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. (Hrsg.). S. 989-994 6 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
• 2006

  "Checking SCADE Models for Correct Usage of Physical Units"

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

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

• "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). S. 130-137 8 S.

  Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung