Student talks at LMU
We regularly host student talks in the context of seminars, projects, and theses. All students and staff are welcome to participate. A list of all upcoming talks can be found in the talk schedule.
Cooperative Verifier-Based Testing with CoVeriTest published in journal STTT.
The journal article "Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking" was published at Science of Computer Programming.
Two additional articles were published at ISoLA'20: "A Dynamic Logic for Systems with Predicate-Based Communication"
and "Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition" .
The paper "Bridging Arrays and ADTs in Recursive Proofs" was accepted at TACAS'21. Joint work with Grigory Fedyukovich.
The LMU Research Award (LMU Forschungspreis) was awarded to Matthias Kettl for his Bachelor Thesis on Fault Localization for Formal Verification. We are proud to have supervised him. Matthias will continue his Master studies at LMU and continue his work as a working student at our chair.
Our paper "Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization" has been accepted at ESEC/FSE 2020! The preprints are online (see links before).
Our three papers "An Interface Theory for Program Verification", "Verification Artifacts in Cooperative Verification", and "Violation Witnesses and Result Validation for Multi-Threaded Programs" have been accepted at ISoLA 2020! The preprints are online (see links before).
Our two papers "Difference Verification with Conditions" and "FRed: Conditional Model Checking via Reducers and Folders" have been accepted at SEFM 2020! The preprints are online (see links before).