default search action

combined dblp search
author search
venue search
publication search

ask others

7th RV 2007: Vancover, BC, Canada

> 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/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2007
Oleg Sokolsky, Serdar Tasiran:
Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4839, Springer 2007, ISBN 978-3-540-77394-8

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/rv/Eisner07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Eisner07
Cindy Eisner:
PSL for Runtime Verification: Theory and Practice. 1-8

AOP-Related Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/AvgustinovTM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AvgustinovTM07
Pavel Avgustinov, Julian Tibble, Oege de Moor:
On the Semantics of Matching Trace Monitoring Patterns. 9-21
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BoddenHLLN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BoddenHLLN07
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondrej Lhoták, Nomair A. Naeem:
Collaborative Runtime Verification with Tracematches. 22-37
- view
  authority control:
- export record
  dblp key:
  - conf/rv/DurrBA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/DurrBA07
Pascal Durr, Lodewijk Bergmans, Mehmet Aksit:
Static and Dynamic Detection of Behavioral Conflicts Between Aspects. 38-50
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HerzeelGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HerzeelGC07
Charlotte Herzeel, Kris Gybels, Pascal Costanza:
Escaping with Future Variables in HALO. 51-62
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KrugerMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KrugerMM07
Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini:
Runtime Verification of Interactions: From MSCs to Aspects. 63-74
- view
  authority control:
- export record
  dblp key:
  - conf/rv/OchoaGRG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/OchoaGRG07
Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates:
Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. 75-86
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ShinEK07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ShinEK07
Hiromasa Shin, Yusuke Endoh, Yoshio Kataoka:
ARVE: Aspect-Oriented Runtime Verification Environment. 87-96

Core Runtime Verification Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/BarringerGR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BarringerGR07
Howard Barringer, Dov M. Gabbay, David E. Rydeheard:
From Runtime Verification to Evolvable Systems. 97-110
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BarringerRH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BarringerRH07
Howard Barringer, David E. Rydeheard, Klaus Havelund:
Rule Systems for Run-Time Monitoring: From Eagleto RuleR. 111-125
- view
  authority control:
- export record
  dblp key:
  - conf/rv/0002LS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/0002LS07
Andreas Bauer, Martin Leucker, Christian Schallhart:
The Good, the Bad, and the Ugly, But How Ugly Is Ugly? 126-138
- view
  authority control:
- export record
  dblp key:
  - conf/rv/BlechSP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BlechSP07
Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions. 139-150
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MahoneyS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MahoneyS07
William R. Mahoney, William L. Sousan:
Instrumentation of Open-Source Software for Intrusion Detection. 151-163
- view
  authority control:
- export record
  dblp key:
  - conf/rv/SammapunLSR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SammapunLSR07
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr:
Statistical Runtime Checking of Probabilistic Properties. 164-175
- view
  authority control:
- export record
  dblp key:
  - conf/rv/Stolz07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/Stolz07
Volker Stolz:
Temporal Assertions with Parametrised Propositions. 176-187
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TasiranE07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TasiranE07
Serdar Tasiran, Tayfun Elmas:
Rollback Atomicity. 188-201
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ZeeKTR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ZeeKTR07
Karen Zee, Viktor Kuncak, Michael B. Taylor, Martin C. Rinard:
Runtime Checking for Program Verification. 202-213

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.