Browsing by Author Reger, Giles
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2018 | COST Action IC1402 runtime verification beyond monitoring | Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker |
2019 | First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014 | Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi |
2018 | Introduction to runtime verification | Bartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles |