David Parker

Orcid: 0000-0003-1482-1355

Affiliations:
  • University of Hull


According to our database1, David Parker authored at least 18 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Modeling the Variability of System Safety Analysis Using State-Machine Diagrams.
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

2020
Failure Mode Reasoning in Model Based Safety Analysis.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.
Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019
Variability management in safety-critical systems design and dependability analysis.
J. Softw. Evol. Process., 2019

2017
Model-Connected Safety Cases.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
A synthesis of logic and bio-inspired techniques in the design of dependable systems.
Annu. Rev. Control., 2016

2014
Assisted Assignment of Automotive Safety Requirements.
IEEE Softw., 2014

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels.
Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

2013
Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw., 2013

Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search.
Proceedings of the SAFECOMP 2013, 2013

Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm.
Proceedings of the Recent Trends in Applied Artificial Intelligence, 2013

2011
An approach to optimization of fault tolerant architectures using HiP-HOPS.
Softw. Pract. Exp., 2011

2010
Multi-objective optimisation of safety-critical hierarchical systems.
PhD thesis, 2010

2007
Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006
An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.
Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

2004
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs.
Proceedings of the Safety Critical Systems and Software 2004, 2004

Automating the Failure Modes and Effects Analysis of Safety Critical Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004


  Loading...