Lehrstuhl für Informatik 11 (Software-Engineering)

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 SEVGuard: Protecting User Mode Applications using Secure Encrypted Virtualization (2019) Palutke R, Neubaum A, Götzfried J Conference contribution, Conference Contribution Comparative Evaluation of Security Fuzzing Approaches (2019) Al Sardy L, Neubaum A, Saglietti F, Rudrich D Conference contribution, 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 Constraint-based Testing for Buffer Overflows (2018) Al Sardy L, Saglietti F, Tang T, Sonnenberg H 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 Quantitative Reliability Assessment for Mobile Cooperative Systems (2016) Saglietti F, Spengler R, Meitner M Conference contribution, Conference Contribution