default search action

combined dblp search
author search
venue search
publication search

ask others

1st RV@CAV 2001: Paris, France

> Home > Conferences and Workshops > RV
> Home > Conferences and Workshops > CAV

Refine list

refinements active!

zoomed in on 13 of 13 records

view refined list in

export refined list as

showing all 13 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/rv/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2001
Klaus Havelund, Grigore Rosu:
Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001. Electronic Notes in Theoretical Computer Science 55(2), Elsevier 2001
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BartetzkoFMW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BartetzkoFMW01
Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim:
Jass - Java with Assertions. 103-117
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DucasseJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DucasseJ01
Mireille Ducassé, Erwan Jahier:
Efficient Automated Trace Analysis: Examples with Morphine. 118-133
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DudaniGJV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DudaniGJV01
Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer:
Dynamic Assertions Using TXP. 134-146
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FinkbeinerS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FinkbeinerS01
Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces using Alternating Automata. 147-163
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GatesRMD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GatesRMD01
Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado:
DynaMICs: Comprehensive Support for Run-Time Monitoring. 164-180
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Geilen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Geilen01
Marc Geilen:
On the Construction of Monitors for Temporal Logic Properties. 181-199
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HavelundR01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HavelundR01a
Klaus Havelund, Grigore Rosu:
Monitoring Java Programs with Java PathExplorer. 200-217
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimKLSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimKLSV01
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. 218-235
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KortenkampMSF01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KortenkampMSF01
David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández:
Collecting and Analyzing Data from Distributed Control Programs. 236-254
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NimmerE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NimmerE01
Jeremy W. Nimmer, Michael D. Ernst:
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. 255-276
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TripakisY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TripakisY01
Stavros Tripakis, Sergio Yovine:
Timing Analysis and Code Generation of Vehicle Control Software using Taxys. 277-286
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HavelundR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HavelundR01
Klaus Havelund, Grigore Rosu:
Preface. 287-288
no results

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.