Suivre
Giles Reger
Giles Reger
Amazon and University of Manchester
Adresse e-mail validée de manchester.ac.uk - Page d'accueil
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
3642018
A tutorial on runtime verification
Y Falcone, K Havelund, G Reger
Engineering dependable software systems, 141-175, 2013
2472013
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
2082012
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
1542021
MarQ: Monitoring at Runtime with QEA
G Reger, HC Cruz, D Rydeheard
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1492015
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
942019
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
692019
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
632018
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
562016
Playing with AVATAR
G Reger, M Suda, A Voronkov
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
552015
A combinator-based superposition calculus for higher-order logic
A Bhayat, G Reger
International Joint Conference on Automated Reasoning, 278-296, 2020
542020
Induction in saturation-based proof search
G Reger, A Voronkov
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
492019
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
472015
Third international competition on runtime verification: CRV 2016
G Reger, S Hallé, Y Falcone
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
452016
AVATAR modulo theories
N Bjøner, G Reger, M Suda, A Voronkov
2nd Global Conference on Artificial Intelligence, 39-52, 2016
432016
New Techniques in Clausal Form Generation.
G Reger, M Suda, A Voronkov
GCAI 41, 11-23, 2016
422016
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
412013
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
352016
Finding finite models in multi-sorted first-order logic
G Reger, M Suda, A Voronkov
International Conference on Theory and Applications of Satisfiability …, 2016
342016
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
332018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20