Marc Spisländer

According to our database, Marc Spisländer authored at least 5 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Guided Search for Races Based on Data Flow Patterns.

Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Sara Kretschmer

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2021

Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes.

Andreas Neubaum, Loui Al Sardy, Marc Spisländer, Francesca Saglietti, Yves Biener

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2018

Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen.

Marc Spisländer

PhD thesis, 2018

Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents.

Marc Spisländer, Francesca Saglietti

Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

2017

Analysis of Potential Code Vulnerabilities Involving Overlapping Instructions.

Loui Al Sardy, Tong Tang, Marc Spisländer, Francesca Saglietti

Proceedings of the Computer Safety, Reliability, and Security, 2017