Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ioannis Sorokos
@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}
}
@inproceedings{DBLP:conf/rose-ws/CioroaicaBSTSK23,
author = {Emilia Cioroaica and
Barbora Buhnova and
Daniel Schneider and
Emrah Tomur and
Ioannis Sorokos and
Thomas Kuhn},
title = {Towards the Concept of Trust Assurance Case},
booktitle = {5th {IEEE/ACM} International Workshop on Robotics Software Engineering,
RoSE@ICSE 2023, Melbourne, Australia, May 15, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RoSE59155.2023.00005},
doi = {10.1109/ROSE59155.2023.00005},
timestamp = {Wed, 02 Aug 2023 15:23:47 +0200},
biburl = {https://dblp.org/rec/conf/rose-ws/CioroaicaBSTSK23.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 = {Wed, 15 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07286.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-10801,
author = {Al{-}Harith Farhad and
Ioannis Sorokos and
Mohammed Naveed Akram and
Koorosh Aslansefat and
Daniel Schneider},
title = {Scope Compliance Uncertainty Estimate},
journal = {CoRR},
volume = {abs/2312.10801},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.10801},
doi = {10.48550/ARXIV.2312.10801},
eprinttype = {arXiv},
eprint = {2312.10801},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-10801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/FarhadSSAAS22,
author = {Al{-}Harith Farhad and
Ioannis Sorokos and
Andreas Schmidt and
Mohammed Naveed Akram and
Koorosh Aslansefat and
Daniel Schneider},
editor = {Christel Seguin and
Marc Zeller and
Tatiana Prosvirnova},
title = {Keep Your Distance: Determining Sampling and Distance Thresholds in
Machine Learning Monitoring},
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 = {219--234},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15842-1\_16},
doi = {10.1007/978-3-031-15842-1\_16},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/imbsa/FarhadSSAAS22.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 = {Wed, 14 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/AslansefatNWASR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AkramASAS22,
author = {Mohammed Naveed Akram and
Akshatha Ambekar and
Ioannis Sorokos and
Koorosh Aslansefat and
Daniel Schneider},
editor = {Mario Trapp and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {StaDRe and StaDRo: Reliability and Robustness Estimation of ML-Based
Forecasting Using Statistical Distance Measures},
booktitle = {Computer Safety, Reliability, and Security. {SAFECOMP} 2022 Workshops
- DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany,
September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13415},
pages = {289--301},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14862-0\_21},
doi = {10.1007/978-3-031-14862-0\_21},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AkramASAS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/CioroaicaBSSKT22,
author = {Emilia Cioroaica and
Barbora Buhnova and
Daniel Schneider and
Ioannis Sorokos and
Thomas Kuhn and
Emrah Tomur},
title = {Towards the Concept of Trust Assurance Case},
booktitle = {{IEEE} International Conference on Trust, Security and Privacy in
Computing and Communications, TrustCom 2022, Wuhan, China, December
9-11, 2022},
pages = {1581--1586},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/TrustCom56396.2022.00227},
doi = {10.1109/TRUSTCOM56396.2022.00227},
timestamp = {Mon, 27 Mar 2023 16:44:39 +0200},
biburl = {https://dblp.org/rec/conf/trustcom/CioroaicaBSSKT22.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-2206-11116,
author = {Mohammed Naveed Akram and
Akshatha Ambekar and
Ioannis Sorokos and
Koorosh Aslansefat and
Daniel Schneider},
title = {StaDRe and StaDRo: Reliability and Robustness Estimation of ML-based
Forecasting using Statistical Distance Measures},
journal = {CoRR},
volume = {abs/2206.11116},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11116},
doi = {10.48550/ARXIV.2206.11116},
eprinttype = {arXiv},
eprint = {2206.11116},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05078,
author = {Al{-}Harith Farhad and
Ioannis Sorokos and
Andreas Schmidt and
Mohammed Naveed Akram and
Koorosh Aslansefat and
Daniel Schneider},
title = {Keep your Distance: Determining Sampling and Distance Thresholds in
Machine Learning Monitoring},
journal = {CoRR},
volume = {abs/2207.05078},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05078},
doi = {10.48550/ARXIV.2207.05078},
eprinttype = {arXiv},
eprint = {2207.05078},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05078.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 = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05643.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cisis-spain/CioroaicaKS21,
author = {Emilia Cioroaica and
Smruti Ranjan Kar and
Ioannis Sorokos},
editor = {Juan Jos{\'{e}} Gude Prego and
Jos{\'{e}} Gaviria de la Puerta and
Pablo Garc{\'{\i}}a Bringas and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {Comparison of Safety and Security Analysis Techniques},
booktitle = {14th International Conference on Computational Intelligence in Security
for Information Systems and 12th International Conference on European
Transnational Educational {(CISIS} 2021 and {ICEUTE} 2021), Bilbao,
Spain, 22-24 September, 2021},
series = {Advances in Intelligent Systems and Computing},
volume = {1400},
pages = {234--242},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87872-6\_23},
doi = {10.1007/978-3-030-87872-6\_23},
timestamp = {Fri, 24 Sep 2021 10:07:43 +0200},
biburl = {https://dblp.org/rec/conf/cisis-spain/CioroaicaKS21.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}
}
@inproceedings{DBLP:conf/edcc/ReichWSOS21,
author = {Jan Reich and
Marc Wellstein and
Ioannis Sorokos and
Fabian Oboril and
Kay{-}Ulrich Scholl},
editor = {Rasmus Adler and
Amel Bennaceur and
Simon Burton and
Amleto Di Salle and
Nicola Nostro and
Rasmus L{\o}venstein Olsen and
Selma Saidi and
Philipp Schleiss and
Daniel Schneider and
Hans{-}Peter Schwefel},
title = {Towards a Software Component to Perform Situation-Aware Dynamic Risk
Assessment for Autonomous Vehicles},
booktitle = {Dependable Computing - {EDCC} 2021 Workshops - DREAMS, DSOGRI, {SERENE}
2021, Munich, Germany, September 13, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1462},
pages = {3--11},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86507-8\_1},
doi = {10.1007/978-3-030-86507-8\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/ReichWSOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/SchmidtRS21,
author = {Andreas Schmidt and
Jan Reich and
Ioannis Sorokos},
title = {Live in ConSerts: Model-Driven Runtime Safety Assurance on Microcontrollers,
Edge, and Cloud},
booktitle = {17th European Dependable Computing Conference, {EDCC} 2021, Munich,
Germany, September 13-16, 2021},
pages = {61--66},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDCC53658.2021.00016},
doi = {10.1109/EDCC53658.2021.00016},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/SchmidtRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/KlasASJR21,
author = {Michael Kl{\"{a}}s and
Rasmus Adler and
Ioannis Sorokos and
Lisa J{\"{o}}ckel and
Jan Reich},
title = {Handling Uncertainties of Data-Driven Models in Compliance with Safety
Constraints for Autonomous Behaviour},
booktitle = {17th European Dependable Computing Conference, {EDCC} 2021, Munich,
Germany, September 13-16, 2021},
pages = {95--102},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/EDCC53658.2021.00021},
doi = {10.1109/EDCC53658.2021.00021},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/KlasASJR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchmidtFHHS0S21,
author = {Andreas Schmidt and
Joshua Frey and
Daniel Hillen and
Jessica Horbelt and
Markus Schandar and
Daniel Schneider and
Ioannis Sorokos},
editor = {Ibrahim Habli and
Mark Sujan and
Friedemann Bitsch},
title = {A Framework for Automated Quality Assurance and Documentation for
Pharma 4.0},
booktitle = {Computer Safety, Reliability, and Security - 40th International Conference,
{SAFECOMP} 2021, York, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12852},
pages = {226--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-83903-1\_15},
doi = {10.1007/978-3-030-83903-1\_15},
timestamp = {Thu, 10 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/SchmidtFHHS0S21.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/smr/ReganMPRAKZGLOS20,
author = {Gilbert Regan and
Fergal McCaffery and
Pangkaj Chandra Paul and
Jan Reich and
Eric Armengaud and
Cem Kaypmaz and
Marc Zeller and
Joe Zhensheng Guo and
Simone Longo and
Eoin O'Carroll and
Ioannis Sorokos},
title = {Quality improvement mechanism for cyber physical systems - An evaluation},
journal = {J. Softw. Evol. Process.},
volume = {32},
number = {11},
year = {2020},
url = {https://doi.org/10.1002/smr.2295},
doi = {10.1002/SMR.2295},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/smr/ReganMPRAKZGLOS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurospi/ReganMPRSAZL20,
author = {Gilbert Regan and
Fergal McCaffery and
Pangkaj Chandra Paul and
Jan Reich and
Ioannis Sorokos and
Eric Armengaud and
Marc Zeller and
Simone Longo},
editor = {Murat Yilmaz and
J{\"{o}}rg Niemann and
Paul M. Clarke and
Richard Messnarz},
title = {Achieving Data Privacy with a Dependability Mechanism for Cyber Physical
Systems},
booktitle = {Systems, Software and Services Process Improvement - 27th European
Conference, EuroSPI 2020, D{\"{u}}sseldorf, Germany, September
9-11, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1251},
pages = {511--524},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-56441-4\_38},
doi = {10.1007/978-3-030-56441-4\_38},
timestamp = {Sat, 30 Sep 2023 09:40:49 +0200},
biburl = {https://dblp.org/rec/conf/eurospi/ReganMPRSAZL20.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-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}
}
@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}
}
@phdthesis{DBLP:phd/ethos/Sorokos17,
author = {Ioannis Sorokos},
title = {Generation of model-based safety arguments from automatically allocated
safety integrity levels},
school = {University of Hull, Kingston upon Hull, {UK}},
year = {2017},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.797498},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Sorokos17.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}
}
@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 = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/arc/PapadopoulosWPS16.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, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/imbsa/Azevedo0PWSA14.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-01-17 22:42 CET 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:
