Name Card

Full name Familienname, Vorname
Reger, Giles
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 26 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Georgiou-2022-The RAPID Software Verification Framework-vor.pdf.jpgGeorgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed ; Rawson, Michael ; Kovacs, Laura ; Reger, Giles The RAPID Software Verification FrameworkKonferenzbeitrag Inproceedings Oct-2022
2Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
3Rawson-2021-A Multithreaded Vampire with Shared Persistent Grounding-vor.pdf.jpgRawson, Michael ; Reger, Giles A Multithreaded Vampire with Shared Persistent GroundingInproceedings Konferenzbeitrag Oct-2021
4Bartocci, Ezio ; Falcone, Yliès ; Reger, Giles International Competition on Runtime Verification (CRV)Konferenzbeitrag Inproceedings2019
5Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
6Reger, Giles ; Suda, Martin Incremental Solving with VampireKonferenzbeitrag Inproceedings 2018
7Reger, Giles ; Suda, Martin Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
8Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles Introduction to Runtime VerificationBuchbeitrag Book Contribution2018
9Reger, Giles ; Suda, Martin ; Voronkov, Andrei Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
10Reger, Giles ; Suda, Martin ; Voronkov, Andrei Instantiation and Pretending to be an SMT Solver with VampirePräsentation Presentation2017
11Reger, Giles ; Suda, Martin ; Voronkov, Andrei Recent Improvements of Theory Reasoning in VampirePräsentation Presentation2017
12Reger, Giles ; Suda, Martin Local proofs and AVATARPräsentation Presentation2017
13Reger, Giles ; Suda, Martin Incremental Solving with VampirePräsentation Presentation2017
14Reger, Giles ; Suda, Martin Measuring progress to predict success: Can a good proof strategy be evolved?Präsentation Presentation2017
15Reger, Giles ; Suda, Martin Set of Support for Theory ReasoningKonferenzbeitrag Inproceedings 2017
16Reger, Giles ; Suda, Martin Checkable Proofs for First-Order Theorem ProvingKonferenzbeitrag Inproceedings 2017
17Reger, Giles ; Suda, Martin ; Voronkov, Andrei Testing a Saturation-Based Theorem Prover: Experiences and ChallengesKonferenzbeitrag Inproceedings 2017
18Reger, Giles ; Suda, Martin Global Subsumption Revisited (Briefly)Konferenzbeitrag Inproceedings 2017
19Reger, Giles ; Suda, Martin When Should We Add Theory Axioms And Which Ones?Präsentation Presentation2016
20Reger, Giles ; Suda, Martin Revisiting Global SubsumptionPräsentation Presentation2016