Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Groce
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Understanding Counterexamples With Explain
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Runtime Verification of Stochastic Systems
Runtime Verification of Stochastic, Faulty Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
BraceAssertion: Runtime Verification of Cyber-Physical Systems
Runtime Checking for Program Verification
Dependability Verification for Contextual/Runtime Goal Modelling
Runtime Verification With Particle Filtering
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
Runtime Adaptation for Actor Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science