13. FORTE / 20. PSTV 2000: Pisa, Italy

@proceedings{DBLP:conf/forte/2000,
  editor    = {Tommaso Bolognesi and
               Diego Latella},
  title     = {Formal Techniques for Distributed System Development, FORTE/PSTV
               2000, IFIP TC6 WG6.1 Joint International Conference on Formal
               Description Techniques for Distributed Systems and Communication
               Protocols (FORTE XIII) and Protocol Specification, Testing and
               Verification (PSTV XX), October 10-13, 2000, Pisa, Italy},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {183},
  year      = {2000},
  isbn      = {0-7923-7968-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part One: Verification and Theorem Proving

• Holger Pfeifer: Formal Verification of the TTP Group Membership Algorithm. 3-18 BibTeX
• Mark A. Smith, Nils Klarlund: Verification of a Sliding Window Protocol Using IOA and MONA. 19-34 BibTeX
• Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea: A Priori Verification of Reactive Systems. 35-50 BibTeX

Part Two: Test Generation

• Kousha Etessami, Mihalis Yannakakis: From Rule-based to Automata-based Testing. 53-68 BibTeX
• Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha: Integrated System Interoperability Testing with Applications to VOIP. 69-84 BibTeX
• Alexandre Petrenko, Nina Yevtushenko: On Test Derivation from Partial Specifications. 85-102 BibTeX

Part Three: Model Checking - Theory

• Antonella Santone: Compositionality for Improving Model Checking. 105-120 BibTeX
• Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. 121-136 BibTeX

Part Four: Model Checking - Applications

• Doron Peled: Specification and Verification of Message Sequence Charts. 139-154 BibTeX
• Luca Durante, Riccardo Sisto, Adriano Valenzano: A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. 155-170 BibTeX
• Giorgio Delzanno: Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. 171-186 BibTeX

Part Five: Multicast Protocol Analysis and Simulation

• Ahmed Helmy, Sandeep K. S. Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu: Systematic Performance Evaluation of Multipoint Protocols. 189-204 BibTeX
• Justin Templemore-Finlayson, Eugen Borcoci: Simulating Multicast Transport Protocols in Estelle. 205-218 BibTeX
• Thomas Steinert, Georg Rößler: Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. 219-234 BibTeX

Part Six: Exhaustive and Probabilistic Testing

• Ulrich Ultes-Nitsche: Satisfaction up to Liveness. 237-248 BibTeX
• Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah: Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. 249-264 BibTeX

Part Seven: Hardware Specification, Implementation and Testing

• Ji He, Kenneth J. Turner: Verifying and Testing Asynchronous Circuits using LOTOS. 267-283 BibTeX
• Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi: Hardware implementation of Concurrent Periodic EFSM's. 285-300 BibTeX
• Basant Rajan, R. K. Shyamasundar: Modeling Distributed Embedded Systems in Multiclock ESTEREL. 301-316 BibTeX

Part Eight: Formal Semantics

• Marco Bernardo, Marina Ribaudo, Nadia Busi: Compact Net Semantics for Process Algebras. 319-334 BibTeX
• Michael von der Beeck: A Concise Compositionalj Statecharts Semantics Definition. 335-350 BibTeX
• Alberto Verdejo, Narciso Martí-Oliet: Implementing CCS in Maude. 351-366 BibTeX

Part Nine: Invited Papers on Verification and Security

• John M. Rushby: From Refutation to Verification. 369-374 BibTeX
• Michele Boreale, Rocco De Nicola, Rosario Pugliese: Process Algebraic Analysis of Cryptographic Protocols. 375-392 BibTeX
• Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. 393-408 BibTeX