Andrzej Wardzinski

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 3

Top Topics

Reference Model

Safety Critical

Hierarchical Model

Top Venues

SAFECOMP Workshops

Publications

Andrzej Wardzinski, Aleksander Jarzebowicz
Development of the System Assurance Reference Model for Generating Modular Assurance Cases. PRDC (2023)
Andrzej Wardzinski, Paul Jones
Uniform Model Interface for Assurance Case Integration with System Models. SAFECOMP Workshops (2017)
Andrzej Wardzinski, Aleksander Jarzebowicz
Towards Safety Case Integration with Hazard Analysis for Medical Devices. SAFECOMP Workshops (2016)
Andrzej Wardzinski
Safety Assurance Strategies for Autonomous Vehicles. SAFECOMP (2008)
Andrzej Wardzinski
The Role of Situation Awareness in Assuring Safety of Autonomous Vehicles. SAFECOMP (2006)
Janusz Górski, Andrzej Wardzinski
Deriving Real-Time Requirements for Software from Safety Analysis. RTS (1996)
Janusz Górski, Jan Magott, Andrzej Wardzinski
Modeling Fault Trees Using Petri Nets. SAFECOMP (1995)
Janusz Górski, Andrzej Wardzinski
Formal specification and verification of a real-time kernel. RTS (1994)