Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giles Reger
Runtime Verification Past Experiences and Future Projections
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Third International Competition on Runtime Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
VyPR2: A Framework for Runtime Verification of Python Web Services
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
COST Action IC1402 Runtime Verification Beyond Monitoring
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Parametric Trace Slicing to Rule Systems
EasyChair Preprints
Revisiting Question Answering in Vampire
The Challenges of Evaluating a New Feature in Vampire
