No photo of Giles Reger

Giles Reger

Dr

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

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)
  • 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)

  • 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 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

  • 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)

  • 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

    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

    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

  • 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

  • 2013

    A pattern-based approach to parametric specification mining

    Reger, G., Barringer, H. & Rydeheard, D., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. IEEE, p. 658-663 5 p.

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

    File
    145 Downloads (Pure)
  • 2012

    Quantified event automata: Towards expressive and efficient runtime monitors

    Barringer, H., Falcone, Y., Havelund, K., Reger, G. & Rydeheard, D., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Vol. 7436. p. 68-84 16 p.

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

    File
    223 Downloads (Pure)