PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Winter, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Assessing the state and improving the art of parallel testing for C.

, , , and . ISSTA, page 123-133. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roman Winter University of Stuttgart

Kristina Winter University of Stuttgart

Marius Winter University of Stuttgart

Albrecht Winter University of Stuttgart

Hon. -Prof. Dr. -Ing. Carl-Jochen Winter University of Stuttgart

 

Other publications of authors with the same name

How speech processing can help with beat-to-beat heart rate estimation in ballistocardiograms., , and . MeMeA, page 12-16. IEEE, (2013)Instrumenting AUTOSAR for dependability assessment: A guidance framework., , , and . DSN, page 1-12. IEEE Computer Society, (2012)Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study., , , , and . CPSNA, page 7-12. IEEE Computer Society, (2014)Monte-Carlo Simulation and Automated Test Bench for Developing a Multichannel NIR-Based Vital-Signs Monitor., , , , and . IEEE Trans. Biomed. Circuits and Systems, 9 (3): 421-430 (2015)An empirical study of injected versus actual interface errors., , , , and . ISSTA, page 397-408. ACM, (2014)Improvement of Force-Sensor-Based Heart Rate Estimation Using Multichannel Data Fusion., , , , , and . IEEE J. Biomedical and Health Informatics, 19 (1): 227-235 (2015)Practical Formal Verification for Model Based Development of Cyber-Physical Systems., , , , and . CSE/EUC/DCABES, page 1-8. IEEE Computer Society, (2016)Is Mistletoe Treatment Beneficial in Invasive Breast Cancer? A New Approach to an Unresolved Problem, , , , , , , , , and 6 other author(s). Anticancer research, 38 (3): 1585-1593 (2018)How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code., , , and . IEEE Trans. Dependable Sec. Comput., 15 (6): 945-958 (2018)Geometrical Interpretation of the PCA Subspace Approach for Overdetermined Blind Source Separation., , and . EURASIP J. Adv. Sig. Proc., (2006)