The impact of fault models on software robustness evaluations. - Stefan Winter 001; Constantin Sârbu; Neeraj Suri; Brendan Murphy (ICSE, 2011)

Instrumenting AUTOSAR for dependability assessment: A guidance framework. - Thorsten Piper; Stefan Winter 001; Paul Manns; Neeraj Suri (DSN, 2012)

simFI: From single to simultaneous software fault injections. - Stefan Winter 001; Michael Tretter; Benjamin Sattler; Neeraj Suri (DSN, 2013)

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CPSNA, 2014)

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS. - Feng Tan; Liansheng Liu; Stefan Winter 001; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng 002; Xue Liu 001; Xiyuan Peng (ICCPS, 2014)

An empirical study of injected versus actual interface errors. - Anna Lanzaro; Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (ISSTA, 2014)

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms. - Thorsten Piper; Stefan Winter 001; Neeraj Suri; Thomas E. Fuhrman (EDCC, 2015)

GRINDER: On Reusability of Fault Injection Tools. - Stefan Winter 001; Thorsten Piper; Oliver Schwahn; Roberto Natella; Neeraj Suri; Domenico Cotroneo (AST@ICSE, 2015)

Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems. - Thorsten Piper; Stefan Winter 001; Oliver Schwahn; Suman Bidarahalli; Neeraj Suri (ISORC, 2015)

Error models for the representative injection of software defects. - Anna Lanzaro; Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (Software Engineering & Management, 2015)

In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services. - Giancarlo Pellegrino; Davide Balzarotti; Stefan Winter 001; Neeraj Suri (USENIX Security Symposium, 2015)

On the utility of higher order fault models for fault injections. - Stefan Winter 001 (2015)

Practical Formal Verification for Model Based Development of Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (CSE/EUC/DCABES, 2016)

No PAIN, no gain? the utility of parallel fault injections. - Stefan Winter 001; Oliver Schwahn; Roberto Natella; Neeraj Suri; Domenico Cotroneo (Software Engineering, 2016)

C'mon: Monitoring the Compliance of Cloud Services to Contracted Properties. - Soha Alboghdady; Stefan Winter 001; Ahmed Taha 002; Heng Zhang 009; Neeraj Suri (ARES, 2017)

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. - Abraham Chan; Stefan Winter 001; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (ICST, 2017)

TrEKer: tracing error propagation in operating system kernels. - Nicolas Coppik; Oliver Schwahn; Stefan Winter 001; Neeraj Suri (ASE, 2017)

Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems. - Tasuku Ishigooka; Habib Saissi; Thorsten Piper; Stefan Winter 001; Neeraj Suri (J. Inf. Process., 2017)

FastFI: Accelerating Software Fault Injections. - Oliver Schwahn; Nicolas Coppik; Stefan Winter 001; Neeraj Suri (PRDC, 2018)

How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code. - Oliver Schwahn; Stefan Winter 001; Nicolas Coppik; Neeraj Suri (IEEE Trans. Dependable Secur. Comput., 2018)

Inferring Performance Bug Patterns from Developer Commits. - Yiqun Chen; Stefan Winter 001; Neeraj Suri (ISSRE, 2019)

Analyzing and Improving Customer-Side Cloud Security Certifiability. - Shujie Zhao; Yiqun Chen; Stefan Winter 001; Neeraj Suri (ISSRE Workshops, 2019)

Assessing the state and improving the art of parallel testing for C. - Oliver Schwahn; Nicolas Coppik; Stefan Winter 001; Neeraj Suri (ISSTA, 2019)

Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS. - Feng Tan; Liansheng Liu; Stefan Winter 001; Qixin Wang; Neeraj Suri; Lei Bu; Yu Peng 002; Xue Liu 001; Xiyuan Peng (ACM Trans. Cyber Phys. Syst., 2019)

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. - Habib Saissi; Stefan Winter 001; Oliver Schwahn; Karthik Pattabiraman; Neeraj Suri (DSN, 2020)

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects. - Wing Lam; Stefan Winter 001; Angello Astorga; Victoria Stodden; Darko Marinov (ISSRE, 2020)

A large-scale longitudinal study of flaky tests. - Wing Lam; Stefan Winter 001; Anjiang Wei; Tao Xie 001; Darko Marinov; Jonathan Bell 001 (Proc. ACM Program. Lang., 2020)

Analyzing the Effects of Bugs on Software Interfaces. - Roberto Natella; Stefan Winter 001; Domenico Cotroneo; Neeraj Suri (IEEE Trans. Software Eng., 2020)

Front Matter, Table of Contents, Preface, Conference Organization. - Alessandra Gorla; Stefan Winter 001 (Dagstuhl Artifacts Ser., 2022)

Reproduction Package (Docker container) for the FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. - Stefan Winter 001; Chris Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Zenodo, 2022)

Reproduction Package (Docker container) for the ESEC/FSE 2022 Article 'A Retrospective Study of one Decade of Artifact Evaluations'. - Stefan Winter 001; Chris Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Zenodo, 2022)

Community Expectations for Research Artifacts and Evaluation Processes. - Ben Hermann; Stefan Winter 001; Janet Siegmund (Software Engineering, 2023)

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. - Stefan Winter 001; Abraham Chan; Habib Saissi; Karthik Pattabiraman; Neeraj Suri (CoRR, 2023)

Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. - Hernán Ponce de León; Stefan Winter 001 (Dagstuhl Artifacts Ser., 2023)

Regression-Test History Data for Flaky-Test Research. - Philipp Wendler; Stefan Winter 001 (FTW@ICSE, 2024)

A Retrospective Study of one Decade of Artifact Evaluations. - Stefan Winter 001; Christopher Steven Timperley; Ben Hermann; Jürgen Cito; Jonathan Bell 001; Michael Hilton; Dirk Beyer 001 (Software Engineering, 2024)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (Zenodo, 2024)

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'. - Dirk Beyer 001; Lars Grunske; Matthias Kettl; Marian Lingsch Rosenfeld; Moeketsi Raselimo; Stefan Winter 001 (Zenodo, 2024)

The Effects of Computational Resources on Flaky Tests. - Denini Silva; Martin Gruber; Satyajit Gokhale; Ellen Arteca; Alexi Turcotte; Marcelo d'Amorim; Wing Lam; Stefan Winter 001; Jonathan Bell 001 (IEEE Trans. Software Eng., 2024)

Efficient Detection of Test Interference in C Projects. - Florian Eder; Stefan Winter 001 (Software Engineering, 2025)

Artifact Evaluations for Stronger Research Results. - Dirk Beyer 001; Stefan Winter 001 (SIGSOFT FSE Companion, 2025)