I agree that this site is using cookies. You can find further informations here.
X
Reger, Giles
102  results:
Search for persons X
?
1

ALASCA: Reasoning in Quantified Linear Arithmetic:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Korovin, Konstantin ; Kovács, Laura ; Reger, Giles.. - p. 647-665 , 2023
Link: https://doi.org/10.1007/..
 
?
2

A Toolkit for Automated Testing of Dafny:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Fedchin, Aleksandr ; Dean, Tyler ; Foster, Jeffrey S.... - p. 397-413 , 2023
Link: https://doi.org/10.1007/..
 
?
3

The Rapid Software Verification Framework:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Georgiou, Pamina ; Gleiss, Bernhard ; Bhayat, Ahmed... - p. 255-260 , 2022
Link: https://doi.org/10.34727..
 
?
4

Lemmaless Induction in Trace Logic:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Bhayat, Ahmed ; Georgiou, Pamina ; Eisenhofer, Clemens.. - p. 191-208 , 2022
Link: https://doi.org/10.1007/..
 
?
5

Position Paper: Towards a Hybrid Approach to Protect Agains..:

, In: 2022 IEEE Secure Development Conference (SecDev),
Alshmrany, Kaled ; Bhayat, Ahmed ; Braube, Franz... - p. 52-58 , 2022
Link: https://doi.org/10.1109/..
 
?
6

ESBMC-CHERI: towards verification of C programs for CHERI p..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Brauße, Franz ; Shmarov, Fedor ; Menezes, Rafael... - p. 773-776 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Getting Saturated with Induction:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura.. - p. 306-322 , 2022
Link: https://doi.org/10.1007/..
 
?
8

To test, or not to test: A proactive approach for deciding ..:

, In: 2022 IEEE International Conference on Big Data (Big Data),
Javed, Omar ; Singh, Prashant ; Reger, Giles. - p. 4758-4767 , 2022
Link: https://doi.org/10.1109/..
 
?
9

From parametric trace slicing to rule systems:

Reger, Giles ; Rydeheard, David
International Journal on Software Tools for Technology Transfer.  23 (2021)  2 - p. 209-228 , 2021
Link: https://doi.org/10.1007/..
 
?
10

A taxonomy for classifying runtime verification tools:

Falcone, Yliès ; Krstić, Srđan ; Reger, Giles.
International Journal on Software Tools for Technology Transfer.  23 (2021)  2 - p. 255-284 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Making Theory Reasoning Simpler:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei - p. 164-180 , 2021
Link: https://doi.org/10.1007/..
 
?
12

lazyCoP: Lazy Paramodulation Meets Neurally Guided Search:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Rawson, Michael ; Reger, Giles - p. 187-199 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Eliminating Models During Model Elimination:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Rawson, Michael ; Reger, Giles - p. 250-265 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Frontiers of Combining Systems: 13th International Symposiu.. 

Lecture Notes in Artificial Intelligence, 12941
Konev, Boris ; Reger, Giles - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
15

A Knuth-Bendix-Like Ordering for Orienting Combinator Equat..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Bhayat, Ahmed ; Reger, Giles - p. 259-277 , 2020
Link: https://doi.org/10.1007/..
 
1-15