- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| c8 |      | M. Rachel Flynn, Moira Lonergan, Peter Kearney, Emer Shelley: Development of the National Cardiovascular Information System (NCIS) in Ireland. CBMS 2005: 179-184 |
| 2000 | ||
| c7 | | Colin Boyd, Peter Kearney: Exploring Fair Exchange Protocols Using Specification Animation. ISW 2000: 209-223 |
| 1997 | ||
| j3 | | Colin J. Fidge, Peter Kearney, Mark Utting: A Formal Method for Building Concurrent Real-Time Software. IEEE Software 14(2): 99-106 (1997) |
| c6 | | Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman: The Cogito Development System. AMAST 1997: 586-591 |
| 1996 | ||
| c5 | | 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 |
| c4 | | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes: Integrating Real-Time Scheduling Theory and Program Refinement. FME 1996: 327-346 |
| 1995 | ||
| j2 | | 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) |
| c3 | | Colin J. Fidge, Peter Kearney, Mark Utting: Interactively Verifying a Simple Real-time Scheduler. CAV 1995: 395-408 |
| 1994 | ||
| c2 | | Peter Kearney, Mark Utting: A Layered Real-Time Specification of a RISC Processor. FTRTFT 1994: 455-475 |
| 1992 | ||
| c1 |  | Peter Kearney, John Staples, A. Abbas: Functional Verification of Hard Real-Time Programs. IFIP Congress (1) 1992: 113-119 |
| 1991 | ||
| j1 | | Peter Kearney, John Staples: An Extensional Fixed-Point Semantics for Nondeterministic Data Flow. Theor. Comput. Sci. 91(2): 129-179 (1991) |
Colors in the list of coauthors
Last update Sun May 19 13:00:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page