BibTeX records: John F. Meyer

download as .bib file

@article{DBLP:journals/cacm/LalaLM20,
  author       = {Jaynarayan H. Lala and
                  Carl E. Landwehr and
                  John F. Meyer},
  title        = {Autonomous vehicle safety: lessons from aviation},
  journal      = {Commun. {ACM}},
  volume       = {63},
  number       = {9},
  pages        = {28--31},
  year         = {2020},
  url          = {https://doi.org/10.1145/3411053},
  doi          = {10.1145/3411053},
  timestamp    = {Sat, 18 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/LalaLM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Meyer13,
  author       = {John F. Meyer},
  title        = {Model-based evaluation of system resilience},
  booktitle    = {43rd Annual {IEEE/IFIP} Conference on Dependable Systems and Networks
                  Workshop, {DSN} Workshops 2013, Budapest, Hungary, June 24-27, 2013},
  pages        = {1--7},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSNW.2013.6615535},
  doi          = {10.1109/DSNW.2013.6615535},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Meyer13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/StevensCSAMSP04,
  author       = {Fabrice Stevens and
                  Tod Courtney and
                  Sankalp Singh and
                  Adnan Agbaria and
                  John F. Meyer and
                  William H. Sanders and
                  Partha P. Pal},
  title        = {Model-Based Validation of an Intrusion-Tolerant Information System},
  booktitle    = {23rd International Symposium on Reliable Distributed Systems {(SRDS}
                  2004), 18-20 October 2004, Florianpolis, Brazil},
  pages        = {184--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/RELDIS.2004.1353019},
  doi          = {10.1109/RELDIS.2004.1353019},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/StevensCSAMSP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Meyer01,
  author       = {John F. Meyer},
  title        = {Performability of an Algorithm for Connection Admission Control},
  journal      = {{IEEE} Trans. Computers},
  volume       = {50},
  number       = {7},
  pages        = {724--733},
  year         = {2001},
  url          = {https://doi.org/10.1109/12.936238},
  doi          = {10.1109/12.936238},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Meyer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Meyer00,
  author       = {John F. Meyer},
  title        = {Performability of Algorithms for Connection Admission Control},
  booktitle    = {2000 International Conference on Dependable Systems and Networks {(DSN}
                  2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
                  NY, {USA}},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ICDSN.2000.857533},
  doi          = {10.1109/ICDSN.2000.857533},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/Meyer00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/SandersM00,
  author       = {William H. Sanders and
                  John F. Meyer},
  editor       = {Ed Brinksma and
                  Holger Hermanns and
                  Joost{-}Pieter Katoen},
  title        = {Stochastic Activity Networks: Formal Definitions and Concepts},
  booktitle    = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
                  Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
                  July 3-7, 2000, Revised Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {2090},
  pages        = {315--343},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44667-2\_9},
  doi          = {10.1007/3-540-44667-2\_9},
  timestamp    = {Sat, 30 Sep 2023 09:39:42 +0200},
  biburl       = {https://dblp.org/rec/conf/eef/SandersM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atmn/MeyerMPP97,
  author       = {John F. Meyer and
                  Sergio Montagna and
                  Roberto Paglino and
                  A. Puglisi},
  editor       = {Demetres D. Kouvatsos},
  title        = {Analysis of an {ATM} Multiplexer with Prioritized Service},
  booktitle    = {Performance Analysis of {ATM} Networks, {IFIP} {TC6} {WG6.3/WG6.4}
                  Fifth International Workshop on Performance Modelling and Evaluation
                  of {ATM} Networks, July 21-23, 1997, Ilkley, {UK}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {157},
  pages        = {171--188},
  publisher    = {Kluwer},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 11:53:57 +0100},
  biburl       = {https://dblp.org/rec/conf/atmn/MeyerMPP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0084361,
  author       = {Ann T. Tai and
                  John F. Meyer and
                  Algirdas Avizienis},
  title        = {Software performability - from concepts to applications},
  series       = {The Kluwer international series in engineering and computer science},
  volume       = {347},
  publisher    = {Kluwer},
  year         = {1996},
  isbn         = {978-0-7923-9670-3},
  timestamp    = {Fri, 19 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0084361.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/TaiM96,
  author       = {Ann T. Tai and
                  John F. Meyer},
  title        = {Performability Management in Distributed Database Systems: An Adaptive
                  Concurrency Control Protocol},
  booktitle    = {{MASCOTS} '96, Proceedings of the Fourth International Workshop on
                  Modeling, Analysis, and Simulation On Computer and Telecommunication
                  Systems, February 1-3, 1996, San Jose, California, {USA}},
  pages        = {212--216},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/MASCOT.1996.501020},
  doi          = {10.1109/MASCOT.1996.501020},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/TaiM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atmn/MontagnaPM95,
  author       = {Sergio Montagna and
                  Roberto Paglino and
                  John F. Meyer},
  editor       = {Demetres D. Kouvatsos},
  title        = {An integrated approach to evaluating the loss performance of {ATM}
                  switches},
  booktitle    = {{ATM} Networks, Performance Modelling and Analysis, Volume 2 {[IFIP}
                  {TC6} Third Workshop on {ATM} Networks, July 2-6, 1995, Ilkley, {UK]}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {71},
  pages        = {249--268},
  publisher    = {Chapman {\&} Hall},
  year         = {1995},
  timestamp    = {Thu, 03 Jan 2002 11:53:57 +0100},
  biburl       = {https://dblp.org/rec/conf/atmn/MontagnaPM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/MeyerLW95,
  author       = {John F. Meyer and
                  Bev Littlewood and
                  David Wright},
  title        = {Dependability of modular software in a multiuser operational environment},
  booktitle    = {Sixth International Symposium on Software Reliability Engineering,
                  {ISSRE} 1995, Toulouse, France, October 24-27, 1995},
  pages        = {170--179},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/ISSRE.1995.497655},
  doi          = {10.1109/ISSRE.1995.497655},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/MeyerLW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/MeyerMP93,
  author       = {John F. Meyer and
                  Sergio Montagna and
                  Roberto Paglino},
  title        = {Dimensioning of an {ATM} Switch with Shared Buffer and Threshold Priority},
  journal      = {Comput. Networks {ISDN} Syst.},
  volume       = {26},
  number       = {1},
  pages        = {95--108},
  year         = {1993},
  url          = {https://doi.org/10.1016/0169-7552(93)90039-7},
  doi          = {10.1016/0169-7552(93)90039-7},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cn/MeyerMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/Meyer92,
  author       = {John F. Meyer},
  title        = {Performability: {A} Retrospective and Some Pointers to the Future},
  journal      = {Perform. Evaluation},
  volume       = {14},
  number       = {3-4},
  pages        = {139--156},
  year         = {1992},
  url          = {https://doi.org/10.1016/0166-5316(92)90002-X},
  doi          = {10.1016/0166-5316(92)90002-X},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pe/Meyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer92,
  author       = {John F. Meyer},
  editor       = {Jan van Leeuwen},
  title        = {The Role of Modeling and Evaluation in the Design Process},
  booktitle    = {Algorithms, Software, Architecture - Information Processing '92, Volume
                  1, Proceedings of the {IFIP} 12th World Computer Congress, Madrid,
                  Spain, 7-11 September 1992},
  series       = {{IFIP} Transactions},
  volume       = {{A-12}},
  pages        = {636--644},
  publisher    = {North-Holland},
  year         = {1992},
  timestamp    = {Wed, 14 Aug 2002 08:51:19 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Meyer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/SandersM91,
  author       = {William H. Sanders and
                  John F. Meyer},
  title        = {Reduced Base Model Construction Methods for Stochastic Activity Networks},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {9},
  number       = {1},
  pages        = {25--36},
  year         = {1991},
  url          = {https://doi.org/10.1109/49.64901},
  doi          = {10.1109/49.64901},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/SandersM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/AupperleM91,
  author       = {Bryan Eric Aupperle and
                  John F. Meyer},
  title        = {State Space Generation for Degradable Multiprocessor Systems},
  booktitle    = {Proceedings of the 1991 International Symposium on Fault-Tolerant
                  Computing, Montreal, Canada},
  pages        = {308--317},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/FTCS.1991.146678},
  doi          = {10.1109/FTCS.1991.146678},
  timestamp    = {Fri, 22 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/AupperleM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/AupperleMW89,
  author       = {Bryan Eric Aupperle and
                  John F. Meyer and
                  Lu Wei},
  title        = {Evaluation of fault-tolerant systems with nonhomogeneous workloads},
  booktitle    = {Proceedings of the Nineteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1989, Chicago, IL, USA, 21-23 June, 1989},
  pages        = {159--166},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/FTCS.1989.105560},
  doi          = {10.1109/FTCS.1989.105560},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/AupperleMW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/MeyerMS89,
  author       = {John F. Meyer and
                  K. H. Muralidhar and
                  William H. Sanders},
  title        = {Performability of a token bus network under transient fault conditions},
  booktitle    = {Proceedings of the Nineteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1989, Chicago, IL, USA, 21-23 June, 1989},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/FTCS.1989.105562},
  doi          = {10.1109/FTCS.1989.105562},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/MeyerMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer89,
  author       = {John F. Meyer},
  editor       = {Gerhard X. Ritter},
  title        = {Hardware and Software Dependability Evaluation: Future Trends},
  booktitle    = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
                  Congress, San Francisco, USA, August 28 - September 1, 1989},
  pages        = {117},
  publisher    = {North-Holland/IFIP},
  year         = {1989},
  timestamp    = {Wed, 02 Feb 2022 21:17:54 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip/Meyer89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SandersM89,
  author       = {William H. Sanders and
                  John F. Meyer},
  title        = {Reduced Base Model Construction Methods for Stochastic Activity Networks},
  booktitle    = {Proceedings of the Third International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
  pages        = {74--84},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/PNPM.1989.68541},
  doi          = {10.1109/PNPM.1989.68541},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pnpm/SandersM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MeyerW88,
  author       = {John F. Meyer and
                  Lu Wei},
  title        = {Influence of Workload on Error Recovery in Random Access Memories},
  journal      = {{IEEE} Trans. Computers},
  volume       = {37},
  number       = {4},
  pages        = {500--507},
  year         = {1988},
  url          = {https://doi.org/10.1109/12.2199},
  doi          = {10.1109/12.2199},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MeyerW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/MeyerW88,
  author       = {John F. Meyer and
                  Lu Wei},
  title        = {Analysis of workload influence on dependability},
  booktitle    = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
  pages        = {84--89},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/FTCS.1988.5301},
  doi          = {10.1109/FTCS.1988.5301},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/MeyerW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/AupperleM88,
  author       = {Bryan Eric Aupperle and
                  John F. Meyer},
  title        = {Fault-tolerant {BIBD} networks},
  booktitle    = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
  pages        = {306--311},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/FTCS.1988.5336},
  doi          = {10.1109/FTCS.1988.5336},
  timestamp    = {Fri, 22 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/AupperleM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr/SandersM87,
  author       = {William H. Sanders and
                  John F. Meyer},
  editor       = {Giuseppe Iazeolla and
                  Pierre{-}Jacques Courtois and
                  Onno J. Boxma},
  title        = {Performance Variable Driven Construction Methods for Stochastic Activity
                  Networks},
  booktitle    = {Computer Performance and Reliability, Proceedings of the Second International
                  {MCPR} Workshop held in Rome, Italy, May 25-29, 1987},
  pages        = {383--398},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Mon, 03 Jun 2002 12:01:18 +0200},
  biburl       = {https://dblp.org/rec/conf/mcpr/SandersM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SandersM87,
  author       = {William H. Sanders and
                  John F. Meyer},
  title        = {Performability Evaluation of Distributed Systems Using Stochastic
                  Activity Networks},
  booktitle    = {Proceedings of the Second International Workshop on Petri Nets and
                  Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
                  1987},
  pages        = {111--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Thu, 23 Jun 2016 10:27:26 +0200},
  biburl       = {https://dblp.org/rec/conf/pnpm/SandersM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/SandersM86,
  author       = {William H. Sanders and
                  John F. Meyer},
  title        = {{METASAN:} {A} Performability Evaluation Tool Based on Stochastic
                  Acitivity Networks},
  booktitle    = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
                  Dallas, Texas, {USA}},
  pages        = {807--816},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Fri, 29 Sep 2017 14:35:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fjcc/SandersM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Meyer86,
  author       = {John F. Meyer},
  editor       = {Hans{-}J{\"{u}}rgen Kugler},
  title        = {Which {LAN} in the Factory (Panel)},
  booktitle    = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
                  Congress, Dublin, Ireland, September 1-5, 1986},
  pages        = {923--924},
  publisher    = {North-Holland/IFIP},
  year         = {1986},
  timestamp    = {Sun, 28 Jul 2019 12:54:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Meyer86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MeyerMS85,
  author       = {John F. Meyer and
                  Ali Movaghar and
                  William H. Sanders},
  title        = {Stochastic Activity Networks: Structure, Behavior, and Application},
  booktitle    = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
                  1985},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1985},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pnpm/MeyerMS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/FurchtgottM84,
  author       = {David G. Furchtgott and
                  John F. Meyer},
  title        = {A Performability Solution Method for Degradable Nonrepairable Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {33},
  number       = {6},
  pages        = {550--554},
  year         = {1984},
  url          = {https://doi.org/10.1109/TC.1984.1676479},
  doi          = {10.1109/TC.1984.1676479},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/FurchtgottM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr/Meyer83,
  author       = {John F. Meyer},
  editor       = {Giuseppe Iazeolla and
                  Pierre{-}Jacques Courtois and
                  Arie Hordijk},
  title        = {Performability Modeling of Distributed Real-Time Systems},
  booktitle    = {Computer Performance and Reliability, Proceedings of the International
                  Workshop, Pisa, Italy, September 26-30, 1983},
  pages        = {361--372},
  publisher    = {North-Holland},
  year         = {1983},
  timestamp    = {Fri, 05 Jul 2002 15:45:28 +0200},
  biburl       = {https://dblp.org/rec/conf/mcpr/Meyer83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Meyer82,
  author       = {John F. Meyer},
  title        = {Closed-Form Solutions of Performability},
  journal      = {{IEEE} Trans. Computers},
  volume       = {31},
  number       = {7},
  pages        = {648--657},
  year         = {1982},
  url          = {https://doi.org/10.1109/TC.1982.1676062},
  doi          = {10.1109/TC.1982.1676062},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Meyer82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MeyerFW80,
  author       = {John F. Meyer and
                  David G. Furchtgott and
                  Liang T. Wu},
  title        = {Performability Evaluation of the {SIFT} Computer},
  journal      = {{IEEE} Trans. Computers},
  volume       = {29},
  number       = {6},
  pages        = {501--509},
  year         = {1980},
  url          = {https://doi.org/10.1109/TC.1980.1675609},
  doi          = {10.1109/TC.1980.1675609},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MeyerFW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Meyer80,
  author       = {John F. Meyer},
  title        = {On Evaluating the Performability of Degradable Computing Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {29},
  number       = {8},
  pages        = {720--731},
  year         = {1980},
  url          = {https://doi.org/10.1109/TC.1980.1675654},
  doi          = {10.1109/TC.1980.1675654},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Meyer80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Meyer76,
  author       = {John F. Meyer},
  title        = {Computation-Based Reliability Analysis},
  journal      = {{IEEE} Trans. Computers},
  volume       = {25},
  number       = {6},
  pages        = {578--584},
  year         = {1976},
  url          = {https://doi.org/10.1109/TC.1976.1674657},
  doi          = {10.1109/TC.1976.1674657},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Meyer76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/GrayM76,
  author       = {F. Gail Gray and
                  John F. Meyer},
  title        = {Algebraic Properties of Functions Affecting Optimum Fault-Tolerant
                  Realizations},
  journal      = {{IEEE} Trans. Computers},
  volume       = {25},
  number       = {11},
  pages        = {1078--1088},
  year         = {1976},
  url          = {https://doi.org/10.1109/TC.1976.1674558},
  doi          = {10.1109/TC.1976.1674558},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/GrayM76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MeyerS75,
  author       = {John F. Meyer and
                  Robert J. Sundstrom},
  title        = {On-Line Diagnosis of Unrestricted Faults},
  journal      = {{IEEE} Trans. Computers},
  volume       = {24},
  number       = {5},
  pages        = {468--475},
  year         = {1975},
  url          = {https://doi.org/10.1109/T-C.1975.224248},
  doi          = {10.1109/T-C.1975.224248},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/MeyerS75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/Meyer71,
  author       = {John F. Meyer},
  title        = {Fault Tolerant Sequential Machines},
  journal      = {{IEEE} Trans. Computers},
  volume       = {20},
  number       = {10},
  pages        = {1167--1177},
  year         = {1971},
  url          = {https://doi.org/10.1109/T-C.1971.223101},
  doi          = {10.1109/T-C.1971.223101},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/Meyer71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/GrayM71,
  author       = {F. Gail Gray and
                  John F. Meyer},
  title        = {Locatability of Faults in Combinational Networks},
  journal      = {{IEEE} Trans. Computers},
  volume       = {20},
  number       = {11},
  pages        = {1407--1412},
  year         = {1971},
  url          = {https://doi.org/10.1109/T-C.1971.223147},
  doi          = {10.1109/T-C.1971.223147},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/GrayM71.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics