conf.researchr.org / Florian Zuleger
Registered user since Wed 5 Dec 2018
Name:Florian Zuleger
Country:Austria
Affiliation:TU Vienna
Personal website: http://forsyte.at/people/zuleger/
Contributions
2023
2020
Static Analysis Symposium
2019
APLAS
TACAS
- Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
- Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track
- Session Chair of Model Checking (part of TACAS 2019)
- Committee Member in Program Committee within the TACAS 2019-track