Andrzej Wardzinski

According to our database, Andrzej Wardzinski authored at least 10 papers between 1994 and 2024.

Collaborative distances:

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

2024

Automated Generation of Modular Assurance Cases with the System Assurance Reference Model.

Andrzej Wardzinski, Aleksander Jarzebowicz

Formal Aspects Comput., December, 2024

2023

Development of the System Assurance Reference Model for Generating Modular Assurance Cases.

Andrzej Wardzinski, Aleksander Jarzebowicz

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

2019

Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components.

Janusz Górski, Andrzej Wardzinski

Proceedings of the Resilience of Cyber-Physical Systems, 2019

2017

Uniform Model Interface for Assurance Case Integration with System Models.

Andrzej Wardzinski, Paul L. Jones

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

2016

Towards Safety Case Integration with Hazard Analysis for Medical Devices.

Andrzej Wardzinski, Aleksander Jarzebowicz

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

2008

Safety Assurance Strategies for Autonomous Vehicles.

Andrzej Wardzinski

Proceedings of the Computer Safety, 2008

2006

The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles.

Andrzej Wardzinski

Proceedings of the Computer Safety, 2006

1996

Deriving Real-Time Requirements for Software from Safety Analysis.

Janusz Górski, Andrzej Wardzinski

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Modeling Fault Trees Using Petri Nets.

Janusz Górski, Jan Magott, Andrzej Wardzinski

Proceedings of the 14th International Conference on Computer Safety, 1995

1994

Formal specification and verification of a real-time kernel.

Janusz Górski, Andrzej Wardzinski

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994