2009 |
25 | EE | Lindsay Groves,
Robert Colvin:
Trace-based derivation of a scalable lock-free stack algorithm.
Formal Asp. Comput. 21(1-2): 187-223 (2009) |
2008 |
24 | EE | Scott Uk-Jin Lee,
Jing Sun,
Gillian Dobbie,
Lindsay Groves,
Yuan-Fang Li:
Correctness Criteria for Normalization of Semistructured Data.
Australian Software Engineering Conference 2008: 248-257 |
23 | EE | Lindsay Groves:
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction.
CATS 2008: 133-142 |
22 | EE | Lindsay Groves:
Trace-based Derivation of a Lock-Free Queue Algorithm.
Electr. Notes Theor. Comput. Sci. 201: 69-98 (2008) |
2007 |
21 | EE | Lindsay Groves:
Reasoning about Nonblocking Concurrency using Reduction.
ICECCS 2007: 107-116 |
20 | EE | Robert Colvin,
Lindsay Groves:
A Scalable Lock-Free Stack Algorithm and its Verification.
SEFM 2007: 339-348 |
19 | EE | Bernhard K. Aichernig,
Eerke A. Boiten,
John Derrick,
Lindsay Groves:
Preface.
Electr. Notes Theor. Comput. Sci. 187: 1 (2007) |
18 | EE | Lindsay Groves,
Robert Colvin:
Derivation of a Scalable Lock-Free Stack Algorithm.
Electr. Notes Theor. Comput. Sci. 187: 55-74 (2007) |
2006 |
17 | EE | Lin Wang,
Gillian Dobbie,
Jing Sun,
Lindsay Groves:
Validating ORA-SS Data Models using Alloy.
ASWEC 2006: 231-242 |
16 | EE | Robert Colvin,
Lindsay Groves,
Victor Luchangco,
Mark Moir:
Formal Verification of a Lazy Concurrent List-Based Set Algorithm.
CAV 2006: 475-488 |
15 | | Scott Uk-Jin Lee,
Gillian Dobbie,
Jing Sun,
Lindsay Groves:
A PVS Approach to Verifying ORA-SS Data Models.
SEKE 2006: 126-131 |
2005 |
14 | EE | Robert Colvin,
Lindsay Groves:
Formal Verification of an Array-Based Nonblocking Queue.
ICECCS 2005: 507-516 |
13 | EE | Lindsay Groves:
Practical Data Refinement for the Z Schema Calculus.
ZB 2005: 393-413 |
12 | EE | Robert Colvin,
Simon Doherty,
Lindsay Groves:
Verifying Concurrent Data Structures by Simulation.
Electr. Notes Theor. Comput. Sci. 137(2): 93-110 (2005) |
2004 |
11 | EE | Simon Doherty,
Lindsay Groves,
Victor Luchangco,
Mark Moir:
Formal Verification of a Practical Lock-Free Queue Algorithm.
FORTE 2004: 97-114 |
10 | EE | Robert Colvin,
Lindsay Groves,
Ian J. Hayes,
David Hemer,
Ray Nickson,
Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement.
Program Development in Computational Logic 2004: 66-89 |
9 | EE | Simon Doherty,
David Detlefs,
Lindsay Groves,
Christine H. Flood,
Victor Luchangco,
Paul A. Martin,
Mark Moir,
Nir Shavit,
Guy L. Steele Jr.:
DCAS is not a silver bullet for nonblocking algorithm design.
SPAA 2004: 216-224 |
2002 |
8 | EE | Lindsay Groves:
Refinement and the Z schema calculus.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
2000 |
7 | EE | Lindsay Groves:
A formal approach to program modification.
APSEC 2000: 274-281 |
6 | EE | Lindsay Groves,
Ray Nickson,
Greg Reeve,
Steve Reeves,
Mark Utting:
A Survey of Software Development Practices in the New Zealand Software Industry .
Australian Software Engineering Conference 2000: 189-202 |
1995 |
5 | EE | Lindsay Groves:
Deriving Programs by Combining and Adapting Refinement Scripts.
APSEC 1995: 354-363 |
4 | | James Noble,
Lindsay Groves,
Robert Biddle:
Object Oriented Program Visualisation in Tarraingim.
Australian Computer Journal 27(4): 138-149 (1995) |
1992 |
3 | | James Noble,
Lindsay Groves:
An Introduction to the Tarraingím Program Animation Environment.
TOOLS (6) 1992: 37-50 |
1988 |
2 | | Zbigniew Michalewicz,
Lindsay Groves:
Sets and Uncertainty in Relational Databases.
IPMU 1988: 127-137 |
1982 |
1 | | Lindsay Groves:
Using Simple English Sentences to Call Procedures.
SIGPLAN Notices 17(11): 31-38 (1982) |