BibTeX records: Stephen Paynter

download as .bib file

@article{DBLP:journals/ress/ArmstrongP07,
  author       = {James M. Armstrong and
                  Stephen Paynter},
  title        = {The deconstruction of safety arguments through adversarial counter-argument},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {92},
  number       = {11},
  pages        = {1551--1562},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ress.2006.10.004},
  doi          = {10.1016/J.RESS.2006.10.004},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/ArmstrongP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/PaynterHA06,
  author       = {Stephen Paynter and
                  Neil Henderson and
                  James M. Armstrong},
  title        = {Metastability in Asynchronous Wait-Free Protocols},
  journal      = {{IEEE} Trans. Computers},
  volume       = {55},
  number       = {3},
  pages        = {292--303},
  year         = {2006},
  url          = {https://doi.org/10.1109/TC.2006.42},
  doi          = {10.1109/TC.2006.42},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/PaynterHA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PaynterHA04,
  author       = {Stephen Paynter and
                  Neil Henderson and
                  James M. Armstrong},
  title        = {Ramifications of metastability in bit variables explored via Simpson's
                  4-slot mechanism},
  journal      = {Formal Aspects Comput.},
  volume       = {16},
  number       = {4},
  pages        = {332--351},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00165-004-0042-9},
  doi          = {10.1007/S00165-004-0042-9},
  timestamp    = {Wed, 27 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PaynterHA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/ArmstrongP04,
  author       = {James M. Armstrong and
                  Stephen Paynter},
  editor       = {Maritta Heisel and
                  Peter Liggesmeyer and
                  Stefan Wittmann},
  title        = {The Deconstruction of Safety Arguments Through Adversarial Counter-Argument},
  booktitle    = {Computer Safety, Reliability, and Security, 23rd International Conference,
                  {SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3219},
  pages        = {3--16},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30138-7\_2},
  doi          = {10.1007/978-3-540-30138-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/ArmstrongP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/HendersonP02,
  author       = {Neil Henderson and
                  Stephen Paynter},
  editor       = {Lars{-}Henrik Eriksson and
                  Peter A. Lindsay},
  title        = {The Formal Classification and Verification of Simpson's 4-Slot Asynchronous
                  Communication Mechanism},
  booktitle    = {{FME} 2002: Formal Methods - Getting {IT} Right, International Symposium
                  of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2391},
  pages        = {350--369},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45614-7\_20},
  doi          = {10.1007/3-540-45614-7\_20},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HendersonP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/PaynterB02,
  author       = {Stephen Paynter and
                  Bob W. Born},
  editor       = {Stuart Anderson and
                  Sandro Bologna and
                  Massimo Felici},
  title        = {Analysing the Safety of a Software Development Process},
  booktitle    = {Computer Safety, Reliability and Security, 21st International Conference,
                  {SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2434},
  pages        = {186--197},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45732-1\_19},
  doi          = {10.1007/3-540-45732-1\_19},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/PaynterB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/Paynter01,
  author       = {Stephen Paynter},
  editor       = {Jos{\'{e}} Nuno Oliveira and
                  Pamela Zave},
  title        = {Real-Time Logic Revisited},
  booktitle    = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
                  Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
                  2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2021},
  pages        = {300--317},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45251-6\_17},
  doi          = {10.1007/3-540-45251-6\_17},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/Paynter01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PaynterAH00,
  author       = {Stephen Paynter and
                  James M. Armstrong and
                  Jan Haveman},
  title        = {{ADL:} An Activity Description Language for Real-Time Networks},
  journal      = {Formal Aspects Comput.},
  volume       = {12},
  number       = {2},
  pages        = {120--144},
  year         = {2000},
  url          = {https://doi.org/10.1007/s001650070032},
  doi          = {10.1007/S001650070032},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PaynterAH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/Paynter96,
  author       = {Stephen Paynter},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Real-Time Mode-Machines},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International
                  Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1135},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61648-9\_36},
  doi          = {10.1007/3-540-61648-9\_36},
  timestamp    = {Tue, 31 Aug 2021 12:07:12 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/Paynter96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Paynter95,
  author       = {Stephen Paynter},
  title        = {Structuring the semantic definitions of graphical design notations},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {3},
  pages        = {105--115},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0014},
  doi          = {10.1049/SEJ.1995.0014},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Paynter95.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.