Rupert Schlick - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical SystemsEnrico Ferrari, Rupert Schlick, Jose Luis de la Vara, Peter Folkesson, Behrooz Sangchoolie. safecomp 2022: 35-46 [doi]

2021

Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S - Invited PaperThomas Bauer, Joseba Andoni Agirre, David Fürcho, Wolfgang Herzner, Bob Hruska, Mustafa Karaca, David Pereira, José Proença, Rupert Schlick, Robert Sicher, Ales Smrcka, Ugur Yayan, Behrooz Sangchoolie. samos 2022: 368-382 [doi]

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated SystemsJose Luis de la Vara, Thomas Bauer, Bernhard Fischer, Mustafa Karaca, Henrique Madeira, Martin Matschnig, Silvia Mazzini, Giann Spilere Nandi, Fabio Patrone, David Pereira, José Proença, Rupert Schlick, Stefano Tonetta, Ugur Yayan, Behrooz Sangchoolie. quatic 2021: 325-340 [doi]

A Process to Facilitate Automated Automotive Cybersecurity TestingStefan Marksteiner, Nadja Marko, Andre Smulders, Stelios Karagiannis, Florian Stahl, Hayk Hamazaryan, Rupert Schlick, Stefan Kraxberger, Alexandr Vasenev. vtc 2021: 1-7 [doi]

2020

MoMuT - Eine Transfer-Geschichte über modellbasiertes TestenRupert Schlick. se 2020: 195-200 [doi]

SE - Wissenschaftliche Praxis und VergleichbarkeitRupert Schlick. se 2020: 157-158 [doi]

Profil: Software Engineering Research am AIT - Austrian Institute of Technology GmbHRupert Schlick. se 2020: 215-220 [doi]

2019

2018

2017

Model-based, mutation-driven test case generation via heuristic-guided branching searchAndreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher. memocode 2017: 56-66 [doi]

Checking Response-Time Properties of Web-Service Applications Under Stochastic User ProfilesRichard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick. pts 2017: 293-310 [doi]

2015

Killing strategies for model-based mutation testingBernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran. stvr, 25(8):716-748, 2015. [doi]

MoMut: : UML Model-Based Mutation Testing for UMLWillibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl. icst 2015: 1-8 [doi]

2014

2011

Towards Fault-based Generation of Test Cases for Dependable Embedded SoftwareWolfgang Herzner, Rupert Schlick, Harald Brandl, Johannes Wiessalla. stt, 31(3), 2011. [doi]

Fault-Based Generation of Test Cases from UML-Models - Approach and Some ExperiencesRupert Schlick, Wolfgang Herzner, Elisabeth Jöbstl. safecomp 2011: 270-283 [doi]

2010

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systemsWolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn. ei, 127(6):181-186, 2010. [doi]

2009

Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action SystemsWillibald Krenn, Rupert Schlick, Bernhard K. Aichernig. FMCO 2010: 186-207 [doi]

2008

A Step towards Generating Efficient Test Cases - the Project MOGENTESWolfgang Herzner, Rupert Schlick, Manfred Gruber. ercim, 2008(75), 2008. [doi]

Model-Based Development of Distributed Embedded Real-Time SystemsWolfgang Herzner, Martin Schlager, GyÃ¶rgy CsertÃ¡n, Bernhard Huber, Thierry Le Sergent, Erwin Schoitsch, Rupert Schlick. ercim, 2008(75), 2008. [doi]

2006

Checking SCADE Models for Correct Usage of Physical UnitsRupert Schlick, Wolfgang Herzner, Thierry Le Sergent. safecomp 2006: 358-371 [doi]

Sign in or sign up to see more results.

runs on WebDSL