Thorsten Piper

According to our database, Thorsten Piper authored at least 11 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

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

Proceedings of the Computer Safety, Reliability, and Security, 2019

2017

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

J. Inf. Process., 2017

2016

Practical Formal Verification for Model Based Development of Cyber-Physical Systems.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Assessing and enhancing functional safety mechanisms for safety-critical software systems.

Thorsten Piper

PhD thesis, 2015

Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems.

Thorsten Piper, Stefan Winter, Oliver Schwahn, Suman Bidarahalli, Neeraj Suri

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

GRINDER: On Reusability of Fault Injection Tools.

Stefan Winter, Thorsten Piper, Oliver Schwahn, Roberto Natella, Neeraj Suri, Domenico Cotroneo

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms.

Thorsten Piper, Stefan Winter, Neeraj Suri, Thomas E. Fuhrman

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study.

Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri

Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013

Model-Based Generation of Run-Time Monitors for AUTOSAR.

Lars Patzina, Sven Patzina, Thorsten Piper, Paul Manns

Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

2012

Instrumenting AUTOSAR for dependability assessment: A guidance framework.

Thorsten Piper, Stefan Winter, Paul Manns, Neeraj Suri

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011

Enhancing FPGA Robustness via Generic Monitoring IP Cores.

Alexander Biedermann, Thorsten Piper, Lars Patzina, Sven Patzina, Sorin A. Huss, Andy Schürr, Neeraj Suri

Proceedings of the PECCS 2011, 2011