Incomplete Databases: Missing Records and Missing Values. - Werner Nutt; Simon Razniewski; Gil Vegliach (DASFAA Workshops, 2012)

Runtime Verification Meets Android Security. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (NASA Formal Methods, 2012)

From Propositional to First-Order Monitoring. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (RV, 2013)

The ins and outs of first-order runtime verification. - Andreas Bauer 002; Jan-Christoph Küster; Gil Vegliach (Formal Methods Syst. Des., 2015)