Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lindsay Groves
@article{DBLP:journals/jar/PearceUG22,
author = {David J. Pearce and
Mark Utting and
Lindsay Groves},
title = {Verifying Whiley Programs with Boogie},
journal = {J. Autom. Reason.},
volume = {66},
number = {4},
pages = {747--803},
year = {2022},
url = {https://doi.org/10.1007/s10817-022-09619-1},
doi = {10.1007/S10817-022-09619-1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/PearceUG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/YangNSGS21,
author = {Liang Yang and
Bryan Ng and
Winston K. G. Seah and
Lindsay Groves and
Deepak Singh},
title = {A survey on network forwarding in Software-Defined Networking},
journal = {J. Netw. Comput. Appl.},
volume = {176},
pages = {102947},
year = {2021},
url = {https://doi.org/10.1016/j.jnca.2020.102947},
doi = {10.1016/J.JNCA.2020.102947},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnca/YangNSGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MackayPAG20,
author = {Julian Mackay and
Alex Potanin and
Jonathan Aldrich and
Lindsay Groves},
title = {Decidable subtyping for path dependent types},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {66:1--66:27},
year = {2020},
url = {https://doi.org/10.1145/3371134},
doi = {10.1145/3371134},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MackayPAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/MackayPAG20,
author = {Julian Mackay and
Alex Potanin and
Jonathan Aldrich and
Lindsay Groves},
editor = {Bruno C. d. S. Oliveira},
title = {Syntactically Restricting Bounded Polymorphism for Decidable Subtyping},
booktitle = {Programming Languages and Systems - 18th Asian Symposium, {APLAS}
2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12470},
pages = {125--144},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64437-6\_7},
doi = {10.1007/978-3-030-64437-6\_7},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/MackayPAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/SinghGP20,
author = {Manish Singh and
Lindsay Groves and
Alex Potanin},
editor = {Yong Zhang and
Yicheng Xu and
Hui Tian},
title = {A Relaxed Balanced Lock-Free Binary Search Tree},
booktitle = {Parallel and Distributed Computing, Applications and Technologies
- 21st International Conference, {PDCAT} 2020, Shenzhen, China, December
28-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12606},
pages = {304--317},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69244-5\_27},
doi = {10.1007/978-3-030-69244-5\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdcat/SinghGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SmithG19,
author = {Graeme Smith and
Lindsay Groves},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Weakening Correctness and Linearizability for Concurrent Objects on
Multicore Processors},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {342--357},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_22},
doi = {10.1007/978-3-030-54997-8\_22},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/SmithG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CraigPGA18,
author = {Aaron Craig and
Alex Potanin and
Lindsay Groves and
Jonathan Aldrich},
editor = {Jing Sun and
Meng Sun},
title = {Capabilities: Effects for Free},
booktitle = {Formal Methods and Software Engineering - 20th International Conference
on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11232},
pages = {231--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02450-5\_14},
doi = {10.1007/978-3-030-02450-5\_14},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/CraigPGA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setss/PearceUG18,
author = {David J. Pearce and
Mark Utting and
Lindsay Groves},
editor = {Jonathan P. Bowen and
Zhiming Liu and
Zili Zhang},
title = {An Introduction to Software Verification with Whiley},
booktitle = {Engineering Trustworthy Software Systems - 4th International School,
{SETSS} 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {11430},
pages = {1--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-17601-3\_1},
doi = {10.1007/978-3-030-17601-3\_1},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setss/PearceUG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/UttingPG17,
author = {Mark Utting and
David J. Pearce and
Lindsay Groves},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Making Whiley Boogie!},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {69--84},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_5},
doi = {10.1007/978-3-319-66845-1\_5},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/UttingPG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/YangNSG17,
author = {Liang Yang and
Bryan Ng and
Winston K. G. Seah and
Lindsay Groves},
title = {Equivalent forwarding set evaluation in software defined networking},
booktitle = {2017 {IFIP/IEEE} Symposium on Integrated Network and Service Management
(IM), Lisbon, Portugal, May 8-12, 2017},
pages = {576--579},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/INM.2017.7987333},
doi = {10.23919/INM.2017.7987333},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/YangNSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/YangNSG17,
author = {Liang Yang and
Bryan Ng and
Winston K. G. Seah and
Lindsay Groves},
title = {Deterministic Confidence Interval Estimation of Networking Traffic
in {SDN}},
booktitle = {42nd {IEEE} Conference on Local Computer Networks, {LCN} 2017, Singapore,
October 9-12, 2017},
pages = {120--127},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LCN.2017.36},
doi = {10.1109/LCN.2017.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lcn/YangNSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DerrickSGD17,
author = {John Derrick and
Graeme Smith and
Lindsay Groves and
Brijesh Dongol},
editor = {Michael G. Hinchey and
Jonathan P. Bowen and
Ernst{-}R{\"{u}}diger Olderog},
title = {A Proof Method for Linearizability on {TSO} Architectures},
booktitle = {Provably Correct Systems},
series = {{NASA} Monographs in Systems and Software Engineering},
pages = {61--91},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-48628-4\_4},
doi = {10.1007/978-3-319-48628-4\_4},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/DerrickSGD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DongolG16,
author = {Brijesh Dongol and
Lindsay Groves},
editor = {Kazuhiro Ogata and
Mark Lawford and
Shaoying Liu},
title = {Contextual Trace Refinement for Concurrent Objects: Safety and Progress},
booktitle = {Formal Methods and Software Engineering - 18th International Conference
on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
14-18, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10009},
pages = {261--278},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47846-3\_17},
doi = {10.1007/978-3-319-47846-3\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DongolG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DongolG16,
author = {Brijesh Dongol and
Lindsay Groves},
title = {Contextual trace refinement for concurrent objects: Safety and progress},
journal = {CoRR},
volume = {abs/1603.01412},
year = {2016},
url = {http://arxiv.org/abs/1603.01412},
eprinttype = {arXiv},
eprint = {1603.01412},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DongolG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PearceG15,
author = {David J. Pearce and
Lindsay Groves},
title = {Designing a verifying compiler: Lessons learned from developing Whiley},
journal = {Sci. Comput. Program.},
volume = {113},
pages = {191--220},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.09.006},
doi = {10.1016/J.SCICO.2015.09.006},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/PearceG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/DongolDGS15,
author = {Brijesh Dongol and
John Derrick and
Lindsay Groves and
Graeme Smith},
editor = {John Tang Boyland},
title = {Defining Correctness Conditions for Concurrent Objects in Multicore
Architectures},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {470--494},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.470},
doi = {10.4230/LIPICS.ECOOP.2015.470},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/DongolDGS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DongolG16a,
author = {Brijesh Dongol and
Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten and
Steve Reeves},
title = {Towards linking correctness conditions for concurrent objects and
contextual trace refinement},
booktitle = {Proceedings 17th International Workshop on Refinement, Refine@FM 2015,
Oslo, Norway, 22nd June 2015},
series = {{EPTCS}},
volume = {209},
pages = {107--111},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.209.8},
doi = {10.4204/EPTCS.209.8},
timestamp = {Sun, 25 Jul 2021 11:39:05 +0200},
biburl = {https://dblp.org/rec/journals/corr/DongolG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FriggensG15,
author = {David Friggens and
Lindsay Groves},
title = {Collapsing Threads Safely with Soft Invariants},
journal = {CoRR},
volume = {abs/1512.09186},
year = {2015},
url = {http://arxiv.org/abs/1512.09186},
eprinttype = {arXiv},
eprint = {1512.09186},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FriggensG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/FriggensG14,
author = {David Friggens and
Lindsay Groves},
editor = {Bruce Thomas and
Dave Parry},
title = {Shape Predicates Allow Unbounded Verification of Linearizability Using
Canonical Abstraction},
booktitle = {Thirty-Seventh Australasian Computer Science Conference, {ACSC} 2014,
Auckland, New Zealand, January 2014},
series = {{CRPIT}},
volume = {147},
pages = {49--56},
publisher = {Australian Computer Society},
year = {2014},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV147Friggens.html},
timestamp = {Wed, 10 Feb 2021 08:45:33 +0100},
biburl = {https://dblp.org/rec/conf/acsc/FriggensG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DerrickSGD14,
author = {John Derrick and
Graeme Smith and
Lindsay Groves and
Brijesh Dongol},
editor = {Eran Yahav},
title = {Using Coarse-Grained Abstractions to Verify Linearizability on {TSO}
Architectures},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_1},
doi = {10.1007/978-3-319-13338-6\_1},
timestamp = {Thu, 07 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/DerrickSGD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DohertyGLM13,
author = {Simon Doherty and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
title = {Towards formally specifying and verifying transactional memory},
journal = {Formal Aspects Comput.},
volume = {25},
number = {5},
pages = {769--799},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0225-8},
doi = {10.1007/S00165-012-0225-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DohertyGLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ServettoG13,
author = {Marco Servetto and
Lindsay Groves},
editor = {Werner Dietl},
title = {True small-step reduction for imperative object oriented languages},
booktitle = {Proceedings of the 15th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2013, Montpellier, France, July 1, 2013},
pages = {1:1--1:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2489804.2489805},
doi = {10.1145/2489804.2489805},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ServettoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/PearceG13,
author = {David J. Pearce and
Lindsay Groves},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Reflections on Verifying Software with Whiley},
booktitle = {Formal Techniques for Safety-Critical Systems - Second International
Workshop, {FTSCS} 2013, Queenstown, New Zealand, October 29-30, 2013.
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {419},
pages = {142--159},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05416-2\_10},
doi = {10.1007/978-3-319-05416-2\_10},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/PearceG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/PearceG13,
author = {David J. Pearce and
Lindsay Groves},
editor = {Martin Erwig and
Richard F. Paige and
Eric Van Wyk},
title = {Whiley: {A} Platform for Research in Software Verification},
booktitle = {Software Language Engineering - 6th International Conference, {SLE}
2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8225},
pages = {238--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02654-1\_13},
doi = {10.1007/978-3-319-02654-1\_13},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sle/PearceG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2013,
editor = {Lindsay Groves and
Jing Sun},
title = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8},
doi = {10.1007/978-3-642-41202-8},
isbn = {978-3-642-41201-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MackayMPGC12,
author = {Julian Mackay and
Hannes Mehnert and
Alex Potanin and
Lindsay Groves and
Nicholas Cameron},
editor = {Wei{-}Ngan Chin and
Aquinas Hobor},
title = {Encoding Featherweight Java with assignment and immutability using
the Coq proof assistant},
booktitle = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
Programs, FTfJP 2012, Beijing, China, June 12, 2012},
pages = {11--19},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2318202.2318206},
doi = {10.1145/2318202.2318206},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MackayMPGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsc/CassellAGA11,
author = {Keith Cassell and
Craig Anslow and
Lindsay Groves and
Peter Andreae},
editor = {Mark Reynolds},
title = {Visualizing the Refactoring of Classes via Clustering},
booktitle = {Thirty-Fourth Australasian Computer Science Conference, {ACSC} 2011,
Perth, Australia, January 2011},
series = {{CRPIT}},
volume = {113},
pages = {63--72},
publisher = {Australian Computer Society},
year = {2011},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV113Cassell.html},
timestamp = {Fri, 02 Jul 2021 14:00:51 +0200},
biburl = {https://dblp.org/rec/conf/acsc/CassellAGA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CassellAG11,
author = {Keith Cassell and
Peter Andreae and
Lindsay Groves},
title = {A Dual Clustering Approach to the Extract Class Refactoring},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2011), Eden Roc Renaissance,
Miami Beach, USA, July 7-9, 2011},
pages = {77--82},
publisher = {Knowledge Systems Institute Graduate School},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:30:49 +0100},
biburl = {https://dblp.org/rec/conf/seke/CassellAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LeeDSG10,
author = {Scott Uk{-}Jin Lee and
Gillian Dobbie and
Jing Sun and
Lindsay Groves},
title = {Theorem prover approach to semistructured data design},
journal = {Formal Methods Syst. Des.},
volume = {37},
number = {1},
pages = {1--60},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0099-4},
doi = {10.1007/S10703-010-0099-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LeeDSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/MalikGL10,
author = {Petra Malik and
Lindsay Groves and
Clare Lenihan},
editor = {Marc Frappier and
Uwe Gl{\"{a}}sser and
Sarfraz Khurshid and
R{\'{e}}gine Laleau and
Steve Reeves},
title = {Translating {Z} to Alloy},
booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
{ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5977},
pages = {377--390},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11811-1\_28},
doi = {10.1007/978-3-642-11811-1\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/asm/MalikGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/DohertyG10,
author = {Simon Doherty and
Lindsay Groves},
editor = {Taso Viglas and
Alex Potanin},
title = {Simpler Backward Simulation Proofs},
booktitle = {Theory of Computing 2010, {CATS} 2010, Brisbane, Australia, January
2010},
series = {{CRPIT}},
volume = {109},
pages = {71--78},
publisher = {Australian Computer Society},
year = {2010},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV109Doherty.html},
timestamp = {Mon, 08 Feb 2021 13:26:48 +0100},
biburl = {https://dblp.org/rec/conf/cats/DohertyG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrovesC09,
author = {Lindsay Groves and
Robert Colvin},
title = {Trace-based derivation of a scalable lock-free stack algorithm},
journal = {Formal Aspects Comput.},
volume = {21},
number = {1-2},
pages = {187--223},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0092-5},
doi = {10.1007/S00165-008-0092-5},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrovesC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Groves09,
author = {Lindsay Groves},
title = {Reasoning about Nonblocking Concurrency},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {1},
pages = {72--111},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-01-0072},
doi = {10.3217/JUCS-015-01-0072},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Groves09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LeeDSG09,
author = {Scott Uk{-}Jin Lee and
Gillian Dobbie and
Jing Sun and
Lindsay Groves},
title = {Formal Verification of Semistructured Data Models in {PVS}},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {1},
pages = {241--272},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-01-0241},
doi = {10.3217/JUCS-015-01-0241},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/LeeDSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CassellAGN09,
author = {Keith Cassell and
Peter Andreae and
Lindsay Groves and
James Noble},
title = {Towards Automating Class-Splitting Using Betweenness Clustering},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {595--599},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.21},
doi = {10.1109/ASE.2009.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CassellAGN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/LeeSDGL08,
author = {Scott Uk{-}Jin Lee and
Jing Sun and
Gillian Dobbie and
Lindsay Groves and
Yuan{-}Fang Li},
title = {Correctness Criteria for Normalization of Semistructured Data},
booktitle = {19th Australian Software Engineering Conference {(ASWEC} 2008), March
25-28, 2008, Perth, Australia},
pages = {248--257},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.ieeecomputersociety.org/10.1109/ASWEC.2008.51},
doi = {10.1109/ASWEC.2008.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/LeeSDGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/Groves08,
author = {Lindsay Groves},
editor = {James Harland and
Prabhu Manyem},
title = {Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace
Reduction},
booktitle = {Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian
Theory Symposium {(CATS} 2008), Wollongong, NSW, Australia, January
22-25, 2008. Proceedings},
series = {{CRPIT}},
volume = {77},
pages = {133--142},
publisher = {Australian Computer Society},
year = {2008},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV77Groves.html},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cats/Groves08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/LeeSDG08,
author = {Scott Uk{-}Jin Lee and
Jing Sun and
Gillian Dobbie and
Lindsay Groves},
title = {Verifying Semistructured Data Normalization Using {PVS}},
booktitle = {13th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICECCS.2008.23},
doi = {10.1109/ICECCS.2008.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/LeeSDG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Groves07,
author = {Lindsay Groves},
title = {Reasoning about Nonblocking Concurrency using Reduction},
booktitle = {12th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2007), 10-14 July 2007, Auckland, New Zealand},
pages = {107--116},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICECCS.2007.39},
doi = {10.1109/ICECCS.2007.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Groves07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ColvinG07,
author = {Robert Colvin and
Lindsay Groves},
title = {A Scalable Lock-Free Stack Algorithm and its Verification},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {339--348},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.2},
doi = {10.1109/SEFM.2007.2},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/ColvinG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Groves08,
author = {Lindsay Groves},
editor = {Eerke A. Boiten and
John Derrick and
Graeme Smith},
title = {Trace-based Derivation of a Lock-Free Queue Algorithm},
booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007,
Oxford, UK, July 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {201},
pages = {69--98},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.02.016},
doi = {10.1016/J.ENTCS.2008.02.016},
timestamp = {Thu, 09 Feb 2023 12:15:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Groves08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/refine/2006,
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/187/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/WangDSG06,
author = {Lin Wang and
Gillian Dobbie and
Jing Sun and
Lindsay Groves},
title = {Validating {ORA-SS} Data Models using Alloy},
booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
April 2006, Sydney, Australia},
pages = {231--242},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASWEC.2006.54},
doi = {10.1109/ASWEC.2006.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/WangDSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ColvinGLM06,
author = {Robert Colvin and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
editor = {Thomas Ball and
Robert B. Jones},
title = {Formal Verification of a Lazy Concurrent List-Based Set Algorithm},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {475--488},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_44},
doi = {10.1007/11817963\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ColvinGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LeeDSG06,
author = {Scott Uk{-}Jin Lee and
Gillian Dobbie and
Jing Sun and
Lindsay Groves},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {A {PVS} Approach to Verifying {ORA-SS} Data Models},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {126--131},
year = {2006},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/LeeDSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AichernigBDG07,
author = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Preface},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {1},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.040},
doi = {10.1016/J.ENTCS.2006.08.040},
timestamp = {Tue, 31 Jan 2023 15:13:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AichernigBDG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrovesC07,
author = {Lindsay Groves and
Robert Colvin},
editor = {Bernhard K. Aichernig and
Eerke A. Boiten and
John Derrick and
Lindsay Groves},
title = {Derivation of a Scalable Lock-Free Stack Algorithm},
booktitle = {Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao,
October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {187},
pages = {55--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.08.044},
doi = {10.1016/J.ENTCS.2006.08.044},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrovesC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/ColvinG05,
author = {Robert Colvin and
Lindsay Groves},
title = {Formal Verification of an Array-Based Nonblocking Queue},
booktitle = {10th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
pages = {507--516},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICECCS.2005.49},
doi = {10.1109/ICECCS.2005.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/ColvinG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/Groves05,
author = {Lindsay Groves},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {Practical Data Refinement for the {Z} Schema Calculus},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {393--413},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_23},
doi = {10.1007/11415787\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/Groves05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ColvinDG05,
author = {Robert Colvin and
Simon Doherty and
Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten},
title = {Verifying Concurrent Data Structures by Simulation},
booktitle = {Proceedings of the {REFINE} 2005 Workshop, {REFINE} 2005, Guildford,
UK, April 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {2},
pages = {93--110},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.04.026},
doi = {10.1016/J.ENTCS.2005.04.026},
timestamp = {Mon, 12 Dec 2022 16:45:39 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ColvinDG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DohertyGLM04,
author = {Simon Doherty and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Formal Verification of a Practical Lock-Free Queue Algorithm},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {97--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_7},
doi = {10.1007/978-3-540-30232-2\_7},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/DohertyGLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DohertyDGFLMMSS04,
author = {Simon Doherty and
David Detlefs and
Lindsay Groves and
Christine H. Flood and
Victor Luchangco and
Paul Alan Martin and
Mark Moir and
Nir Shavit and
Guy L. Steele Jr.},
editor = {Phillip B. Gibbons and
Micah Adler},
title = {{DCAS} is not a silver bullet for nonblocking algorithm design},
booktitle = {{SPAA} 2004: Proceedings of the Sixteenth Annual {ACM} Symposium on
Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona,
Spain},
pages = {216--224},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007912.1007945},
doi = {10.1145/1007912.1007945},
timestamp = {Wed, 21 Nov 2018 11:11:51 +0100},
biburl = {https://dblp.org/rec/conf/spaa/DohertyDGFLMMSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/ColvinGHHNS04,
author = {Robert Colvin and
Lindsay Groves and
Ian J. Hayes and
David Hemer and
Ray Nickson and
Paul A. Strooper},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {Developing Logic Programs from Specifications Using Stepwise Refinement},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {66--89},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_3},
doi = {10.1007/978-3-540-25951-0\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ColvinGHHNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Groves02,
author = {Lindsay Groves},
editor = {John Derrick and
Eerke A. Boiten and
Jim Woodcock and
Joakim von Wright},
title = {Refinement and the {Z} schema calculus},
booktitle = {{BCS} {FACS} Refinement Workshop 2002, Refine 2002, Satellite Event
of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {70},
number = {3},
pages = {70--93},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80486-4},
doi = {10.1016/S1571-0661(05)80486-4},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Groves02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Groves00,
author = {Lindsay Groves},
title = {A formal approach to program modification},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {274--281},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896709},
doi = {10.1109/APSEC.2000.896709},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Groves00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/GrovesNRRU00,
author = {Lindsay Groves and
Ray Nickson and
Greg Reeve and
Steve Reeves and
Mark Utting},
title = {A Survey of Software Development Practices in the New Zealand Software
Industry},
booktitle = {12th Australian Software Engineering Conference {(ASWEC} 2000), 28-30
April 2000, Canberra, Australia},
pages = {189--202},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ASWEC.2000.844576},
doi = {10.1109/ASWEC.2000.844576},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/GrovesNRRU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/NobleGB95,
author = {James Noble and
Lindsay Groves and
Robert Biddle},
title = {Object Oriented Program Visualisation in Tarraingim},
journal = {Aust. Comput. J.},
volume = {27},
number = {4},
pages = {138--149},
year = {1995},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/NobleGB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/Groves95,
author = {Lindsay Groves},
title = {Deriving Programs by Combining and Adapting Refinement Scripts},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {354--363},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496984},
doi = {10.1109/APSEC.1995.496984},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/Groves95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/AinsworthCWG94,
author = {Mike Ainsworth and
A. H. Cruickshank and
Peter J. L. Wallis and
Lindsay J. Groves},
title = {Viewpoint specification and {Z}},
journal = {Inf. Softw. Technol.},
volume = {36},
number = {1},
pages = {43--51},
year = {1994},
url = {https://doi.org/10.1016/0950-5849(94)90007-8},
doi = {10.1016/0950-5849(94)90007-8},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/AinsworthCWG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/Groves94,
author = {Lindsay Groves},
editor = {David Till},
title = {Deriving language recognition algorithms: {A} case study in combining
program specialisation and data refinement},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {103--120},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_6},
doi = {10.1007/978-1-4471-3240-0\_6},
timestamp = {Tue, 20 Aug 2019 12:41:38 +0200},
biburl = {https://dblp.org/rec/conf/refine/Groves94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/NicksonG94,
author = {Raymond G. Nickson and
Lindsay J. Groves},
editor = {David Till},
title = {Metavariables and Conditional Refinements in the Refinement Calculus},
booktitle = {6th Refinement Workshop, Proceedings of the 6th Refinement Workshop,
organised by BCS-FACS, London, UK, 5-7 January 1994},
series = {Workshops in Computing},
pages = {167--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3240-0\_9},
doi = {10.1007/978-1-4471-3240-0\_9},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refine/NicksonG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refine/GrovesNU92,
author = {Lindsay Groves and
Raymond G. Nickson and
Mark Utting},
editor = {Cliff B. Jones and
Roger C. Shaw and
B. Tim Denvir},
title = {A Tactic Driven Refinement Tool},
booktitle = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
organised by BCS-FACS, London, 8-10 January 1992},
series = {Workshops in Computing},
pages = {272--297},
publisher = {Springer London},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3550-0\_14},
doi = {10.1007/978-1-4471-3550-0\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/refine/GrovesNU92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/NobleG92,
author = {James Noble and
Lindsay Groves},
editor = {John Potter and
Mario Tokoro and
Bertrand Meyer},
title = {An Introduction to the Tarraing{\'{\i}}m Program Animation Environment},
booktitle = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented
Languages and Systems, Sydney, Australia},
pages = {37--50},
publisher = {Prentice Hall},
year = {1992},
timestamp = {Tue, 07 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/NobleG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/Groves90,
author = {Lindsay Groves},
title = {Book review: Software prototyping, formal methods and {VDM} by Sharam
Hekmatpour and Darrel Ince (Addison-Wesley, 1988)},
journal = {{ACM} {SIGCHI} Bull.},
volume = {22},
number = {2},
pages = {78--80},
year = {1990},
url = {https://doi.org/10.1145/122475.1048000},
doi = {10.1145/122475.1048000},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigchi/Groves90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/MichalewiczG88,
author = {Zbigniew Michalewicz and
Lindsay Groves},
editor = {Bernadette Bouchon{-}Meunier and
Lorenza Saitta and
Ronald R. Yager},
title = {Sets and Uncertainty in Relational Databases},
booktitle = {Uncertainty and Intelligent Systems, 2nd International Conference
on Information Processing and Management of Uncertainty in Knowledge-Based
Systems, {IPMU} '88, Urbino, Italy, July 4-7, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {313},
pages = {127--137},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19402-9\_65},
doi = {10.1007/3-540-19402-9\_65},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/MichalewiczG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Groves82,
author = {Lindsay Groves},
title = {Using Simple English Sentences to Call Procedures},
journal = {{ACM} {SIGPLAN} Notices},
volume = {17},
number = {11},
pages = {31--38},
year = {1982},
url = {https://doi.org/10.1145/988152.988158},
doi = {10.1145/988152.988158},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Groves82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/GrovesR80,
author = {Lindsay J. Groves and
William J. Rogers},
editor = {Paul W. Abrahams},
title = {The design of a virtual machine for Ada},
booktitle = {Proceedings of the {ACM-SIGPLAN} symposium on The {ADA} programming
language, {SIGPLAN} 1980, Boston, Massachusetts, USA, December 9,
1980},
pages = {223--234},
publisher = {{ACM}},
year = {1980},
url = {https://doi.org/10.1145/800004.807953},
doi = {10.1145/800004.807953},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigplan/GrovesR80.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:
