Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Run-Time Security Traceability for Evolving Systems† | 5 | 0.50 | 2011 |
| Runtime verification of cryptographic protocols | 3 | 0.36 | 2010 |
| Runtime verification using a temporal description logic | 18 | 0.78 | 2009 |
| Matching Trace Patterns with Regular Policies | 0 | 0.34 | 2009 |