Giles Reger

Citée par

	Toutes	Depuis 2018
Citations	2249	1827
indice h	23	21
indice i10	45	42

380

190

285

2012201320142015201620172018201920202021202220236 13 27 59 117 179 293 281 240 375 279 340

Accès public

Tout afficher

34 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Martin SudaCzech Technical University in PragueAdresse e-mail validée de cvut.cz
Andrei VoronkovThe University of Manchester; EasyChairAdresse e-mail validée de cs.man.ac.uk
Yliès FalconeUniv. Grenoble Alpes and InriaAdresse e-mail validée de univ-grenoble-alpes.fr
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Michael RawsonTU WienAdresse e-mail validée de rawsons.uk
Ahmed BhayatUniversity of ManchesterAdresse e-mail validée de postgrad.manchester.ac.uk
David RydeheardDepartment of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Ezio BartocciFaculty of Informatics, TU WienAdresse e-mail validée de tuwien.ac.at
Laura KovacsTU Wien, Vienna, AustriaAdresse e-mail validée de tuwien.ac.at
Joshua Heneage DawesResearch Associate, SnT, University of LuxembourgAdresse e-mail validée de uni.lu
Dmitriy TraytelUniversity of CopenhagenAdresse e-mail validée de di.ku.dk
Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
Eugen ZalinescuNomadic LabsAdresse e-mail validée de nomadic-labs.com
Adrian FrancalanzaUniversity of MaltaAdresse e-mail validée de um.edu.mt
Christian ColomboUniversity of MaltaAdresse e-mail validée de um.edu.mt
Borzoo BonakdarpourAssociate Professor of Computer Science, Michigan State UniversityAdresse e-mail validée de msu.edu
Konstantin KorovinUniversity of Manchester, School of Computer ScienceAdresse e-mail validée de manchester.ac.uk
Srdjan KrsticETH ZurichAdresse e-mail validée de inf.ethz.ch
Krystof HoderGoogleAdresse e-mail validée de google.com
Matthias HeizmannUniversity of Freiburg, GermanyAdresse e-mail validée de heizmann.name

Suivre

Giles Reger

Amazon and University of Manchester

Adresse e-mail validée de manchester.ac.uk - Page d'accueil

Theorem Proving Program Verification Runtime Monitoring


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Introduction to runtime verification E Bartocci, Y Falcone, A Francalanza, G Reger Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018	280	2018
A tutorial on runtime verification Y Falcone, K Havelund, G Reger Engineering dependable software systems, 141-175, 2013	222	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	197	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	134	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	120	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	93	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	55	2018
Playing with AVATAR G Reger, M Suda, A Voronkov Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015	52	2015
Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016	48	2016
A combinator-based superposition calculus for higher-order logic A Bhayat, G Reger International Joint Conference on Automated Reasoning, 278-296, 2020	45	2020
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	45	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	43	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	42	2016
New Techniques in Clausal Form Generation. G Reger, M Suda, A Voronkov GCAI 41, 11-23, 2016	41	2016
Induction in saturation-based proof search G Reger, A Voronkov Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019	39*	2019
AVATAR modulo theories N Bjøner, G Reger, M Suda, A Voronkov 2nd Global Conference on Artificial Intelligence, 39-52, 2016	39	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	38	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	34	2016
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
Restricted combinatory unification A Bhayat, G Reger International Conference on Automated Deduction, 74-93, 2019	31	2019

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs