Giles Reger

Cited by

	All	Since 2017
Citations	1710	1466
h-index	21	21
i10-index	37	35

420

210

105

315

201220132014201520162017201820192020202120227 11 28 55 123 179 296 280 237 404 65

Public access

View all

29 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Yliès FalconeUniv. Grenoble Alpes and InriaVerified email at univ-grenoble-alpes.fr
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
David RydeheardDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Michael RawsonManchester UniversityVerified email at rawsons.uk
Ahmed BhayatUniversity of ManchesterVerified email at postgrad.manchester.ac.uk
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Joshua Heneage DawesResearch Associate, SnT, University of LuxembourgVerified email at uni.lu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Krystof HoderGoogleVerified email at google.com
Laura KovacsVienna University of TechnologyVerified email at tuwien.ac.at
Evgenii KotelnikovChalmers University of TechnologyVerified email at chalmers.se
Julien SignolesCEA-List, Université Paris-SaclayVerified email at cea.fr
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu

Giles Reger

Amazon and University of Manchester

Verified email at manchester.ac.uk - Homepage

Theorem Proving Program Verification Runtime Monitoring


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	180	2018
Quantified event automata: Towards expressive and efficient runtime monitors H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard International Symposium on Formal Methods, 68-84, 2012	171	2012
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	166	2013
MarQ: monitoring at runtime with QEA G Reger, HC Cruz, D Rydeheard International Conference on Tools and Algorithms for the Construction and …, 2015	110	2015
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21 (1), 31-70, 2019	76	2019
A taxonomy for classifying runtime verification tools Y Falcone, S Krstić, G Reger, D Traytel International Journal on Software Tools for Technology Transfer 23 (2), 255-284, 2021	68	2021
Playing with AVATAR G Reger, M Suda, A Voronkov International Conference on Automated Deduction, 399-415, 2015	47	2015
Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016	42	2016
Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification, 61-102, 2018	41	2018
Second international competition on runtime verification Y Falcone, D Ničković, G Reger, D Thoma Runtime Verification, 405-422, 2015	41	2015
Third international competition on runtime verification G Reger, S Hallé, Y Falcone International Conference on Runtime Verification, 21-37, 2016	38	2016
New techniques in clausal form generation G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 11-23, 2016	36	2016
The Vampire and the FOOL E Kotelnikov, L Kovács, G Reger, A Voronkov Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016	34	2016
A pattern-based approach to parametric specification mining G Reger, H Barringer, D Rydeheard 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	34	2013
AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016	30	2016
A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020	29	2020
Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016	28	2016
Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019	24	2019
From first-order temporal logic to parametric trace slicing G Reger, D Rydeheard Runtime Verification, 216-232, 2015	24	2015
Induction in saturation-based proof search G Reger, A Voronkov International Conference on Automated Deduction, 477-494, 2019	22*	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors