Giles Reger

Cited by

	All	Since 2017
Citations	1727	1482
h-index	22	21
i10-index	38	36

400

200

100

300

201220132014201520162017201820192020202120227 12 28 55 124 179 295 289 234 383 97

Public access

View all

30 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin SudaCzech Technical University in PragueVerified email at cvut.cz
Andrei VoronkovThe University of Manchester; EasyChairVerified email at cs.man.ac.uk
Yliès FalconeUniv. Grenoble Alpes and InriaVerified email at univ-grenoble-alpes.fr
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
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Laura KovacsVienna University of TechnologyVerified email at tuwien.ac.at
Krystof HoderGoogleVerified email at google.com
Julien SignolesCEA-List, Université Paris-SaclayVerified email at cea.fr
Evgenii KotelnikovChalmers University of TechnologyVerified email at chalmers.se
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch

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	185	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	173	2012
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	168	2013
MarQ: monitoring at runtime with QEA G Reger, HC Cruz, D Rydeheard International Conference on Tools and Algorithms for the Construction and …, 2015	111	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	79	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	70	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	40	2018
Second international competition on runtime verification Y Falcone, D Ničković, G Reger, D Thoma Runtime Verification, 405-422, 2015	40	2015
Third international competition on runtime verification G Reger, S Hallé, Y Falcone International Conference on Runtime Verification, 21-37, 2016	37	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	28	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	25	2019
From first-order temporal logic to parametric trace slicing G Reger, D Rydeheard Runtime Verification, 216-232, 2015	25	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