Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Papadopoulos, Yiannis
add a person with the name Papadopoulos, Yiannis
 

Other publications of authors with the same name

Integrating model checking with HiP-HOPS in model-based safety analysis., and . Rel. Eng. & Sys. Safety, (2015)Assisted Assignment of Automotive Safety Requirements., , , , and . IEEE Software, 31 (1): 62-68 (2014)An approach to optimization of fault tolerant architectures using HiP-HOPS., , , , and . Softw., Pract. Exper., 41 (11): 1303-1327 (2011)A synthesis of logic and bio-inspired techniques in the design of dependable systems., , , , , , , and . Annual Reviews in Control, (2016)Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex Systems., , , and . IEEE Access, (2018)Generalizable safety annotations for specification of failure patterns., , , and . Softw., Pract. Exper., 40 (5): 453-483 (2010)Compositional synthesis of temporal fault trees from state machines., , and . SIGMETRICS Performance Evaluation Review, 39 (4): 79-88 (2012)Model transformation for analyzing dependability of AADL model by using HiP-HOPS., , , and . Journal of Systems and Software, (2019)An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems., , , , and . WADS, volume 4615 of Lecture Notes in Computer Science, page 188-209. Springer, (2006)Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks., , and . IMBSA, volume 8822 of Lecture Notes in Computer Science, page 96-109. Springer, (2014)