Towards integrated safety analysis and design P Fenelon, JA McDermid, M Nicolson, DJ Pumfrey ACM SIGAPP Applied Computing Review 2 (1), 21-32, 1994 | 216 | 1994 |
Pipelined processors and worst case execution times N Zhang, A Burns, M Nicholson Real-Time Systems 5, 319-343, 1993 | 165 | 1993 |
Experience with the application of HAZOP to computer-based systems JA McDermid, M Nicholson, DJ Pumfrey, P Fenelon COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995 | 159 | 1995 |
Allocating and scheduling hard real-time tasks on a point-to-point distributed system A Burns, M Nicholson, K Tindell, N Zhang Proceedings of the Workshop on Parallel and Distributed Real-Time Systems, 11-20, 1993 | 73 | 1993 |
Selecting a topology for safety-critical real-time control systems M Nicholson University of York, 1998 | 38 | 1998 |
Safety assurance contracts for integrated modular avionics P Conmy, M Nicholson, J McDermid Proceedings of the 8th Australian workshop on Safety critical systems and …, 2003 | 34 | 2003 |
Generating and maintaining a safety argument for integrated modular systems M Nicholson, P Conmy, I Bate, J McDermid 5th Australian Workshop on Industrial Experience with Safety Critical …, 2000 | 29 | 2000 |
Health monitoring for reconfigurable integrated control systems M Nicholson Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth …, 2005 | 25 | 2005 |
The state of practice in system safety research evaluation AJ Rae, M Nicholson, RD Alexander IET Digital Library, 2010 | 19 | 2010 |
Approaches to certification of reconfigurable IMA systems P Hollow, J McDermid, M Nicholson Proceedings 10th International Symposium of the International Coucil on …, 2000 | 19 | 2000 |
Safety analysis and certification of open distributed systems PM Conmy, JA McDermid, M Nicholson, Y Purwantoro | 18 | 2002 |
Exploring the possibilities towards a preliminary safety case for IMA blueprints G Jolliffe, M Nicholson Constituents of Modern System-safety Thinking: Proceedings of the Thirteenth …, 2005 | 15 | 2005 |
Genetic algorithms and grouping problems M Nicholson Software: Practice and Experience 28 (10), 1137-1138, 1998 | 11 | 1998 |
Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE) R Hawkins, M Osborne, M Parsons, M Nicholson, J McDermid, I Habli arXiv preprint arXiv:2208.00853, 2022 | 10 | 2022 |
Data-Centric Safety: Challenges, Approaches, and Incident Investigation A Faulkner, M Nicholson Elsevier, 2020 | 8 | 2020 |
Design synthesis using adaptive search techniques and multi-criteria decision analysis M Nicholson, D Prasad Proceedings of ICECCS'96: 2nd IEEE International Conference on Engineering …, 1996 | 8 | 1996 |
The ethics of acceptable safety I Habli, T Kelly, K Macnish, C Megone, M Nicholson, A Rae Proceedings of the 23rd Safety-critical Systems Symposium, 2015 | 7 | 2015 |
An assessment framework for data-centric systems A Faulkner, M Nicholson Proc. 22nd Safety-Critical Systems Symposium, Brighton, UK. Edited by C …, 2014 | 7 | 2014 |
Computer safety for modern bridge systems M Nicholson The Journal of Navigation 66 (5), 789-797, 2013 | 7 | 2013 |
Emergence of an architectural topology for safety-critical real-time systems M Nicholson, A Burns, Y Dd REPORT-UNIVERSITY OF YORK DEPARTMENT OF COMPUTER SCIENCE YCS, 1997 | 7 | 1997 |