22. FORTE 2002: Houston, Texas, USA

@proceedings{DBLP:conf/forte/2002,
  editor    = {Doron Peled and
               Moshe Y. Vardi},
  title     = {Formal Techniques for Networked and Distributed Systems - FORTE
               2002, 22nd IFIP WG 6.1 International Conference Houston, Texas,
               USA, November 11-14, 2002, Proceedings},
  booktitle = {FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2529},
  year      = {2002},
  isbn      = {3-540-00141-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Manuel Núñez, Ismael Rodríguez:
  Encoding PAMR into (Timed) EFSMs. 1-16
  Electronic Edition (Springer LINK) BibTeX
• Gregor von Bochmann:
  Submodule Construction for Specifications with Input Assumptions and Output Guarantees. 17-33
  Electronic Edition (Springer LINK) BibTeX
• Ronald W. Brower, Kenneth S. Stevens:
  Congruent Weak Conformance, a Partial Order among Processes. 34-49
  Electronic Edition (Springer LINK) BibTeX
• Farn Wang, Karsten Schmidt:
  Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. 50-64
  Electronic Edition (Springer LINK) BibTeX
• Dragan Bosnacki:
  A Nested Depth First Search Algorithm for Model Checking with Symmetry Reduction. 65-80
  Electronic Edition (Springer LINK) BibTeX
• Kenneth J. Turner, Qian Bing:
  Protocol Techniques for Testing Radiotherapy Accelerators. 81-96
  Electronic Edition (Springer LINK) BibTeX
• Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, Alain Le Guennec:
  System Test Synthesis from UML Models of Distributed Software. 97-113
  Electronic Edition (Springer LINK) BibTeX
• Peter H. Deussen, Stephan Tobies:
  Formal Test Purposes and the Validity of Test Cases. 114-129
  Electronic Edition (Springer LINK) BibTeX
• Stephan Reiff-Marganiec, Kenneth J. Turner:
  Use of Logic to Describe Enhanced Communications Services. 130-145
  Electronic Edition (Springer LINK) BibTeX
• Carolos Livadas, Nancy A. Lynch:
  A Formal Venture into Reliable Multicast Territory. 146-161
  Electronic Edition (Springer LINK) BibTeX
• Kenneth J. Turner:
  Modelling SIP Services Using CRESS. 162-177
  Electronic Edition (Springer LINK) BibTeX
• Teemu Tynjälä, Sari Leppänen, Vesa Luukkala:
  Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. 178-193
  Electronic Edition (Springer LINK) BibTeX
• Marta Z. Kwiatkowska, Gethin Norman:
  Verifying Randomized Byzantine Agreement. 194-209
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Armando, Luca Compagna:
  Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning. 210-225
  Electronic Edition (Springer LINK) BibTeX
• Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler:
  Visual Specifications for Modular Reasoning about Asynchronous Systems. 226-242
  Electronic Edition (Springer LINK) BibTeX
• Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani:
  Bounded Model Checking for Timed Systems. 243-259
  Electronic Edition (Springer LINK) BibTeX
• Daniel C. DuVarney, S. Purushothaman Iyer:
  C Wolf - A Toolset for Extracting Models from C Programs. 260-275
  Electronic Edition (Springer LINK) BibTeX
• Hubert Garavel, Frédéric Lang:
  NTIF: A General Symbolic Model for Communicating Sequential Processes with Data. 276-291
  Electronic Edition (Springer LINK) BibTeX
• Alberto Verdejo:
  Building Tools for LOTOS Symbolic Semantics in Maude. 292-307
  Electronic Edition (Springer LINK) BibTeX
• Dimitra Giannakopoulou, Flavio Lerda:
  From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata. 308-326
  Electronic Edition (Springer LINK) BibTeX
• Lars Michael Kristensen, Thomas Mailund:
  A Compositional Sweep-Line State Space Exploration Method. 327-343
  Electronic Edition (Springer LINK) BibTeX
• Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu:
  On Combining the Persistent Sets Method with the Covering Steps Graph Method. 344-359
  Electronic Edition (Springer LINK) BibTeX
• Victor Melamed, Harry Stuimer, David Wilkins, Lawrence Chang, Kevin Normoyle, Sutikshan Bhutani:
  Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor. 360-363
  Electronic Edition (Springer LINK) BibTeX
• Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch:
  Mechanical Translation of I/O Automaton Specifications into First-Order Logic. 364-368
  Electronic Edition (Springer LINK) BibTeX
• Thanyapat Sakunkonchak, Masahiro Fujita:
  Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. 369
  Electronic Edition (Springer LINK) BibTeX
• Robert Palmer, Ganesh Gopalakrishnan:
  A Distributed Partial Order Reduction Algorithm. 370
  Electronic Edition (Springer LINK) BibTeX