Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Scott D. Stoller

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Runtime Verification With Particle Filtering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Invariant Rules for Software Producibility and Assurance

2010English

Mining Relationship-Based Access Control Policies

2017English

Detecting Global Predicates in Distributed Systems With Clocks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Software Monitoring With Bounded Overhead

2008 IEEE International Symposium on Parallel and Distributed Processing
2008English

A Bound on Attacks on Authentication Protocols

2002English

Cryptographic Support for Fault-Tolerant Distributed Computing

1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy