Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Scott A. Smolka
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
The Concurrency Factory Software Development Environment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Monitoring With Bounded Overhead
2008 IEEE International Symposium on Parallel and Distributed Processing
Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems
Integrated Environment for Control Software Engineering
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks
