default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pstv/pstv1989.bht:"
download as .bib file
@proceedings{DBLP:conf/pstv/1989,
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
publisher = {North-Holland},
year = {1990},
isbn = {0-444-88343-6},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BochmannD89,
author = {Gregor von Bochmann and
Michel Deslauriers},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Combining {ASN1} Support with the {LOTOS} Language},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {175--186},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BochmannD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ChanSNCDVSC89,
author = {R. Isaac Chan and
Brian R. Smith and
Gerald W. Neufeld and
Samuel T. Chanson and
W. B. Davis and
Son T. Vuong and
H. L. See and
S. Chan},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Software Environment for {OSI} Protocol Testing Systems},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {303--314},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ChanSNCDVSC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ChanVI89,
author = {Wendy Y. L. Chan and
Son T. Vuong and
Mabo Robert Ito},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {On Test Sequence Generation for Protocols},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {119--130},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ChanVI89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ChansonLPZ89,
author = {Samuel T. Chanson and
B. P. Lee and
N. J. Parakh and
Hua{-}Xin Zeng},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Design and Implementation of a Ferry Clip Test System},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {101--118},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ChansonLPZ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/CleavelandPS89,
author = {Rance Cleaveland and
Joachim Parrow and
Bernhard Steffen},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Semantics Based Verification Tool for Finite State Systems},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {287--302},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/CleavelandPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/DimitrijevicC89,
author = {Dragomir D. Dimitrijevic and
Mon{-}Song Chen},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Dynamic State Exploration in Quantitative Protocol Analysis},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {327--338},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/DimitrijevicC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Eijk89,
author = {Peter van Eijk},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {{LOTOS} Tools Based on the Cornell Synthesizer Generator},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {275--286},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Eijk89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/FaciLS89,
author = {Mohammed Faci and
Luigi Logrippo and
Bernard Stepien},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Formal Specifications of Telephone Systems in {LOTOS}},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {25--34},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/FaciLS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GburzynskiR89,
author = {Pawel Gburzynski and
Piotr Rudnicki},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {On Executable Specifications, Validation, and Testing of MAC-Level
Protocols},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {261--273},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GburzynskiR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Griethuysen89,
author = {J. J. van Griethuysen},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Open Distributed Processing},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {205--219},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Griethuysen89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/GustavssonR89,
author = {Jan Gustavsson and
Harry Rudin},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Including a Queue in a Formal-Description-Driven Protocol Performance
Analysis},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {247--258},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/GustavssonR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HayesMR89,
author = {Ian J. Hayes and
M. Mowbray and
Gordon A. Rose},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Signalling System No.7, The Network Layer},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {3--14},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HayesMR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HigashinoNKTM89,
author = {Teruo Higashino and
Kiyoshi Ninomiya and
Tomohisa Kimoto and
Kenichi Taniguchi and
Masaaki Mori},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Automated Verification of Equivalence of Protocol Machines},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {235--246},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HigashinoNKTM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/HolzmannP89,
author = {Gerard J. Holzmann and
Joanna Patti},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Validating {SDL} Specifications: an Experiment},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {317--326},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/HolzmannP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/JardJ89,
author = {Claude Jard and
Jean{-}Marc J{\'{e}}z{\'{e}}quel},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on
Parallel Machines},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {161--174},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/JardJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/KurshanPS89,
author = {Robert P. Kurshan and
Shlomit S. Pinter and
Baruch Solomon},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Extensions of Temporal Logic for Counting with Applications to Model
Verification},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {373--386},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/KurshanPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/LaiDP89,
author = {Richard Lai and
Tharam S. Dillon and
Ken R. Parker},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Verification Results for {ISO} {FTAM} Basic Protocol},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {223--234},
publisher = {North-Holland},
year = {1989},
timestamp = {Tue, 23 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pstv/LaiDP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Langerak89,
author = {Rom Langerak},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Testing Theory for {LOTOS} using Deadlock Detection},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {87--98},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Langerak89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Orava89,
author = {Fredrik Orava},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Verifying Safety and Deadlock Properties of Networks of Asynchronously
Communicating Processes},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {357--371},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Orava89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Phalippou89,
author = {Marc Phalippou},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Functional Specification for an {ISDN} Switching System: an Experience
using Estelle},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {15--24},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Phalippou89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Pradin-ChezalvielD89,
author = {Brigitte Pradin{-}Chezalviel and
Michel Diaz},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Axioms of Communication Using Temporal Logic with Past},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {387--399},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Pradin-ChezalvielD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/RoeverH89,
author = {Willem P. de Roever and
Jozef Hooman},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Design and verification in real-time distributed computing: an introduction
to compositional methods},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {37--56},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/RoeverH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ShenLD89,
author = {Yinan N. Shen and
Fabrizio Lombardi and
Anton T. Dahbura},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Protocol Conformance Testing Using Multiple {UIO} Sequences},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {131--143},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ShenLD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/ShiratoriKTN89,
author = {Norio Shiratori and
Hiroaki Kaminaga and
Kaoru Takahashi and
Shoichi Noguchi},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {A Verification Method for {LOTOS} Specifications and its Application},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {59--70},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/ShiratoriKTN89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/StroupGM89,
author = {Terry Stroup and
Norbert G{\"{o}}tz and
Michael Mendler},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Stepwise Refinement of Layered Protocols by Formal Program Development},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {71--85},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/StroupGM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Wezeman89,
author = {Clazien D. Wezeman},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {The {CO-OP} Method for Compositional Derivation of Conformance Testers},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {145--158},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Wezeman89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/WolzB89,
author = {Dietmar Wolz and
Paul Boehm},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Compilation of {LOTOS} Data Type Specifications},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {187--202},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/WolzB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/YuangK89,
author = {Maria C. Yuang and
Aaron Kershenbaum},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Parallel Protocol Verification: The Two-Phase Algorithm},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {339--353},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pstv/YuangK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-03-13 03:06 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
