Tim Kelly

Youcef Gheraibia

CoRR, 2020

Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

Variability management in safety-critical systems design and dependability analysis.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2019

Model based system assurance using the structured assurance case metamodel.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle.

[BibT_eX]

[DOI]

CoRR, 2019

An Assurance Framework for Independent Co-assurance of Safety and Security.

[BibT_eX]

[DOI]

CoRR, 2019

Structured Reasoning for Socio-Technical Factors of Safety-Security Assurance.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2019

Devil's in the Detail: Through-Life Safety and Security Co-assurance Using SSAF.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases.

[BibT_eX]

[DOI]

Radu Calinescu

Danny Weyns

Simos Gerasimou

Muhammad Usman Iftikhar

IEEE Trans. Software Eng., 2018

On the Transition from Design Time to Runtime Model-Based Assurance Cases.

[BibT_eX]

[DOI]

Proceedings of MODELS 2018 Workshops: ModComp, 2018

The visual inheritance structure to support the design of visual notations.

[BibT_eX]

[DOI]

Nungki Selviandro

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Variability Management in Safety-Critical Software Product Line Engineering.

[BibT_eX]

[DOI]

Proceedings of the New Opportunities for Software Reuse - 17th International Conference, 2018

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Control Diffusion of Information Collection for Situation Understanding Using Boosting MLNs.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Information Fusion, 2018

2017

How can health care organisations make and justify decisions about risk reduction? Lessons from a cross-industry review and a health care stakeholder consensus development process.

[BibT_eX]

[DOI]

Christopher W. Johnson

Reliab. Eng. Syst. Saf., 2017

Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems.

[BibT_eX]

[DOI]

Chris Leong

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

DEIS: Dependability Engineering Innovation for Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2017

Establishing Verification and Validation Objectives for Safety-Critical Bayesian Networks.

[BibT_eX]

[DOI]

Mark Douthwaite

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Integration of the 4+1 Software Safety Assurance Principles with Scrum.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2017

2016

Challenges and Opportunities in Agile Development in Safety Critical Systems: A Survey.

[BibT_eX]

[DOI]

Osama Doss

Rajwinder Kaur Panesar-Walawege

ACM SIGSOFT Softw. Eng. Notes, 2016

Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel.

[BibT_eX]

[DOI]

Ángel López

Idoya del Río

Inf. Softw. Technol., 2016

Model-based safety analysis of software product lines.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2016

Addressing the 4+1 Software Safety Assurance Principles within Scrum.

[BibT_eX]

[DOI]

Osama Doss

Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

The 4+1 Principles of Software Safety Assurance and Their Implications for Scrum.

[BibT_eX]

[DOI]

Osama Doss

Proceedings of the Agile Processes, in Software Engineering, and Extreme Programming, 2016

Using Process Models in System Assurance.

[BibT_eX]

[DOI]

Thomas Richardson

Proceedings of the Computer Safety, Reliability, and Security, 2016

Safe Multi-objective Planning with a Posteriori Preferences.

[BibT_eX]

[DOI]

Ralph Eastwood

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Computer-assisted safety argument review - a dialectics approach.

[BibT_eX]

[DOI]

Tangming Yuan

Tianhua Xu

Argument Comput., 2015

Automatically Detecting Fallacies in System Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2015

An evidential reasoning approach for assessing confidence in safety evidence.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Developing Assurance Cases for D-MILS Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Weaving an Assurance Case from Design: A Model-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Supporting the Automated Generation of Modular Product Line Safety Cases.

[BibT_eX]

[DOI]

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach.

[BibT_eX]

[DOI]

Alberto Melzi

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Evolving robust networks for systems-of-systems: is it viable for large networks?

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2014

A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products.

[BibT_eX]

[DOI]

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Rethinking of Strategy for Safety Argument Development.

[BibT_eX]

[DOI]

Linling Sun

Nuno Silva

Proceedings of the Computer Safety, Reliability, and Security, 2014

Introduction to SASSUR 2014.

[BibT_eX]

[DOI]

Jose Luis de la Vara

Proceedings of the Computer Safety, Reliability, and Security, 2014

Quantifying Uncertainty in Safety Cases Using Evidential Reasoning.

[BibT_eX]

[DOI]

Sunil Nair

Neil Walkinshaw

Proceedings of the Computer Safety, Reliability, and Security, 2014

Assurance Cases for Block-Configurable Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Certifiably safe software-dependent systems: challenges and directions.

[BibT_eX]

[DOI]

Proceedings of the on Future of Software Engineering, 2014

Key Issues on Assuring the Safe Operation of Heath IT Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

Deviation based Safety Analysis and Justification of Clinical Services.

[BibT_eX]

[DOI]

Proceedings of the Integrating Information Technology and Management for Quality of Care [ICIMTH 2014, 2014

2013

Using argumentation to evaluate software assurance standards.

[BibT_eX]

[DOI]

Patrick J. Graydon

Inf. Softw. Technol., 2013

Safety cases for medical devices and health information technology: Involving health-care organisations in the assurance of safety.

[BibT_eX]

[DOI]

Health Informatics J., 2013

Towards a multi-view point safety contract.

[BibT_eX]

[DOI]

Huáscar Espinoza

Proceedings of the SAFECOMP 2013, 2013

Principled Construction of Software Safety Cases.

[BibT_eX]

[DOI]

Proceedings of the SAFECOMP 2013, 2013

1st international workshop on assurance cases for software-intensive systems (ASSURE 2013).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Arguing Conformance.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Argument-based approach to computer system safety engineering.

[BibT_eX]

[DOI]

Tangming Yuan

Int. J. Crit. Comput. Based Syst., 2012

Large-scale complex IT systems.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Evolving Robust Networks for Systems-of-Systems.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

Introduction to Sassur 2012.

[BibT_eX]

[DOI]

Mehrdad Sabetzadeh

Didier Van Den Abeele

Proceedings of the Computer Safety, Reliability, and Security, 2012

Assessing Software Interference Management When Modifying Safety-Related Software.

[BibT_eX]

[DOI]

Patrick J. Graydon

Proceedings of the Computer Safety, Reliability, and Security, 2012

Introducing safety cases for health IT.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering in Health Care, 2012

2011

Distinguishing Fact from Fiction in a System of Systems Safety Case.

[BibT_eX]

[DOI]

Proceedings of the Advances in Systems Safety, 2011

A New Approach to creating Clear Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Advances in Systems Safety, 2011

Using a Software Safety Argument Pattern Catalogue: Two Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

Software safety: relating software assurance and software integrity.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2010

A case for dynamic risk assessment in NEC systems of systems.

[BibT_eX]

[DOI]

Jonathan M. Aitken

Proceedings of the 5th International Conference on System of Systems Engineering, 2010

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4.

[BibT_eX]

[DOI]

Proceedings of the Making Systems Safer, 2010

Evaluation and Integration of COTS in Evidence based Assurance Frameworks.

[BibT_eX]

[DOI]

Georgios Despotou

Mike Bennett

Proceedings of the Making Systems Safer, 2010

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

2009

Towards Using Simulation to Evaluate Safety Policy for Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the Safety and Security in Multiagent Systems, 2009

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2009

2008

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

ITU-T initiatives on climate change.

[BibT_eX]

[DOI]

Martin Adolph

IEEE Commun. Mag., 2008

A Model-Driven Approach to Assuring Process Reliability.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

Using fuzzy self-organising maps for safety critical systems.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2007

Developing artificial neural networks for safety critical systems.

[BibT_eX]

[DOI]

Jim Austin

Neural Comput. Appl., 2007

Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 11th International Conference, 2007

Achieving Integrated Process and Product Safety Arguments.

[BibT_eX]

[DOI]

Proceedings of the Safety of Systems, 2007

Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Safety of Systems, 2007

Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2007

Capturing and Replaying Architectural Knowledge through Derivational Analogy.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Sharing and Reusing Architectural Knowledge, 2007

Extending Argumentation to Goal-Oriented Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Process and product certification arguments: getting the balance right.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

Eliciting safety policy and balancing with operational fitness in systems of systems.

[BibT_eX]

[DOI]

Georgios Despotou

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Gaining Confidence in Goal-based Safety Cases.

[BibT_eX]

[DOI]

Rob Weaver

Paul Mayo

Proceedings of the Developments in Risk-based Approaches to Safety, 2006

Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2006

System of Systems Hazard Analysis Using Simulation and Machine Learning.

[BibT_eX]

[DOI]

Dimitar Kazakov

Proceedings of the Computer Safety, 2006

Managing Architectural Design Decisions for Safety-Critical Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures, 2006

Towards Evidence-Based Architectural Design for Safety-Critical Software Applications.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Deviational Analyses for Validating Regulations on Real Systems.

[BibT_eX]

[DOI]

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

Structuring Safety Policy Decomposition.

[BibT_eX]

[DOI]

Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006

2005

Failure modelling in software architecture design for safety.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Combining software evidence: arguments and assurance.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2005

Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2005

Defining and Decomposing Safety Policy for Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2005

Establishing a Standard Business Process Execution Architecture for Integrating Web Services.

[BibT_eX]

[DOI]

Thilina Gunasinghe

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

2004

Contract-Based Justification for COTS Component within Safety Critical Applications.

[BibT_eX]

[DOI]

Fan Ye

Proceedings of the Safety Critical Systems and Software 2004, 2004

Exploiting Safety Constraints in Fuzzy Self-organising Maps for Safety Critical Applications.

[BibT_eX]

[DOI]

Jim Austin

Proceedings of the Intelligent Data Engineering and Automated Learning, 2004

COTS Product Selection for Safety-Critical Systems.

[BibT_eX]

[DOI]

Fan Ye

Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

Component Failure Mitigation According to Failure Type.

[BibT_eX]

[DOI]

Fan Ye

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Safety Tactics for Software Architecture Design.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2003

Architectural considerations in the certification of modular systems.

[BibT_eX]

[DOI]

Iain Bate

Reliab. Eng. Syst. Saf., 2003

A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments.

[BibT_eX]

[DOI]

Rob Weaver

Jane Fenn

Proceedings of the Safety Critical Systems and Software 2003, 2003

Safety Lifecycle for Developing Safety Critical Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 2003

Establishing Safety Criteria for Artificial Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2003

2001

A systematic approach to safety case maintenance.

[BibT_eX]

[DOI]

John A. McDermid

Reliab. Eng. Syst. Saf., 2001

Use of Modern Processors in Safety-Critical Applications.

[BibT_eX]

[DOI]

Comput. J., 2001

Deriving Safety Requirements Using Scenarios.

[BibT_eX]

[DOI]

Karen Allenby

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

1997

Safety Case Construction and Reuse Using Patterns.

[BibT_eX]

[DOI]

John A. McDermid

Proceedings of the 16th International Conference on Computer Safety, 1997

1995

Safety Cases for Software Application Reuse.

[BibT_eX]

[DOI]

Peter Fenelon