Enhancing FPGA Robustness via Generic Monitoring IP Cores. - Alexander Biedermann; Thorsten Piper; Lars Patzina; Sven Patzina; Sorin A. Huss; Andy Schürr; Neeraj Suri (PECCS, 2011)

Instrumenting AUTOSAR for dependability assessment: A guidance framework. - Thorsten Piper; Stefan Winter 001; Paul Manns; Neeraj Suri (DSN, 2012)

Model-Based Generation of Run-Time Monitors for AUTOSAR. - Lars Patzina; Sven Patzina; Thorsten Piper; Paul Manns (ECMFA, 2013)

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CPSNA, 2014)

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. - Thorsten Piper; Stefan Winter 001; Neeraj Suri; Thomas E. Fuhrman (EDCC, 2015)

GRINDER: On Reusability of Fault Injection Tools. - Stefan Winter 001; Thorsten Piper; Oliver Schwahn; Roberto Natella; Neeraj Suri; Domenico Cotroneo (AST@ICSE, 2015)

Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems. - Thorsten Piper; Stefan Winter 001; Oliver Schwahn; Suman Bidarahalli; Neeraj Suri (ISORC, 2015)

Assessing and enhancing functional safety mechanisms for safety-critical software systems. - Thorsten Piper (2015)

Practical Formal Verification for Model Based Development of Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CSE/EUC/DCABES, 2016)

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (J. Inf. Process., 2017)

SafeDeML: On Integrating the Safety Design into the System Model. - Tim Gonschorek; Philipp Bergt; Marco Filax; Frank Ortmeier; Jan von Hoyningen-Hüne; Thorsten Piper (SAFECOMP, 2019)