Rupert Schlick

Search results

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

  Schlick, R. (Author) & Tarrach, T. (Speaker)

  5 Jun 2018

  Activity: 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 2015

  Activity: 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 2015

  Activity: 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 2011

  Activity: 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 2011

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• UML Modeling and Mutation

  Schlick, R. (Speaker)

  14 Sept 2010

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Herzner, W. (Speaker), Schoitsch, E. (Author) & Schlick, R. (Author)

  3 Mar 2010

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Schoitsch, E. (Speaker, invited), Herzner, W. (Author, invited), Schlick, R. (Author, invited) & Gruber, M. (Author, invited)

  29 Sept 2009

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

  Schoitsch, E. (Speaker, invited), Herzner, W. (Author, invited), Schlick, R. (Author, invited) & Gruber, M. (Author, invited)

  29 Sept 2009

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Model-Based Test Case Generation: the Project MOGENTES

  Schlick, R. (Speaker) & Herzner, W. (Author)

  25 Sept 2008

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• Application Model Verification for Distributed (Time Triggered) Systems

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

  18 Sept 2007 → 20 Sept 2007

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

• DECOS - Objectives, Principles, and Results

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

  6 Jun 2007

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

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

  12 Oct 2006

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

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

  29 Sept 2006

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop

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

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

  29 Aug 2006

  Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop