עקוב אחר
Giles Reger
Giles Reger
Amazon (formerly University of Manchester, UK)
כתובת אימייל מאומתת בדומיין manchester.ac.uk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Introduction to runtime verification‏
E Bartocci, Y Falcone, A Francalanza, G Reger‏
Lectures on Runtime Verification: Introductory and Advanced Topics, 1-33, 2018‏
3812018
A tutorial on runtime verification‏
Y Falcone, K Havelund, G Reger‏
Engineering dependable software systems, 141-175, 2013‏
2542013
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‏
2112012
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‏
1572021
MarQ: Monitoring at Runtime with QEA‏
G Reger, HC Cruz, D Rydeheard‏
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015‏
1512015
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‏
712019
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‏
642018
Playing with AVATAR‏
G Reger, M Suda, A Voronkov‏
International Conference on Automated Deduction, 399-415, 2015‏
592015
Selecting the selection‏
K Hoder, G Reger, M Suda, A Voronkov‏
International Joint Conference on Automated Reasoning, 313-329, 2016‏
572016
A combinator-based superposition calculus for higher-order logic‏
A Bhayat, G Reger‏
International Joint Conference on Automated Reasoning, 278-296, 2020‏
562020
Induction in saturation-based proof search‏
G Reger, A Voronkov‏
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019‏
502019
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‏
492015
Third international competition on runtime verification: CRV 2016‏
G Reger, S Hallé, Y Falcone‏
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016‏
462016
AVATAR modulo theories‏
N Bjøner, G Reger, M Suda, A Voronkov‏
2nd Global Conference on Artificial Intelligence, 39-52, 2016‏
452016
New techniques in clausal form generation‏
G Reger, M Suda, A Voronkov‏
2nd Global Conference on Artificial Intelligence, 11-23, 2016‏
432016
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
Finding finite models in multi-sorted first-order logic‏
G Reger, M Suda, A Voronkov‏
International Conference on Theory and Applications of Satisfiability …, 2016‏
352016
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
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‏
342018
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20