FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Dr.-Ing. Marc Spisländer
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 11 (Software-Engineering)
Project Memberships
(2)
Publications
(6)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Computer Safety, Reliability, and Security 41st International Conference, SAFECOMP 2022, Munich, Germany (2022)
Trapp M, Saglietti F, Spisländer M, Bitsch F
Edited Volume
A Guided Search for Races Based on Data Flow Patterns (2022)
Neubaum A, Al Sardy L, Spisländer M, Saglietti F, Kretschmer S
Conference contribution, Conference Contribution
Testing for IT Security: a Guided Search Pattern for Exploitable Vulnerability Classes (2021)
Neubaum A, Al Sardy L, Spisländer M, Saglietti F, Biener Y
Conference contribution
Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen (2019)
Spisländer M
Thesis
Evidence-Based Verification of Safety Properties Concerning the Cooperation of Autonomous Agents (2018)
Spisländer M, Saglietti F
Conference contribution
Analysis of Potential Code Vulnerabilities involving Overlapping Instructions (2017)
Al Sardy L, Tang T, Spisländer M, Saglietti F
Conference contribution, Conference Contribution