Publications

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

Jump to

Proceedings

  • RV-CuBES
    An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. 2017
    Kalpa open source volume
  • ARCADE
    1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, August 6th, 2017
    EPiC open source volume
  • Runtime Verification
    17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017
    Editors: Shuvendu Lahiri and Giles Reger
    Springer

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

2019
2018
2017
  • Runtime Verification Logics - A Language Design Perspective
    KIMfest 2017, a conference in honour of Kim G. Larsen on the occasion of his 60th birthday
    K.Havelund, G.Reger
    PDF | bibtex
  • Testing a Saturation-Based Theorem Prover: Experiences and Challenges
    11th International Conference on Tests and Proofs
    G.Reger, M.Suda, A.Voronkov
    PDF | bibtex | slides (by Martin) | Extended version
2016
2015
2012/3

Workshop Publications

2018
2017
  • A Story of Parametric Trace Slicing, Garbage and Static Analysis
    G.Reger
    Second International Workshop on Pre- and Post-Deployment Verification Techniques
    EPTCS entry | slides
  • Checkable Proofs for First-Order Theorem Proving
    G.Reger and M.Suda
    ARCADE 2017
    EPiC entry
  • Revisiting Question Answering in Vampire
    4th Vampire Workshop
    G.Reger
    slides
  • Incremental Solving with Vampire
    4th Vampire Workshop
    G.Reger and M.Suda
    slides
  • Instantiation and Pretending to be an SMT Solver with Vampire
    15th International Workshop on Satisfiability Modulo Theories
    G.Reger, M.Suda, A.Voronkov
    PDF | slides (by Martin)
  • 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
    Invited Talk, see preprint | slides (by Martin)
  • Set of Support for Theory Reasoning
    12th International Workshop on the Implementation of Logics
    G.Reger, M.Suda
    EasyChair Kalpa publication | slides (by Martin)
2016
  • 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
2015 and Before
  • 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

Presentations

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