Dr Giles Reger

Lecturer in Computer Science

Full contact details
View graph of relations

Publications

  1. 2019
  2. Published

    Old or Heavy? Decaying Gracefully with Age/Weight Shapes.

    Rawson, M. & Reger, G., 20 Aug 2019, Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Accepted/In press

    Restricted Combinatory Unification

    Bhayat, A. & Reger, G., 19 Apr 2019, (Accepted/In press) Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    International Competition on Runtime Verification (CRV)

    Bartocci, E., Falcone, Y. & Reger, G., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Steffen, B., Kordon, F., Beyer, D. & Huisman, M. (eds.). Springer Nature, p. 41-49 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Published

    VyPR2: A framework for runtime verification of python web services

    Dawes, J. H., Reger, G., Franzoni, G., Pfeiffer, A. & Govi, G., 3 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer Nature, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    A Neurally-Guided, Parallel Theorem Prover

    Rawson, M. & Reger, G., 2019, FroCoS 2019: Frontiers of Combining Systems. (Lecture Notes in Computer Science ; vol. 11715).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    Induction in Saturation-Based Proof Search

    Reger, G. & Voronkov, A., 2019, Automated Deduction – CADE 27 . (Lecture Notes in Computer Science; vol. 11716).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Specification of temporal properties of functions for runtime verification

    Dawes, J. H. & Reger, G., 2019, p. 2206-2214. 9 p.

    Research output: Contribution to conferencePaper

  9. Published

    Symmetry Avoidance in MACE-Style Finite Model Finding

    Reger, G., Riener, M. & Suda, M., 2019, Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. ( Lecture Notes in Computer Science; vol. 11715).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2018
  11. Published

    Higher-order Reasoning Vampire Style

    Bhayat, A. & Reger, G., 20 Mar 2018, p. 19-20. 2 p.

    Research output: Contribution to conferenceAbstract

  12. Published

    A broader view on verification: From static to runtime and back (track summary)

    Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Nature, p. 3-7 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 Next

Research Explorer downloads

104

Research output: Chapter in Book/Report/Conference proceedingConference contribution

92

Research output: Chapter in Book/Report/Conference proceedingConference contribution

65

Research output: Chapter in Book/Report/Conference proceedingConference contribution

63

Research output: Chapter in Book/Report/Conference proceedingConference contribution

54

Research output: Chapter in Book/Report/Conference proceedingConference contribution