| 2005 |
|---|
| 11 | EE | M. Rachel Flynn,
Moira Lonergan,
Peter Kearney,
Emer Shelley:
Development of the National Cardiovascular Information System (NCIS) in Ireland.
CBMS 2005: 179-184 |
| 2000 |
|---|
| 10 | EE | Colin Boyd,
Peter Kearney:
Exploring Fair Exchange Protocols Using Specification Animation.
ISW 2000: 209-223 |
| 1997 |
|---|
| 9 | | Owen Traynor,
Daniel Hazel,
Peter Kearney,
Andrew Martin,
Ray Nickson,
Luke Wildman:
The Cogito Development System.
AMAST 1997: 586-591 |
| 8 | | Colin J. Fidge,
Peter Kearney,
Mark Utting:
A Formal Method for Building Concurrent Real-Time Software.
IEEE Software 14(2): 99-106 (1997) |
| 1996 |
|---|
| 7 | EE | Tracey Hart,
Fiona Linn,
Roberto Morello,
Greg Royle,
Peter Kearney,
Peter A. Lindsay,
Kelvin J. Ross,
Owen Traynor:
Formal Methods Pilot Project.
APSEC 1996: 238-245 |
| 6 | | Colin J. Fidge,
Mark Utting,
Peter Kearney,
Ian J. Hayes:
Integrating Real-Time Scheduling Theory and Program Refinement.
FME 1996: 327-346 |
| 1995 |
|---|
| 5 | | Colin J. Fidge,
Peter Kearney,
Mark Utting:
Interactively Verifying a Simple Real-time Scheduler.
CAV 1995: 395-408 |
| 4 | EE | Anthony C. Bloesch,
Edmund Kazmierczak,
Peter Kearney,
Owen Traynor:
Cogito: a Methodology and System for Formal Software Development.
International Journal of Software Engineering and Knowledge Engineering 5(4): 599-617 (1995) |
| 1994 |
|---|
| 3 | | Peter Kearney,
Mark Utting:
A Layered Real-Time Specification of a RISC Processor.
FTRTFT 1994: 455-475 |
| 1992 |
|---|
| 2 | | Peter Kearney,
John Staples,
A. Abbas:
Functional Verification of Hard Real-Time Programs.
IFIP Congress (1) 1992: 113-119 |
| 1991 |
|---|
| 1 | | Peter Kearney,
John Staples:
An Extensional Fixed-Point Semantics for Nondeterministic Data Flow.
Theor. Comput. Sci. 91(2): 129-179 (1991) |
