G
Giles Reger
Researcher at University of Manchester
Publications - 96
Citations - 1571
Giles Reger is an academic researcher from University of Manchester. The author has contributed to research in topics: Runtime verification & Automated theorem proving. The author has an hindex of 19, co-authored 86 publications receiving 1274 citations. Previous affiliations of Giles Reger include Microsoft & California Institute of Technology.
Papers
More filters
Book ChapterDOI
Introduction to runtime verification
TL;DR: The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification, providing an overview of the main specification languages used for RV and introducing the standard terminology necessary to describe the monitoring problem.
Book ChapterDOI
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
TL;DR: This work introduces a new formalism for concisely capturing expressive specifications with parameters that is more expressive than the currently most efficient techniques while at the same time allowing for optimizations.
A Tutorial on Runtime Verification
TL;DR: This chapter focuses specifically on checking execution traces against requirements formalized in terms of monitors, and shows on examples how such monitors can be written using aspect-oriented programming, exemplified by ASPECTJ.
Book ChapterDOI
MarQ: Monitoring at Runtime with QEA
TL;DR: The MarQ tool for monitoring properties expressed as Quantified Event Automata is presented, showing that MarQ is one of the most efficient existing monitoring tools for both offline monitoring of trace logs and online monitoring of running systems.
Journal ArticleDOI
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
Ezio Bartocci,Yliès Falcone,Yliès Falcone,Borzoo Bonakdarpour,Christian Colombo,Normann Decker,Klaus Havelund,Yogi Joshi,Felix Klaedtke,Reed Milewicz,Giles Reger,Grigore Rosu,Julien Signoles,Daniel Thoma,Eugen Zalinescu,Yi Zhang +15 more
TL;DR: The first international Competition on Runtime Verification (CRV) was held in September 2014, in Toronto, Canada, as a satellite event of the 14th international conference on RuntimeVerification (RV’14).