Yiannis Papadopoulos

Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos: Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Performance Evaluation Review 39(4): 79-88 (2012)

De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg: Integrated safety and architecture modeling for automotive embedded systems^*. Elektrotechnik und Informationstechnik 128(6): 196-202 (2011)

Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker, Tetsuya Tohdo: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw., Pract. Exper. 41(11): 1303-1327 (2011)

Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos: Compositional Synthesis of Temporal Fault Trees from State Machines. ARES 2011: 429-435

Septavera Sharvia, Yiannis Papadopoulos: IACoB-SA: An approach towards integrated safety assessment. CASE 2011: 220-225

Ian Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske: Capture and reuse of composable failure patterns. IJCCBS 1(1/2/3): 128-147 (2010)

Ian Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos: Generalizable safety annotations for specification of failure patterns. Softw., Pract. Exper. 40(5): 453-483 (2010)

Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg: Automatic allocation of safety integrity levels. EDCC-CARS 2010: 7-10

Andreas Abele, Yiannis Papadopoulos, David Servat, Martin Törngren, Matthias Weber: The CVM Framework - A Prototype Tool for Compositional Variability Management. VaMoS 2010: 101-105

Ian Wolforth, Martin Walker, Yiannis Papadopoulos: A Language for Failure Patterns and Application in Safety Analysis. DepCoS-RELCOMEX 2008: 47-54

De-Jiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren: Modelling Support for Design of Safety-Critical Automotive Embedded Systems. SAFECOMP 2008: 72-85

Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, et al.: The EAST-ADL Architecture Description Language for Automotive Embedded Software. Model-Based Engineering of Embedded Real-Time Systems 2007: 297-307

David Parker, Yiannis Papadopoulos: Optimisation of Networked Control Systems Using Model-based Safety Analysis Techniques. ICNSC 2007: 425-430

Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos: Compositional Temporal Fault Tree Analysis. SAFECOMP 2007: 106-119

Lars Grunske, Peter A. Lindsay, Egor Bondarev, Yiannis Papadopoulos, David Parker: An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. WADS 2006: 188-209

Yiannis Papadopoulos, Christian Grante: Evolving car designs using model-based automated safety analysis and optimisation techniques. Journal of Systems and Software 76(1): 77-89 (2005)

Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. CBSE 2005: 33-48

Yiannis Papadopoulos, David Parker, Christian Grante: Automating the Failure Modes and Effects Analysis of Safety Critical Systems. HASE 2004: 310-311

Yiannis Papadopoulos, David Parker, Christian Grante: A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. SCS 2004: 89-95

Yiannis Papadopoulos, Christian Grante: Techniques and Tools for Automated Safety Analysis & Decision Support for Redundancy Allocation in Automotive Systems. COMPSAC 2003: 105-110

Yiannis Papadopoulos: Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation Model. SAFECOMP 2002: 236-248

Yiannis Papadopoulos, Matthias Maruhn: Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. DSN 2001: 77-82

Yiannis Papadopoulos, John A. McDermid: Hierarchically Performed Hazard Origin and Propagation Studies. SAFECOMP 1999: 139-152