Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Cristina Wilcox
Runtime Verification of Stochastic Systems
Related publications
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
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of C Memory Safety
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Checking for Program Verification
Third International Competition on Runtime Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of Component-Based Embedded Software
