Giles Reger

Cited by

	All	Since 2018
Citations	1939	1521
h-index	22	21
i10-index	39	37

400

200

100

300

2012201320142015201620172018201920202021202220237 12 26 61 118 178 285 288 245 382 284 30

Public access

View all

32 articles

2 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 KovacsVienna University of TechnologyVerified 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
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityVerified email at msu.edu
Krystof HoderGoogleVerified email at google.com
Srdjan KrsticETH ZurichVerified email at inf.ethz.ch
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
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: Introductory and Advanced Topics, 1-33, 2018	220	2018
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	193	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	181	2012
MarQ: Monitoring at Runtime with QEA G Reger, HC Cruz, D Rydeheard Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	119	2015
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	94	2021
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	82	2019
Playing with AVATAR G Reger, M Suda, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	47	2015
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	45	2018
Selecting the selection K Hoder, G Reger, M Suda, A Voronkov Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016	45	2016
New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016	40	2016
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	39	2015
A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020	38	2020
AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016	37	2016
Third international competition on runtime verification: CRV 2016 G Reger, S Hallé, Y Falcone Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016	36	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	36	2013
Induction in saturation-based proof search G Reger, A Voronkov Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	35*	2019
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
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	32	2019
Restricted combinatory unification A Bhayat, G Reger Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	29	2019
Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016	27	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