No photo of Giles Reger

Giles Reger

Dr

 https://orcid.org/0000-0001-6353-952X

Search results

  • 2024

    LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling

    Pirzada, M. A. A., Bhayat, A., Cordeiro, L. & Reger, G., 27 Oct 2024, 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    98 Downloads (Pure)
  • 2023

    ALASCA: Reasoning in Quantified Linear Arithmetic

    Korovin, K., Kovács, L., Reger, G., Schoisswohl, J. & Voronkov, A., 22 Apr 2023, Proceedings of the 29th on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23). Springer Cham, p. 647-665 Chapter 33. (Tools and Algorithms for the Construction and Analysis of Systems; vol. 13993).

    Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

    Open Access
  • 2022

    ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC

    Brauße, F., Shmarov, F., Menezes, R., Gadelha, M. R., Korovin, K., Reger, G. & Cordeiro, L., 27 May 2022, (Accepted/In press) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities

    Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • 2020

    A Combinator-Based Superposition Calculus for Higher-Order Logic

    Bhayat, A. & Reger, G., 4 Jul 2020, Automated Reasoning. Springer Nature, Vol. 12166. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • 2019

    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/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    321 Downloads (Pure)

  • 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/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    318 Downloads (Pure)

  • 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/Conference proceeding › Conference contribution › peer-review

    Open Access

  • 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/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    262 Downloads (Pure)

  • Restricted Combinatory Unification

    Bhayat, A. & Reger, G., 20 Aug 2019, (E-pub ahead of print) Automated Deduction – CADE 27. (Lecture Notes in Computer Science; vol. 11716).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    217 Downloads (Pure)

  • Specification of temporal properties of functions for runtime verification

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

    Research output: Contribution to conference › Paper › peer-review

  • 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/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    185 Downloads (Pure)

  • VyPR2: A framework for runtime verification of python web services

    Dawes, J. H., Reger, G., Franzoni, G., Pfeiffer, A. & Govi, G., 3 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2018

    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/Conference proceeding › Chapter › peer-review

    Open Access

  • A Taxonomy for Classifying Runtime Verification Tools

    Falcone, Y., Krstic, S., Reger, G. & Traytel, D., 2018, The 18th International Conference on Runtime Verification. p. 241-262 21 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    272 Downloads (Pure)

  • COST action IC1402 runtime verification beyond monitoring

    Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G. & Stolz, V., 2018, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). Springer Nature, p. 18-26 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Dynamic strategy priority: Empower the strong and abandon the weak

    Rawson, M. & Reger, G., 1 Jan 2018, In: CEUR Workshop Proceedings. 2162, p. 58-71 14 p.

    Research output: Contribution to journal › Conference article › peer-review

  • From Parametric Trace Slicing to Rule Systems

    Reger, G. & Rydeheard, D., 2018, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). p. 334-352 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    125 Downloads (Pure)

  • Higher-order Reasoning Vampire Style

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

    Research output: Contribution to conference › Abstract

  • Introduction to runtime verification

    Bartocci, E., Falcone, Y., Francalanza, A. & Reger, G., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 1-33 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

    Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

  • Monitoring events that carry data

    Havelund, K., Reger, G., Thoma, D. & Zălinescu, E., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 61-102 42 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10457 LNCS).

    Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

  • Set of support for higher-order reasoning

    Bhayat, A. & Reger, G., 1 Jan 2018, In: CEUR Workshop Proceedings. 2162, p. 2-16 15 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Some thoughts about FOL-translations in vampire

    Reger, G., 1 Jan 2018, In: CEUR Workshop Proceedings. 2095, p. 11-25 15 p.

    Research output: Contribution to journal › Conference article › peer-review

  • Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning

    Reger, G., Voronkov, A. & Suda, M., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer Nature, p. 3-22 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    146 Downloads (Pure)
  • 2017

    A story of parametric trace slicing, garbage and static analysis

    Reger, G., 23 Aug 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 254, p. 1-14 14 p.

    Research output: Contribution to journal › Conference article › peer-review

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

    Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E. & Zhang, Y., 2017, In: International Journal on Software Tools for Technology Transfer. p. 1-40 40 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Instantiation and pretending to be an SMT solver with VAMPIRE

    Reger, G., Suda, M. & Voronkov, A., 1 Jan 2017, In: CEUR Workshop Proceedings. 1889

    Research output: Contribution to journal › Conference article › peer-review

  • Preface

    Lahiri, S. & Reger, G., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10548 LNCS, p. V-VI

    Research output: Contribution to journal › Editorial › peer-review

  • Runtime verification logics a language design perspective

    Havelund, K. & Reger, G., 1 Jan 2017, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, p. 310-338 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10460).

    Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

  • Set of Support for Theory Reasoning

    Reger, G. & Suda, M., 4 Jun 2017, 12th International Workshop on the Implementation of Logics .

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    8 Downloads (Pure)

  • Testing a Saturation-Based Theorem Prover: Experiences and Challenges

    Reger, G., Suda, M. & Voronkov, A., 2017, 11th International Conference on Tests & Proofs .

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    312 Downloads (Pure)
  • 2016

    An overview of MarQ

    Reger, G., 1 Jan 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer Nature, p. 498-503 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • AVATAR Modulo Theories

    Bjøner, N., Reger, G., Suda, M. & Voronkov, A., 2016, 2nd Global Conference on Artificial Intelligence . p. 39-52 14 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    72 Downloads (Pure)

  • Considering Typestate Verification for Quantified Event Automata

    Reger, G., 14 Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    192 Downloads (Pure)

  • Finding Finite Models in Multi-Sorted First-Order Logic

    Reger, G., Suda, M. & Voronkov, A., 11 Jun 2016, Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings . Creuignou, N. & Le Berre, D. (eds.). Cham: Springer Nature, p. 323-341 (Theory and Applications of Satisfiability Testing – SAT 2016; vol. 9710).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    184 Downloads (Pure)

  • New Techniques in Clausal Form Generation

    Reger, G., Suda, M. & Voronkov, A., 29 Sept 2016, 2nd Global Conference on Artificial Intelligence . p. 11-23 13 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    239 Downloads (Pure)

  • Selecting the selection

    Reger, G., Suda, M., Voronkov, A. & Hoder, K., 22 Mar 2016, (Accepted/In press). 16 p.

    Research output: Contribution to conference › Paper › peer-review

  • Selecting the selection

    Hoder, K., Reger, G., Suda, M. & Voronkov, A., 12 Jun 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Nature, p. 313-329 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • The vampire and the FOOL

    Kotelnikov, E., Kovács, L., Reger, G. & Voronkov, A., 18 Jan 2016, CPP 2016 - Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2016. New York: Association for Computing Machinery, p. 37-48 12 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Third International Competition on Runtime Verification CRV 2016

    Reger, G., Hallé, S. & Falcone, Y., 2016, Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings . Falcone, Y. & Sanchez, C. (eds.). Cham: Springer Nature, p. 21-37 (Lecture notes in computer science; vol. 10012).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    173 Downloads (Pure)

  • What is a Trace? A Runtime Verification Perspective

    Reger, G. & Havelund, K., 2016, ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. p. 339-355 17 p. (Lecture Notes in Computer Science; vol. 9953).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    341 Downloads (Pure)
  • 2015

    Automata-based Pattern Mining from Imperfect Traces

    Reger, G., Barringer, H. & Rydeheard, D., Jan 2015, ACM SIGSOFT Software Engineering Notes. USA: Association for Computing Machinery, p. 1-8 8 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

    File
    133 Downloads (Pure)

  • Cooperating Proof Attempts

    Reger, G., Tishkovsky, D. & Voronkov, A., 25 Jul 2015, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Springer Nature, p. 339-355 17 p. (CADE: International Conference on Automated Deduction).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • From first-order temporal logic to parametric trace slicing

    Reger, G. & Rydeheard, D., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, Vol. 9333. p. 216-232 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • MARQ monitoring at runtime with QEA

    Reger, G., Cruz, H. C. & Rydeheard, D., 2015, Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Springer Nature, Vol. 9035. p. 596-610 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9035).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Playing with AVATAR

    Reger, G., Suda, M. & Voronkov, A., 1 Aug 2015, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Felty, A. & Middeldorp, A. (eds.). Springer Nature, p. 399-415 17 p.

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Second international competition on runtime verification CRV 2015

    Falcone, Y., Nićković, D., Reger, G. & Thoma, D., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, Vol. 9333. p. 405-422 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • Specification of parametric monitors quantified event automata versus rule systems

    Havelund, K. & Reger, G., 5 Jun 2015, Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. Springer Nature, p. 151-189 39 p.

    Research output: Chapter in Book/Conference proceeding › Chapter

  • Suggesting edits to explain failing traces

    Reger, G., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Nature, Vol. 9333. p. 287-293 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

    Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

  • The Vampire and the FOOL

    Kotelnikov, E., Kovács, L., Reger, G. & Voronkov, A., 2015, In: CoRR. abs/1510.04821

    Research output: Contribution to journal › Article › peer-review