Giles Reger

Cited by

	All	Since 2019
Citations	2568	1848
h-index	24	21
i10-index	49	41

380

190

285

20132014201520162017201820192020202120222023202411 27 57 115 181 288 277 253 364 288 366 285

Public access

View all

35 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
Michael RawsonTU WienVerified email at rawsons.uk
Ahmed BhayatUniversity of ManchesterVerified email at postgrad.manchester.ac.uk
David RydeheardDepartment of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
Laura KovacsTU Wien, Vienna, AustriaVerified email at tuwien.ac.at
Joshua Heneage DawesResearch Associate, SnT, University of LuxembourgVerified email at uni.lu
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Konstantin KorovinUniversity of Manchester, School of Computer ScienceVerified email at manchester.ac.uk
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
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Tjark WeberUppsala UniversityVerified email at it.uu.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: Introductory and Advanced Topics, 1-33, 2018	347	2018
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	241	2013
Quantified event automata: Towards expressive and efficient runtime monitors H Barringer, Y Falcone, K Havelund, G Reger, D Rydeheard FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012	204	2012
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	151	2021
MarQ: Monitoring at Runtime with QEA G Reger, HC Cruz, D Rydeheard Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	147	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, 31-70, 2019	94	2019
The SMT competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019	66	2019
Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification: Introductory and Advanced Topics, 61-102, 2018	61	2018
Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016	56	2016
Playing with AVATAR G Reger, M Suda, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	55	2015
A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020	53	2020
Induction in saturation-based proof search G Reger, A Voronkov Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	49	2019
Second international competition on runtime verification: CRV 2015 Y Falcone, D Ničković, G Reger, D Thoma Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015	47	2015
Third international competition on runtime verification: CRV 2016 G Reger, S Hallé, Y Falcone Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016	45	2016
New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016	42	2016
AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016	41	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	40	2013
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	35	2016
Unification with abstraction and theory instantiation in saturation-based reasoning G Reger, M Suda, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2018	33	2018
Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016	33	2016

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

Cited by

Co-authors