Gil Vegliach

According to our database, Gil Vegliach authored at least 4 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

The ins and outs of first-order runtime verification.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Formal Methods Syst. Des., 2015

2013

From Propositional to First-Order Monitoring.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Proceedings of the Runtime Verification - 4th International Conference, 2013

2012

Runtime Verification Meets Android Security.

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach

Proceedings of the NASA Formal Methods, 2012

Incomplete Databases: Missing Records and Missing Values.

Werner Nutt, Simon Razniewski, Gil Vegliach

Proceedings of the Database Systems for Advanced Applications, 2012