Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/pstv/AkyildizCKK91,
  author       = {Ian F. Akyildiz and
                  Giovanni Chiola and
                  Daniel Kofman and
                  Hayri Korezlioglu},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Stochastic Petri Net Modeling of the {FDDI} Network Protocol},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {179--197},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/AkyildizCKK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BarSSE91,
  author       = {Udo B{\"{a}}r and
                  Martin Strecker and
                  Willi Stoll and
                  Wolfgang Effelsberg},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Presentation Layer Conformance Testing with {TTCN}},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {283--298},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BarSSE91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/BrinksmaTV91,
  author       = {Ed Brinksma and
                  Jan Tretmans and
                  Louis Verhaard},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {A Framework for Test Selection},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {233--248},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/BrinksmaTV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/CheungWX91,
  author       = {To{-}Yat Cheung and
                  Youwen Wu and
                  Xinming Ye},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Generating Test Sequences and their Degrees of Indeterminism for Protocols},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {301--316},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 04 Mar 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/CheungWX91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Cockburn91,
  author       = {Alistair Cockburn},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {A Formalization of Temporal Message-Flow Diagrams},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {59--74},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Cockburn91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/GallouziLO91,
  author       = {S. Gallouzi and
                  Luigi Logrippo and
                  Abdellatif Obaid},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {An expressive trace theory for {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {159--175},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/GallouziLO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Kwast91,
  author       = {Erik Kwast},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Towards Automatic Test Generation for Protocol Data Aspects},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {333--348},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Kwast91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/LamS91,
  author       = {Simon S. Lam and
                  A. Udaya Shankar},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {A Composition Theorem for Layered Systems},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {93--108},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/LamS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Leduc91,
  author       = {Guy Leduc},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Conformance Relation, Associated Equivalence, and New Canonical Tester
                  in {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {249--264},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Leduc91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/LeeL91,
  author       = {Do Y. Lee and
                  Jai{-}Yong Lee},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Test Generation for the Specification Written in Estelle},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {317--332},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/LeeL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/LinW91,
  author       = {Yow{-}Jian Lin and
                  Gene T. J. Wuu},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {A Constrained Approach for Temporal Intervals in the Analysis of Timed
                  Transitions},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {215--230},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/LinW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Quemada91,
  author       = {Juan Quemada},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Compressed State Space Representation in {LOTOS} with the Interleaved
                  Expansion},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {19--35},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Quemada91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/RicoB91,
  author       = {Nathalie Rico and
                  Gregor von Bochmann},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Performance Description and Analysis for Distributed Systems Using
                  a Variant of {LOTOS}},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {199--213},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/RicoB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Saqui-SannesC91,
  author       = {Pierre de Saqui{-}Sannes and
                  Jean{-}Pierre Courtiat},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {An Extension of the Multi-Way Synchronization Mechanism Concealed
                  by Estelle},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {75--89},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Saqui-SannesC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Sere91,
  author       = {Kaisa Sere},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Stepwise Refinement of Reactive Processor Farms},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {109--124},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Sere91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Souissi91,
  author       = {Younes Souissi},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {A Modular Approach for the Validation of Communication Protocols Using
                  {FIFO} Nets},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {143--158},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Souissi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/SunSLS91,
  author       = {Xiao Sun and
                  Yinan N. Shen and
                  Fabrizio Lombardi and
                  Donatella Sciuto},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Protocol Conformance Testing by Discriminating {UIO} Sequences},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {349--364},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/SunSLS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/ValmariT91,
  author       = {Antti Valmari and
                  Martti Tienari},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {An Improved Failures Equivalence for Finite-State Systems with a Reduction
                  Algorithm},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {3--18},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/ValmariT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/VazquezSSV91,
  author       = {Enrique V{\'{a}}zquez and
                  Pedro Sandoval and
                  Marifeli Sedano and
                  Juan Vinyes},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Automatic Implementation of {TP4/IP} with an Estelle Workstation.
                  Development Methodology and Performance Evaluation},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {125--139},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/VazquezSSV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/VelthuysMSZ91,
  author       = {Roelof Jan Velthuys and
                  Lothar F. Mackert and
                  J{\"{u}}rgen M. Schneider and
                  Georg Z{\"{o}}rntlein},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Structuring Mechanisms for the Formal Description Technique {CRS}},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {39--57},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/VelthuysMSZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Wvong91,
  author       = {Russil Wvong},
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {{LAPB} Conformance Testin Using Trace Analysis},
  booktitle    = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  pages        = {267--282},
  publisher    = {North-Holland},
  year         = {1991},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Wvong91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pstv/1991,
  editor       = {Bengt Jonsson and
                  Joachim Parrow and
                  Bj{\"{o}}rn Pehrson},
  title        = {Protocol Specification, Testing and Verification XI, Proceedings of
                  the {IFIP} {WG6.1} International Symposium on Protocol Specification,
                  Testing and Verification, Stockholm, Sweden, 18-20 June 1991},
  publisher    = {North-Holland},
  year         = {1991},
  isbn         = {0-444-89210-9},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pstv/1991.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.