Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yiannis Papadopoulos
@article{DBLP:journals/software/AslansefatHWASP24,
author = {Koorosh Aslansefat and
Mojgan Hashemian and
Martin Walker and
Mohammed Naveed Akram and
Ioannis Sorokos and
Yiannis Papadopoulos},
title = {Explaining Black Boxes With a {SMILE:} Statistical Model-Agnostic
Interpretability With Local Explanations},
journal = {{IEEE} Softw.},
volume = {41},
number = {1},
pages = {87--97},
year = {2024},
url = {https://doi.org/10.1109/MS.2023.3321282},
doi = {10.1109/MS.2023.3321282},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/software/AslansefatHWASP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07286,
author = {Koorosh Aslansefat and
Mojgan Hashemian and
Martin Walker and
Mohammed Naveed Akram and
Ioannis Sorokos and
Yiannis Papadopoulos},
title = {Explaining black boxes with a {SMILE:} Statistical Model-agnostic
Interpretability with Local Explanations},
journal = {CoRR},
volume = {abs/2311.07286},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07286},
doi = {10.48550/ARXIV.2311.07286},
eprinttype = {arXiv},
eprint = {2311.07286},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BressanOCMCPAP22,
author = {Lucas Bressan and
Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Fernanda C. A. Campos and
Leonardo Montecchi and
Rafael Capilla and
David Parker and
Koorosh Aslansefat and
Yiannis Papadopoulos},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {Modeling the Variability of System Safety Analysis Using State-Machine
Diagrams},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {43--59},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_4},
doi = {10.1007/978-3-031-15842-1\_4},
timestamp = {Wed, 14 Sep 2022 17:01:23 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BressanOCMCPAP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/WalkerRAPD22,
author = {Connor Walker and
Callum Rothon and
Koorosh Aslansefat and
Yiannis Papadopoulos and
Nina Dethlefs},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {A Deep Learning Framework for Wind Turbine Repair Action Prediction
Using Alarm Sequences and Long Short Term Memory Algorithms},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {189--203},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_14},
doi = {10.1007/978-3-031-15842-1\_14},
timestamp = {Wed, 14 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/WalkerRAPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/AslansefatNWASR22,
author = {Koorosh Aslansefat and
Panagiota Nikolaou and
Martin Walker and
Mohammed Naveed Akram and
Ioannis Sorokos and
Jan Reich and
Panayiotis Kolios and
Maria K. Michael and
Theocharis Theocharides and
Georgios Ellinas and
Daniel Schneider and
Yiannis Papadopoulos},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable
Digital Dependable Identities},
booktitle = {Model-Based Safety and Assessment - 8th International Symposium, {IMBSA}
2022, Munich, Germany, September 5-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13525},
pages = {252--266},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_18},
doi = {10.1007/978-3-031-15842-1\_18},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/AslansefatNWASR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/AslansefatGKSP22,
author = {Koorosh Aslansefat and
Youcef Gheraibia and
Sohag Kabir and
Ioannis Sorokos and
Yiannis Papadopoulos},
title = {Aircraft Fuel Distribution System},
publisher = {{IEEE} DataPort},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.21227/c0kw-c455}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/c0kw-c455},
doi = {10.21227/C0KW-C455},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/AslansefatGKSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05643,
author = {Koorosh Aslansefat and
Panagiota Nikolaou and
Martin Walker and
Mohammed Naveed Akram and
Ioannis Sorokos and
Jan Reich and
Panayiotis Kolios and
Maria K. Michael and
Theocharis Theocharides and
Georgios Ellinas and
Daniel Schneider and
Yiannis Papadopoulos},
title = {SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable
Digital Dependable Identities},
journal = {CoRR},
volume = {abs/2207.05643},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05643},
doi = {10.48550/ARXIV.2207.05643},
eprinttype = {arXiv},
eprint = {2207.05643},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09457,
author = {Connor Walker and
Callum Rothon and
Koorosh Aslansefat and
Yiannis Papadopoulos and
Nina Dethlefs},
title = {A Deep Learning Framework for Wind Turbine Repair Action Prediction
Using Alarm Sequences and Long Short Term Memory Algorithms},
journal = {CoRR},
volume = {abs/2207.09457},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09457},
doi = {10.48550/ARXIV.2207.09457},
eprinttype = {arXiv},
eprint = {2207.09457},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-13258,
author = {Sohag Kabir and
Koorosh Aslansefat and
Prosanta Gope and
Felician Campean and
Yiannis Papadopoulos},
title = {Online Dynamic Reliability Evaluation of Wind Turbines based on Drone-assisted
Monitoring},
journal = {CoRR},
volume = {abs/2211.13258},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.13258},
doi = {10.48550/ARXIV.2211.13258},
eprinttype = {arXiv},
eprint = {2211.13258},
timestamp = {Tue, 29 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-13258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KhodayeeCP21,
author = {Soheyl Moheb Khodayee and
Ferdinando Chiacchio and
Yiannis Papadopoulos},
title = {A Novel Approach Based on Stochastic Hybrid Fault Tree to Compare
Alternative Flare Gas Recovery Systems},
journal = {{IEEE} Access},
volume = {9},
pages = {51029--51049},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3069807},
doi = {10.1109/ACCESS.2021.3069807},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KhodayeeCP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/AslansefatKAVP21,
author = {Koorosh Aslansefat and
Sohag Kabir and
Amr Abdullatif and
Vinod Vasudevan and
Yiannis Papadopoulos},
title = {Toward Improving Confidence in Autonomous Vehicle Software: {A} Study
on Traffic Sign Recognition Systems},
journal = {Computer},
volume = {54},
number = {8},
pages = {66--76},
year = {2021},
url = {https://doi.org/10.1109/MC.2021.3075054},
doi = {10.1109/MC.2021.3075054},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/AslansefatKAVP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ArmengaudSRSPZR21,
author = {Eric Armengaud and
Daniel Schneider and
Jan Reich and
Ioannis Sorokos and
Yiannis Papadopoulos and
Marc Zeller and
Gilbert Regan and
Georg Macher and
Omar Veledar and
Stefan Thalmann and
Sohag Kabir},
title = {{DDI:} {A} novel technology and innovation model for dependable, collaborative
and autonomous systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {1626--1631},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474049},
doi = {10.23919/DATE51398.2021.9474049},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ArmengaudSRSPZR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14984,
author = {Daniel Schneider and
Mario Trapp and
Yiannis Papadopoulos and
Eric Armengaud and
Marc Zeller and
Kai H{\"{o}}fig},
title = {{WAP:} Digital Dependability Identities},
journal = {CoRR},
volume = {abs/2105.14984},
year = {2021},
url = {https://arxiv.org/abs/2105.14984},
eprinttype = {arXiv},
eprint = {2105.14984},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01729,
author = {Eric Armengaud and
Georg Macher and
Alexander Massoner and
Sebastian Frager and
Rasmus Adler and
Daniel Schneider and
Simone Longo and
Massimiliano Melis and
Riccardo Groppo and
Federica A. Villa and
P{\'{a}}draig O'Leary and
Kevin Bambury and
Anita Finnegan and
Marc Zeller and
Kai H{\"{o}}fig and
Yiannis Papadopoulos and
Richard Hawkins and
Tim Kelly},
title = {{DEIS:} Dependability Engineering Innovation for Industrial {CPS}},
journal = {CoRR},
volume = {abs/2106.01729},
year = {2021},
url = {https://arxiv.org/abs/2106.01729},
eprinttype = {arXiv},
eprint = {2106.01729},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KabirASPK20,
author = {Sohag Kabir and
Koorosh Aslansefat and
Ioannis Sorokos and
Yiannis Papadopoulos and
Savas Konur},
title = {A Hybrid Modular Approach for Dynamic Fault Tree Analysis},
journal = {{IEEE} Access},
volume = {8},
pages = {97175--97188},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2996643},
doi = {10.1109/ACCESS.2020.2996643},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KabirASPK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/KabirP20,
author = {Sohag Kabir and
Yiannis Papadopoulos},
title = {Computational Intelligence for Safety Assurance of Cooperative Systems
of Systems},
journal = {Computer},
volume = {53},
number = {12},
pages = {24--34},
year = {2020},
url = {https://doi.org/10.1109/MC.2020.3014604},
doi = {10.1109/MC.2020.3014604},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/KabirP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/AizpuruaPM20,
author = {Jose Ignacio Aizpurua and
Yiannis Papadopoulos and
Guillaume Merle},
title = {Explicit Modelling and Treatment of Repair in Prediction of Dependability},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {17},
number = {6},
pages = {1147--1162},
year = {2020},
url = {https://doi.org/10.1109/TDSC.2018.2857810},
doi = {10.1109/TDSC.2018.2857810},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tdsc/AizpuruaPM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/JahanianPZMP20,
author = {Hamid Jahanian and
David Parker and
Marc Zeller and
Annabelle McIver and
Yiannis Papadopoulos},
editor = {Marc Zeller and
Kai H{\"{o}}fig},
title = {Failure Mode Reasoning in Model Based Safety Analysis},
booktitle = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}
2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12297},
pages = {130--145},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58920-2\_9},
doi = {10.1007/978-3-030-58920-2\_9},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/JahanianPZMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/BressanOCPP20,
author = {Lucas Bressan and
Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Fernanda Campos and
Yiannis Papadopoulos and
David Parker},
editor = {Marc Zeller and
Kai H{\"{o}}fig},
title = {An Integrated Approach to Support the Process-Based Certification
of Variant-Intensive Systems},
booktitle = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}
2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12297},
pages = {179--193},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58920-2\_12},
doi = {10.1007/978-3-030-58920-2\_12},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/BressanOCPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/AslansefatSWKP20,
author = {Koorosh Aslansefat and
Ioannis Sorokos and
Declan Whiting and
Ramin Tavakoli Kolagari and
Yiannis Papadopoulos},
editor = {Marc Zeller and
Kai H{\"{o}}fig},
title = {SafeML: Safety Monitoring of Machine Learning Classifiers Through
Statistical Difference Measures},
booktitle = {Model-Based Safety and Assessment - 7th International Symposium, {IMBSA}
2020, Lisbon, Portugal, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12297},
pages = {197--211},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58920-2\_13},
doi = {10.1007/978-3-030-58920-2\_13},
timestamp = {Sat, 19 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/AslansefatSWKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Reich0SPKWAK20,
author = {Jan Reich and
Daniel Schneider and
Ioannis Sorokos and
Yiannis Papadopoulos and
Tim Kelly and
Ran Wei and
Eric Armengaud and
Cem Kaypmaz},
editor = {Ant{\'{o}}nio Casimiro and
Frank Ortmeier and
Friedemann Bitsch and
Pedro Ferreira},
title = {Engineering of Runtime Safety Monitors for Cyber-Physical Systems
with Digital Dependability Identities},
booktitle = {Computer Safety, Reliability, and Security - 39th International Conference,
{SAFECOMP} 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12234},
pages = {3--17},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-54549-9\_1},
doi = {10.1007/978-3-030-54549-9\_1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Reich0SPKWAK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06279,
author = {Hamid Jahanian and
David Parker and
Marc Zeller and
Annabelle McIver and
Yiannis Papadopoulos},
title = {Failure Mode Reasoning in Model Based Safety Analysis},
journal = {CoRR},
volume = {abs/2005.06279},
year = {2020},
url = {https://arxiv.org/abs/2005.06279},
eprinttype = {arXiv},
eprint = {2005.06279},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06279.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13166,
author = {Koorosh Aslansefat and
Ioannis Sorokos and
Declan Whiting and
Ramin Tavakoli Kolagari and
Yiannis Papadopoulos},
title = {SafeML: Safety Monitoring of Machine Learning Classifiers through
Statistical Difference Measure},
journal = {CoRR},
volume = {abs/2005.13166},
year = {2020},
url = {https://arxiv.org/abs/2005.13166},
eprinttype = {arXiv},
eprint = {2005.13166},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/GheraibiaKASP19,
author = {Youcef Gheraibia and
Sohag Kabir and
Koorosh Aslansefat and
Ioannis Sorokos and
Yiannis Papadopoulos},
title = {Safety + {AI:} {A} Novel Approach to Update Safety Models Using Artificial
Intelligence},
journal = {{IEEE} Access},
volume = {7},
pages = {135855--135869},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2941566},
doi = {10.1109/ACCESS.2019.2941566},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/GheraibiaKASP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iajit/GheraibiaYPMM19,
author = {Youcef Gheraibia and
Peng{-}Yeng Yin and
Yiannis Papadopoulos and
Abdelouahab Moussaoui and
Smaine Mazouzi},
title = {PeSOA: penguins search optimisation algorithm for global optimisation
problems},
journal = {Int. Arab J. Inf. Technol.},
volume = {16},
number = {3},
pages = {371--379},
year = {2019},
url = {http://iajit.org/index.php?option=com\_content\&\#38;task=blogcategory\&\#38;id=140\&\#38;Itemid=475},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iajit/GheraibiaYPMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MianBPM19,
author = {Zhibao Mian and
Leonardo Bottaci and
Yiannis Papadopoulos and
Nidhal Mahmud},
title = {Model transformation for analyzing dependability of {AADL} model by
using HiP-HOPS},
journal = {J. Syst. Softw.},
volume = {151},
pages = {258--282},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.02.019},
doi = {10.1016/J.JSS.2019.02.019},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/MianBPM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/OliveiraBMPPHK19,
author = {Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Rosana T. V. Braga and
Paulo C{\'{e}}sar Masiero and
David Parker and
Yiannis Papadopoulos and
Ibrahim Habli and
Tim Kelly},
title = {Variability management in safety-critical systems design and dependability
analysis},
journal = {J. Softw. Evol. Process.},
volume = {31},
number = {8},
year = {2019},
url = {https://doi.org/10.1002/smr.2202},
doi = {10.1002/SMR.2202},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/OliveiraBMPPHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/KabirASPG19,
author = {Sohag Kabir and
Koorosh Aslansefat and
Ioannis Sorokos and
Yiannis Papadopoulos and
Youcef Gheraibia},
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS},
booktitle = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
pages = {109--124},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6\_8},
doi = {10.1007/978-3-030-32872-6\_8},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/KabirASPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/WhitingSPRO19,
author = {Declan Whiting and
Ioannis Sorokos and
Yiannis Papadopoulos and
Gilbert Regan and
Eoin O'Carroll},
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {Automated Model-Based Attack Tree Analysis Using HiP-HOPS},
booktitle = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
pages = {255--269},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6\_17},
doi = {10.1007/978-3-030-32872-6\_17},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/WhitingSPRO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/KabirSAPGRSW19,
author = {Sohag Kabir and
Ioannis Sorokos and
Koorosh Aslansefat and
Yiannis Papadopoulos and
Youcef Gheraibia and
Jan Reich and
Merve Saimler and
Ran Wei},
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {A Runtime Safety Analysis Concept for Open Adaptive Systems},
booktitle = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
pages = {332--346},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6\_22},
doi = {10.1007/978-3-030-32872-6\_22},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/KabirSAPGRSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imbsa/2019,
editor = {Yiannis Papadopoulos and
Koorosh Aslansefat and
Panagiotis Katsaros and
Marco Bozzano},
title = {Model-Based Safety and Assessment - 6th International Symposium, {IMBSA}
2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11842},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32872-6},
doi = {10.1007/978-3-030-32872-6},
isbn = {978-3-030-32871-9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KabirYAP18,
author = {Sohag Kabir and
Mohammad Yazdi and
Jose Ignacio Aizpurua and
Yiannis Papadopoulos},
title = {Uncertainty-Aware Dynamic Reliability Analysis Framework for Complex
Systems},
journal = {{IEEE} Access},
volume = {6},
pages = {29499--29515},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2843166},
doi = {10.1109/ACCESS.2018.2843166},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KabirYAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/KabirP18,
author = {Sohag Kabir and
Yiannis Papadopoulos},
title = {A review of applications of fuzzy sets to safety and reliability engineering},
journal = {Int. J. Approx. Reason.},
volume = {100},
pages = {29--55},
year = {2018},
url = {https://doi.org/10.1016/j.ijar.2018.05.005},
doi = {10.1016/J.IJAR.2018.05.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/KabirP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/OliveiraBMPHK18,
author = {Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Rosana T. V. Braga and
Paulo C{\'{e}}sar Masiero and
Yiannis Papadopoulos and
Ibrahim Habli and
Tim Kelly},
editor = {Rafael Capilla and
Barbara Gallina and
Carlos Cetina},
title = {Variability Management in Safety-Critical Software Product Line Engineering},
booktitle = {New Opportunities for Software Reuse - 17th International Conference,
{ICSR} 2018, Madrid, Spain, May 21-23, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10826},
pages = {3--22},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90421-4\_1},
doi = {10.1007/978-3-319-90421-4\_1},
timestamp = {Thu, 14 Oct 2021 09:52:38 +0200},
biburl = {https://dblp.org/rec/conf/icsr/OliveiraBMPHK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-09895,
author = {Youcef Gheraibia and
Peng{-}Yeng Yin and
Yiannis Papadopoulos and
Abdelouahab Moussaoui and
Smaine Mazouzi},
title = {PeSOA: Penguins Search Optimisation Algorithm for Global Optimisation
Problems},
journal = {CoRR},
volume = {abs/1809.09895},
year = {2018},
url = {http://arxiv.org/abs/1809.09895},
eprinttype = {arXiv},
eprint = {1809.09895},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-09895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/AizpuruaPMCM17,
author = {Jose Ignacio Aizpurua and
Yiannis Papadopoulos and
E{\~{n}}aut Muxika and
Ferdinando Chiacchio and
Gabriele Manno},
title = {On Cost-effective Reuse of Components in the Design of Complex Reconfigurable
Systems},
journal = {Qual. Reliab. Eng. Int.},
volume = {33},
number = {7},
pages = {1387--1406},
year = {2017},
url = {https://doi.org/10.1002/qre.2112},
doi = {10.1002/QRE.2112},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qre/AizpuruaPMCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/AizpuruaCPCD17,
author = {Jose Ignacio Aizpurua and
Victoria M. Catterson and
Yiannis Papadopoulos and
Ferdinando Chiacchio and
Diego D'Urso},
title = {Supporting group maintenance through prognostics-enhanced dynamic
dependability prediction},
journal = {Reliab. Eng. Syst. Saf.},
volume = {168},
pages = {171--188},
year = {2017},
url = {https://doi.org/10.1016/j.ress.2017.04.005},
doi = {10.1016/J.RESS.2017.04.005},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/AizpuruaCPCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/AizpuruaCPCM17,
author = {Jose Ignacio Aizpurua and
Victoria M. Catterson and
Yiannis Papadopoulos and
Ferdinando Chiacchio and
Gabriele Manno},
title = {Improved Dynamic Dependability Assessment Through Integration With
Prognostics},
journal = {{IEEE} Trans. Reliab.},
volume = {66},
number = {3},
pages = {893--913},
year = {2017},
url = {https://doi.org/10.1109/TR.2017.2693821},
doi = {10.1109/TR.2017.2693821},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tr/AizpuruaCPCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/RetouniotisPSPM17,
author = {Athanasios Retouniotis and
Yiannis Papadopoulos and
Ioannis Sorokos and
David Parker and
Nicholas Matragkas and
Septavera Sharvia},
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Model-Connected Safety Cases},
booktitle = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
pages = {50--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5\_4},
doi = {10.1007/978-3-319-64119-5\_4},
timestamp = {Thu, 14 Oct 2021 09:59:31 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/RetouniotisPSPM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/KabirPWPALR17,
author = {Sohag Kabir and
Yiannis Papadopoulos and
Martin Walker and
David Parker and
Jose Ignacio Aizpurua and
J{\"{o}}rg Lampe and
Erich R{\"{u}}de},
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation
Studies},
booktitle = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
pages = {163--178},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5\_11},
doi = {10.1007/978-3-319-64119-5\_11},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/KabirPWPALR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imbsa/2017,
editor = {Marco Bozzano and
Yiannis Papadopoulos},
title = {Model-Based Safety and Assessment - 5th International Symposium, {IMBSA}
2017, Trento, Italy, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10437},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-64119-5},
doi = {10.1007/978-3-319-64119-5},
isbn = {978-3-319-64118-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arc/PapadopoulosWPS16,
author = {Yiannis Papadopoulos and
Martin Walker and
David Parker and
Septavera Sharvia and
Leonardo Bottaci and
Sohag Kabir and
Lu{\'{\i}}s Silva Azevedo and
Ioannis Sorokos},
title = {A synthesis of logic and bio-inspired techniques in the design of
dependable systems},
journal = {Annu. Rev. Control.},
volume = {41},
pages = {170--182},
year = {2016},
url = {https://doi.org/10.1016/j.arcontrol.2016.04.008},
doi = {10.1016/J.ARCONTROL.2016.04.008},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/arc/PapadopoulosWPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/KabirWPRS16,
author = {Sohag Kabir and
Martin Walker and
Yiannis Papadopoulos and
Erich R{\"{u}}de and
Peter Securius},
title = {Fuzzy temporal fault tree analysis of dynamic systems},
journal = {Int. J. Approx. Reason.},
volume = {77},
pages = {20--37},
year = {2016},
url = {https://doi.org/10.1016/j.ijar.2016.05.006},
doi = {10.1016/J.IJAR.2016.05.006},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/KabirWPRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijes/OliveiraBMPHK16,
author = {Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Rosana T. V. Braga and
Paulo C{\'{e}}sar Masiero and
Yiannis Papadopoulos and
Ibrahim Habli and
Tim Kelly},
title = {Model-based safety analysis of software product lines},
journal = {Int. J. Embed. Syst.},
volume = {8},
number = {5/6},
pages = {412--426},
year = {2016},
url = {https://doi.org/10.1504/IJES.2016.10001344},
doi = {10.1504/IJES.2016.10001344},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijes/OliveiraBMPHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsda/BlomCKLPRKP16,
author = {Hans Blom and
De{-}Jiu Chen and
Henrik Kaijser and
Henrik L{\"{o}}nn and
Yiannis Papadopoulos and
Mark{-}Oliver Reiser and
Ramin Tavakoli Kolagari and
Sara {Tucci Piergiovanni}},
title = {{EAST-ADL:} An Architecture Description Language for Automotive Software-intensive
Systems in the Light of Recent use and Research},
journal = {Int. J. Syst. Dyn. Appl.},
volume = {5},
number = {3},
pages = {1--20},
year = {2016},
url = {https://doi.org/10.4018/IJSDA.2016070101},
doi = {10.4018/IJSDA.2016070101},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsda/BlomCKLPRKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/SharviaP15,
author = {Septavera Sharvia and
Yiannis Papadopoulos},
title = {Integrating model checking with HiP-HOPS in model-based safety analysis},
journal = {Reliab. Eng. Syst. Saf.},
volume = {135},
pages = {64--80},
year = {2015},
url = {https://doi.org/10.1016/j.ress.2014.10.025},
doi = {10.1016/J.RESS.2014.10.025},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/SharviaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/OliveiraBMPHK15,
author = {Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Rosana T. V. Braga and
Paulo C{\'{e}}sar Masiero and
Yiannis Papadopoulos and
Ibrahim Habli and
Tim Kelly},
editor = {Wojciech Zamojski and
Jacek Mazurkiewicz and
Jaroslaw Sugier and
Tomasz Walkowiak and
Janusz Kacprzyk},
title = {Supporting the Automated Generation of Modular Product Line Safety
Cases},
booktitle = {Theory and Engineering of Complex Systems and Dependability - Proceedings
of the Tenth International Conference on Dependability and Complex
Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brun{\'{o}}w,
Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {365},
pages = {319--330},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19216-1\_30},
doi = {10.1007/978-3-319-19216-1\_30},
timestamp = {Sat, 19 Oct 2019 20:27:57 +0200},
biburl = {https://dblp.org/rec/conf/depcos/OliveiraBMPHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/SchneiderTPAZH15,
author = {Daniel Schneider and
Mario Trapp and
Yiannis Papadopoulos and
Eric Armengaud and
Marc Zeller and
Kai H{\"{o}}fig},
title = {{WAP:} Digital dependability identities},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {324--329},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381825},
doi = {10.1109/ISSRE.2015.7381825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/SchneiderTPAZH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Azevedo0WPA14,
author = {Lu{\'{\i}}s da Silva Azevedo and
David Parker and
Martin Walker and
Yiannis Papadopoulos and
Rui Esteves Araujo},
title = {Assisted Assignment of Automotive Safety Requirements},
journal = {{IEEE} Softw.},
volume = {31},
number = {1},
pages = {62--68},
year = {2014},
url = {https://doi.org/10.1109/MS.2013.118},
doi = {10.1109/MS.2013.118},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Azevedo0WPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/EdiforGWP14,
author = {Ernest Edifor and
Neil A. Gordon and
Martin Walker and
Yiannis Papadopoulos},
editor = {Wojciech Zamojski and
Jacek Mazurkiewicz and
Jaroslaw Sugier and
Tomasz Walkowiak and
Janusz Kacprzyk},
title = {Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal
Distributions},
booktitle = {Proceedings of the Ninth International Conference on Dependability
and Complex Systems DepCoS-RELCOMEX. June 30 - July 4, 2014, Brun{\'{o}}w,
Poland},
series = {Advances in Intelligent Systems and Computing},
volume = {286},
pages = {177--187},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07013-1\_17},
doi = {10.1007/978-3-319-07013-1\_17},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/depcos/EdiforGWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/Azevedo0PWSA14,
author = {Lu{\'{\i}}s Silva Azevedo and
David Parker and
Yiannis Papadopoulos and
Martin Walker and
Ioannis Sorokos and
Rui Esteves Araujo},
editor = {Frank Ortmeier and
Antoine Rauzy},
title = {Exploring the Impact of Different Cost Heuristics in the Allocation
of Safety Integrity Levels},
booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
2014, Munich, Germany, October 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8822},
pages = {70--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12214-4\_6},
doi = {10.1007/978-3-319-12214-4\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/Azevedo0PWSA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/KabirWP14,
author = {Sohag Kabir and
Martin Walker and
Yiannis Papadopoulos},
editor = {Frank Ortmeier and
Antoine Rauzy},
title = {Reliability Analysis of Dynamic Systems by Translating Temporal Fault
Trees into Bayesian Networks},
booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
2014, Munich, Germany, October 27-29, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8822},
pages = {96--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12214-4\_8},
doi = {10.1007/978-3-319-12214-4\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/KabirWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/OliveiraBMPHK14,
author = {Andr{\'{e}} Lu{\'{\i}}z de Oliveira and
Rosana T. V. Braga and
Paulo C{\'{e}}sar Masiero and
Yiannis Papadopoulos and
Ibrahim Habli and
Tim Kelly},
title = {A Model-Based Approach to Support the Automatic Safety Analysis of
Multiple Product Line Products},
booktitle = {2014 Brazilian Symposium on Computing Systems Engineering, {SBESC}
2014, Manaus, Amazonas, Brazil, November 3-7, 2014},
pages = {7--12},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SBESC.2014.20},
doi = {10.1109/SBESC.2014.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/OliveiraBMPHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WalkerRPPLM0CS13,
author = {Martin Walker and
Mark{-}Oliver Reiser and
Sara {Tucci Piergiovanni} and
Yiannis Papadopoulos and
Henrik L{\"{o}}nn and
Chokri Mraidha and
David Parker and
De{-}Jiu Chen and
David Servat},
title = {Automatic optimisation of system architectures using {EAST-ADL}},
journal = {J. Syst. Softw.},
volume = {86},
number = {10},
pages = {2467--2487},
year = {2013},
url = {https://doi.org/10.1016/j.jss.2013.04.001},
doi = {10.1016/J.JSS.2013.04.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/WalkerRPPLM0CS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/0002WAPA13,
author = {David Parker and
Martin Walker and
Lu{\'{\i}}s Silva Azevedo and
Yiannis Papadopoulos and
Rui Esteves Araujo},
editor = {Moonis Ali and
Tibor Bosse and
Koen V. Hindriks and
Mark Hoogendoorn and
Catholijn M. Jonker and
Jan Treur},
title = {Automatic Decomposition and Allocation of Safety Integrity Levels
Using a Penalty-Based Genetic Algorithm},
booktitle = {Recent Trends in Applied Artificial Intelligence, 26th International
Conference on Industrial, Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2013, Amsterdam, The Netherlands, June
17-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7906},
pages = {449--459},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38577-3\_46},
doi = {10.1007/978-3-642-38577-3\_46},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/0002WAPA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Azevedo0WPA13,
author = {Lu{\'{\i}}s Silva Azevedo and
David Parker and
Martin Walker and
Yiannis Papadopoulos and
Rui Esteves Araujo},
editor = {Jean{-}Charles Fabre and
Philippe Qu{\'{e}}r{\'{e}} and
Mario Trapp},
title = {Automatic Decomposition of Safety Integrity Levels: Optimization by
Tabu Search},
booktitle = {{SAFECOMP} 2013 - Workshop {CARS} (2nd Workshop on Critical Automotive
applications : Robustness {\&} Safety) of the 32nd International
Conference on Computer Safety, Reliability and Security, Toulouse,
France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-CARS/hal-00848213},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Azevedo0WPA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChenLMPRSAPW13,
author = {De{-}Jiu Chen and
Henrik L{\"{o}}nn and
Chokri Mraidha and
Yiannis Papadopoulos and
Mark{-}Oliver Reiser and
David Servat and
Lu{\'{\i}}s Silva Azevedo and
Sara {Tucci Piergiovanni} and
Martin Walker},
editor = {Henrik L{\"{o}}nn and
Elad Michael Schiller},
title = {Automatic Optimisation of System Architectures using {EAST-ADL}},
booktitle = {{SAFECOMP} 2013 - Workshop ASCoMS (Architecting Safety in Collaborative
Mobile Systems) of the 32nd International Conference on Computer Safety,
Reliability and Security, Toulouse, France, 2013},
publisher = {{HAL}},
year = {2013},
url = {http://hal.archives-ouvertes.fr/SAFECOMP2013-ASCOMS/hal-00846268},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChenLMPRSAPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MahmudWP12,
author = {Nidhal Mahmud and
Martin Walker and
Yiannis Papadopoulos},
title = {Compositional synthesis of temporal fault trees from state machines},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {39},
number = {4},
pages = {79--88},
year = {2012},
url = {https://doi.org/10.1145/2185395.2185444},
doi = {10.1145/2185395.2185444},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MahmudWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/ChenJLBWPTTS11,
author = {De{-}Jiu Chen and
Rolf Johansson and
Henrik L{\"{o}}nn and
Hans Blom and
Martin Walker and
Yiannis Papadopoulos and
Sandra Torchiaro and
Fulvio Tagliabo and
Anders Sandberg},
title = {Integrated safety and architecture modeling for automotive embedded
systems\({}^{\mbox{*}}\)},
journal = {Elektrotech. Informationstechnik},
volume = {128},
number = {6},
pages = {196--202},
year = {2011},
url = {https://doi.org/10.1007/s00502-011-0007-7},
doi = {10.1007/S00502-011-0007-7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ei/ChenJLBWPTTS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/AdachiPSPT11,
author = {Masakazu Adachi and
Yiannis Papadopoulos and
Septavera Sharvia and
David Parker and
Tetsuya Tohdo},
title = {An approach to optimization of fault tolerant architectures using
HiP-HOPS},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {11},
pages = {1303--1327},
year = {2011},
url = {https://doi.org/10.1002/spe.1044},
doi = {10.1002/SPE.1044},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/AdachiPSPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/MahmudWP11,
author = {Nidhal Mahmud and
Martin Walker and
Yiannis Papadopoulos},
title = {Compositional Synthesis of Temporal Fault Trees from State Machines},
booktitle = {Sixth International Conference on Availability, Reliability and Security,
{ARES} 2011, Vienna, Austria, August 22-26, 2011},
pages = {429--435},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ARES.2011.89},
doi = {10.1109/ARES.2011.89},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/MahmudWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/SharviaP11,
author = {Septavera Sharvia and
Yiannis Papadopoulos},
title = {IACoB-SA: An approach towards integrated safety assessment},
booktitle = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2011,
Trieste, Italy, Aug. 24-27, 2011},
pages = {220--225},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CASE.2011.6042514},
doi = {10.1109/CASE.2011.6042514},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/case/SharviaP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/WolforthWPG10,
author = {Ian Philip Wolforth and
Martin Walker and
Yiannis Papadopoulos and
Lars Grunske},
title = {Capture and reuse of composable failure patterns},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {1},
number = {1/2/3},
pages = {128--147},
year = {2010},
url = {https://doi.org/10.1504/IJCCBS.2010.031710},
doi = {10.1504/IJCCBS.2010.031710},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/WolforthWPG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WolforthWGP10,
author = {Ian Philip Wolforth and
Martin Walker and
Lars Grunske and
Yiannis Papadopoulos},
title = {Generalizable safety annotations for specification of failure patterns},
journal = {Softw. Pract. Exp.},
volume = {40},
number = {5},
pages = {453--483},
year = {2010},
url = {https://doi.org/10.1002/spe.966},
doi = {10.1002/SPE.966},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/WolforthWGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MahmudPW10,
author = {Nidhal Mahmud and
Yiannis Papadopoulos and
Martin Walker},
title = {A translation of State Machines to temporal fault trees},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2010), Chicago, Illinois, USA, June 28 - July 1,
2010},
pages = {45--51},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSNW.2010.5542620},
doi = {10.1109/DSNW.2010.5542620},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/MahmudPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PapadopoulosWRWCTSASLBJTTS10,
author = {Yiannis Papadopoulos and
Martin Walker and
Mark{-}Oliver Reiser and
Matthias Weber and
De{-}Jiu Chen and
Martin T{\"{o}}rngren and
David Servat and
Andreas Abele and
Friedhelm Stappert and
Henrik L{\"{o}}nn and
L. Berntsson and
Rolf Johansson and
Fulvio Tagliabo and
Sandra Torchiaro and
Anders Sandberg},
editor = {Jean{-}Charles Fabre and
Olivier Guetta and
Mario Trapp},
title = {Automatic allocation of safety integrity levels},
booktitle = {1st Workshop on Critical Automotive Applications: Robustness {\&}
Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {7--10},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772643.1772646},
doi = {10.1145/1772643.1772646},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/PapadopoulosWRWCTSASLBJTTS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/WalkerP10,
author = {Martin Walker and
Yiannis Papadopoulos},
editor = {Arndt Bode},
title = {A hierarchical method for the reduction of temporal expressions in
Pandora},
booktitle = {Proceedings of the First Workshop on DYnamic Aspects in DEpendability
Models for Fault-Tolerant Systems, {DYADEM-FTS} '10, Valencia, Spain,
April 27, 2010},
pages = {7--12},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1772630.1772634},
doi = {10.1145/1772630.1772634},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/WalkerP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vamos/AbelePSTW10,
author = {Andreas Abele and
Yiannis Papadopoulos and
David Servat and
Martin T{\"{o}}rngren and
Matthias Weber},
editor = {David Benavides and
Don S. Batory and
Paul Gr{\"{u}}nbacher},
title = {The {CVM} Framework - {A} Prototype Tool for Compositional Variability
Management},
booktitle = {Fourth International Workshop on Variability Modelling of Software-Intensive
Systems, Linz, Austria, January 27-29, 2010. Proceedings},
series = {ICB-Research Report},
volume = {37},
pages = {101--105},
publisher = {Universit{\"{a}}t Duisburg-Essen},
year = {2010},
url = {http://www.vamos-workshop.net/proceedings/VaMoS\_2010\_Proceedings.pdf},
timestamp = {Wed, 28 Oct 2020 08:39:42 +0100},
biburl = {https://dblp.org/rec/conf/vamos/AbelePSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/depcos/WolforthWP08,
author = {Ian Philip Wolforth and
Martin Walker and
Yiannis Papadopoulos},
editor = {Wojciech Zamojski and
Jacek Mazurkiewicz and
Jaroslaw Sugier and
Tomasz Walkowiak},
title = {A Language for Failure Patterns and Application in Safety Analysis},
booktitle = {Third International Conference on Dependability of Computer Systems,
DepCoS-RELCOMEX 2008, June 26-28, 2008, Szklarska Poreba, Poland},
pages = {47--54},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DepCoS-RELCOMEX.2008.44},
doi = {10.1109/DEPCOS-RELCOMEX.2008.44},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/depcos/WolforthWP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/ChenJLPSTT08,
author = {De{-}Jiu Chen and
Rolf Johansson and
Henrik L{\"{o}}nn and
Yiannis Papadopoulos and
Anders Sandberg and
Fredrik T{\"{o}}rner and
Martin T{\"{o}}rngren},
editor = {Michael D. Harrison and
Mark{-}Alexander Sujan},
title = {Modelling Support for Design of Safety-Critical Automotive Embedded
Systems},
booktitle = {Computer Safety, Reliability, and Security, 27th International Conference,
{SAFECOMP} 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5219},
pages = {72--85},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87698-4\_9},
doi = {10.1007/978-3-540-87698-4\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/ChenJLPSTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuenotFJLPRSSKTa07,
author = {Philippe Cuenot and
Patrick Frey and
Rolf Johansson and
Henrik L{\"{o}}nn and
Yiannis Papadopoulos and
Mark{-}Oliver Reiser and
Anders Sandberg and
David Servat and
Ramin Tavakoli Kolagari and
Martin T{\"{o}}rngren and
Matthias Weber},
editor = {Holger Giese and
Gabor Karsai and
Edward Lee and
Bernhard Rumpe and
Bernhard Sch{\"{a}}tz},
title = {The {EAST-ADL} Architecture Description Language for Automotive Embedded
Software},
booktitle = {Model-Based Engineering of Embedded Real-Time Systems - International
Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6100},
pages = {297--307},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-642-16277-0\_11},
doi = {10.1007/978-3-642-16277-0\_11},
timestamp = {Sat, 30 Sep 2023 09:38:34 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuenotFJLPRSSKTa07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnsc/0002P07,
author = {David Parker and
Yiannis Papadopoulos},
title = {Optimisation of Networked Control Systems Using Model-based Safety
Analysis Techniques},
booktitle = {Proceedings of the {IEEE} International Conference on Networking,
Sensing and Control, {ICNSC} 2007, London, UK, 15-17 April 2007},
pages = {425--430},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICNSC.2007.372816},
doi = {10.1109/ICNSC.2007.372816},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icnsc/0002P07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WalkerBP07,
author = {Martin Walker and
Leonardo Bottaci and
Yiannis Papadopoulos},
editor = {Francesca Saglietti and
Norbert Oster},
title = {Compositional Temporal Fault Tree Analysis},
booktitle = {Computer Safety, Reliability, and Security, 26th International Conference,
{SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
series = {Lecture Notes in Computer Science},
volume = {4680},
pages = {106--119},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75101-4\_12},
doi = {10.1007/978-3-540-75101-4\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/WalkerBP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GrunskeLBPP06,
author = {Lars Grunske and
Peter A. Lindsay and
Egor Bondarev and
Yiannis Papadopoulos and
David Parker},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {An Outline of an Architecture-Based Method for Optimizing Dependability
Attributes of Software-Intensive Systems},
booktitle = {Architecting Dependable Systems {IV} [the book is a result of {DSN}
2006 workshops, Philadelphia, PA, {USA]}},
series = {Lecture Notes in Computer Science},
volume = {4615},
pages = {188--209},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74035-3\_9},
doi = {10.1007/978-3-540-74035-3\_9},
timestamp = {Mon, 26 Feb 2024 07:46:57 +0100},
biburl = {https://dblp.org/rec/conf/icse/GrunskeLBPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PapadopoulosG05,
author = {Yiannis Papadopoulos and
Christian Grante},
title = {Evolving car designs using model-based automated safety analysis and
optimisation techniques},
journal = {J. Syst. Softw.},
volume = {76},
number = {1},
pages = {77--89},
year = {2005},
url = {https://doi.org/10.1016/j.jss.2004.06.027},
doi = {10.1016/J.JSS.2004.06.027},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PapadopoulosG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/GrunskeKP05,
author = {Lars Grunske and
Bernhard Kaiser and
Yiannis Papadopoulos},
editor = {George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Model-Driven Safety Evaluation with State-Event-Based Component Failure
Annotations},
booktitle = {Component-Based Software Engineering, 8th International Symposium,
{CBSE} 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3489},
pages = {33--48},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11424529\_3},
doi = {10.1007/11424529\_3},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/GrunskeKP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PapadopoulosPG04,
author = {Yiannis Papadopoulos and
David Parker and
Christian Grante},
title = {Automating the Failure Modes and Effects Analysis of Safety Critical
Systems},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {310--311},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281774},
doi = {10.1109/HASE.2004.1281774},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/PapadopoulosPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scs/PapadopoulosPG04,
author = {Yiannis Papadopoulos and
David Parker and
Christian Grante},
editor = {Anthony Cant},
title = {A Method and Tool Support for Model-based Semi-automated Failure Modes
and Effects Analysis of Engineering Designs},
booktitle = {Safety Critical Systems and Software 2004, Ninth Australian Workshop
on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia,
October 2004},
series = {{CRPIT}},
volume = {47},
pages = {89--95},
publisher = {Australian Computer Society},
year = {2004},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV47Papadopoulos.html},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scs/PapadopoulosPG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Papadopoulos03,
author = {Yiannis Papadopoulos},
title = {Model-based system monitoring and diagnosis of failures using statecharts
and fault trees},
journal = {Reliab. Eng. Syst. Saf.},
volume = {81},
number = {3},
pages = {325--341},
year = {2003},
url = {https://doi.org/10.1016/S0951-8320(03)00095-4},
doi = {10.1016/S0951-8320(03)00095-4},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/Papadopoulos03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/PapadopoulosG03,
author = {Yiannis Papadopoulos and
Christian Grante},
title = {Techniques and Tools for Automated Safety Analysis {\&} Decision
Support for Redundancy Allocation in Automotive Systems},
booktitle = {27th International Computer Software and Applications Conference {(COMPSAC}
2003): Design and Assessment of Trustworthy Software-Based Systems,
3-6 November 2003, Dallas, TX, USA, Proceedings},
pages = {105--110},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CMPSAC.2003.1245328},
doi = {10.1109/CMPSAC.2003.1245328},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/PapadopoulosG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Papadopoulos02,
author = {Yiannis Papadopoulos},
editor = {Stuart Anderson and
Sandro Bologna and
Massimo Felici},
title = {Model-Based On-Line Monitoring Using a State Sensitive Fault Propagation
Model},
booktitle = {Computer Safety, Reliability and Security, 21st International Conference,
{SAFECOMP} 2002, Catania, Italy, September 10-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2434},
pages = {236--248},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45732-1\_23},
doi = {10.1007/3-540-45732-1\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Papadopoulos02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/PapadopoulosMSH01,
author = {Yiannis Papadopoulos and
John A. McDermid and
Ralph Sasse and
Gunter Heiner},
title = {Analysis and synthesis of the behaviour of complex programmable electronic
systems in conditions of failure},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {229--247},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00076-4},
doi = {10.1016/S0951-8320(00)00076-4},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/PapadopoulosMSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PapadopoulosM01,
author = {Yiannis Papadopoulos and
Matthias Maruhn},
title = {Model-Based Synthesis of Fault Trees from Matlab-Simulink Models},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {77--82},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941393},
doi = {10.1109/DSN.2001.941393},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/PapadopoulosM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PapadopoulosM99,
author = {Yiannis Papadopoulos and
John A. McDermid},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Hierarchically Performed Hazard Origin and Propagation Studies},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {139--152},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_13},
doi = {10.1007/3-540-48249-0\_13},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/PapadopoulosM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/PapadopoulosM98,
author = {Yiannis Papadopoulos and
John A. McDermid},
title = {A harmonised model for safety assessment and certification of safety-critical
systems in the transportation industries},
journal = {Requir. Eng.},
volume = {3},
number = {1},
pages = {143--149},
year = {1998},
url = {https://doi.org/10.1007/bf02919975},
doi = {10.1007/BF02919975},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/re/PapadopoulosM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
