Items where Author is "Piper, T."

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2017) Safety verification utilizing model-based development for safety critical cyber-physical systems. Journal of Information Processing Systems, 25. pp. 797-810. ISSN 0387-5806

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2016) Practical Formal Verification for Model Based Development of Cyber-Physical Systems. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) :. IEEE, pp. 1-8.

Piper, T. and Winter, S. and Suri, Neeraj and Fuhrman, T.E. (2015) On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. In: 2015 11th European Dependable Computing Conference (EDCC) :. IEEE, pp. 85-96. ISBN 9781467392891

Winter, S. and Piper, T. and Schwahn, O. and Natella, R. and Suri, Neeraj and Cotroneo, D. (2015) GRINDER : On Reusability of Fault Injection Tools. In: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test :. IEEE, pp. 75-79. ISBN 9781467370226

Piper, T. and Winter, S. and Schwahn, O. and Bidarahalli, S. and Suri, Neeraj (2015) Mitigating timing error propagation in mixed-criticality automotive systems. In: 2015 IEEE 18th International Symposium on Real-Time Distributed Computing :. IEEE, pp. 102-109. ISBN 9781479987818

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2014) Practical use of formal verification for safety critical cyber-physical systems : A case study. In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications :. IEEE, pp. 7-12. ISBN 9781479953875

Piper, T. and Winter, S. and Manns, P. and Suri, Neeraj (2012) Instrumenting AUTOSAR for dependability assessment : A guidance framework. In: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) :. IEEE.

Biedermann, A. and Piper, T. and Patzina, L. and Patzina, S. and Huss, S.A. and Schürr, A. and Suri, Neeraj (2011) Enhancing FPGA robustness via generic monitoring IP cores. In: Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1 : PECCS, 2011, Vilamoura, Algarve, Portugal. SciTePress, pp. 379-386. ISBN 9789898425485