Publications

This list will usually be behind the list on my Google Scholar page which also kindly keeps track of citations.

Book Chapters

Journal Publiciations

  • First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
    International Journal on Software Tools for Technology Transfer, 2017
    Ezio Bartocci, Yliès Falcone, Borzoo, Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, and Yi Zhang
    Publisher's site (Open Access)

Conference Publications

2017
  • Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning (invited)
    12th International Workshop on the Implementation of Logics
    G.Reger, M.Suda, A.Voronkov
    EasyChair Kalpa publication appearing soon | slides (by Martin)
  • Set of Support for Theory Reasoning
    12th International Workshop on the Implementation of Logics
    G.Reger, M.Suda
    EasyChair Kalpa publication appearing soon | slides (by Martin)
2016
2015
2012/3

Workshop Publications

  • Better Proof Output for Vampire
    3rd Vampire Workshop
    G.Reger
    EPiC Proceedings
  • Global Subsumption Revisited (Briefly)
    3rd Vampire Workshop
    G.Reger and M.Suda
    EPiC Proceedings | slides
  • Using SAT and SMT Solvers for Finite Model Finding with Sorts
    ARW 2016 - Automated Reasoning Workshop 2016
    G.Reger and M.Suda
    pdf | slides
  • The Uses of SAT Solvers in Vampire
    2nd Vampire Workshop 2015
    G.Reger and M.Suda
    EPiC proceedings | slides
  • AVATAR: a new Architecture for First-Order Theorem Provers
    ARW 2015 - Automated Reasoning Workshop 2015
    G.Reger, M.Suda and A.Voronkov
    pdf
  • The Challenges of Evaluating a New Feature in Vampire
    1st Vampire Workshop 2014
    G.Reger, M.Suda and A.Voronkov
    EPiC proceedings | slides
  • Automata-based Pattern Mining from Imperfect Traces
    2nd International Workshop on Software Mining
    G.Reger, H. Barringer, and David Rydeheard
    pdf | bibtex | slides

Summer School Presentations

  • Performance Issues and Optimisation
    RV Summer School 2016
    Giles Reger
    slides
  • Verifying Execution Traces
    A lecture series at Markoberdorf Summer School 2012
    K. Havelund, Y. Falcone, G. Reger - K. Havelund was the invited Lecturer
    slides

Technical Reports

    An Overview of Specification Inference
    An extract from a progress report giving a full report of prior work in the field of Specification Inference
    G. Reger
    pdf
  • MAIL - An Interaction Layer For Exploring The Use Of Multicore in Runtime Monitoring
    G. Reger, D. Rydeheard and H. Barringer
    pdf | bibtex

Theses

  • Automata Based Monitoring and Mining of Execution Traces
    PhD Thesis
    G. Reger
    pdf | bibtex
  • Rule-Based Runtime Verification in a Multicore System Setting
    MSc Dissertation
    G. Reger
    pdf