Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions. - Loui Al Sardy; Tong Tang; Marc Spisländer; Francesca Saglietti (SAFECOMP Workshops, 2017)

Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents. - Marc Spisländer; Francesca Saglietti (SEAA, 2018)

Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen. - Marc Spisländer (2018)

Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes. - Andreas Neubaum; Loui Al Sardy; Marc Spisländer; Francesca Saglietti; Yves Biener (SAFECOMP Workshops, 2021)

A Guided Search for Races Based on Data Flow Patterns. - Andreas Neubaum; Loui Al Sardy; Marc Spisländer; Francesca Saglietti; Sara Kretschmer (SAFECOMP Workshops, 2022)