Conferences in DBLP

(rv)
2008 (conf/rv/2008)

1. 
   A Smell of Orchids. [Citation Graph (, )][DBLP]
   
   
2. 
   Runtime Certification. [Citation Graph (, )][DBLP]
   
   
3. 
   Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. [Citation Graph (, )][DBLP]
   
   
4. 
   Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. [Citation Graph (, )][DBLP]
   
   
5. 
   Forays into Sequential Composition and Concatenation in Eagle. [Citation Graph (, )][DBLP]
   
   
6. 
   Checking Traces for Regulatory Conformance. [Citation Graph (, )][DBLP]
   
   
7. 
   Deadlocks: From Exhibiting to Healing. [Citation Graph (, )][DBLP]
   
   
8. 
   A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. [Citation Graph (, )][DBLP]
   
   
9. 
   Property Patterns for Runtime Monitoring of Web Service Conversations. [Citation Graph (, )][DBLP]
   
   
10. 
    Runtime Monitoring of Object Invariants with Guarantee. [Citation Graph (, )][DBLP]
    
    
11. 
    A Lightweight Container Architecture for Runtime Verification. [Citation Graph (, )][DBLP]