Electronic Notes in Theoretical Computer Science, Volume 55

Volume 55, Number 1, 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

• 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

• 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
  

Last update Wed Feb 15 05:31:35 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page