Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Geoffrey M. Brown
@article{DBLP:journals/fac/BrownP11,
author = {Geoffrey M. Brown and
Lee Pike},
title = {Automated verification and refinement for physical-layer protocols},
journal = {Formal Aspects Comput.},
volume = {23},
number = {3},
pages = {243--266},
year = {2011},
url = {https://doi.org/10.1007/s00165-010-0149-0},
doi = {10.1007/S00165-010-0149-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrownP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/PikeBG09,
author = {Lee Pike and
Geoffrey M. Brown and
Alwyn Goodloe},
editor = {Stephanie Weirich},
title = {Roll your own test bed for embedded real-time protocols: a haskell
experience},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2009, Edinburgh, Scotland, UK, 3 September 2009},
pages = {61--68},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596638.1596646},
doi = {10.1145/1596638.1596646},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/haskell/PikeBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BrownP07,
author = {Geoffrey M. Brown and
Lee Pike},
title = {Temporal Refinement Using {SMT} and Model Checking with an Application
to Physical-Layer Protocols},
booktitle = {5th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2007), May 30 - June 1st, Nice,
France},
pages = {171--180},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MEMCOD.2007.371227},
doi = {10.1109/MEMCOD.2007.371227},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BrownP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Brown06,
author = {Geoffrey M. Brown},
title = {Verification of a Data Synchronization Circuit For All Time},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {217--228},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.35},
doi = {10.1109/ACSD.2006.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Brown06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrownP06,
author = {Geoffrey M. Brown and
Lee Pike},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Easy Parameterized Verification of Biphase Mark and 8N1 Protocols},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {58--72},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_4},
doi = {10.1007/11691372\_4},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrownP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/AfekB93,
author = {Yehuda Afek and
Geoffrey M. Brown},
title = {Self-Stabilization Over Unreliable Communication Media},
journal = {Distributed Comput.},
volume = {7},
number = {1},
pages = {27--34},
year = {1993},
url = {https://doi.org/10.1007/BF02278853},
doi = {10.1007/BF02278853},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/AfekB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/AfekBM93,
author = {Yehuda Afek and
Geoffrey M. Brown and
Michael Merritt},
title = {Lazy Caching},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {15},
number = {1},
pages = {182--205},
year = {1993},
url = {https://doi.org/10.1145/151646.151651},
doi = {10.1145/151646.151651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AfekBM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/BasinBL91,
author = {David A. Basin and
Geoffrey M. Brown and
Miriam Leeser},
title = {Formally verified synthesis of combinational {CMOS} circuits},
journal = {Integr.},
volume = {11},
number = {3},
pages = {235--250},
year = {1991},
url = {https://doi.org/10.1016/0167-9260(91)90048-P},
doi = {10.1016/0167-9260(91)90048-P},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/integration/BasinBL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcom/BrownGM91,
author = {Geoffrey M. Brown and
Mohamed G. Gouda and
Raymond E. Miller},
title = {Block acknowledgment: redesigning the window protocol},
journal = {{IEEE} Trans. Commun.},
volume = {39},
number = {4},
pages = {524--532},
year = {1991},
url = {https://doi.org/10.1109/26.81740},
doi = {10.1109/26.81740},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcom/BrownGM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/Brown90,
author = {Geoffrey M. Brown},
title = {Asynchronous Multicaches},
journal = {Distributed Comput.},
volume = {4},
pages = {31--36},
year = {1990},
url = {https://doi.org/10.1007/BF01783663},
doi = {10.1007/BF01783663},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/Brown90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BrownGW89,
author = {Geoffrey M. Brown and
Mohamed G. Gouda and
Chuan{-}lin Wu},
title = {Token Systems that Self-Stabilize},
journal = {{IEEE} Trans. Computers},
volume = {38},
number = {6},
pages = {845--852},
year = {1989},
url = {https://doi.org/10.1109/12.24293},
doi = {10.1109/12.24293},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BrownGW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msiw/BrownL89,
author = {Geoffrey M. Brown and
Miriam Leeser},
editor = {Miriam Leeser and
Geoffrey Brown},
title = {From Programs to Transistors: Verifying Hardware Synthesis Tools},
booktitle = {Hardware Specification, Verification and Synthesis: Mathematical Aspects,
Mathematical Science Institute Workshop, Cornall University, Ithaca,
New York, USA, July 5-7, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {408},
pages = {129--151},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/0-387-97226-9\_27},
doi = {10.1007/0-387-97226-9\_27},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msiw/BrownL89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BrownGM89,
author = {Geoffrey M. Brown and
Mohamed G. Gouda and
Raymond E. Miller},
editor = {Lawrence H. Landweber},
title = {Block Acknowledgement: Redesigning the Window Protocol},
booktitle = {Proceedings of the {ACM} Symposium on Communications Architectures
{\&} Protocols, {SIGCOMM} 1989, Austin, TX, USA, September 19-22,
1989},
pages = {128--135},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75246.75260},
doi = {10.1145/75246.75260},
timestamp = {Wed, 21 Jul 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BrownGM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AfekBM89,
author = {Yehuda Afek and
Geoffrey M. Brown and
Michael Merritt},
editor = {Frank Thomson Leighton},
title = {A Lazy Cache Algorithm},
booktitle = {Proceedings of the {ACM} Symposium on Parallel Algorithms and Architectures,
{SPAA} '89, Santa Fe, New Mexico, USA, June 18-21, 1989},
pages = {209--222},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72935.72958},
doi = {10.1145/72935.72958},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/AfekBM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/AfekB89,
author = {Yehuda Afek and
Geoffrey M. Brown},
title = {Self-Stabilization of the Alternating-Bit Protocol},
booktitle = {Eigthth Symposium on Reliable Distributed Systems, {SRDS} 1989, Seattle,
Washington, USA, October 10-12, 1989, Proceedings},
pages = {80--83},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/RELDIS.1989.72751},
doi = {10.1109/RELDIS.1989.72751},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/AfekB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/BrownW86,
author = {Geoffrey M. Brown and
Chuan{-}lin Wu},
title = {Operating System Kernel for a Reconfigurable Multiprocessor System},
booktitle = {International Conference on Parallel Processing, ICPP'86, University
Park, PA, USA, August 1986},
pages = {234--241},
publisher = {{IEEE} Computer Society Press},
year = {1986},
timestamp = {Mon, 28 Jul 2014 17:06:02 +0200},
biburl = {https://dblp.org/rec/conf/icpp/BrownW86.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:14 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:
