Gil Vegliach

From Propositional to First-Order Monitoring

Jan-Christoph Küster, Andreas Bauer, Gil Vegliach, 2013, RV.

The ins and outs of first-order runtime verification

Jan-Christoph Küster, Andreas Bauer, Gil Vegliach, 2015, Formal Methods Syst. Des..

Runtime Verification Meets Android Security

Jan-Christoph Küster, Andreas Bauer, Gil Vegliach, 2012, NASA Formal Methods.

Incomplete Databases: Missing Records and Missing Values

Werner Nutt, Simon Razniewski, Gil Vegliach, 2012, DASFAA Workshops.