( en | de | ru )

 

Disambiguation of "Reger, Giles"

Author of the publication

copydeleteadd this publication to your clipboard
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

, , , , , , , , , , , , , , and . Int. J. Softw. Tools Technol. Transf., 21 (1): 31-70 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giles Reger

Giles Sims

Giles Oatley

Giles Mayley

Ernst Reger

 

Other publications of authors with the same name

VyPR2: A Framework for Runtime Verification of Python Web Services., , , , and . TACAS (2), volume 11428 of Lecture Notes in Computer Science, page 98-114. Springer, (2019)ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC., , , , , , and . ISSTA, page 773-776. ACM, (2022)Set of Support for Higher-Order Reasoning., and . PAAR@FLoC, volume 2162 of CEUR Workshop Proceedings, page 2-16. CEUR-WS.org, (2018)Directed Graph Networks for Logical Reasoning (Extended Abstract)., and . PAAR+SC²@IJCAR, volume 2752 of CEUR Workshop Proceedings, page 109-119. CEUR-WS.org, (2020)Lemmaless Induction in Trace Logic., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 191-208. Springer, (2022)Pattern Extraction for Behaviours of Multi-Stage Threats via Unsupervised Learning., and . CyberSA, page 1-8. IEEE, (2020)Principles of Contract Languages (Dagstuhl Seminar 22451)., , , , and . Dagstuhl Reports, 12 (11): 1-27 (November 2022)International Competition on Runtime Verification (CRV)., , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 41-49. Springer, (2019)The Rapid Software Verification Framework., , , , , and . FMCAD, page 255-260. IEEE, (2022)A Polymorphic Vampire - (Short Paper)., and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 361-368. Springer, (2020)