Gereon Fox -

Registered user since Tue 11 Dec 2018

Name:Gereon Fox

Personal website:https://depend.cs.uni-saarland.de/~fox/

Contributions

TACAS 2019	Author of Optimal Time-Bounded Reachability Analysis for Concurrent Systems within the TACAS 2019-track
VMCAI 2019	Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track