Concepedia

Giles Reger

GR

10

Publications

335

Citations

10

H-Index

2013

Active since

Affiliations

University of Manchester(Current)

Centre National de la Recherche Scientifique

Centre Inria de l'Université Grenoble Alpes

Giles Reger is an author at University of Manchester specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering

Publications per year

2013–2022

10

Publications

10

A taxonomy for classifying runtime verification tools

Ylìès Falcone, Srđan Krstić, Giles Reger et al. · International Journal on Software Tools for Technology Transfer · 2021 · 106 citations · Full text

Program Checking, Engineering, Runtime Verification +11

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

A pattern-based approach to parametric specification mining

Giles Reger, Howard Barringer, David Rydeheard · 2013 · 35 citations

Engineering, Verification, Pattern Discovery +25

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe et al. · Journal on Satisfiability Boolean Modeling and Computation · 2019 · 31 citations · Full text

Hybrid Event, Engineering, Verification +16

New Techniques in Clausal Form Generation

Giles Reger, Martin Suda · EPiC series in computing · 2018 · 29 citations · Full text

Syntax, Engineering, Automated Reasoning +15

Rows per page

1–5 of 10