Publications

2015

  • S. Winter, T. Piper, O. Schwahn, R. Natella, N. Suri, and D. Cotroneo, “GRINDER: On Reusability of Fault Injection Tools,” in Proceedings of the 10th International Workshop on Automation of Software Test, Piscataway, NJ, USA, 2015, pp. 75-79.
    [Bibtex]
    @inproceedings{Winter2015a,
    author = {Winter, Stefan and Piper, Thorsten and Schwahn, Oliver and Natella, Roberto and Suri, Neeraj and Cotroneo, Domenico},
    title = {{GRINDER: On Reusability of Fault Injection Tools}},
    booktitle = {{Proceedings of the 10th International Workshop on Automation of Software Test}},
    series = {AST '15},
    year = {2015},
    location = {Florence, Italy},
    pages = {75--79},
    numpages = {5},
    url = {http://dl.acm.org/citation.cfm?id=2819261.2819285},
    acmid = {2819285},
    publisher = {IEEE Press},
    address = {Piscataway, NJ, USA},
    keywords = {fault injection, robustness testing, software reuse, test automation, test tools},
    }
  • [DOI] T. Piper, S. Winter, O. Schwahn, S. Bidarahalli, and N. Suri, “Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems,” in Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on, 2015, pp. 102-109.
    [Bibtex]
    @INPROCEEDINGS{Piper2015,
    author={T. Piper and S. Winter and O. Schwahn and S. Bidarahalli and N. Suri},
    booktitle={{Real-Time Distributed Computing (ISORC), 2015 IEEE 18th International Symposium on}},
    title={{Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems}},
    year={2015},
    pages={102-109},
    keywords={ISO standards;automobiles;road safety;traffic engineering computing;AUTOSAR automotive software standard;ISO 26262 functional safety standard;critical task protection;low-overhead interference protection;mixed-criticality automotive systems;monitor-based timing protection;task timing errors;timing error propagation mitigation;transient timing error ride-through capability;worst-case execution time analysis;Automotive engineering;Interference;Monitoring;Power system stability;Safety;Timing;Transient analysis;AUTOSAR;freedom from interference;mixed-criticality;run-time monitoring;timing protection},
    doi={10.1109/ISORC.2015.13},
    ISSN={1555-0885},
    month={April},}
  • S. Winter, O. Schwahn, R. Natella, N. Suri, and D. Cotroneo, “No PAIN, No Gain?: The Utility of PArallel Fault INjections,” in Proceedings of the 37th International Conference on Software Engineering – Volume 1, Piscataway, NJ, USA, 2015, pp. 494-505.
    [Bibtex]
    @inproceedings{Winter2015,
    author = {Winter, Stefan and Schwahn, Oliver and Natella, Roberto and Suri, Neeraj and Cotroneo, Domenico},
    title = {{No PAIN, No Gain?: The Utility of PArallel Fault INjections}},
    booktitle = {{Proceedings of the 37th International Conference on Software Engineering - Volume 1}},
    series = {ICSE '15},
    year = {2015},
    isbn = {978-1-4799-1934-5},
    location = {Florence, Italy},
    pages = {494--505},
    numpages = {12},
    url = {http://dl.acm.org/citation.cfm?id=2818754.2818816},
    acmid = {2818816},
    publisher = {IEEE Press},
    address = {Piscataway, NJ, USA},
    }
  • A. Lanzaro, R. Natella, S. Winter, D. Cotroneo, and N. Suri, “Error models for the representative injection of software defects,” in Software Engineering & Management, 2015, pp. 118-119.
    [Bibtex]
    @inproceedings{Lanzaro2015,
    title={{Error models for the representative injection of software defects}},
    author={Lanzaro, Anna and Natella, Roberto and Winter, Stefan and Cotroneo, Domenico and Suri, Neeraj},
    booktitle={{Software Engineering \& Management}},
    pages={118--119},
    year={2015}
    }
  • [DOI] T. Piper, S. Winter, N. Suri, and T. E. Fuhrman, “On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms,” in Dependable Computing Conference (EDCC), 2015 Eleventh European, 2015, pp. 85-96.
    [Bibtex]
    @INPROCEEDINGS{Piper2015a,
    author={T. Piper and S. Winter and N. Suri and T. E. Fuhrman},
    booktitle={{Dependable Computing Conference (EDCC), 2015 Eleventh European}},
    title={{On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms}},
    year={2015},
    pages={85-96},
    keywords={ISO standards;automotive components;automotive electronics;road safety;AUTOSAR FI framework;AUTOSAR safety mechanisms;GRINDER;ISO 26262;automotive safety standard;composite dependability;fault injection;open source FI framework;real-time properties;software fault models;standard fault models;Automotive engineering;ISO Standards;Monitoring;Safety;Software;Unified modeling language;AUTOSAR;ISO 26262;fault injection;instrumentation;robustness testing},
    doi={10.1109/EDCC.2015.14},
    month={Sept},}
  • G. Pellegrino, D. Balzarotti, S. Winter, and N. Suri, “In the Compression Hornet\textquoterights Nest: A Security Study of Data Compression in Network Services,” in 24th USENIX Security Symposium (USENIX Security 15), Washington, D.C., 2015, pp. 801-816.
    [Bibtex]
    @inproceedings {Pellegrino2015,
    author = {Giancarlo Pellegrino and Davide Balzarotti and Stefan Winter and Neeraj Suri},
    title = {{In the Compression Hornet{\textquoteright}s Nest: A Security Study of Data Compression in Network Services}},
    booktitle = {{24th USENIX Security Symposium (USENIX Security 15)}},
    year = {2015},
    month = Aug,
    isbn = {978-1-931971-232},
    address = {Washington, D.C.},
    pages = {801--816},
    url = {https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/pellegrino},
    publisher = {USENIX Association},
    }

2014

  • [DOI] A. Lanzaro, R. Natella, S. Winter, D. Cotroneo, and N. Suri, “An Empirical Study of Injected Versus Actual Interface Errors,” in Proceedings of the 2014 International Symposium on Software Testing and Analysis, New York, NY, USA, 2014, pp. 397-408.
    [Bibtex]
    @inproceedings{Lanzaro2014,
    author = {Lanzaro, Anna and Natella, Roberto and Winter, Stefan and Cotroneo, Domenico and Suri, Neeraj},
    title = {{An Empirical Study of Injected Versus Actual Interface Errors}},
    booktitle = {{Proceedings of the 2014 International Symposium on Software Testing and Analysis}},
    series = {ISSTA 2014},
    year = {2014},
    isbn = {978-1-4503-2645-2},
    location = {San Jose, CA, USA},
    pages = {397--408},
    numpages = {12},
    url = {http://doi.acm.org/10.1145/2610384.2610418},
    doi = {10.1145/2610384.2610418},
    acmid = {2610418},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {Experimental Dependability Assessment, FMECA, Off-The-Shelf Software, Software Components, Software Fault/Error Injection, Software Faults/Errors},
    }
  • [DOI] T. Ishigooka, H. Saissi, T. Piper, S. Winter, and N. Suri, “Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study,” in Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014 IEEE International Conference on, 2014, pp. 7-12.
    [Bibtex]
    @INPROCEEDINGS{Ishigooka2014,
    author={T. Ishigooka and H. Saissi and T. Piper and S. Winter and N. Suri},
    booktitle={{Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014 IEEE International Conference on}},
    title={{Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study}},
    year={2014},
    pages={7-12},
    keywords={brakes;formal verification;safety-critical software;CPS;analog domains;complex failure condition;complex interactions;discrete domains;formal verification approach;individual domain;integrated CPS;real-world brake control system;safety-critical critical cyber-physical systems;system level;Control systems;Mathematical model;Process control;Safety;Software packages;Timing;formal verification;safety critical cyber-physical systems;symbolic execution},
    doi={10.1109/CPSNA.2014.20},
    month={Aug},}
  • [DOI] F. Tan, L. Liu, S. Winter, Q. Wang, N. Suri, L. Bu, Y. Peng, X. Liu, and X. Peng, “WiP abstract: A framework on profiling cross-domain noise propagation in control CPS,” in Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on, 2014, pp. 224-224.
    [Bibtex]
    @INPROCEEDINGS{Tan2014,
    author={Feng Tan and Liansheng Liu and S. Winter and Qixin Wang and N. Suri and Lei Bu and Yu Peng and Xue Liu and Xiyuan Peng},
    booktitle={{Cyber-Physical Systems (ICCPS), 2014 ACM/IEEE International Conference on}},
    title={{WiP abstract: A framework on profiling cross-domain noise propagation in control CPS}},
    year={2014},
    pages={224-224},
    keywords={computer architecture;noise;WiP abstract;control CPS architecture;control cyber-physical systems;cross-domain noise propagation;Aerospace electronics;Bayes methods;Computer science;Educational institutions;Lyapunov methods;Monte Carlo methods;Noise},
    doi={10.1109/ICCPS.2014.6843737},
    month={April},}

2013

  • [DOI] S. Winter, M. Tretter, B. Sattler, and N. Suri, “simFI: From single to simultaneous software fault injections,” in Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013, pp. 1-12.
    [Bibtex]
    @INPROCEEDINGS{Winter2013,
    author={Winter, S. and Tretter, M. and Sattler, B. and Suri, N.},
    booktitle={{Proceedings of the 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}},
    title={{simFI: From single to simultaneous software fault injections}},
    year={2013},
    month={June},
    pages={1-12},
    keywords={operating system kernels;program testing;software engineering;Windows CE kernel;characteristic simultaneous fault types;experimental technique;generic software composition model;independent fault analysis;multipoint faults;robustness vulnerabilities;simultaneous SWIFI framework;simultaneous fault models;single-fault assumption;software system robustness evaluation;software-implemented fault injection;Kernel;Robustness;Safety;Servers;Software systems;Spatial resolution;Software fault injections;fault models;robustness testing},
    doi={10.1109/DSN.2013.6575310},
    ISSN={1530-0889},
    }

2012

  • T. Piper, S. Winter, P. Manns, and N. Suri, “Instrumenting AUTOSAR for dependability assessment: A guidance framework,” in Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012, pp. 1-12.
    [Bibtex]
    @INPROCEEDINGS{Piper2012,
    author={Piper, T. and Winter, S. and Manns, P. and Suri, N.},
    booktitle={{Proceedings of the 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)}},
    title={{Instrumenting AUTOSAR for dependability assessment: A guidance framework}},
    year={2012},
    month={June},
    pages={1-12},
    keywords={automotive engineering;computational complexity;computerised instrumentation;object-oriented programming;quality assurance;safety-critical software;software fault tolerance;AUTOSAR standard;applicability identification;automated instrumentation support;automotive open system architecture;black-box access;component-based automotive software development;dependability assessment guidance framework;fault injection;flexible instrumentation support;grey-box access;high dependability requirements;interface wrapper application;quality assurance;safety-critical functions;software abstraction;software granularity;software-intensive systems;white-box access;Automotive engineering;Computer architecture;Data models;Instruments;Monitoring;Software;Standards;AUTOSAR;fault injection;instrumentation;interface wrappers;run-time monitoring},
    ISSN={1530-0889},
    }
  • S. Winter, D. Germanus, H. Ghani, T. Piper, A. Khelil, and N. Suri, “Trustworthiness Evaluation Of Critical Information Infrastructures,” in Critical Infrastructure Security: Assessment, Prevention, Detection, Response, F. Flammini, Ed., WIT Press, 2012.
    [Bibtex]
    @InCollection{Winter2012,
    author = {Stefan Winter and Daniel Germanus and Hamza Ghani and Thorsten Piper and Abdelmajid Khelil and Neeraj Suri},
    editor = {Francesco Flammini},
    booktitle = {{Critical Infrastructure Security: Assessment, Prevention, Detection, Response}},
    title = {{Trustworthiness Evaluation Of Critical Information Infrastructures}},
    publisher = {WIT Press},
    year = {2012},
    }

2011

  • [DOI] S. Winter, C. Sârbu, N. Suri, and B. Murphy, “The Impact of Fault Models on Software Robustness Evaluations,” in Proceedings of the 33rd International Conference on Software Engineering, New York, NY, USA, 2011, pp. 51-60.
    [Bibtex]
    @inproceedings{Winter2011,
    author = {Winter, Stefan and S\^{a}rbu, Constantin and Suri, Neeraj and Murphy, Brendan},
    title = {{The Impact of Fault Models on Software Robustness Evaluations}},
    booktitle = {{Proceedings of the 33rd International Conference on Software Engineering}},
    series = {ICSE '11},
    year = {2011},
    isbn = {978-1-4503-0445-0},
    location = {Waikiki, Honolulu, HI, USA},
    pages = {51--60},
    numpages = {10},
    url = {http://doi.acm.org/10.1145/1985793.1985801},
    doi = {10.1145/1985793.1985801},
    acmid = {1985801},
    publisher = {ACM},
    address = {New York, NY, USA},
    keywords = {fault injection, fault models, robustness testing},
    }
  • A. Kaminski and S. Winter, “Paradigmenwechsel ohne Revolution: Ubiquitous Computing als Steigerungstechnologie. Zu einigen Kategorien der Technikgeschichte,” Technikfolgenabschätzung – Theorie und Praxis, vol. 20, iss. 3, p. 71–79, 2011.
    [Bibtex]
    @article{Kaminski2011,
    added-at = {2015-11-09T12:52:33.000+0100},
    author = {Kaminski, Andreas and Winter, Stefan},
    biburl = {https://puma.ub.uni-stuttgart.de/bibtex/232acd65dff63805e596ac1b2da6ac028/kaminski},
    interhash = {2334feff427400fdaa90cf6278d0be30},
    intrahash = {32acd65dff63805e596ac1b2da6ac028},
    journal = {{Technikfolgenabschätzung – Theorie und Praxis}},
    keywords = {IT Informationstechnik Technikgeschichte UbiComp hlrs myown philosophie technikphilosophie},
    number = 3,
    pages = {71–79},
    timestamp = {2015-11-09T12:52:33.000+0100},
    title = {{Paradigmenwechsel ohne Revolution: Ubiquitous Computing als Steigerungstechnologie. Zu einigen Kategorien der Technikgeschichte}},
    volume = 20,
    year = 2011
    }

2009

  • C. Sarbu, S. Winter, N. Nagappan, and N. Suri, “OS Driver Test Effort Reduction via Operational Profiling,” in Supplemental Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2009.
    [Bibtex]
    @InProceedings{Sarbu2009,
    author = {Constantin Sarbu and Stefan Winter and Nachiappan Nagappan and Neeraj Suri},
    title = {{OS Driver Test Effort Reduction via Operational Profiling}},
    booktitle = {{Supplemental Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)}},
    year = {2009},
    }
  • S. Winter, C. Sarbu, A. Johansson, and N. Suri, “Impact of Error Models on OS Robustness Evaluations,” in Supplemental Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2009.
    [Bibtex]
    @InProceedings{Winter2009,
    author = {Stefan Winter and Constantin Sarbu and Andreas Johansson and Neeraj Suri},
    title = {{Impact of Error Models on OS Robustness Evaluations}},
    booktitle = {{Supplemental Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)}},
    year = {2009},
    }