Formal specification and verification of a real-time kernel. - Janusz Górski; Andrzej Wardzinski (RTS, 1994)

Modeling Fault Trees Using Petri Nets. - Janusz Górski; Jan Magott; Andrzej Wardzinski (SAFECOMP, 1995)

Deriving Real-Time Requirements for Software from Safety Analysis. - Janusz Górski; Andrzej Wardzinski (RTS, 1996)

The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. - Andrzej Wardzinski (SAFECOMP, 2006)

Safety Assurance Strategies for Autonomous Vehicles. - Andrzej Wardzinski (SAFECOMP, 2008)

Towards Safety Case Integration with Hazard Analysis for Medical Devices. - Andrzej Wardzinski; Aleksander Jarzebowicz (SAFECOMP Workshops, 2016)

Uniform Model Interface for Assurance Case Integration with System Models. - Andrzej Wardzinski; Paul L. Jones (SAFECOMP Workshops, 2017)

Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components. - Janusz Górski; Andrzej Wardzinski (Resilience of Cyber-Physical Systems, 2019)

Development of the System Assurance Reference Model for Generating Modular Assurance Cases. - Andrzej Wardzinski; Aleksander Jarzebowicz (PRDC, 2023)

Automated Generation of Modular Assurance Cases with the System Assurance Reference Model. - Andrzej Wardzinski; Aleksander Jarzebowicz (Formal Aspects Comput., 2024)