Items where Author is "Winter, S."

Journal Article

Natella, R. and Winter, S. and Cotroneo, D. and Suri, Neeraj (2020) Analyzing the Effects of Bugs on Software Interfaces. IEEE Transactions on Software Engineering, 46 (3). pp. 280-301. ISSN 0098-5589

Schwahn, O. and Winter, S. and Coppik, N. and Suri, Neeraj (2018) How to Fillet a Penguin : Runtime Data Driven Partitioning of Linux Code. IEEE Transactions on Dependable and Secure Computing, 15 (6). pp. 945-958. ISSN 1545-5971

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

Contribution in Book/Report/Proceedings

Schwahn, O. and Coppik, N. and Winter, S. and Suri, Neeraj (2018) FastFI : Accelerating software fault injections. In: 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) :. IEEE, pp. 193-202. ISBN 9781538657010

Coppik, N. and Schwahn, O. and Winter, S. and Suri, Neeraj and G., Rosu and M., Di Penta (2017) TrEKer : Tracing error propagation in operating system kernels. In: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) :. IEEE, pp. 377-387. ISBN 9781538639764

Alboghdady, S. and Winter, S. and Taha, A. and Zhang, H. and Suri, Neeraj (2017) C'MON : Monitoring the compliance of cloud services to contracted properties. In: ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security :. ACM, p. 6. ISBN 9781450352574

Chan, A. and Winter, S. and Saissi, H. and Pattabiraman, K. and Suri, Neeraj (2017) IPA : Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) :. IEEE, pp. 184-195. ISBN 9781509060320

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

Winter, S. and Schwahn, O. and Natella, R. and Suri, Neeraj and Cotroneo, D. (2015) No PAIN, No Gain? The utility of parallel fault injections. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering :. IEEE, pp. 494-505. ISBN 9781479919345

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

Lanzaro, A. and Natella, R. and Winter, S. and Cotroneo, D. and Suri, Neeraj (2014) An empirical study of injected versus actual interface errors. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis :. ACM, pp. 397-408. ISBN 9781450326452

Tan, F. and Liu, L. and Winter, S. and Wang, Q. and Suri, Neeraj and Bu, L. and Peng, Y. and Liu, X. and Peng, X. (2014) WiP abstract : A framework on profiling cross-domain noise propagation in control CPS. In: 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) :. IEEE, p. 224. ISBN 9781479949311

Winter, S. and Tretter, M. and Sattler, B. and Suri, Neeraj (2013) SimFI : From single to simultaneous software fault injections. In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) :. IEEE. ISBN 9781467364713

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.

Winter, S. and Sârbu, C. and Suri, Neeraj and Murphy, B. (2011) The impact of fault models on software robustness evaluations. In: Proceedings of the 33rd International Conference on Software Engineering :. ACM, pp. 51-60. ISBN 9781450304450