No photo of Giles Reger

Giles Reger

Dr

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

Search results

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

  • 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

  • 2017

    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

  • 2015

    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

  • 2013

    A Tutorial on Runtime Verification

    Reger, G., Falcone, Y. & Havelund, K., 2013, Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems. NATO Science for Peace and Security Series - D: Information and Communication Security: IOS Press, Vol. 34.

    Research output: Chapter in Book/Conference proceeding › Chapter

    File
    265 Downloads (Pure)