Giles Reger

Cited by

	All	Since 2016
Citations	1255	1138
h-index	18	17
i10-index	31	29

320

160

240

20122013201420152016201720182019202020218 11 26 54 116 183 318 269 238 6

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, 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
Ahmed BhayatUniversity of ManchesterVerified email at postgrad.manchester.ac.uk
Michael RawsonManchester UniversityVerified email at rawsons.uk
Ezio BartocciProfessor of Computer Science, TU WienVerified email at tuwien.ac.at
Eugen ZalinescuNomadic LabsVerified email at nomadic-labs.com
Evgenii KotelnikovChalmers University of TechnologyVerified email at chalmers.se
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Christian ColomboUniversity of MaltaVerified email at um.edu.mt
Adrian FrancalanzaUniversity of MaltaVerified email at um.edu.mt
Krystof HoderGoogleVerified email at google.com
Laura KovacsVienna University of TechnologyVerified email at tuwien.ac.at
Dmitriy TraytelUniversity of CopenhagenVerified email at di.ku.dk
Julien SignolesCEA LISTVerified 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
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at

Giles Reger

Department of Computer Science, University of Manchester

Verified email at manchester.ac.uk - Homepage

Theorem Proving Program Verification Runtime Monitoring Specification Inference


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	146	2012
A Tutorial on Runtime Verification. Y Falcone, K Havelund, G Reger Engineering dependable software systems 34, 141-175, 2013	144	2013
Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification, 1-33, 2018	110	2018
MarQ: monitoring at runtime with QEA G Reger, HC Cruz, D Rydeheard International Conference on Tools and Algorithms for the Construction and …, 2015	89	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	63	2019
Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016	38	2016
Playing with AVATAR G Reger, M Suda, A Voronkov International Conference on Automated Deduction, 399-415, 2015	37	2015
Second international competition on runtime verification Y Falcone, D Ničković, G Reger, D Thoma Runtime Verification, 405-422, 2015	37	2015
A taxonomy for classifying runtime verification tools Y Falcone, S Krstić, G Reger, D Traytel International Conference on Runtime Verification, 241-262, 2018	32	2018
Third international competition on runtime verification G Reger, S Hallé, Y Falcone International Conference on Runtime Verification, 21-37, 2016	32	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	32	2016
New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016	31	2016
Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification, 61-102, 2018	28	2018
AVATAR modulo theories G Reger, N Bjorner, M Suda, A Voronkov EPiC Series in Computing 41, 39-52, 2016	27	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	27	2013
Finding finite models in multi-sorted first-order logic G Reger, M Suda, A Voronkov International Conference on Theory and Applications of Satisfiability …, 2016	22	2016
From first-order temporal logic to parametric trace slicing G Reger, D Rydeheard Runtime Verification, 216-232, 2015	20	2015
What is a trace? A runtime verification perspective G Reger, K Havelund International Symposium on Leveraging Applications of Formal Methods, 339-355, 2016	19	2016
Runtime verification logics a language design perspective K Havelund, G Reger Models, Algorithms, Logics and Tools, 310-338, 2017	17	2017
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	16	2018

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

Upload PDF

Follow this author

Cited by

Co-authors