More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > FORTE
> Home > Conferences and Workshops > PSTV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2000
Tommaso Bolognesi, Diego Latella:
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. IFIP Conference Proceedings 183, Kluwer 2000, ISBN 0-7923-7968-3

Part One: Verification and Theorem Proving

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Pfeifer00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Pfeifer00
Holger Pfeifer:
Formal Verification of the TTP Group Membership Algorithm. FORTE 2000: 3-18
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SmithK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SmithK00
Mark A. Smith, Nils Klarlund:
Verification of a Sliding Window Protocol Using IOA and MONA. FORTE 2000: 19-34
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Majster-CederbaumSS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Majster-CederbaumSS00
Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea:
A Priori Verification of Reactive Systems. FORTE 2000: 35-50

Part Two: Test Generation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/EtessamiY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/EtessamiY00
Kousha Etessami, Mihalis Yannakakis:
From Rule-based to Automata-based Testing. FORTE 2000: 53-68
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/GriffethHLS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GriffethHLS00
Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha:
Integrated System Interoperability Testing with Applications to VOIP. FORTE 2000: 69-84
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/PetrenkoY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/PetrenkoY00
Alexandre Petrenko, Nina Yevtushenko:
On Test Derivation from Partial Specifications. FORTE 2000: 85-102

Part Three: Model Checking - Theory

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Santone00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Santone00
Antonella Santone:
Compositionality for Improving Model Checking. FORTE 2000: 105-120
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HaddadIA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HaddadIA00
Serge Haddad, Jean-Michel Ilié, Khalil Ajami:
A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136

Part Four: Model Checking - Applications

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Peled00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Peled00
Doron A. Peled:
Specification and Verification of Message Sequence Charts. FORTE 2000: 139-154
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/DuranteSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DuranteSV00
Luca Durante, Riccardo Sisto, Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Delzanno00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Delzanno00
Giorgio Delzanno:
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE 2000: 171-186

Part Five: Multicast Protocol Analysis and Simulation

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HelmyGECY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HelmyGECY00
Ahmed Helmy, Sandeep Gupta, Deborah Estrin, Alberto Cerpa, Yan Yu:
Systematic Performance Evaluation of Multipoint Protocols. FORTE 2000: 189-204
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Templemore-FinlaysonB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Templemore-FinlaysonB00
Justin Templemore-Finlayson, Eugen Borcoci:
Simulating Multicast Transport Protocols in Estelle. FORTE 2000: 205-218
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/SteinertR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/SteinertR00
Thomas Steinert, Georg Rößler:
Generation of Realistic Signalling Traffic in an ISDN Load Test System using SDL User Models. FORTE 2000: 219-234

Part Six: Exhaustive and Probabilistic Testing

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Ultes-Nitsche00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Ultes-Nitsche00
Ulrich Ultes-Nitsche:
Satisfaction up to Liveness. FORTE 2000: 237-248
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HaoLSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HaoLSV00
Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah:
Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. FORTE 2000: 249-264

Part Seven: Hardware Specification, Implementation and Testing

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HeT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HeT00
Ji He, Kenneth J. Turner:
Verifying and Testing Asynchronous Circuits using LOTOS. FORTE 2000: 267-283
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/KatagiriKYHT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KatagiriKYHT00
Hisaaki Katagiri, Masayuki Kirimura, Keiichi Yasumoto, Teruo Higashino, Kenichi Taniguchi:
Hardware implementation of Concurrent Periodic EFSM's. FORTE 2000: 285-300
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/RajanS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RajanS00
Basant Rajan, R. K. Shyamasundar:
Modeling Distributed Embedded Systems in Multiclock ESTEREL. FORTE 2000: 301-316

Part Eight: Formal Semantics

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BernardoRB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BernardoRB00
Marco Bernardo, Marina Ribaudo, Nadia Busi:
Compact Net Semantics for Process Algebras. FORTE 2000: 319-334
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Beeck00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Beeck00
Michael von der Beeck:
A Concise Compositionalj Statecharts Semantics Definition. FORTE 2000: 335-350
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/VerdejoM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/VerdejoM00
Alberto Verdejo, Narciso Martí-Oliet:
Implementing CCS in Maude. FORTE 2000: 351-366

Part Nine: Invited Papers on Verification and Security

- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/Rushby00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Rushby00
John M. Rushby:
From Refutation to Verification. FORTE 2000: 369-374
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BorealeNP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BorealeNP00
Michele Boreale, Rocco De Nicola, Rosario Pugliese:
Process Algebraic Analysis of Cryptographic Protocols. FORTE 2000: 375-392
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BenerecettiGPS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BenerecettiGPS00
Massimo Benerecetti, Fausto Giunchiglia, Maurizio Panti, Luca Spalazzi:
A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000: 393-408

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.