CAV 2001 Workshops
Volume 55,
Number 1,
2001
LACPV'2001 Logical Aspects of Cryptographic Protocol Verification
Paris,
France,
23 July 2001
Volume 55,
Number 2,
2001
RV'2001 Runtime Verification
Paris,
France,
23 July 2001
- Klaus Havelund, Grigore Rosu:
Preface.
Electronic Edition (link) BibTeX
- Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim:
Jass - Java with Assertions.
Electronic Edition (link) BibTeX
- Mireille Ducassé, Erwan Jahier:
Efficient Automated Trace Analysis: Examples with Morphine.
Electronic Edition (link) BibTeX
- Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer:
Dynamic Assertions Using TXP.
Electronic Edition (link) BibTeX
- Bernd Finkbeiner, Henny Sipma:
Checking Finite Traces using Alternating Automata.
Electronic Edition (link) BibTeX
- Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado:
DynaMICs: Comprehensive Support for Run-Time Monitoring.
Electronic Edition (link) BibTeX
- Marc Geilen:
On the Construction of Monitors for Temporal Logic Properties.
Electronic Edition (link) BibTeX
- Klaus Havelund, Grigore Rosu:
Monitoring Java Programs with Java PathExplorer.
Electronic Edition (link) BibTeX
- Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs.
Electronic Edition (link) BibTeX
- David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández:
Collecting and Analyzing Data from Distributed Control Programs.
Electronic Edition (link) BibTeX
- Jeremy W. Nimmer, Michael D. Ernst:
Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java.
Electronic Edition (link) BibTeX
- Stavros Tripakis, Sergio Yovine:
Timing Analysis and Code Generation of Vehicle Control Software using Taxys.
Electronic Edition (link) BibTeX
Volume 55,
Number 3,
2001
Workshop on Software Model Checking
Paris,
France,
23 July 2001
Copyright © Sat May 16 23:58:15 2009
by Michael Ley (ley@uni-trier.de)