BibTeX records: David Guaspari

download as .bib file

@article{DBLP:journals/scp/RahliGBC17,
  author       = {Vincent Rahli and
                  David Guaspari and
                  Mark Bickford and
                  Robert L. Constable},
  title        = {EventML: Specification, verification, and implementation of crash-tolerant
                  state machine replication systems},
  journal      = {Sci. Comput. Program.},
  volume       = {148},
  pages        = {26--48},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2017.05.009},
  doi          = {10.1016/J.SCICO.2017.05.009},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/RahliGBC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/RahliGBC15,
  author       = {Vincent Rahli and
                  David Guaspari and
                  Mark Bickford and
                  Robert L. Constable},
  title        = {Formal Specification, Verification, and Implementation of Fault-Tolerant
                  Systems using EventML},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {72},
  year         = {2015},
  url          = {https://doi.org/10.14279/tuj.eceasst.72.1013},
  doi          = {10.14279/TUJ.ECEASST.72.1013},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/RahliGBC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/di/BruecknerGAW08,
  author       = {Stephen Brueckner and
                  David Guaspari and
                  Frank Adelstein and
                  Joseph Weeks},
  title        = {Automated computer forensics training in a virtualized environment},
  journal      = {Digit. Investig.},
  volume       = {5},
  number       = {Supplement},
  pages        = {S105--S111},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.diin.2008.05.009},
  doi          = {10.1016/J.DIIN.2008.05.009},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/di/BruecknerGAW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/ProfetaAYJDGJ96,
  author       = {Joseph A. Profeta III and
                  Nikos P. Andrianos and
                  Bing Yu and
                  Barry W. Johnson and
                  Todd A. DeLong and
                  David Guaspari and
                  Damir Jamsek},
  title        = {Safety-Critical Systems Built with {COTS}},
  journal      = {Computer},
  volume       = {29},
  number       = {11},
  pages        = {54--60},
  year         = {1996},
  url          = {https://doi.org/10.1109/2.544238},
  doi          = {10.1109/2.544238},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/ProfetaAYJDGJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sp/SeagerGSM95,
  author       = {Mike Seager and
                  David Guaspari and
                  Matthew Stillerman and
                  Carla Marceau},
  title        = {Formal methods in the {THETA} kernel},
  booktitle    = {Proceedings of the 1995 {IEEE} Symposium on Security and Privacy,
                  Oakland, California, USA, May 8-10, 1995},
  pages        = {88--100},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/SECPRI.1995.398925},
  doi          = {10.1109/SECPRI.1995.398925},
  timestamp    = {Thu, 21 Sep 2023 15:57:36 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/SeagerGSM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/HollowayVGS94,
  author       = {C. Michael Holloway and
                  Ben L. Di Vito and
                  David Guaspari and
                  Michael K. Smith},
  editor       = {Charles B. Engle Jr.},
  title        = {Formal Methods Fact vs. Fiction},
  booktitle    = {Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11,
                  1994, Baltimore, Maryland, {USA}},
  pages        = {256--258},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/197694.197727},
  doi          = {10.1145/197694.197727},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/HollowayVGS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/larch/GuaspariMP92,
  author       = {David Guaspari and
                  Carla Marceau and
                  Wolfgang Polak},
  editor       = {Ursula Martin and
                  Jeannette M. Wing},
  title        = {Formal Verification of Ada Programs},
  booktitle    = {First International Workshop on Larch, Proceedings of the first First
                  International Workshop on Larch, Dedham, Massachusetts, USA, 13-15
                  July 1992},
  series       = {Workshops in Computing},
  pages        = {104--141},
  publisher    = {Springer},
  year         = {1992},
  timestamp    = {Thu, 20 Feb 2003 11:29:44 +0100},
  biburl       = {https://dblp.org/rec/conf/larch/GuaspariMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adaEurope/Guaspari91,
  author       = {David Guaspari},
  editor       = {Dimitris Christodoulakis},
  title        = {Formally Specifying the Logic of an Automatic Guidance Controller},
  booktitle    = {Ada: The Choice for '92, Ada-Europe International Conference, Athens,
                  Greece, May 13-17, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {499},
  pages        = {372--383},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0018507},
  doi          = {10.1007/BFB0018507},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Guaspari91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/GuaspariMP90,
  author       = {David Guaspari and
                  Carla Marceau and
                  Wolfgang Polak},
  title        = {Formal Verification of Ada Programs},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {9},
  pages        = {1058--1075},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.58790},
  doi          = {10.1109/32.58790},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/GuaspariMP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigada/Guaspari89,
  author       = {David Guaspari},
  editor       = {John T. Foreman and
                  Charles B. Engle Jr.},
  title        = {Penelope, an Ada verification system},
  booktitle    = {Proceedings of the Conference on Tri-Ada 1989 - Ada Technology in
                  Context: Application, Development, and Deployment, TRI-Ada 1989, Pittsburgh,
                  Pennsylvania, USA, 1989},
  pages        = {216--224},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/74261.74277},
  doi          = {10.1145/74261.74277},
  timestamp    = {Thu, 12 May 2022 11:43:16 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Guaspari89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Guaspari83,
  author       = {David Guaspari},
  title        = {Sentences Implying Their Own Provability},
  journal      = {J. Symb. Log.},
  volume       = {48},
  number       = {3},
  pages        = {777--789},
  year         = {1983},
  url          = {https://doi.org/10.2307/2273471},
  doi          = {10.2307/2273471},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Guaspari83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Guaspari80,
  author       = {David Guaspari},
  title        = {Definability in Models of Set Theory},
  journal      = {J. Symb. Log.},
  volume       = {45},
  number       = {1},
  pages        = {9--19},
  year         = {1980},
  url          = {https://doi.org/10.2307/2273350},
  doi          = {10.2307/2273350},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Guaspari80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Guaspari74,
  author       = {David Guaspari},
  title        = {A Note on the Kondo-Addison Theorem},
  journal      = {J. Symb. Log.},
  volume       = {39},
  number       = {3},
  pages        = {567--570},
  year         = {1974},
  url          = {https://doi.org/10.2307/2272898},
  doi          = {10.2307/2272898},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Guaspari74.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.