| 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 | 158 | 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 | 9 | 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 |
