( en | de | ru )

 

Disambiguation of "Schäf, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

, , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 105-123. Springer, (2021)

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.

Martin Schäf

Oliver Schäf

Wolfgang Schäf

Michael Schäf

Marco Schaf

 

Other publications of authors with the same name

Long-term Static Analysis Rule Quality Monitoring Using True Negatives., , , , , and . ICSE-SEIP, page 315-326. IEEE, (2023)Continuous Compliance., , , and . ASE, page 511-523. IEEE, (2020)Model Generation For Java Frameworks., , , , , and . ICST, page 165-175. IEEE, (2023)Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities., , , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 105-123. Springer, (2021)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)JayHorn: A Java Model Checker - (Competition Contribution)., , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 214-218. Springer, (2019)Verifying object construction., , , , and . ICSE, page 1447-1458. ACM, (2020)Shifting Left for Early Detection of Machine-Learning Bugs., , , , , , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 584-597. Springer, (2023)IDE support for cloud-based static analyses., , , and . ESEC/SIGSOFT FSE, page 1178-1189. ACM, (2021)RAPID: checking API usage for the cloud in the cloud., , , , , , , and . ESEC/SIGSOFT FSE, page 1416-1426. ACM, (2021)