Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/cri/BadgerLKBLHPP17,
  author       = {Jonathan C. Badger and
                  Eric R. LaRose and
                  Ross Kleiman and
                  Richard L. Berg and
                  James G. Linneman and
                  Richard Hansen and
                  David Page and
                  Peggy L. Peissig},
  title        = {{SCCS} for Detection of Differences in Brand and Generic Adverse Drug
                  Events},
  booktitle    = {Summit on Clinical Research Informatics, {CRI} 2017, San Francisco,
                  CA, USA, March 27-30, 2017},
  publisher    = {{AMIA}},
  year         = {2017},
  url          = {http://knowledge.amia.org/amia-64484-cri2017-1.3520710/t004-1.3521377/t004-1.3521378/a095-1.3521529},
  timestamp    = {Wed, 20 Jun 2018 17:09:15 +0200},
  biburl       = {https://dblp.org/rec/conf/cri/BadgerLKBLHPP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sc/LindbergTYCHLCWNP94,
  author       = {Donald A. B. Lindberg and
                  John C. Toole and
                  Paul R. Young and
                  John S. Cavallini and
                  Lee B. Holcomb and
                  Richard J. Linn Jr. and
                  George R. Cotter and
                  Helen M. Wood and
                  Joan H. Novak and
                  Alexis T. Poliakoff},
  editor       = {Gary M. Johnson},
  title        = {The High Performance Computing and Communication {(HPCC)} Program:
                  technologies for the National Information Infrastructure (panel)},
  booktitle    = {Proceedings Supercomputing '94, Washington, DC, USA, November 14-18,
                  1994},
  pages        = {279},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {http://dl.acm.org/citation.cfm?id=602821},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/sc/LindbergTYCHLCWNP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cn/SijelmassiL91,
  author       = {Rachid Sijelmassi and
                  Richard J. Linn Jr.},
  title        = {Guidelines for Using Estelle to Specify {OSI} Services and Protocols},
  journal      = {Comput. Networks {ISDN} Syst.},
  volume       = {23},
  number       = {5},
  pages        = {343--362},
  year         = {1992},
  url          = {https://doi.org/10.1016/0169-7552(92)90012-F},
  doi          = {10.1016/0169-7552(92)90012-F},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/SijelmassiL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pstv/1992,
  editor       = {Richard J. Linn Jr. and
                  M. {\"{U}}mit Uyar},
  title        = {Protocol Specification, Testing and Verification XII, Proceedings
                  of the {IFIP} {TC6/WG6.1} Twelth International Symposium on Protocol
                  Specification, Testing and Verification, Lake Buena Vista, Florida,
                  USA, 22-25 June 1992},
  series       = {{IFIP} Transactions},
  volume       = {{C-8}},
  publisher    = {North-Holland},
  year         = {1992},
  isbn         = {0-444-89874-3},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cn/Linn89,
  author       = {Richard J. Linn Jr.},
  title        = {Conformance Testing for {OSI} Protocols},
  journal      = {Comput. Networks {ISDN} Syst.},
  volume       = {18},
  number       = {3},
  pages        = {203--219},
  year         = {1989},
  url          = {https://doi.org/10.1016/0169-7552(90)90134-E},
  doi          = {10.1016/0169-7552(90)90134-E},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/Linn89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsac/Linn89,
  author       = {Richard J. Linn Jr.},
  title        = {Conformance evaluation methodology and protocol testing},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {7},
  number       = {7},
  pages        = {1143--1158},
  year         = {1989},
  url          = {https://doi.org/10.1109/49.44561},
  doi          = {10.1109/49.44561},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/Linn89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FavreauLN89,
  author       = {Jean Philippe Favreau and
                  Richard J. Linn Jr. and
                  J. Stephen Nightingale},
  editor       = {Son T. Vuong},
  title        = {A Formal Multi-Layer Test Methodology and its Applications to {OSI}},
  booktitle    = {Formal Description Techniques, II, Proceedings of the {IFIP} {TC/WG6.1}
                  Second International Conference on Formal Description Techniques for
                  Distributed Systems and Communication Protocols, FORTE'89, Vancouver,
                  BC, Canada, 5-8 December, 1989},
  pages        = {375--392},
  publisher    = {North-Holland},
  year         = {1989},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/FavreauLN89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FavreauLG88,
  author       = {Jean Philippe Favreau and
                  Richard J. Linn Jr. and
                  Philip Gaudette},
  editor       = {Kenneth J. Turner},
  title        = {Application of Formal Description Techniques to Conformance Evaluation},
  booktitle    = {Formal Description Techniques, Proceedings of the First International
                  Conference on Formal Description Techniques, Stirling, Scotland, UK,
                  6-9 September, 1988},
  pages        = {295--309},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/FavreauLG88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/infocom/LinnF88,
  author       = {Richard J. Linn Jr. and
                  Jean Philippe Favreau},
  title        = {Application of formal description techniques to the specification
                  of distributed test systems},
  booktitle    = {Seventh Annual Joint Conference of the {IEEE} Computer and Communcations
                  Societies. Networks: Evolution or Revolution?, {INFOCOM} 1988, New
                  Orleans, LA, {USA}},
  pages        = {96--109},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/INFCOM.1988.12903},
  doi          = {10.1109/INFCOM.1988.12903},
  timestamp    = {Mon, 09 Aug 2021 14:54:02 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/LinnF88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cn/Linn86,
  author       = {Richard J. Linn Jr.},
  title        = {Testing to Assure Interworking of Implementations of {ISO/OSI} Protocols},
  journal      = {Comput. Networks},
  volume       = {11},
  pages        = {277--286},
  year         = {1986},
  url          = {https://doi.org/10.1016/0169-7552(86)90002-4},
  doi          = {10.1016/0169-7552(86)90002-4},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cn/Linn86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/ESTELLE85,
  author       = {Richard J. Linn Jr.},
  editor       = {Michel Diaz},
  title        = {The features and facilities of {ESTELLE:} a formal description technique
                  based upon an extended finite state machine model},
  booktitle    = {Protocol Specification, Testing and Verification V, Proceedings of
                  the {IFIP} {WG6.1} Fifth International Conference on Protocol Specification,
                  Testing and Verification, Toulouse-Moissac, France, June 10-13, 1985},
  pages        = {271--296},
  publisher    = {North-Holland},
  year         = {1985},
  timestamp    = {Mon, 07 Jan 2002 16:07:03 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/ESTELLE85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pstv/Linn84,
  author       = {Richard J. Linn Jr.},
  editor       = {Yechiam Yemini and
                  Robert E. Strom and
                  Shaula Yemini},
  title        = {An Evaluation of the {ICST} Test Architecture after Testing Class
                  4 Transport},
  booktitle    = {Protocol Specification, Testing and Verification IV, Proceedings of
                  the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
                  Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
  pages        = {611--621},
  publisher    = {North-Holland},
  year         = {1984},
  timestamp    = {Tue, 25 Feb 2003 15:13:25 +0100},
  biburl       = {https://dblp.org/rec/conf/pstv/Linn84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/LinnM83,
  author       = {Richard J. Linn Jr. and
                  W. H. McCoy},
  editor       = {Harry Rudin and
                  Colin H. West},
  title        = {Producing Tests for Implementations of {OSI} Protocols},
  booktitle    = {Protocol Specification, Testing, and Verification, III, Proceedings
                  of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
                  Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
                  Switzerland, 31 May - 2 June, 1983},
  pages        = {505--520},
  publisher    = {North-Holland},
  year         = {1983},
  timestamp    = {Sat, 07 Sep 2019 11:59:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/LinnM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/LinnN83,
  author       = {Richard J. Linn Jr. and
                  J. Stephen Nightingale},
  editor       = {Harry Rudin and
                  Colin H. West},
  title        = {Some Experience with Testing Tools for {OSI} Protocol Implementations},
  booktitle    = {Protocol Specification, Testing, and Verification, III, Proceedings
                  of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
                  Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
                  Switzerland, 31 May - 2 June, 1983},
  pages        = {521--531},
  publisher    = {North-Holland},
  year         = {1983},
  timestamp    = {Sun, 04 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/LinnN83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}