Stefan Winter

Orcid: 0000-0001-8244-995X

Affiliations:
  • TU Darmstadt, DEEDS Group, Germany


According to our database1, Stefan Winter authored at least 34 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Retrospective Study of one Decade of Artifact Evaluations.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023
Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2023

Error Propagation Analysis for Multithreaded Programs: An Empirical Approach.
CoRR, 2023

The Effects of Computational Resources on Flaky Tests.
CoRR, 2023

Community Expectations for Research Artifacts and Evaluation Processes.
Proceedings of the Software Engineering 2023, 2023

2022
Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser., 2022

2020
Analyzing the Effects of Bugs on Software Interfaces.
IEEE Trans. Software Eng., 2020

A large-scale longitudinal study of flaky tests.
Proc. ACM Program. Lang., 2020

Understanding Reproducibility and Characteristics of Flaky Tests Through Test Reruns in Java Projects.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020

2019
Cross-Domain Noise Impact Evaluation for Black Box Two-Level Control CPS.
ACM Trans. Cyber Phys. Syst., 2019

Assessing the state and improving the art of parallel testing for C.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Analyzing and Improving Customer-Side Cloud Security Certifiability.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Inferring Performance Bug Patterns from Developer Commits.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018
How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code.
IEEE Trans. Dependable Secur. Comput., 2018

FastFI: Accelerating Software Fault Injections.
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018

2017
Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.
J. Inf. Process., 2017

TrEKer: tracing error propagation in operating system kernels.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

C'mon: Monitoring the Compliance of Cloud Services to Contracted Properties.
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017

2016
No PAIN, no gain? the utility of parallel fault injections.
Proceedings of the Software Engineering 2016, 2016

Practical Formal Verification for Model Based Development of Cyber-Physical Systems.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
On the utility of higher order fault models for fault injections.
PhD thesis, 2015

In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services.
Proceedings of the 24th USENIX Security Symposium, 2015

Error models for the representative injection of software defects.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Mitigating Timing Error Propagation in Mixed-Criticality Automotive Systems.
Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

GRINDER: On Reusability of Fault Injection Tools.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

On the Effective Use of Fault Injection for the Assessment of AUTOSAR Safety Mechanisms.
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
An empirical study of injected versus actual interface errors.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

WiP abstract: A framework on profiling cross-domain noise propagation in control CPS.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013
simFI: From single to simultaneous software fault injections.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Instrumenting AUTOSAR for dependability assessment: A guidance framework.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

2011
The impact of fault models on software robustness evaluations.
Proceedings of the 33rd International Conference on Software Engineering, 2011


  Loading...