CAV 2001 Workshops

Volume 55, Number 1, 2001

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

• 
  Roberto M. Amadio: On the symbolic reduction of processes with cryptographic functions. 1-2
• 
  Michaël Rusinowitch: The practice of cryptographic protocol verification. 3-4
• 
  Rafael Accorsi, David A. Basin, Luca Viganò: Towards an awareness-based semantics for security protocol analysis. 5-24
• 
  Kamel Adi, Mourad Debbabi: Abstract interpretation for proving secrecy properties in security protocols. 25-50
• 
  Luigia Carlucci Aiello, Fabio Massacci: Attacking fair-exchange protocols: parallel models vs trace models. 51-68
• 
  Peter Selinger: Models for an adversary-centric protocol logic. 69-84
• 
  Ramaswamy Ramanujam, S. P. Suresh: Information based reasoning about security protocols. 85-100
• 
  Jean Goubault-Larrecq: Preface. 101-102

Volume 55, Number 2, 2001

RV'2001 Runtime Verification
Paris, France, 23 July 2001

• 
  Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim: Jass - Java with Assertions. 103-117
• 
  Mireille Ducassé, Erwan Jahier: Efficient Automated Trace Analysis: Examples with Morphine. 118-133
• 
  Surrendra Dudani, Joao Geada, Grzegorz Jakacki, Daniel Vainer: Dynamic Assertions Using TXP. 134-146
• 
  Bernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. 147-163
• 
  Ann Q. Gates, Steve Roach, Oscar Mondragon, Nelly Delgado: DynaMICs: Comprehensive Support for Run-Time Monitoring. 164-180
• 
  Marc Geilen: On the Construction of Monitors for Temporal Logic Properties. 181-199
• 
  Klaus Havelund, Grigore Rosu: Monitoring Java Programs with Java PathExplorer. 200-217
• 
  Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Java-MaC: a Run-time Assurance Tool for Java Programs. 218-235
• 
  David Kortenkamp, Tod Milam, Reid G. Simmons, Joaquín Lopez Fernández: Collecting and Analyzing Data from Distributed Control Programs. 236-254
• 
  Jeremy W. Nimmer, Michael D. Ernst: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. 255-276
• 
  Stavros Tripakis, Sergio Yovine: Timing Analysis and Code Generation of Vehicle Control Software using Taxys. 277-286
• 
  Klaus Havelund, Grigore Rosu: Preface. 287-288

Volume 55, Number 3, 2001

Workshop on Software Model Checking
Paris, France, 23 July 2001

• 
  Cindy Eisner: Model checking the garbage collection mechanism of SMV. 289-303
• 
  Frank Huch: Model checking Erlang programs - abstracting the context-free structure. 304-321
• 
  Sarfraz Khurshid, Darko Marinov: Checking Java implementation of a naming architecture using Testera. 322-342
• 
  Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue: Trail-directed model checking. 343-356
• 
  Timm Schäfer, Alexander Knapp, Stephan Merz: Model checking UML state machines and collaborations. 357-369
• 
  Marius Bozga, Susanne Graf, Laurent Mounier: Automated validation of distributed software using the IF environment. 370-381
• 
  Kirsten Winter: Model checking with abstract types. 382-393
• 
  Scott D. Stoller, Willem Visser: Preface. 394