![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Giles Reger
Person information
- affiliation: University of Manchester, UK
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e5]Giles Reger, Yoni Zohar:
Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024. CEUR Workshop Proceedings 3725, CEUR-WS.org 2024 [contents] - [i9]Márton Hajdú, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov:
Getting Saturated with Induction. CoRR abs/2402.18954 (2024) - 2023
- [c69]Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip:
A Toolkit for Automated Testing of Dafny. NFM 2023: 397-413 - [c68]Konstantin Korovin
, Laura Kovács
, Giles Reger
, Johannes Schoisswohl
, Andrei Voronkov:
ALASCA: Reasoning in Quantified Linear Arithmetic. TACAS (1) 2023: 647-665 - 2022
- [c67]Omar Javed, Prashant Singh, Giles Reger, Salman Toor:
To test, or not to test: A proactive approach for deciding complete performance test initiation. IEEE Big Data 2022: 4758-4767 - [c66]Márton Hajdú
, Petra Hozzová
, Laura Kovács
, Giles Reger
, Andrei Voronkov:
Getting Saturated with Induction. Principles of Systems Design 2022: 306-322 - [c65]Pamina Georgiou
, Bernhard Gleiss
, Ahmed Bhayat
, Michael Rawson
, Laura Kovács
, Giles Reger
:
The Rapid Software Verification Framework. FMCAD 2022: 255-260 - [c64]Franz Brauße, Fedor Shmarov, Rafael Menezes
, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro:
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. ISSTA 2022: 773-776 - [c63]Ahmed Bhayat
, Pamina Georgiou
, Clemens Eisenhofer
, Laura Kovács
, Giles Reger
:
Lemmaless Induction in Trace Logic. CICM 2022: 191-208 - [c62]Michael Rawson, Martin Suda, Petra Hozzová, Giles Reger:
Reuse of Introduced Symbols in Automatic Theorem Provers (short paper). PAAR@IJCAR 2022 - [c61]Kaled M. Alshmrany
, Ahmed Bhayat
, Franz Brauße
, Lucas C. Cordeiro
, Konstantin Korovin
, Tom Melham
, Mustafa A. Mustafa
, Pierre Olivier
, Giles Reger
, Fedor Shmarov
:
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities. SecDev 2022: 52-58 - [i8]Omar Javed, Prashant Singh, Giles Reger, Salman Toor:
To test, or not to test: A proactive approach for deciding complete performance test initiation. CoRR abs/2205.14749 (2022) - [i7]Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström:
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12(11): 1-27 (2022) - 2021
- [j5]Giles Reger, David E. Rydeheard:
From parametric trace slicing to rule systems. Int. J. Softw. Tools Technol. Transf. 23(2): 209-228 (2021) - [j4]Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel
:
A taxonomy for classifying runtime verification tools. Int. J. Softw. Tools Technol. Transf. 23(2): 255-284 (2021) - [c60]Michael Rawson, Giles Reger:
On Evaluating Theorem Provers. ARCADE@CADE 2021: 1-10 - [c59]Michael Rawson, Giles Reger:
A Multithreaded Vampire with Shared Persistent Grounding. FMCAD 2021: 280-284 - [c58]Michael Rawson, Giles Reger:
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search. TABLEAUX 2021: 187-199 - [c57]Michael Rawson, Giles Reger:
Eliminating Models During Model Elimination. TABLEAUX 2021: 250-265 - [c56]Giles Reger, Johannes Schoisswohl, Andrei Voronkov:
Making Theory Reasoning Simpler. TACAS (2) 2021: 164-180 - [e4]Boris Konev, Giles Reger:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12941, Springer 2021, ISBN 978-3-030-86204-6 [contents] - 2020
- [c55]Michael Rawson, Giles Reger:
Directed Graph Networks for Logical Reasoning (Extended Abstract). PAAR+SC²@IJCAR 2020: 109-119 - [c54]Ahmed Bhayat
, Giles Reger
:
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations. IJCAR (1) 2020: 259-277 - [c53]Ahmed Bhayat
, Giles Reger
:
A Combinator-Based Superposition Calculus for Higher-Order Logic. IJCAR (1) 2020: 278-296 - [c52]Ahmed Bhayat
, Giles Reger
:
A Polymorphic Vampire - (Short Paper). IJCAR (2) 2020: 361-368 - [c51]Ahmed Abdulrahman Alghamdi
, Giles Reger:
Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning. CyberSA 2020: 1-8 - [c50]Omar Javed, Joshua Heneage Dawes, Marta Han
, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder
:
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. ASE 2020: 1344-1348 - [c49]Joshua Heneage Dawes, Marta Han
, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer:
Analysing the Performance of Python-Based Web Services with the VyPR Framework. RV 2020: 67-86
2010 – 2019
- 2019
- [j3]Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger:
The SMT Competition 2015-2018. J. Satisf. Boolean Model. Comput. 11(1): 221-259 (2019) - [j2]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, Yi Zhang:
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [c48]Ahmed Bhayat
, Giles Reger
:
Restricted Combinatory Unification. CADE 2019: 74-93 - [c47]Michael Rawson, Giles Reger
:
Old or Heavy? Decaying Gracefully with Age/Weight Shapes. CADE 2019: 462-476 - [c46]Giles Reger
, Andrei Voronkov:
Induction in Saturation-Based Proof Search. CADE 2019: 477-494 - [c45]Giles Reger
, Martin Riener
, Martin Suda:
Symmetry Avoidance in MACE-Style Finite Model Finding. FroCos 2019: 3-21 - [c44]Michael Rawson
, Giles Reger
:
A Neurally-Guided, Parallel Theorem Prover. FroCos 2019: 40-56 - [c43]Joshua Heneage Dawes, Giles Reger:
Explaining Violations of Properties in Control-Flow Temporal Logic. RV 2019: 202-220 - [c42]Joshua Heneage Dawes, Giles Reger
:
Specification of temporal properties of functions for runtime verification. SAC 2019: 2206-2214 - [c41]Ezio Bartocci
, Yliès Falcone, Giles Reger
:
International Competition on Runtime Verification (CRV). TACAS (3) 2019: 41-49 - [c40]Joshua Heneage Dawes, Giles Reger
, Giovanni Franzoni, Andreas Pfeiffer, Giacomo Govi:
VyPR2: A Framework for Runtime Verification of Python Web Services. TACAS (2) 2019: 98-114 - [c39]Giles Reger:
Boldly Going Where No Prover Has Gone Before. ARCADE@CADE 2019: 37-41 - [p4]Klaus Havelund, Giles Reger, Grigore Rosu:
Runtime Verification Past Experiences and Future Projections. Computing and Software Science 2019: 532-562 - 2018
- [c38]Ahmed Bhayat, Giles Reger:
Set of Support for Higher-Order Reasoning. PAAR@FLoC 2018: 2-16 - [c37]Giles Reger:
Some Thoughts About FOL-Translations in Vampire. ARQNL@IJCAR 2018: 11-25 - [c36]Michael Rawson, Giles Reger:
Dynamic Strategy Priority: Empower the Strong and Abandon the Weak. PAAR@FLoC 2018: 58-71 - [c35]Wolfgang Ahrendt, Marieke Huisman
, Giles Reger
, Kristin Yvonne Rozier:
A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) 2018: 3-7 - [c34]Christian Colombo
, Yliès Falcone, Martin Leucker
, Giles Reger
, César Sánchez, Gerardo Schneider, Volker Stolz
:
COST Action IC1402 Runtime Verification Beyond Monitoring. RV 2018: 18-26 - [c33]Yliès Falcone, Srdan Krstic
, Giles Reger
, Dmitriy Traytel
:
A Taxonomy for Classifying Runtime Verification Tools. RV 2018: 241-262 - [c32]Giles Reger
, David E. Rydeheard:
From Parametric Trace Slicing to Rule Systems. RV 2018: 334-352 - [c31]Giles Reger
, Martin Suda
, Andrei Voronkov:
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning. TACAS (1) 2018: 3-22 - [p3]Ezio Bartocci
, Yliès Falcone
, Adrian Francalanza
, Giles Reger
:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p2]Klaus Havelund, Giles Reger
, Daniel Thoma, Eugen Zalinescu
:
Monitoring Events that Carry Data. Lectures on Runtime Verification 2018: 61-102 - [i6]Joshua Heneage Dawes, Giles Reger:
Specification of State and Time Constraints for Runtime Verification of Functions. CoRR abs/1806.02621 (2018) - 2017
- [c30]Klaus Havelund, Giles Reger
:
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools 2017: 310-338 - [c29]Giles Reger, Dmitriy Traytel
:
A Report of ARCADE 2017. ARCADE@CADE 2017: 1-5 - [c28]Giles Reger, Martin Suda:
Checkable Proofs for First-Order Theorem Proving. ARCADE@CADE 2017: 55-63 - [c27]Giles Reger
, Martin Suda:
Set of Support for Theory Reasoning. IWIL@LPAR 2017: 124-134 - [c26]Giles Reger:
A Report of RV-CuBES 2017. RV-CuBES 2017: 1-9 - [c25]Giles Reger, Martin Suda, Andrei Voronkov:
Instantiation and Pretending to be an SMT Solver with Vampire. SMT 2017: 63-75 - [c24]Giles Reger
, Martin Suda
, Andrei Voronkov:
Testing a Saturation-Based Theorem Prover: Experiences and Challenges. TAP@STAF 2017: 152-161 - [c23]Giles Reger
:
A Story of Parametric Trace Slicing, Garbage and Static Analysis. PrePost@iFM 2017: 1-14 - [e3]Giles Reger, Dmitriy Traytel:
ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. EPiC Series in Computing 51, EasyChair 2017 [contents] - [e2]Giles Reger, Klaus Havelund:
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA. Kalpa Publications in Computing 3, EasyChair 2017 [contents] - [e1]Shuvendu K. Lahiri, Giles Reger:
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lecture Notes in Computer Science 10548, Springer 2017, ISBN 978-3-319-67530-5 [contents] - [i5]Giles Reger, Martin Suda, Andrei Voronkov:
Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version). CoRR abs/1704.03391 (2017) - [i4]Klaus Havelund, Martin Leucker, Giles Reger, Volker Stolz:
A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462). Dagstuhl Reports 7(11): 59-85 (2017) - 2016
- [c22]Giles Reger:
Better Proof Output for Vampire. Vampire@IJCAR 2016: 46-60 - [c21]Giles Reger, Martin Suda:
Global Subsumption Revisited (Briefly). Vampire@IJCAR 2016: 61-73 - [c20]Krystof Hoder, Giles Reger
, Martin Suda
, Andrei Voronkov:
Selecting the Selection. IJCAR 2016: 313-329 - [c19]Evgenii Kotelnikov, Laura Kovács
, Giles Reger
, Andrei Voronkov:
The vampire and the FOOL. CPP 2016: 37-48 - [c18]Giles Reger
, Martin Suda, Andrei Voronkov:
New Techniques in Clausal Form Generation. GCAI 2016: 11-23 - [c17]Giles Reger, Nikolaj S. Bjørner, Martin Suda, Andrei Voronkov:
AVATAR Modulo Theories. GCAI 2016: 39-52 - [c16]Giles Reger
, Klaus Havelund:
What Is a Trace? A Runtime Verification Perspective. ISoLA (2) 2016: 339-355 - [c15]Giles Reger
:
Considering Typestate Verification for Quantified Event Automata. ISoLA (1) 2016: 479-495 - [c14]Giles Reger
, Sylvain Hallé
, Yliès Falcone:
Third International Competition on Runtime Verification - CRV 2016. RV 2016: 21-37 - [c13]Giles Reger
:
An Overview of MarQ. RV 2016: 498-503 - [c12]Giles Reger
, Martin Suda
, Andrei Voronkov:
Finding Finite Models in Multi-sorted First-Order Logic. SAT 2016: 323-341 - [i3]Giles Reger, Martin Suda, Andrei Voronkov:
Finding Finite Models in Multi-Sorted First Order Logic. CoRR abs/1604.08040 (2016) - [i2]Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder:
Selecting the Selection. CoRR abs/1604.08055 (2016) - 2015
- [j1]Giles Reger, Howard Barringer, David E. Rydeheard:
Automata-based Pattern Mining from Imperfect Traces. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-8 (2015) - [c11]Giles Reger, Martin Suda:
The Uses of SAT Solvers in Vampire. Vampire Workshop 2015: 63-69 - [c10]Giles Reger
, Dmitry Tishkovsky, Andrei Voronkov:
Cooperating Proof Attempts. CADE 2015: 339-355 - [c9]Giles Reger
, Martin Suda
, Andrei Voronkov:
Playing with AVATAR. CADE 2015: 399-415 - [c8]Giles Reger
, David E. Rydeheard:
From First-order Temporal Logic to Parametric Trace Slicing. RV 2015: 216-232 - [c7]Giles Reger
:
Suggesting Edits to Explain Failing Traces. RV 2015: 287-293 - [c6]Yliès Falcone, Dejan Nickovic, Giles Reger
, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422 - [c5]Klaus Havelund, Giles Reger
:
Specification of Parametric Monitors. SyDe Summer School 2015: 151-189 - [c4]Giles Reger
, Helena Cuenca Cruz, David E. Rydeheard:
MarQ: Monitoring at Runtime with QEA. TACAS 2015: 596-610 - [i1]Evgenii Kotelnikov, Laura Kovács, Giles Reger, Andrei Voronkov:
The Vampire and the FOOL. CoRR abs/1510.04821 (2015) - 2014
- [b1]Giles Reger:
Automata based monitoring and mining of execution traces. University of Manchester, UK, 2014 - [c3]Giles Reger, Martin Suda, Andrei Voronkov:
The Challenges of Evaluating a New Feature in Vampire. Vampire Workshop 2014: 70-74 - 2013
- [c2]Giles Reger
, Howard Barringer, David E. Rydeheard:
A pattern-based approach to parametric specification mining. ASE 2013: 658-663 - [p1]Yliès Falcone, Klaus Havelund, Giles Reger:
A Tutorial on Runtime Verification. Engineering Dependable Software Systems 2013: 141-175 - 2012
- [c1]Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger
, David E. Rydeheard:
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012: 68-84
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-27 17:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint