Giles Reger
Giles Reger
Department of Computer Science, University of Manchester
E-mail confirmado em manchester.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
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
1462012
A Tutorial on Runtime Verification.
Y Falcone, K Havelund, G Reger
Engineering dependable software systems 34, 141-175, 2013
1442013
Introduction to runtime verification
E Bartocci, Y Falcone, A Francalanza, G Reger
Lectures on Runtime Verification, 1-33, 2018
1102018
MarQ: monitoring at runtime with QEA
G Reger, HC Cruz, D Rydeheard
International Conference on Tools and Algorithms for the Construction and …, 2015
892015
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
632019
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
382016
Playing with AVATAR
G Reger, M Suda, A Voronkov
International Conference on Automated Deduction, 399-415, 2015
372015
Second international competition on runtime verification
Y Falcone, D Ničković, G Reger, D Thoma
Runtime Verification, 405-422, 2015
372015
A taxonomy for classifying runtime verification tools
Y Falcone, S Krstić, G Reger, D Traytel
International Conference on Runtime Verification, 241-262, 2018
322018
Third international competition on runtime verification
G Reger, S Hallé, Y Falcone
International Conference on Runtime Verification, 21-37, 2016
322016
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
322016
New Techniques in Clausal Form Generation.
G Reger, M Suda, A Voronkov
GCAI 41, 11-23, 2016
312016
Monitoring events that carry data
K Havelund, G Reger, D Thoma, E Zălinescu
Lectures on Runtime Verification, 61-102, 2018
282018
AVATAR modulo theories
G Reger, N Bjorner, M Suda, A Voronkov
EPiC Series in Computing 41, 39-52, 2016
272016
A pattern-based approach to parametric specification mining
G Reger, H Barringer, D Rydeheard
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
272013
Finding finite models in multi-sorted first-order logic
G Reger, M Suda, A Voronkov
International Conference on Theory and Applications of Satisfiability …, 2016
222016
From first-order temporal logic to parametric trace slicing
G Reger, D Rydeheard
Runtime Verification, 216-232, 2015
202015
What is a trace? A runtime verification perspective
G Reger, K Havelund
International Symposium on Leveraging Applications of Formal Methods, 339-355, 2016
192016
Runtime verification logics a language design perspective
K Havelund, G Reger
Models, Algorithms, Logics and Tools, 310-338, 2017
172017
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
162018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20