default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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 2024-11-04 04:14 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:
