Skip to main content

Research Repository

Advanced Search

Outputs (8)

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings (2019)
Conference Proceeding
(2019). Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings. In Y. Papadopoulos, K. Aslansefat, P. Katsaros, & M. Bozzano (Eds.), https://doi.org/10.1007/978-3-030-32872-6

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held in Thessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected fr... Read More about Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings.

Infinite Virtual Stoa (2018)
Conference Proceeding
Torrao, L., Papadopoulos, Y., & Mckie, D. (2018). Infinite Virtual Stoa. In XXI GENERATIVE ART 2018, proceedings of XXI Generative Art conference (183-194)

Stoicism is a philosophy that considers the object of life to be ataraxia (αταραξία), a state of psychological stability which is undisturbed by exposure to phenomena and circumstances that lie outside one's control. Such circumstances may include il... Read More about Infinite Virtual Stoa.

TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures (2018)
Conference Proceeding
Torrao, L., Mckie, D., & Papadopoulos, Y. (2018). TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures. In Proceedings of 20th Generative Art Conference,Soddu C. and Colabella E. (eds), Domus Argenia (459-469)

TIMAEUS is a digital art studio environment that enables creation of personalised 3-dimensional sculptures built with expanding spherical volumes or interconnected tetrahedra and possibly other atomic blocks in the future. These sculptures can be cus... Read More about TIMAEUS: Three-dimensional Illuminated Media Augmented Sculptures.

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Conference Proceeding
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. . https://doi.org/10.1145/1772630.1772634

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of even... Read More about A hierarchical method for the reduction of temporal expressions in Pandora.

Automatic allocation of safety integrity levels (2010)
Conference Proceeding
Papadopoulos, Y., Walker, M., Reiser, M., Weber, M., Chen, D., Törngren, M., …Sandberg, A. (2010). Automatic allocation of safety integrity levels. . https://doi.org/10.1145/1772643.1772646

In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is gener... Read More about Automatic allocation of safety integrity levels.

A translation of state machines to temporal fault trees (2010)
Conference Proceeding
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010). A translation of state machines to temporal fault trees. . https://doi.org/10.1109/dsnw.2010.5542620

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.

A language for failure patterns and application in safety analysis (2008)
Conference Proceeding
Wolforth, I., Walker, M., & Papadopoulos, Y. (2008). A language for failure patterns and application in safety analysis. . https://doi.org/10.1109/depcos-relcomex.2008.44

Components and families of components in mechatronic systems often exhibit failure characteristics that are independent of system context and repeatable across applications. In this paper, we show that it is possible to capture and reuse such pattern... Read More about A language for failure patterns and application in safety analysis.

Semi automatic failure analysis based on simulation models (2008)
Conference Proceeding
Hamann, R., Uhlig, A., Papadopoulos, Y., Rüde, E., Grätz, U., Walker, M., & Lien, R. (2008). Semi automatic failure analysis based on simulation models. . https://doi.org/10.1115/omae2008-57256

Classical risk assessment and risk management which is gaining importance in many industries is usually based on well defined processes and uses techniques like FTA and FMEA. However, classical risk analysis techniques like FTA and FMEA should ideall... Read More about Semi automatic failure analysis based on simulation models.