A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262). - Ralph Weissnegger; Markus Pistauer; Christian Kreiner; Kay Römer; Christian Steger (WISES, 2015)

Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL. - Ralph Weissnegger; Markus Schuss; Christian Kreiner; Markus Pistauer; Kay Römer; Christian Steger (ANT/SEIT, 2016)

A novel simulation-based verification pattern for parallel executions in the cloud. - Ralph Weissnegger; Markus Schuß; Martin Schachner; Kay Römer; Christian Steger; Markus Pistauer (EuroPLoP, 2016)

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML. - Ralph Weissnegger; Markus Pistauer; Christian Kreiner; Markus Schuß; Kay Römer; Christian Steger (PECCS, 2016)

Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems. - Ralph Weissnegger; Markus Schuß; Christian Kreiner; Markus Pistauer; Kay Römer; Christian Steger (SAFECOMP Workshops, 2016)

SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems. - Ralph Weissnegger; Christian Kreiner; Markus Pistauer; Kay Römer; Christian Steger (ANT/SEIT, 2017)

SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip. - Ralph Weissnegger; Markus Pistauer; Martin Schachner; Christian Kreiner; Kay Römer; Christian Steger (SpringSim (Mod4Sim), 2017)

A Design Exploration Framework for Secure IoT-Systems. - Lukas Gressl; Alexander Rech; Christian Steger; Andreas Daniel Sinnhofer; Ralph Weissnegger (CyberSA, 2020)

Security based design space exploration for CPS. - Lukas Gressl; Alexander Rech; Christian Steger; Andreas Daniel Sinnhofer; Ralph Weissnegger (SAC, 2020)