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.
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).
The paper "Legion: Best-First Concolic Testing" has been accepted at ASE 2020. See also Test-Comp 2020. Joint work with Dongge Liu, Toby Murray, and Ben Rubinstein from the University of Melbourne.
Our paper "MetaVal: Witness Validation via Verification" has been accepted at CAV 2020! The paper is now published [DOI: 10.1007/978-3-030-45190-5_1].