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
- Book Chapters
- Journal Publications
- Conference Publications
- Workshop Publications
- Presentations
- Other
Proceedings
-
RV-CuBES
An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools. 2017 Kalpa open source volume
ARCADE -
Runtime Verification
17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017
Editors: Shuvendu Lahiri and Giles Reger
Springer
1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, August 6th, 2017
EPiC open source volume
Book Chapters
-
Introduction to Runtime Verification
In Lectures on Runtime Verification
E. Bartocci, Y. Falcone, A. Francalanza, and G. Reger
Open Access Publisher Site -
Monitoring Events that Carry Data
In Lectures on Runtime Verification
K. Havelund, G. Reger, D. Thoma, and E. Zălinescu
Open Access Publisher Site -
A Tutorial on Runtime Verification
Book chapter for: Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems. July 31 to August 12, 2012. Editors: Manfred Broy and Doron Peled. IOS Press.
Y. Falcone, K. Havelund, and G. Reger - K. Havelund was the invited author
pdf | bibtex
Related to lecture series below.
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
-
Explaining Violations of Properties in Control-Flow Temporal Logic
The 19th International Conference on Runtime Verification
J.H.Dawes and G.Reger -
Symmetry Avoidance in MACE-Style Finite Model Finding
The 12th International Symposium on Frontiers of Combining Systems
G.Reger, M.Riener, and M.Suda -
A Neurally-Guided, Parallel Theorem Prover
The 12th International Symposium on Frontiers of Combining Systems
M.Rawson and G.Reger -
Restricted Combinatory Unification
The 27th International Conference on Automated Deduction
A.Bhayat and G.Reger
PDF | -
Old or Heavy? Decaying Gracefully with Age/Weight Shapes
The 27th International Conference on Automated Deduction
M.Rawson and G.Reger
PDF | bibtex -
Induction in Saturation-Based Proof Search
The 27th International Conference on Automated Deduction
G.Reger and A.Voronkov
EasyChair Preprint
-
Specification of temporal properties of functions for runtime verification
The 34th ACM/SIGAPP Symposium On Applied Computing
J.H.Dawes and G.Reger
PDF | slides | bibtex
-
VyPR2: A Framework for Runtime Verification of Python Web Services
TACAS 2019
J.H.Dawes, G.Reger, G.Franzoni, A.Pfeiffer, G.Govi
Tool Website
2018
-
A Taxonomy for Classifying Runtime Verification Tools
The 18th International Conference on Runtime Verification
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
PDF | slides | bibtex
-
From Parametric Trace Slicing to Rule Systems
The 18th International Conference on Runtime Verification
Giles Reger, David E. Rydeheard
PDF | slides | bibtex
-
COST Action IC1402 Runtime Verification Beyond Monitoring.
The 18th International Conference on Runtime Verification
Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz
bibtex
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
G Reger, M Suda, A Voronkov
PDF | preprint | extended slides | bibtex
2017
-
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
-
Third International Competition on Runtime Verification: CRV 2016 (invited)
The 16th International Conference on Runtime Verification
G.Reger, S.Halle and Y.Falcone
pdf | bibtex | slides -
An Overview of MarQ
The 16th International Conference on Runtime Verification
G.Reger
pdf | bibtex | screencast mp4 youtube
-
New Techniques in Clausal Form Generation
2nd Global Conference on Artificial Intelligence (GCAI 2016)
G.Reger, M.Suda and A.Voronkov
EPiC proccedings | slides (Martin presented)
-
AVATAR Modulo Theories
2nd Global Conference on Artificial Intelligence (GCAI 2016)
N.Bjorner, G.Reger, M.Suda and A.Voronkov
EPiC proccedings | slides (Martin presented)
-
Considering Typestate Verification for Quantified Event Automata
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
G.Reger
pdf | bibtex | slides
-
What is a Trace? A Runtime Verification Perspective
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
G.Reger and K.Havelund
pdf | bibtex | slides
-
Finding Finite Models in Multi-sorted First-Order Logic
19th International Conference on Theory and Applications of Satisfiability Testing
G Reger, M Suda, A Voronkov
pdf | bibtex
-
Selecting the Selection
International Joint Conference on Automated Reasoning (IJCAR 2016)
K Hoder, G Reger, M Suda, A Voronkov
pdf | bibtex | slides
-
The Vampire and the FOOL
5th ACM SIGPLAN Conference on Certified Programs and Proofs
E Kotelnikov, L Kovács, G Reger, A Voronkov
pdf | bibtex
2015
-
Playing with AVATAR
The 25th International Conference on Automated Deduction
G Reger, M Suda, A Voronkov
pdf | bibtex
-
Cooperating Proof Attempts
The 25th International Conference on Automated Deduction
G Reger, D Tishkovsky, A Voronkov
pdf | bibtex | slides
-
MarQ: monitoring at runtime with QEA
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
G Reger, HC Cruz, D Rydeheard
pdf | bibtex | slides
-
Second international competition on runtime verification (invited)
The 15th International Conference on Runtime Verification
Y Falcone, D Ničković, G Reger, D Thoma
pdf | bibtex
-
Suggesting Edits to Explain Failing Traces
The 15th International Conference on Runtime Verification
G.Reger
pdf | bibtex | slides
-
From First-order Temporal Logic to Parametric Trace Slicing
The 15th International Conference on Runtime Verification
G.Reger and D.Rydeheard
pdf | bibtex | slides
-
Specification of Parametric Monitors - Quantified Event Automata versus Rule Systems (invited)
Invited for presentation at SyDe Summer School 2015
1st International Summer School on Methods and Tools for the Design of Digital Systems
K.Havelund and G.Reger - K. Havelund was the invited author
pdf | bibtex
2012/3
-
A pattern-based approach to parametric specification mining
The 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
G. Reger, D. Rydeheard and H. Barringer
pdf | bibtex | slides | extended version
-
Quantified Event Automata - Towards Expressive and Efficient Runtime Monitors
Formal Methods 2012
H. Barringer, Y. Falcone, K. Havelund, G. Reger, and D. Rydeheard
pdf | bibtex | slides
Workshop Publications
2018
-
Set of Support for Higher-Order Reasoning
6th Workshop on Practical Aspects of Automated Reasoning
A.Bhayat and G.Reger
Open access proceedings -
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak
6th Workshop on Practical Aspects of Automated Reasoning
M.Rawson and G.Reger
Open access proceedings -
Some Thoughts About FOL-Translations in Vampire (Invited Paper)
3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics
G.Reger
Open access proceedings
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 entryInstantiation 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
-
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
-
Proof Attempts Cooperating via Models
Information from Deduction: Models and Proofs (Dagstuhl Seminar, 2015)
Giles Reger (based on joint work)
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
-
MAIL - An Interaction Layer For Exploring The Use Of Multicore in Runtime Monitoring
G. Reger, D. Rydeheard and H. Barringer
pdf | bibtex
An extract from a progress report giving a full report of prior work in the field of Specification Inference
G. Reger
pdfTheses
- Checkable Proofs for First-Order Theorem Proving