default search action

combined dblp search
author search
venue search
publication search

ask others

8th RV 2008: Budapest, Hungary

> Home > Conferences and Workshops > RV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rv/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2008
Martin Leucker:
Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Lecture Notes in Computer Science 5289, Springer 2008, ISBN 978-3-540-89246-5
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Goubault-LarrecqO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Goubault-LarrecqO08
Jean Goubault-Larrecq, Julien Olivain:
A Smell of Orchids. 1-20
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Rushby08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Rushby08
John M. Rushby:
Runtime Certification. 21-35
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Jurjens08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Jurjens08
Jan Jürjens:
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects. 36-50
- view
  authority control:
- export record
  dblp key:
  - conf/rv/RosuCB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/RosuCB08
Grigore Rosu, Feng Chen, Thomas Ball:
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. 51-68
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BaranB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BaranB08
Joachim Baran, Howard Barringer:
Forays into Sequential Composition and Concatenation in Eagle. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DineshJLS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DineshJLS08
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky:
Checking Traces for Regulatory Conformance. 86-103
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Nir-BuchbinderTU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Nir-BuchbinderTU08
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur:
Deadlocks: From Exhibiting to Healing. 104-118
- view
  authority control:
- export record
  dblp key:
  - conf/rv/JulaC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/JulaC08
Horatiu Jula, George Candea:
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. 119-136
- view
  authority control:
- export record
  dblp key:
  - conf/rv/SimmondsCNLO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SimmondsCNLO08
Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations. 137-157
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GopinathanR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GopinathanR08
Madhu Gopinathan, Sriram K. Rajamani:
Runtime Monitoring of Object Invariants with Guarantee. 158-172
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BelhaouariP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BelhaouariP08
Hakim Belhaouari, Frédéric Peschanski:
A Lightweight Container Architecture for Runtime Verification. 173-187

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.