Gil's profile at Stack Overflow Coding challenges at Project Euler

Publications of Gil Vegliach

  1. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    The ins and outs of first-order runtime verification.
    (to appear in) Formal Methods in System Design, 2015
    [pdf] [bibtex]
  2. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    From propositional to first-order monitoring.
    Proc. 4th International Conference on Runtime Verification (RV),
    volume 8174 of LNCS. Springer, Sep. 2013.
    (Proofs also available in arXiv:1303.3645.)
    [pdf (with proofs)] [bibtex]
  3. Andreas Bauer, Jan-Christoph Küster, and Gil Vegliach.
    Runtime Verification meets Android Security.
    Proc. 4th NASA Formal Methods Symposium (NFM),
    volume 7226 of LNCS. Springer, Apr. 2012.
    [pdf] [bibtex]
  4. Werner Nutt, Simon Razniewski, and Gil Vegliach.
    Incomplete Databases: Missing Records and Missing Values.
    Proc. 17th Database Systems for Advanced Applications (DASFAA),
    volume 7240 of LNCS. Springer, Apr. 2012.
    [pdf] [bibtex]

University theses

  1. Gil Vegliach, MSc thesis.
    Monitoring of data-centric business rules and processes.
    [pdf]
  2. Gil Vegliach, BSc thesis.
    Tecnologia della dimostrazione—Sviluppo di uno scenario di verifica automatica.
    [pdf]