Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ricky W. Butler
@inproceedings{DBLP:conf/tap/DutleMNB15,
author = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz and
Ricky W. Butler},
editor = {Jasmin Christian Blanchette and
Nikolai Kosmatov},
title = {Software Validation via Model Animation},
booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
Italy, July 22-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9154},
pages = {92--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21215-9\_6},
doi = {10.1007/978-3-319-21215-9\_6},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/DutleMNB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ButlerHMMND10,
author = {Ricky W. Butler and
George Hagen and
Jeffrey Maddalon and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz and
Gilles Dowek},
editor = {C{\'{e}}sar A. Mu{\~{n}}oz},
title = {How Formal Methods Impels Discovery: {A} Short History of an Air Traffic
Management Project},
booktitle = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
USA, April 13-15, 2010. Proceedings},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2010-216215}},
pages = {34--46},
year = {2010},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ButlerHMMND10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/Butler09,
author = {Ricky W. Butler},
title = {Formalization of the Integral Calculus in the {PVS} Theorem Prover},
journal = {J. Formaliz. Reason.},
volume = {2},
number = {1},
pages = {1--26},
year = {2009},
url = {https://doi.org/10.6092/issn.1972-5787/1349},
doi = {10.6092/ISSN.1972-5787/1349},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/Butler09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/SiminiceanuBM08,
author = {Radu Siminiceanu and
Ricky W. Butler and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Experimental Evaluation of a Planning Language Suitable for Formal
Verification},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {132--146},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_9},
doi = {10.1007/978-3-642-00431-5\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/SiminiceanuBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/MunozCDB03,
author = {C{\'{e}}sar A. Mu{\~{n}}oz and
Victor Carre{\~{n}}o and
Gilles Dowek and
Ricky W. Butler},
title = {Formal verification of conflict detection algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {3},
pages = {371--380},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0084-3},
doi = {10.1007/S10009-002-0084-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/MunozCDB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/ButlerMGM03,
author = {Ricky W. Butler and
Jeffrey Maddalon and
Alfons Geser and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Stephen E. Chick and
Paul J. Sanchez and
David M. Ferrin and
Douglas J. Morrice},
title = {Simulation and verification {I:} formal analysis of air traffic management
systems: the case of conflict resolution and recovery},
booktitle = {Proceedings of the 35th Winter Simulation Conference: Driving Innovation,
New Orleans, Louisiana, USA, December 7-10, 2003},
pages = {906--914},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WSC.2003.1261510},
doi = {10.1109/WSC.2003.1261510},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/ButlerMGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Butler02,
author = {Ricky W. Butler},
editor = {Victor Carre{\~{n}}o and
C{\'{e}}sar A. Mu{\~{n}}oz and
Sofi{\`{e}}ne Tahar},
title = {Formal Methods at {NASA} Langley},
booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference,
TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2410},
pages = {1--2},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45685-6\_1},
doi = {10.1007/3-540-45685-6\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Butler02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ButlerCDM01,
author = {Ricky W. Butler and
Victor Carre{\~{n}}o and
Gilles Dowek and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Tiziana Margaria and
Thomas F. Melham},
title = {Formal Verification of Conflict Detection Algorithms},
booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
Scotland, UK, September 4-7, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2144},
pages = {403--417},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44798-9\_31},
doi = {10.1007/3-540-44798-9\_31},
timestamp = {Sun, 02 Jun 2019 21:23:48 +0200},
biburl = {https://dblp.org/rec/conf/charme/ButlerCDM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BowenBDGGHHHJJLPRWZ96,
author = {Jonathan P. Bowen and
Ricky W. Butler and
David L. Dill and
Robert L. Glass and
David Gries and
Anthony Hall and
Michael G. Hinchey and
C. Michael Holloway and
Daniel Jackson and
Cliff B. Jones and
Michael J. Lutz and
David Lorge Parnas and
John M. Rushby and
Jeannette M. Wing and
Pamela Zave},
title = {An Invitation to Formal Methods},
journal = {Computer},
volume = {29},
number = {4},
pages = {16--30},
year = {1996},
url = {https://doi.org/10.1109/MC.1996.488298},
doi = {10.1109/MC.1996.488298},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ButlerF93,
author = {Ricky W. Butler and
George B. Finelli},
title = {The Infeasibility of Quantifying the Reliability of Life-Critical
Real-Time Software},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {1},
pages = {3--12},
year = {1993},
url = {https://doi.org/10.1109/32.210303},
doi = {10.1109/32.210303},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ButlerF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/VitoB92,
author = {Ben L. Di Vito and
Ricky W. Butler},
title = {Provable transient recovery for frame-based, fault-tolerant computing
systems},
booktitle = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
USA, December 1992},
pages = {275--278},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/REAL.1992.242652},
doi = {10.1109/REAL.1992.242652},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/VitoB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ButlerF91,
author = {Ricky W. Butler and
George B. Finelli},
editor = {Mark Moriconi},
title = {The infeasibility of experimental quantification of life-critical
software reliability},
booktitle = {Proceedings of the conference on Software for citical systems, {SIGSOFT}
1991, New Orleans, Louisiana, {USA}},
pages = {66--76},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/125083.123054},
doi = {10.1145/125083.123054},
timestamp = {Tue, 15 Feb 2022 14:43:09 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ButlerF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/RamanathanSB90,
author = {Parameswaran Ramanathan and
Kang G. Shin and
Ricky W. Butler},
title = {Fault-Tolerant Clock Synchronization in Distributed Systems},
journal = {Computer},
volume = {23},
number = {10},
pages = {33--42},
year = {1990},
url = {https://doi.org/10.1109/2.58235},
doi = {10.1109/2.58235},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/RamanathanSB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/KrishnaSB85,
author = {C. Mani Krishna and
Kang G. Shin and
Ricky W. Butler},
title = {Ensuring Fault Tolerance of Phase-Locked Clocks},
journal = {{IEEE} Trans. Computers},
volume = {34},
number = {8},
pages = {752--756},
year = {1985},
url = {https://doi.org/10.1109/TC.1985.1676622},
doi = {10.1109/TC.1985.1676622},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/KrishnaSB85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
