Seguir
Giles Reger
Giles Reger
Amazon and University of Manchester
Dirección de correo verificada de manchester.ac.uk - Página principal
Título
Citado por
Citado por
Año
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018
3272018
A tutorial on runtime verification
Y Falcone, K Havelund, G Reger
Engineering dependable software systems, 141-175, 2013
2342013
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
2022012
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
1432021
MarQ: Monitoring at Runtime with QEA
G Reger, HC Cruz, D Rydeheard
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1432015
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
612019
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
592018
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
512020
Induction in saturation-based proof search
G Reger, A Voronkov
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
462019
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
462015
Third international competition on runtime verification: CRV 2016
G Reger, S Hallé, Y Falcone
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016
442016
New Techniques in Clausal Form Generation.
G Reger, M Suda, A Voronkov
GCAI 41, 11-23, 2016
422016
AVATAR modulo theories
N Bjøner, G Reger, M Suda, A Voronkov
2nd Global Conference on Artificial Intelligence, 39-52, 2016
402016
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
392013
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
332016
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
322018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20