Rupert Schlick

Suchergebnisse

• Mutation-based test-case generation for Event-B

  Schlick, R. (Autor) & Tarrach, T. (Vortragender)

  5 Juni 2018

  Aktivitä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. 2015

  Aktivitä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. 2015

  Aktivitä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. 2011

  Aktivitä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. 2011

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• UML Modeling and Mutation

  Schlick, R. (Vortragender)

  14 Sept. 2010

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Modellbasiertes Testen und Testfallgenerierung (wann wieviel testen?) sowie modellbasierte Software- und Systementwicklung

  Herzner, W. (Vortragender), Schoitsch, E. (Autor) & Schlick, R. (Autor)

  3 März 2010

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Modellbasiertes Testen/Testfallgenerierung - ein Weg zu kosteneffizienterem Test in sicherheitskritischen Anwendungen

  Schoitsch, E. (Vortragender, eingeladen), Herzner, W. (Autor, eingeladen), Schlick, R. (Autor, eingeladen) & Gruber, M. (Autor, eingeladen)

  29 Sept. 2009

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Modellbasierte Sofware- und Systementwicklung und Modellbasiertes Testen - zwei ergänzende Paradigmen für kosteneffiziente Entwicklung sicherheitsrelevanter Software und Systeme

  Schoitsch, E. (Vortragender, eingeladen), Herzner, W. (Autor, eingeladen), Schlick, R. (Autor, eingeladen) & Gruber, M. (Autor, eingeladen)

  29 Sept. 2009

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Model-Based Test Case Generation: the Project MOGENTES

  Schlick, R. (Vortragender) & Herzner, W. (Autor)

  25 Sept. 2008

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• Application Model Verification for Distributed (Time Triggered) Systems

  Schlick, R. (Autor), Herzner, W. (Autor), Le Guennec, A. (Autor) & Martin, B. (Autor)

  18 Sept. 2007 → 20 Sept. 2007

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• DECOS - Objectives, Principles, and Results

  Schoitsch, E. (Autor), Herzner, W. (Autor), Althammer, E. (Autor) & Schlick, R. (Autor)

  6 Juni 2007

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

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

  Schlick, R. (Autor), Herzner, W. (Autor) & Le Sergent, T. (Autor)

  12 Okt. 2006

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• "Checking SCADE Models for Correct Usage of Physical Units"

  Schlick, R. (Autor), Herzner, W. (Autor) & Le Sergent, T. (Autor)

  29 Sept. 2006

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

• "Checking Data Flow Models for Correct Use of Physical Units"

  Herzner, W. (Autor), Kaltenberger, F. (Autor) & Schlick, R. (Autor)

  29 Aug. 2006

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop