Peter Kearney

According to our database, Peter Kearney authored at least 21 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

The impact of out-the-window size on air traffic controllers' visual behaviours and response time on digital tower operations.

Wen-Chin Li, Peter Moore, Jingyi Zhang, John J. H. Lin, Peter Kearney

Int. J. Hum. Comput. Stud., 2022

2021

The Data Quality Index: Improving Data Quality in Irish Healthcare Records.

David Hickey, Rita O. Connor, Pauline McCormack, Peter Kearney, Roosa Rosti, Rob Brennan

Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

Psychophysical Coherence Training Regulating Air Traffic Controller's Heart Rate Variability and Resilience to Fatigue.

Wen-Chin Li, Jingyi Zhang, Peter Kearney, Graham R. Braithwaite

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2021

2019

Wearable technology-based metrics for predicting operator performance during cardiac catheterisation.

Jonathan Currie, Raymond R. Bond, Paul J. McCullagh, Pauline Black, Dewar D. Finlay, Stephen Gallagher, Peter Kearney, Aaron J. Peace, Danail Stoyanov, Colin D. Bicknell, Stephen J. Leslie, Anthony G. Gallagher

Int. J. Comput. Assist. Radiol. Surg., 2019

Roster and Air Traffic Controller's Situation Awareness.

Peter Kearney, Wen-Chin Li, Graham R. Braithwaite

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2019

2018

Human Performance Assessment of Multiple Remote Tower Operations Simultaneous Take-Off and Landing at Two Airports.

Peter Kearney, Wen-Chin Li, Graham R. Braithwaite

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2018

2017

The Investigation Human-Computer Interaction on Multiple Remote Tower Operations.

Peter Kearney, Wen-Chin Li, Graham R. Braithwaite, Matthew Greaves

Proceedings of the Engineering Psychology and Cognitive Ergonomics: Performance, Emotion and Situation Awareness, 2017

2015

The Efficiency of New Audio Alerts in the COOPANS Eurocat System.

Peter Kearney, Wen-Chin Li

Proceedings of the Engineering Psychology and Cognitive Ergonomics, 2015

2005

Development of the National Cardiovascular Information System (NCIS) in Ireland.

M. Rachel Flynn, Moira Lonergan, Peter Kearney, Emer Shelley

Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

2000

Exploring Fair Exchange Protocols Using Specification Animation.

Colin Boyd, Peter Kearney

Proceedings of the Information Security, Third International Workshop, 2000

1997

A Formal Method for Building Concurrent Real-Time Software.

Colin J. Fidge, Peter Kearney, Mark Utting

IEEE Softw., 1997

The Cogito Development System.

Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Integrating Real-Time Scheduling Theory and Program Refinement.

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Formal Methods Pilot Project.

Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Cogito: a Methodology and System for Formal Software Development.

Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor

Int. J. Softw. Eng. Knowl. Eng., 1995

Interactively Verifying a Simple Real-time Scheduler.

Colin J. Fidge, Peter Kearney, Mark Utting

Proceedings of the Computer Aided Verification, 1995

1994

A Layered Real-Time Specification of a RISC Processor.

Peter Kearney, Mark Utting

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

The Cogito methodology and system.

Anthony C. Bloesch, Edmund Kazmierczak, Peter Kearney, Owen Traynor

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1992

Functional Verification of Hard Real-Time Programs.

Peter Kearney, John Staples, Abdu Abbas

Proceedings of the Algorithms, Software, Architecture, 1992

1991

An Extensional Fixed-Point Semantics for Nondeterministic Data Flow.

Peter Kearney, John Staples

Theor. Comput. Sci., 1991

1988

Reasoning about nondeterministic data flow

Peter Kearney

PhD thesis, 1988