Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

9 results · clear filters Sort: newest oldest name

  1. International Conference on Runtime Verification (RV)
    series, 27 events, 2001 to 2026
    Computer and information sciences
    s10agt5
  2. International Workshop on Runtime Verification (RV)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e107epn
  3. International Workshop on Runtime Verification (RV)
    2008-03-30 · Budapest, Hungary
    Computer and information sciences
    e107enq
  4. International Workshop on Runtime Verification (RV)
    2007-03-13 · Vancouver, Canada
    Computer and information sciences
    e107ems
  5. Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV 2005, Edinburgh, UK, July 12, 2005
    2005 · Edinburgh, United Kingdom
    Computer and information sciences
    e11qq1n
  6. Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004
    2004 · Barcelona, Spain
    Computer and information sciences
    e120gpz
  7. Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003
    2003 · Boulder, United States
    Computer and information sciences
    e11qq0q
  8. Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002
    2002 · Copenhagen, Denmark
    Computer and information sciences
    e11qpzs
  9. Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001
    2001 · Paris, France
    Computer and information sciences
    e11qpyv

As JSON: https://labs.confref.org/api/search?series=s10agt5&from=2000&to=2009