Electronic Notes in Theoretical Computer Science, Volume 55

CAV 2001 Workshops

Volume 55, Number 1, 2001

LACPV'2001 Logical Aspects of Cryptographic Protocol Verification
Paris, France, 23 July 2001

Jean Goubault-Larrecq:
Preface.
Electronic Edition (link) BibTeX
Roberto M. Amadio:
On the symbolic reduction of processes with cryptographic functions.
Electronic Edition (link) BibTeX
Michaël Rusinowitch:
The practice of cryptographic protocol verification.
Electronic Edition (link) BibTeX
Rafael Accorsi, David A. Basin, Luca Viganò:
Towards an awareness-based semantics for security protocol analysis.
Electronic Edition (link) BibTeX
Kamel Adi, Mourad Debbabi:
Abstract interpretation for proving secrecy properties in security protocols.
Electronic Edition (link) BibTeX
Luigia Carlucci Aiello, Fabio Massacci:
Attacking fair-exchange protocols: parallel models vs trace models.
Electronic Edition (link) BibTeX
Peter Selinger:
Models for an adversary-centric protocol logic.
Electronic Edition (link) BibTeX
Ramaswamy Ramanujam, S. P. Suresh:
Information based reasoning about security protocols.
Electronic Edition (link) BibTeX

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

Scott D. Stoller, Willem Visser:
Preface.
Electronic Edition (link) BibTeX
Cindy Eisner:
Model checking the garbage collection mechanism of SMV.
Electronic Edition (link) BibTeX
Frank Huch:
Model checking Erlang programs - abstracting the context-free structure.
Electronic Edition (link) BibTeX
Sarfraz Khurshid, Darko Marinov:
Checking Java implementation of a naming architecture using Testera.
Electronic Edition (link) BibTeX
Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue:
Trail-directed model checking.
Electronic Edition (link) BibTeX
Timm Schäfer, Alexander Knapp, Stephan Merz:
Model checking UML state machines and collaborations.
Electronic Edition (link) BibTeX
Marius Bozga, Susanne Graf, Laurent Mounier:
Automated validation of distributed software using the IF environment.
Electronic Edition (link) BibTeX
Kirsten Winter:
Model checking with abstract types.
Electronic Edition (link) BibTeX