Mark Nicholson

According to our database, Mark Nicholson authored at least 9 papers between 1993 and 2024.

Collaborative distances:

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

2024

A New Approach to Creating Clear Operational Safety Arguments.

Jane Fenn, Richard Hawkins, Mark Nicholson

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023

VINCY: A Smart-contract based Data Integrity and Validation Tooling for Automated Vehicle Incident Investigation.

André Budel, Reem Alhabib, Mark Nicholson, Poonam Yadav

CoRR, 2023

Architecting Safer Autonomous Aviation Systems.

Jane Fenn, Mark Nicholson, Ganesh Pai, Michael Wilkinson

CoRR, 2023

2022

Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE).

Richard Hawkins, Matt Osborne, Mike Parsons, Mark Nicholson, John A. McDermid, Ibrahim Habli

CoRR, 2022

2005

Health Monitoring for Reconfigurable Integrated Control Systems.

Mark Nicholson

Proceedings of the Constituents of Modern System-safety Thinking, 2005

Exploring the Possibilities Towards a Preliminary Safety Case for IMA Blueprints.

Graham Jolliffe, Mark Nicholson

Proceedings of the Constituents of Modern System-safety Thinking, 2005

2003

Safety Assurance Contracts for Integrated Modular Avionics.

Philippa Conmy, Mark Nicholson, John A. McDermid

Proceedings of the Safety Critical Systems and Software 2003, 2003

1996

Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis.

Mark Nicholson, Divya Prasad

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1993

Pipelined Processors and Worst Case Execution Times.

N. Zhang, Alan Burns, Mark Nicholson

Real Time Syst., 1993