Search dblp for Publications

export results for "toc:db/conf/pstv/pstv1990.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pstv/AlfanoK90,
  author       = {N. P. Alfano and
                  B. Kanungo},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Development of an international standard for conformance testing {X.25}
                  DTEs January 1988 - May 1989},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {129--140},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 12:07:46 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/AlfanoK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BilgicS90,
  author       = {Murat Bilgic and
                  Beh{\c{c}}et Sarikaya},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {An {ASN.1} encoder/decoder and its performance},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {141--154},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BilgicS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BolognesiLT90,
  author       = {Tommaso Bolognesi and
                  Ferdinando Lucidi and
                  Sebastiano Trigila},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {From timed Petri nets to timed {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {395--408},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BolognesiLT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/ChenCK90,
  author       = {Mon{-}Song Chen and
                  Yanghee Choi and
                  Aaron Kershenbaum},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Approaches utilizing segment overlap to minimize test sequences},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {85--98},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/ChenCK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/CockburnCHK90,
  author       = {Alistair Cockburn and
                  Wayne Citrin and
                  Rainer Hauser and
                  J{\"{u}}rg von K{\"{a}}nel},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {An environment for interactive design of communications architectures},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {115--127},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/CockburnCHK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/DukeRL90,
  author       = {Roger Duke and
                  Gordon A. Rose and
                  Anthony Lee},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Object-oriented protocol specification},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {325--338},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/DukeRL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/EijkKS90,
  author       = {Peter van Eijk and
                  Harro Kremer and
                  Marten van Sinderen},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {On the use of specification styles for automated protocol implementation
                  from {LOTOS} to {C}},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {157--168},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/EijkKS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/EswaraBVS90,
  author       = {Srinivas Eswara and
                  Tom Berriman and
                  Philip VanHoutte and
                  Beh{\c{c}}et Sarikaya},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Towards execution of {TTCN} test cases},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {99--112},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/EswaraBVS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/FantechiGR90,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Compositional logic semantics and {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {365--378},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/FantechiGR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/GaravelS90,
  author       = {Hubert Garavel and
                  Joseph Sifakis},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Compilation and verification of {LOTOS} specifications},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {379--394},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/GaravelS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Gotzhein90,
  author       = {Reinhard Gotzhein},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Specifying communication services with temporal logic},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {295--309},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Gotzhein90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Groote90,
  author       = {Jan Friso Groote},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Specification and verification of real time systems in {ACP}},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {261--274},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Groote90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/IchikawaYK90,
  author       = {Haruhisa Ichikawa and
                  Kenjiroh Yamanaka and
                  June Kato},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Incremental specification in {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {183--196},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/IchikawaYK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/KingS90,
  author       = {Paul King and
                  Graeme Smith},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Formalisation of behavioural and structural concepts for communication
                  systems},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {3--18},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 07 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/KingS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Langerak90,
  author       = {Rom Langerak},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Decomposition of functionality: a correctness-preserving {LOTOS} transformation},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {229--242},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Langerak90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Miller90,
  author       = {Raymond E. Miller},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Protocol verification: the first ten years, the next ten years; some
                  personal observations},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {199--225},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Miller90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/NomuraHT90,
  author       = {Shingo Nomura and
                  Toru Hasegawa and
                  Takashi Takizuka},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {A {LOTOS} compiler and process synchronization manager},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {169--182},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/NomuraHT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/OravaP90,
  author       = {Fredrik Orava and
                  Joachim Parrow},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Algebraic descriptions of mobile networks: An example},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {275--291},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/OravaP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Pachl90,
  author       = {Jan K. Pachl},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {A notation for specifying test selection criteria},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {71--84},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Pachl90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/RudieW90,
  author       = {Karen Rudie and
                  Walter Murray Wonham},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Supervisory control of communicating processes},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {243--257},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/RudieW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Sidhu90,
  author       = {Deepinder P. Sidhu},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {The first ten years, the next ten years},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {47--68},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Sidhu90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Snekkenes90,
  author       = {Einar Snekkenes},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Authentication in Open Systems},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {311--324},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Snekkenes90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Stomp90,
  author       = {Frank A. Stomp},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {A derivation of a broadcasting protocol using sequentially phased
                  reasoning},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {19--32},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Stomp90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Tenney90,
  author       = {Richard L. Tenney},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Modelling flow control in Estelle},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {33--44},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Tenney90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Vissers90,
  author       = {Chris A. Vissers},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {FDTs for open distributed systems, a retrospective and a prospective
                  view},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {341--362},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Vissers90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/West90,
  author       = {Colin H. West},
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {The first ten years, the next ten years},
  booktitle    = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  pages        = {411--414},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/West90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pstv/1990,
  editor       = {Luigi Logrippo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Protocol Specification, Testing and Verification X, Proceedings of
                  the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
                  Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
  publisher    = {North-Holland},
  year         = {1990},
  isbn         = {0-444-88810-1},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.