Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Radu Grosu
Using Statistical Model Checking for Measuring Systems
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
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modular Specification of Hybrid Systems in Charon
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Monitoring With Bounded Overhead
2008 IEEE International Symposium on Parallel and Distributed Processing
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
