Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joy N. Reed
@article{DBLP:journals/fac/ReedRS07,
author = {Joy N. Reed and
A. W. Roscoe and
Jane E. Sinclair},
title = {Responsiveness and stable revivals},
journal = {Formal Aspects Comput.},
volume = {19},
number = {3},
pages = {303--319},
year = {2007},
url = {https://doi.org/10.1007/s00165-007-0032-9},
doi = {10.1007/S00165-007-0032-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ReedRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReedRS06,
author = {Joy N. Reed and
A. W. Roscoe and
Jane E. Sinclair},
editor = {Ranko Lazic and
Rajagopal Nagarajan},
title = {Machine-Verifiable Responsiveness},
booktitle = {Proceedings of the 5th International Workshop on Automated Verification
of Critical Systems, AVoCS 2005, University of Warwick, UK, September
12-13, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {145},
pages = {185--200},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.012},
doi = {10.1016/J.ENTCS.2005.10.012},
timestamp = {Thu, 15 Dec 2022 14:59:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReedRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ReedSR04,
author = {Joy N. Reed and
Jane E. Sinclair and
A. W. Roscoe},
title = {Responsiveness of interoperating components},
journal = {Formal Aspects Comput.},
volume = {16},
number = {4},
pages = {394--411},
year = {2004},
url = {https://doi.org/10.1007/s00165-004-0050-9},
doi = {10.1007/S00165-004-0050-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ReedSR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/ReedS04,
author = {Joy N. Reed and
Jane E. Sinclair},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Motivating Study of Formal Methods in the Classroom},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {32--46},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_3},
doi = {10.1007/978-3-540-30472-2\_3},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tfm/ReedS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReedS01,
author = {Joy N. Reed and
Jane E. Sinclair},
editor = {Heinrich Hu{\ss}mann},
title = {Combining Independent Specifications},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {45--59},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_5},
doi = {10.1007/3-540-45314-8\_5},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/ReedS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ReedS00,
author = {Joy N. Reed and
Jane E. Sinclair},
editor = {Ted Hurley and
M{\'{\i}}che{\'{a}}l Mac an Airchinnigh and
Michel P. Schellekens and
Anthony Karel Seda},
title = {Refinement-Preserving Plug-In Components},
booktitle = {First Irish Conference on the Mathematical Foundations of Computer
Science and Information Technology, {MFCSIT} 2000, Cork, Ireland,
July 20-21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {40},
pages = {304--322},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80059-3},
doi = {10.1016/S1571-0661(05)80059-3},
timestamp = {Wed, 30 Nov 2022 10:58:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ReedS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ReedSG99,
author = {Joy N. Reed and
Jane E. Sinclair and
F. Guigand},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Deductive Reasoning versus Model Checking: Two Formal Approaches for
System Development},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {375--394},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_20},
doi = {10.1007/978-1-4471-0851-1\_20},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/ReedSG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CreeseR99,
author = {S. J. Creese and
Joy N. Reed},
editor = {Jos{\'{e}} D. P. Rolim and
Frank Mueller and
Albert Y. Zomaya and
Fikret Er{\c{c}}al and
Stephan Olariu and
Binoy Ravindran and
Jan Gustafsson and
Hiroaki Takada and
Ronald A. Olsson and
Laxmikant V. Kal{\'{e}} and
Peter H. Beckman and
Matthew Haines and
Hossam A. ElGindy and
Denis Caromel and
Serge Chaumette and
Geoffrey C. Fox and
Yi Pan and
Keqin Li and
Tao Yang and
G. Ghiola and
Gianni Conte and
Luigi V. Mancini and
Dominique M{\'{e}}ry and
Beverly A. Sanders and
Devesh Bhatt and
Viktor K. Prasanna},
title = {Verifying End-to-End Protocols using Induction with {CSP/FDR}},
booktitle = {Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held
in Conjunction with the 13th International Parallel Processing Symposium
and 10th Symposium on Parallel and Distributed Processing, San Juan,
Puerto Rico, USA, April 12-16, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1586},
pages = {1243--1257},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/BFb0098006},
doi = {10.1007/BFB0098006},
timestamp = {Mon, 22 Mar 2021 14:03:05 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CreeseR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/ReedS99,
author = {Joy N. Reed and
Jane E. Sinclair},
editor = {Hamid R. Arabnia},
title = {Routing - {A} Challenge to Formal Methods},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1999, June 28 - Junlly
1, 1999, Las Vegas, Nevada, {USA}},
pages = {305--311},
publisher = {{CSREA} Press},
year = {1999},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/ReedS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ReedJDR98,
author = {Joy N. Reed and
D. M. Jackson and
Borislav Deianov and
George M. Reed},
editor = {Egidio Astesiano},
title = {Automated Formal Analysis of Networks: {FDR} Models of Arbitrary Topologies
and Flow-Control Mechanisms},
booktitle = {Fundamental Approaches to Software Engineering, 1st Internationsl
Conference, FASE'98, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1382},
pages = {239--254},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053594},
doi = {10.1007/BFB0053594},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/ReedJDR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtse/Reed97,
author = {Joy N. Reed},
editor = {Manfred Broy and
Bernhard Rumpe},
title = {Formal Methods and Industrial-Strength Computer Networks},
booktitle = {Requirements Targeting Software and Systems Engineering, International
Workshop {RTSE} '97, Bernried, Germany, October 12-14, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1526},
pages = {223--233},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/10692867\_10},
doi = {10.1007/10692867\_10},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/rtse/Reed97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ReedPL96,
author = {Joy N. Reed and
Kevin Parrott and
Tim Lanfear},
title = {Portability, predictability and performance for parallel computing:
{BSP} in practice},
journal = {Concurr. Pract. Exp.},
volume = {8},
number = {10},
pages = {799--812},
year = {1996},
url = {https://doi.org/10.1002/(SICI)1096-9128(199612)8:10\&\#60;799::AID-CPE274\&\#62;3.0.CO;2-7},
doi = {10.1002/(SICI)1096-9128(199612)8:10\&\#60;799::AID-CPE274\&\#62;3.0.CO;2-7},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/ReedPL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KayR93,
author = {Andrew Kay and
Joy N. Reed},
title = {A Rely and Guarantee Method for Timed {CSP:} {A} Specification and
Design of a Telephone Exchange},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {6},
pages = {625--639},
year = {1993},
url = {https://doi.org/10.1109/32.232027},
doi = {10.1109/32.232027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KayR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/SchneiderDJRRR91,
author = {Steve A. Schneider and
Jim Davies and
D. M. Jackson and
George M. Reed and
Joy N. Reed and
A. W. Roscoe},
editor = {J. W. de Bakker and
Cornelis Huizing and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Timed {CSP:} Theory and Practice},
booktitle = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
June 3-7, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {600},
pages = {640--675},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0032011},
doi = {10.1007/BFB0032011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/SchneiderDJRRR91.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 2023-10-20 17:17 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:
