Publications

This page is work in progress. Please also see my Google Scholar profile or DBLP.

References

S. Winter, C. S. Timperley, B. Hermann, J. Cito, J. Bell, M. Hilton and D. Beyer. (2022), “A retrospective study of one decade of artifact evaluations” (ESEC/FSE 2022), https://doi.org/10.1145/3540250.3549172.

B. Hermann, S. Winter and J. Siegmund. (2020), “Community expectations for research artifacts and evaluation processes” (ESEC/FSE 2020), https://doi.org/10.1145/3368089.3409767.

R. Natella, S. Winter, D. Cotroneo and N. Suri. (2020), “Analyzing the Effects of Bugs on Software Interfaces,” IEEE Transactions on Software Engineering, Vol. 46/3, pp. 280–301, https://doi.org/10.1109/TSE.2018.2850755.

H. Saissi, S. Winter, O. Schwahn, K. Pattabiraman and N. Suri. (2020), “TraceSanitizer – Eliminating the Effects of Non-determinism on Error Propagation Analysis,” The 50th IEEE/IFIP Int. Conference on Dependable Systems and Networks (DSN 2020) (accepted).

Y. Chen, S. Winter and N. Suri. (2019), “Inferring performance bug patterns from developer commits,” 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) (pp. 70–81), https://doi.org/10.1109/ISSRE.2019.00017.

O. Schwahn, N. Coppik, S. Winter and N. Suri. (2019), “Assessing the State and Improving the Art of Parallel Testing for C” (ISSTA 2019), Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 123–133), ACM, New York, NY, USA, https://doi.org/10.1145/3293882.3330573.

S. Zhao, Y. Chen, S. Winter and N. Suri. (2019), “Analyzing and improving customer-side cloud security certifiability,” 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 300–307).

O. Schwahn, N. Coppik, S. Winter and N. Suri. (2018), “FastFI: Accelerating Software Fault Injections,” 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC) (pp. 193–202), https://doi.org/10.1109/PRDC.2018.00035.

O. Schwahn, S. Winter, N. Coppik and N. Suri. (2018), “How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code,” IEEE Transactions on Dependable and Secure Computing, Vol. 15/6, pp. 945–958, https://doi.org/10.1109/TDSC.2017.2745574.

F. Tan, L. Liu, S. Winter, Q. Wang, N. Suri, L. Bu, Y. Peng, X. Liu and X. Peng. (2018), “Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS,” ACM Trans. Cyber-Phys. Syst., Vol. 3/1, pp. 2:1–2:25, ACM, New York, NY, USA, https://doi.org/10.1145/3226029.

“C’mon: Monitoring the Compliance of Cloud Services to Contracted Properties.” (2017), Proc. of Intl. Conference on Availability, Reliability and Security (ARES).

A. Chan, S. Winter, H. Saissi, K. Pattabiraman and N. Suri. (2017), “IPA: Error propagation analysis of multi-threaded programs using likely invariants,” 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 184–195), https://doi.org/10.1109/ICST.2017.24.

N. Coppik, O. Schwahn, S. Winter and N. Suri. (2017), “TrEKer: Tracing Error Propagation in Operating System Kernels,” IEEE/ACM International Conference on Automated Software Engineering, ASE 2017.

T. Ishigooka, F. Narisawa, K. Sakurai, N. Suri, H. Saissi, T. Piper and S. Winter. (2017), “Method and system for testing control software of a controlled system,” Google Patents.

T. Ishigooka, H. Saissi, T. Piper, S. Winter and N. Suri. (2017), “Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems,” JIP, Vol. 25, pp. 797–810, https://doi.org/10.2197/ipsjjip.25.797.

T. Ishigooka, H. Saissi, T. Piper, S. Winter and N. Suri. (2016), “Practical Formal Verification for Model Based Development of Cyber-Physical Systems,” 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) (pp. 1–8), https://doi.org/10.1109/CSE-EUC-DCABES.2016.154.

G. Pellegrino, D. Balzarotti, S. Winter and N. Suri. (2015), “In the Compression Hornet’s Nest: A Security Study of Data Compression in Network Services,” 24th USENIX Security Symposium (USENIX Security 15) (pp. 801–816), USENIX Association, Washington, D.C., https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/pellegrino.

T. Piper, S. Winter, O. Schwahn, S. Bidarahalli and N. Suri. (2015), “Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems,” Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on (pp. 102–109), https://doi.org/10.1109/ISORC.2015.13.

T. Piper, S. Winter, N. Suri and T. E. Fuhrman. (2015), “On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms,” Proceedings of the European Dependable Computing Conference (EDCC).

S. Winter, T. Piper, O. Schwahn, R. Natella, N. Suri and D. Cotroneo. (2015), “GRINDER: On reusability of fault injection tools” (AST ’15), Proceedings of the 10th International Workshop on Automation of Software Test (pp. 75–79), IEEE Press, Piscataway, NJ, USA, http://dl.acm.org/citation.cfm?id=2819261.2819285.

S. Winter, O. Schwahn, R. Natella, N. Suri and D. Cotroneo. (2015), “No PAIN, No Gain? The Utility of PArallel Fault INjections,” Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on (Volume 1, pp. 494–505), https://doi.org/10.1109/ICSE.2015.67.

T. Ishigooka, H. Saissi, T. Piper, S. Winter and N. Suri. (2014), “Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study,” Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014 IEEE International Conference on (pp. 7–12), https://doi.org/10.1109/CPSNA.2014.20.

A. Lanzaro, R. Natella, S. Winter, D. Cotroneo and N. Suri. (2014), “An Empirical Study of Injected Versus Actual Interface Errors” (ISSTA 2014), Proceedings of the 2014 International Symposium on Software Testing and Analysis (pp. 397–408), ACM, New York, NY, USA, https://doi.org/10.1145/2610384.2610418.

F. Tan, L. Liu, S. Winter, Q. Wang, N. Suri, L. Bu, Y. Peng, X. Liu and X. Peng. (2014), “WiP abstract: A framework on profiling cross-domain noise propagation in control CPS,” Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on (pp. 224–224), https://doi.org/10.1109/ICCPS.2014.6843737.

S. Winter, M. Tretter, B. Sattler and N. Suri. (2013), “simFI: From single to simultaneous software fault injections,” Dependable Systems and Networks (DSN), 2013 43rd Annual IEEE/IFIP International Conference on (pp. 1–12), https://doi.org/10.1109/DSN.2013.6575310.

T. Piper, S. Winter, P. Manns and N. Suri. (2012), “Instrumenting AUTOSAR for dependability assessment: A guidance framework,” Dependable Systems and Networks (DSN), 2012 42nd Annual IEEE/IFIP International Conference on (pp. 1–12), https://doi.org/10.1109/DSN.2012.6263913.

S. Winter, D. Germanus, H. Ghani, T. Piper, A. Khelil and N. Suri. (2012), “Trustworthiness Evaluation of Critical Information Infrastructures,” in F. Flammini (ed.), Critical Infrastructure Security: Assessment, Prevention, Detection, Response, WIT Press.

A. Kaminski and S. Winter. (2011), “Paradigmenwechsel ohne Revolution: Ubiquitous Computing als Steigerungstechnologie,” Technikfolgenabschätzung: Theorie und Praxis, Vol. 20/3, pp. 71–79.

S. Winter, C. Sarbu, N. Suri and B. Murphy. (2011), “The impact of fault models on software robustness evaluations,” Software Engineering (ICSE), 2011 33rd International Conference on (pp. 51–60), https://doi.org/10.1145/1985793.1985801.

C. Sarbu, S. Winter, N. Nagappan and N. Suri. (2009), “OS Driver Test Effort Reduction via Operational Profiling,” ISSRE 2009 Supplemental Proceedings.

S. Winter, C. Sarbu, A. Johansson and N. Suri. (2009), “Impact of error models on OS robustness evaluations,” ISSRE 2009 Supplemental Proceedings.