Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lorenzo Strigini
@article{DBLP:journals/access/HuangS23,
author = {Fuqun Huang and
Lorenzo Strigini},
title = {{HEDF:} {A} Method for Early Forecasting Software Defects Based on
Human Error Mechanisms},
journal = {{IEEE} Access},
volume = {11},
pages = {3626--3652},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3234490},
doi = {10.1109/ACCESS.2023.3234490},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HuangS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/ZhengSAT23,
author = {Zheng Zheng and
Lorenzo Strigini and
Nuno Antunes and
Kishor S. Trivedi},
title = {Editorial: Software Reliability and Dependability Engineering},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {20},
number = {4},
pages = {2674--2676},
year = {2023},
url = {https://doi.org/10.1109/TDSC.2022.3224261},
doi = {10.1109/TDSC.2022.3224261},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/ZhengSAT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/GadalaSF22,
author = {Marwa Gadala and
Lorenzo Strigini and
Radek Fujdiak},
title = {Authentication for Operators of Critical Medical Devices: {A} Contribution
to Analysis of Design Trade-offs},
booktitle = {{ARES} 2022: The 17th International Conference on Availability, Reliability
and Security, Vienna,Austria, August 23 - 26, 2022},
pages = {131:1--131:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3538969.3544474},
doi = {10.1145/3538969.3544474},
timestamp = {Fri, 19 Aug 2022 09:45:12 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/GadalaSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/0001PS22,
author = {Peter Bishop and
Andrey Povyakalo and
Lorenzo Strigini},
title = {Bootstrapping confidence in future safety from past safe operation},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {97--108},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00020},
doi = {10.1109/ISSRE55969.2022.00020},
timestamp = {Wed, 11 Jan 2023 13:11:43 +0100},
biburl = {https://dblp.org/rec/conf/issre/0001PS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChakherlouSS22,
author = {Robab Aghazadeh Chakherlou and
Kizito Salako and
Lorenzo Strigini},
title = {Arguing safety of an improved autonomous vehicle from safe operation
before the change: new results},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} 2022 - Workshops, Charlotte, NC, USA, October 31
- Nov. 3, 2022},
pages = {307--312},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSREW55968.2022.00085},
doi = {10.1109/ISSREW55968.2022.00085},
timestamp = {Tue, 03 Jan 2023 17:09:36 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChakherlouSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BurkleOPPS22,
author = {Cornelius B{\"{u}}rkle and
Fabian Oboril and
Michael Paulitsch and
Peter T. Popov and
Lorenzo Strigini},
title = {Modelling road hazards and the effect on {AV} safety of hazardous
failures},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {1886--1893},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922283},
doi = {10.1109/ITSC55140.2022.9922283},
timestamp = {Thu, 10 Nov 2022 21:13:36 +0100},
biburl = {https://dblp.org/rec/conf/itsc/BurkleOPPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/TerrosiSB22,
author = {Francesco Terrosi and
Lorenzo Strigini and
Andrea Bondavalli},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Impact of Machine Learning on Safety Monitors},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {129--143},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_9},
doi = {10.1007/978-3-031-14835-4\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/TerrosiSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SalakoSZ21,
author = {Kizito Salako and
Lorenzo Strigini and
Xingyu Zhao},
title = {Conservative Confidence Bounds in Safety, from Generalised Claims
of Improvement {\&} Statistical Evidence},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2021, Taipei, Taiwan, June 21-24, 2021},
pages = {451--462},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN48987.2021.00055},
doi = {10.1109/DSN48987.2021.00055},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/SalakoSZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-13544,
author = {Marwa Gadala and
Lorenzo Strigini and
Peter Ayton},
title = {Improving Human Decisions by Adjusting the Alerting Thresholds for
Computer Alerting Tools According to User and Task Characteristics},
journal = {CoRR},
volume = {abs/2106.13544},
year = {2021},
url = {https://arxiv.org/abs/2106.13544},
eprinttype = {arXiv},
eprint = {2106.13544},
timestamp = {Wed, 30 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-13544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-06758,
author = {Fuqun Huang and
Lorenzo Strigini},
title = {{HEDP:} {A} Method for Early Forecasting Software Defects based on
Human Error Mechanisms},
journal = {CoRR},
volume = {abs/2110.06758},
year = {2021},
url = {https://arxiv.org/abs/2110.06758},
eprinttype = {arXiv},
eprint = {2110.06758},
timestamp = {Fri, 22 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-06758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10718,
author = {Peter Bishop and
Andrey Povyakalo and
Lorenzo Strigini},
title = {Bootstrapping confidence in future safety based on past safe operation},
journal = {CoRR},
volume = {abs/2110.10718},
year = {2021},
url = {https://arxiv.org/abs/2110.10718},
eprinttype = {arXiv},
eprint = {2110.10718},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-10718.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/ZhaoSSRF20,
author = {Xingyu Zhao and
Kizito Salako and
Lorenzo Strigini and
Valentin Robu and
David Flynn},
title = {Assessing safety-critical systems from operational testing: {A} study
on autonomous vehicles},
journal = {Inf. Softw. Technol.},
volume = {128},
pages = {106393},
year = {2020},
url = {https://doi.org/10.1016/j.infsof.2020.106393},
doi = {10.1016/J.INFSOF.2020.106393},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/ZhaoSSRF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/LittlewoodSSZ20,
author = {Bev Littlewood and
Kizito Salako and
Lorenzo Strigini and
Xingyu Zhao},
title = {On reliability assessment when a software-based system is replaced
by a thought-to-be-better one},
journal = {Reliab. Eng. Syst. Saf.},
volume = {197},
pages = {106752},
year = {2020},
url = {https://doi.org/10.1016/j.ress.2019.106752},
doi = {10.1016/J.RESS.2019.106752},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/LittlewoodSSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/StriginiG20,
author = {Lorenzo Strigini and
Marwa Gadala},
editor = {Federico Cabitza and
Ana L. N. Fred and
Hugo Gamboa},
title = {Human Factors Standards and the Hard Human Factor Problems: Observations
on Medical Usability Standards},
booktitle = {Proceedings of the 13th International Joint Conference on Biomedical
Engineering Systems and Technologies {(BIOSTEC} 2020) - Volume 5:
HEALTHINF, Valletta, Malta, February 24-26, 2020},
pages = {766--773},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009179707660773},
doi = {10.5220/0009179707660773},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/StriginiG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09510,
author = {Xingyu Zhao and
Kizito Salako and
Lorenzo Strigini and
Valentin Robu and
David Flynn},
title = {Assessing Safety-Critical Systems from Operational Testing: {A} Study
on Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2008.09510},
year = {2020},
url = {https://arxiv.org/abs/2008.09510},
eprinttype = {arXiv},
eprint = {2008.09510},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ZhaoRFSS19,
author = {Xingyu Zhao and
Valentin Robu and
David Flynn and
Kizito Salako and
Lorenzo Strigini},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Assessing the Safety and Reliability of Autonomous Vehicles from Road
Testing},
booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2019, Berlin, Germany, October 28-31, 2019},
pages = {13--23},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSRE.2019.00012},
doi = {10.1109/ISSRE.2019.00012},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/ZhaoRFSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06540,
author = {Xingyu Zhao and
Valentin Robu and
David Flynn and
Kizito Salako and
Lorenzo Strigini},
title = {Assessing the Safety and Reliability of Autonomous Vehicles from Road
Testing},
journal = {CoRR},
volume = {abs/1908.06540},
year = {2019},
url = {http://arxiv.org/abs/1908.06540},
eprinttype = {arXiv},
eprint = {1908.06540},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhaoLPSW18,
author = {Xingyu Zhao and
Bev Littlewood and
Andrey Povyakalo and
Lorenzo Strigini and
David Wright},
title = {Conservative claims for the probability of perfection of a software-based
system using operational experience of previous similar systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {175},
pages = {265--282},
year = {2018},
url = {https://doi.org/10.1016/j.ress.2018.03.032},
doi = {10.1016/J.RESS.2018.03.032},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/ZhaoLPSW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HuangS18,
author = {Fuqun Huang and
Lorenzo Strigini},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Predicting Software Defects Based on Cognitive Error Theories},
booktitle = {2018 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
pages = {134--135},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSREW.2018.00-16},
doi = {10.1109/ISSREW.2018.00-16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HuangS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ZhaoLPSW17,
author = {Xingyu Zhao and
Bev Littlewood and
Andrey Povyakalo and
Lorenzo Strigini and
David Wright},
title = {Modeling the probability of failure on demand (pfd) of a 1-out-of-2
system in which one channel is "quasi-perfect"},
journal = {Reliab. Eng. Syst. Saf.},
volume = {158},
pages = {230--245},
year = {2017},
url = {https://doi.org/10.1016/j.ress.2016.09.002},
doi = {10.1016/J.RESS.2016.09.002},
timestamp = {Tue, 31 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/ZhaoLPSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/GashiPS16,
author = {Ilir Gashi and
Andrey Povyakalo and
Lorenzo Strigini},
title = {Diversity, Safety and Security in Embedded Systems: Modelling Adversary
Effort and Supply Chain Risks},
booktitle = {12th European Dependable Computing Conference, {EDCC} 2016, Gothenburg,
Sweden, September 5-9, 2016},
pages = {13--24},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EDCC.2016.27},
doi = {10.1109/EDCC.2016.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/GashiPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/AlexandrovRS16,
author = {Vassil Alexandrov and
Thomas Ropars and
Lorenzo Strigini},
title = {Panels: Panel session {I:} Resiliency in extreme scale high performance
computing systems and applications},
booktitle = {International Conference on High Performance Computing {\&} Simulation,
{HPCS} 2016, Innsbruck, Austria, July 18-22, 2016},
pages = {1--10},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HPCSim.2016.7568304},
doi = {10.1109/HPCSIM.2016.7568304},
timestamp = {Wed, 12 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieeehpcs/AlexandrovRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/StriginiW14,
author = {Lorenzo Strigini and
David Wright},
title = {Bounds on survival probability given mean probability of failure per
demand; and the paradoxical advantages of uncertainty},
journal = {Reliab. Eng. Syst. Saf.},
volume = {128},
pages = {66--83},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2014.02.004},
doi = {10.1016/J.RESS.2014.02.004},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/StriginiW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BishopBLPPS14,
author = {Peter G. Bishop and
Robin E. Bloomfield and
Bev Littlewood and
Peter T. Popov and
Andrey Povyakalo and
Lorenzo Strigini},
title = {A conservative bound for the probability of failure of a 1-out-of-2
protection system with one hardware-only and one software-based protection
train},
journal = {Reliab. Eng. Syst. Saf.},
volume = {130},
pages = {61--68},
year = {2014},
url = {https://doi.org/10.1016/j.ress.2014.04.002},
doi = {10.1016/J.RESS.2014.04.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ress/BishopBLPPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/SalakoS14,
author = {Kizito Salako and
Lorenzo Strigini},
title = {When Does "Diversity" in Development Reduce Common Failures?
Insights from Probabilistic Modeling},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {11},
number = {2},
pages = {193--206},
year = {2014},
url = {https://doi.org/10.1109/TDSC.2013.32},
doi = {10.1109/TDSC.2013.32},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/SalakoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PopovPSS14,
author = {Peter T. Popov and
Andrey Povyakalo and
Vladimir Stankovic and
Lorenzo Strigini},
title = {Software Diversity as a Measure for Reducing Development Risk},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {106--117},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.36},
doi = {10.1109/EDCC.2014.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/PopovPSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Strigini14,
author = {Lorenzo Strigini},
title = {Assessment Techniques, Certification and [What Else We Need for] Confidence
in Software},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {484},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.120},
doi = {10.1109/ISSREW.2014.120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Strigini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BishopS14,
author = {Peter G. Bishop and
Lorenzo Strigini},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Estimating Worst Case Failure Dependency with Partial Knowledge of
the Difficulty Function},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {186--201},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_13},
doi = {10.1007/978-3-319-10506-2\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BishopS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RushbyLS14,
author = {John Rushby and
Bev Littlewood and
Lorenzo Strigini},
title = {Evaluating the Assessment of Software Fault-Freeness},
journal = {CoRR},
volume = {abs/1404.6844},
year = {2014},
url = {http://arxiv.org/abs/1404.6844},
eprinttype = {arXiv},
eprint = {1404.6844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RushbyLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/StriginiP13,
author = {Lorenzo Strigini and
Andrey Povyakalo},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Software Fault-Freeness and Reliability Predictions},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {106--117},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_10},
doi = {10.1007/978-3-642-40793-2\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/StriginiP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/Strigini12,
author = {Lorenzo Strigini},
title = {Resilience: What Is It, and How Much Do We Want?},
journal = {{IEEE} Secur. Priv.},
volume = {10},
number = {3},
pages = {72--75},
year = {2012},
url = {https://doi.org/10.1109/MSP.2012.74},
doi = {10.1109/MSP.2012.74},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/Strigini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PaulitschRSB12,
author = {Michael Paulitsch and
Rupert Reiger and
Lorenzo Strigini and
Robin E. Bloomfield},
title = {Evidence-Based Security in Aerospace: From Safety to Security and
Back Again},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Dallas, TX, USA, November 27-30, 2012},
pages = {21--22},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSREW.2012.37},
doi = {10.1109/ISSREW.2012.37},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/PaulitschRSB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PopovSS12,
author = {Peter T. Popov and
Vladimir Stankovic and
Lorenzo Strigini},
title = {An Empirical Study of the Effectiveness of "Forcing" Diversity
Based on a Large Population of Diverse Programs},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.27},
doi = {10.1109/ISSRE.2012.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/PopovSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wolter2012/Strigini12,
author = {Lorenzo Strigini},
editor = {Katinka Wolter and
Alberto Avritzer and
Marco Vieira and
Aad P. A. van Moorsel},
title = {Fault Tolerance and Resilience: Meanings, Measures and Assessment},
booktitle = {Resilience Assessment and Evaluation of Computing Systems},
pages = {3--24},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29032-9\_1},
doi = {10.1007/978-3-642-29032-9\_1},
timestamp = {Tue, 16 May 2017 14:01:42 +0200},
biburl = {https://dblp.org/rec/books/sp/wolter2012/Strigini12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PopovS10,
author = {Peter T. Popov and
Lorenzo Strigini},
title = {Assessing Asymmetric Fault-Tolerant Software},
booktitle = {{IEEE} 21st International Symposium on Software Reliability Engineering,
{ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ISSRE.2010.10},
doi = {10.1109/ISSRE.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/PopovS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/AlberdiSPA09,
author = {Eugenio Alberdi and
Lorenzo Strigini and
Andrey Povyakalo and
Peter Ayton},
editor = {Bettina Buth and
Gerd Rabe and
Till Seyfarth},
title = {Why Are People's Decisions Sometimes Worse with Computer Support?},
booktitle = {Computer Safety, Reliability, and Security, 28th International Conference,
{SAFECOMP} 2009, Hamburg, Germany, September 15-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5775},
pages = {18--31},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04468-7\_3},
doi = {10.1007/978-3-642-04468-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/AlberdiSPA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/AlberdiPSAG08,
author = {Eugenio Alberdi and
Andrey Povyakalo and
Lorenzo Strigini and
Peter Ayton and
Rosalind M. Given{-}Wilson},
title = {{CAD} in mammography: lesion-level versus case-level analysis of the
effects of prompts on human decisions},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {3},
number = {1-2},
pages = {115--122},
year = {2008},
url = {https://doi.org/10.1007/s11548-008-0213-x},
doi = {10.1007/S11548-008-0213-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/AlberdiPSAG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/LittlewoodPSS08,
author = {Bev Littlewood and
Peter T. Popov and
Lorenzo Strigini and
Nick Shryane},
editor = {Robert M. Hierons and
Jonathan P. Bowen and
Mark Harman},
title = {Modelling the Effects of Combining Diverse Software Fault Detection
Techniques},
booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4949},
pages = {345--366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78917-8\_12},
doi = {10.1007/978-3-540-78917-8\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fortest/LittlewoodPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/GashiPS07,
author = {Ilir Gashi and
Peter T. Popov and
Lorenzo Strigini},
title = {Fault Tolerance via Diversity for Off-the-Shelf Products: {A} Study
with {SQL} Database Servers},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {4},
number = {4},
pages = {280--294},
year = {2007},
url = {https://doi.org/10.1109/TDSC.2007.70208},
doi = {10.1109/TDSC.2007.70208},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/GashiPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/BryansLRS06,
author = {Jeremy W. Bryans and
Bev Littlewood and
Peter Y. A. Ryan and
Lorenzo Strigini},
title = {E-voting: Dependability Requirements and Design for Dependability},
booktitle = {Proceedings of the The First International Conference on Availability,
Reliability and Security, {ARES} 2006, The International Dependability
Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
University of Technology, Austria},
pages = {988--995},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ARES.2006.56},
doi = {10.1109/ARES.2006.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/BryansLRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/MeulenRSJ05,
author = {Meine van der Meulen and
Steve Riddle and
Lorenzo Strigini and
Nigel Patrick Jefferson},
editor = {Xavier Franch and
Daniel Port},
title = {Protective Wrapping of Off-the-Shelf Components},
booktitle = {COTS-Based Software Systems, 4th International Conference, {ICCBSS}
2005, Bilbao, Spain, February 7-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3412},
pages = {168--177},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30587-3\_27},
doi = {10.1007/978-3-540-30587-3\_27},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iccbss/MeulenRSJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MeulenSR05,
author = {Meine van der Meulen and
Lorenzo Strigini and
Miguel A. Revilla},
editor = {Rune Winther and
Bj{\o}rn Axel Gran and
Gustav Dahll},
title = {On the Effectiveness of Run-Time Checks},
booktitle = {Computer Safety, Reliability, and Security, 24th International Conference,
{SAFECOMP} 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3688},
pages = {151--164},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11563228\_12},
doi = {10.1007/11563228\_12},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MeulenSR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GashiPS04,
author = {Ilir Gashi and
Peter T. Popov and
Lorenzo Strigini},
title = {Fault Diversity among Off-The-Shelf {SQL} Database Servers},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {389--398},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311908},
doi = {10.1109/DSN.2004.1311908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/GashiPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HarrisonS04,
author = {Michael D. Harrison and
Lorenzo Strigini},
title = {Workshop on Interdisciplinary Approaches to Achieving and Analysing
System Dependability},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {899},
publisher = {{IEEE} Computer Society},
year = {2004},
timestamp = {Wed, 08 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HarrisonS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/LittlewoodS04,
author = {Bev Littlewood and
Lorenzo Strigini},
editor = {Pierangela Samarati and
Peter Y. A. Ryan and
Dieter Gollmann and
Refik Molva},
title = {Redundancy and Diversity in Security},
booktitle = {Computer Security - {ESORICS} 2004, 9th European Symposium on Research
Computer Security, Sophia Antipolis, France, September 13-15, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3193},
pages = {423--438},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30108-0\_26},
doi = {10.1007/978-3-540-30108-0\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/esorics/LittlewoodS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccbss/PopovSKMS04,
author = {Peter T. Popov and
Lorenzo Strigini and
A. Kostov and
V. Mollov and
D. Selensky},
editor = {Rick Kazman and
Daniel Port},
title = {Software Fault-Tolerance with Off-the-Shelf {SQL} Servers},
booktitle = {COTS-Based Software Systems, Third International Conference, {ICCBSS}
2004, Redondo Beach, CA, USA, February 1-4, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2959},
pages = {117--126},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24645-9\_23},
doi = {10.1007/978-3-540-24645-9\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/iccbss/PopovSKMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PopovSMK03,
author = {Peter T. Popov and
Lorenzo Strigini and
John H. R. May and
Silke Kuball},
title = {Estimating Bounds on the Reliability of Diverse Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {4},
pages = {345--359},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1191798},
doi = {10.1109/TSE.2003.1191798},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PopovSMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cars/AlberdiPSA03,
author = {Eugenio Alberdi and
Andrey Povyakalo and
Lorenzo Strigini and
Peter Ayton},
editor = {Heinz U. Lemke and
Michael W. Vannier and
Kiyonari Inamura and
Allan G. Farman and
Kunio Doi and
Johan H. C. Reiber},
title = {Does incorrect computer prompting affect human decision making? {A}
case study in mammography},
booktitle = {{CARS} 2003. Computer Assisted Radiology and Surgery. Proceedings
of the 17th International Congress and Exhibition, London, UK, June
25-28, 2003},
series = {International Congress Series},
volume = {1256},
pages = {938--943},
publisher = {Elsevier},
year = {2003},
timestamp = {Wed, 20 Jun 2018 11:44:37 +0200},
biburl = {https://dblp.org/rec/conf/cars/AlberdiPSA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/StriginiPA03,
author = {Lorenzo Strigini and
Andrey Povyakalo and
Eugenio Alberdi},
title = {Human-Machine Diversity in the Use of Computerised Advisory Systems:
{A} Case Study},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN}
2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
pages = {249--258},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DSN.2003.1209935},
doi = {10.1109/DSN.2003.1209935},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/StriginiPA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GashiPSS03,
author = {Ilir Gashi and
Peter T. Popov and
Vladimir Stankovic and
Lorenzo Strigini},
editor = {Rog{\'{e}}rio de Lemos and
Cristina Gacek and
Alexander B. Romanovsky},
title = {On Designing Dependable Services with Diverse Off-the-Shelf {SQL}
Servers},
booktitle = {Architecting Dependable Systems {II} - [the book is a result of the
{ICSE} 2003 Workshop on Software Architectures for Dependable Systems]},
series = {Lecture Notes in Computer Science},
volume = {3069},
pages = {191--214},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25939-8\_9},
doi = {10.1007/978-3-540-25939-8\_9},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icse/GashiPSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/LittlewoodPS01,
author = {Bev Littlewood and
Peter T. Popov and
Lorenzo Strigini},
title = {Modeling software design diversity},
journal = {{ACM} Comput. Surv.},
volume = {33},
number = {2},
pages = {177--208},
year = {2001},
url = {https://doi.org/10.1145/384192.384195},
doi = {10.1145/384192.384195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/LittlewoodPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/PopovS01,
author = {Peter T. Popov and
Lorenzo Strigini},
title = {The Reliability of Diverse Systems: {A} Contribution Using Modelling
of the Fault Creation Process},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {5--14},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941385},
doi = {10.1109/DSN.2001.941385},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/PopovS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PopovSRR01,
author = {Peter T. Popov and
Lorenzo Strigini and
Steve Riddle and
Alexander B. Romanovsky},
title = {On Systematic Design of Protectors for Employing {OTS} Items},
booktitle = {27th {EUROMICRO} Conference 2001: {A} Net Odyssey, 4-6 September 2001,
Warsaw, Poland},
pages = {22--29},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EURMIC.2001.952434},
doi = {10.1109/EURMIC.2001.952434},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/PopovSRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/OussalahLSN01,
author = {Mourad Oussalah and
Bev Littlewood and
Lorenzo Strigini and
Martin Newby},
editor = {Jonathan M. Garibaldi and
Robert Ivor John},
title = {Combination of qualitative and quantitative sources of knowledge for
risk assessment},
booktitle = {Proceedings of the 2nd International Conference in Fuzzy Logic and
Technology, Leicester, United Kingdom, September 5-7, 2001},
pages = {418--421},
publisher = {De Montfort University, Leicester, {UK}},
year = {2001},
url = {http://www.eusflat.org/proceedings/EUSFLAT\_2001/papers/418\_Oussalah.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/OussalahLSN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/BurnsPBGRSS00,
author = {Alan Burns and
Divya Prasad and
Andrea Bondavalli and
Felicita Di Giandomenico and
Krithi Ramamritham and
John A. Stankovic and
Lorenzo Strigini},
title = {The meaning and role of value in scheduling flexible real-time systems},
journal = {J. Syst. Archit.},
volume = {46},
number = {4},
pages = {305--325},
year = {2000},
url = {https://doi.org/10.1016/S1383-7621(99)00008-9},
doi = {10.1016/S1383-7621(99)00008-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/BurnsPBGRSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LittlewoodPSS00,
author = {Bev Littlewood and
Peter T. Popov and
Lorenzo Strigini and
Nick Shryane},
title = {Modeling the Effects of Combining Diverse Software Fault Detection
Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {12},
pages = {1157--1167},
year = {2000},
url = {https://doi.org/10.1109/32.888629},
doi = {10.1109/32.888629},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LittlewoodPSS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LittlewoodS00b,
author = {Bev Littlewood and
Lorenzo Strigini},
editor = {Anthony Finkelstein},
title = {Software reliability and dependability: a roadmap},
booktitle = {22nd International Conference on on Software Engineering, Future of
Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
2000},
pages = {175--188},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/336512.336551},
doi = {10.1145/336512.336551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LittlewoodS00b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LittlewoodS00,
author = {Bev Littlewood and
Lorenzo Strigini},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Software reliability (tutorial session): basic concepts and assessment
methods},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {831},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337858},
doi = {10.1145/337180.337858},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LittlewoodS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LittlewoodS00a,
author = {Bev Littlewood and
Lorenzo Strigini},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Fault tolerance via diversity against design faults (tutorial session):
design principles and reliability assessment},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {835},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337864},
doi = {10.1145/337180.337864},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LittlewoodS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/PopovSL00,
author = {Peter T. Popov and
Lorenzo Strigini and
Bev Littlewood},
editor = {Hamid R. Arabnia},
title = {Choosing Between Fault-Tolerance and Increased V{\&}V for Improving
Reliability},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Mon, 08 Dec 2003 16:35:08 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/PopovSL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/LittlewoodPS00,
author = {Bev Littlewood and
Peter T. Popov and
Lorenzo Strigini},
editor = {Floor Koornneef and
Meine van der Meulen},
title = {Assessment of the Reliability of Fault-Tolerant Software: {A} Bayesian
Approach},
booktitle = {Computer Safety, Reliability and Security, 19th International Conference,
{SAFECOMP} 2000, Rotterdam, The Netherlands, October 24-27, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1943},
pages = {294--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40891-6\_26},
doi = {10.1007/3-540-40891-6\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/LittlewoodPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BondavalliCGS99,
author = {Andrea Bondavalli and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Lorenzo Strigini},
title = {A Contribution to the Evaluation of the Reliability of Iterative-Execution
Software},
journal = {Softw. Test. Verification Reliab.},
volume = {9},
number = {3},
pages = {145--166},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1099-1689(199909)9:3\&\#60;145::AID-STVR179\&\#62;3.0.CO;2-B},
doi = {10.1002/(SICI)1099-1689(199909)9:3\&\#60;145::AID-STVR179\&\#62;3.0.CO;2-B},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BondavalliCGS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/PopovSR99,
author = {Peter T. Popov and
Lorenzo Strigini and
Alexander B. Romanovsky},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {Choosing Effective Methods for Design Diversity - How to Progress
from Intuition to Science},
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 = {272--285},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_24},
doi = {10.1007/3-540-48249-0\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/PopovSR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StriginiSW98,
author = {Norman E. Fenton and
Bev Littlewood and
Martin Neil and
Lorenzo Strigini and
Alistair G. Sutcliffe and
David Wright},
title = {Assesing dependability of safety critical systems using diverse evidence},
journal = {{IEE} Proc. Softw.},
volume = {145},
number = {1},
pages = {35--39},
year = {1998},
url = {https://doi.org/10.1049/ip-sen:19984895},
doi = {10.1049/IP-SEN:19984895},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/StriginiSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/BertolinoS98,
author = {Antonia Bertolino and
Lorenzo Strigini},
title = {Assessing the Risk due to Software Faults: Estimates of Failure Rate
versus Evidence of Perfection},
journal = {Softw. Test. Verification Reliab.},
volume = {8},
number = {3},
pages = {155--166},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1099-1689(1998090)8:3\&\#60;155::AID-STVR163\&\#62;3.0.CO;2-B},
doi = {10.1002/(SICI)1099-1689(1998090)8:3\&\#60;155::AID-STVR163\&\#62;3.0.CO;2-B},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/BertolinoS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FranklHLS98,
author = {Phyllis G. Frankl and
Richard G. Hamlet and
Bev Littlewood and
Lorenzo Strigini},
title = {Evaluating Testing Methods by Delivered Reliability},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {8},
pages = {586--601},
year = {1998},
url = {https://doi.org/10.1109/32.707695},
doi = {10.1109/32.707695},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FranklHLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/PopovS98,
author = {Peter T. Popov and
Lorenzo Strigini},
title = {Conceptual Models for the Reliability of Diverse Systems - New Results},
booktitle = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FTCS.1998.689457},
doi = {10.1109/FTCS.1998.689457},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ftcs/PopovS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/PizzaSBG98,
author = {Michele Pizza and
Lorenzo Strigini and
Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Optimal Discrimination between Transient and Permanent Faults},
booktitle = {3rd {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} '98), 13-14 November 1998, Washington, D.C, USA, Proceedings},
pages = {214--223},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HASE.1998.731615},
doi = {10.1109/HASE.1998.731615},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/PizzaSBG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PizzaS98,
author = {Michele Pizza and
Lorenzo Strigini},
title = {Comparing the effectiveness of testing methods in improving programs:
the effect of variations in program quality},
booktitle = {Ninth International Symposium on Software Reliability Engineering,
{ISSRE} 1998, Paderborn, Germany, November 4-7, 1998},
pages = {144--153},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISSRE.1998.730873},
doi = {10.1109/ISSRE.1998.730873},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/PizzaS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SonneckSS98,
author = {Gerald Sonneck and
Erwin Schoitsch and
Lorenzo Strigini},
editor = {Wolfgang D. Ehrenberger},
title = {A Holistic View on the Dependability of Software-Intensive Systems},
booktitle = {Computer Safety, Reliability and Security, 17th International Conference,
SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1516},
pages = {369--379},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49646-7\_29},
doi = {10.1007/3-540-49646-7\_29},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SonneckSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StriginiGR97,
author = {Lorenzo Strigini and
Felicita Di Giandomenico and
Alexander B. Romanovsky},
title = {Coordinated backward between client processes and data servers},
journal = {{IEE} Proc. Softw. Eng.},
volume = {144},
number = {2},
pages = {134--146},
year = {1997},
url = {https://doi.org/10.1049/ip-sen:19971103},
doi = {10.1049/IP-SEN:19971103},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/StriginiGR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FranklHLS97,
author = {Phyllis G. Frankl and
Richard G. Hamlet and
Bev Littlewood and
Lorenzo Strigini},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Choosing a Testing Method to Deliver Reliability},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {68--78},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253244},
doi = {10.1145/253228.253244},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FranklHLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Strigini96,
author = {Lorenzo Strigini},
title = {Limiting the Dangers of Intuitive Decision Making},
journal = {{IEEE} Softw.},
volume = {13},
number = {1},
pages = {101--103},
year = {1996},
url = {https://doi.org/10.1109/52.476293},
doi = {10.1109/52.476293},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Strigini96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Strigini96,
author = {Lorenzo Strigini},
title = {On Testing Process Control Software for Reliability Assessment: the
Effects of Correlation between Successive Failures},
journal = {Softw. Test. Verification Reliab.},
volume = {6},
number = {1},
pages = {33--48},
year = {1996},
url = {https://doi.org/10.1002/(SICI)1099-1689(199603)6:1\&\#60;33::AID-STVR109\&\#62;3.0.CO;2-G},
doi = {10.1002/(SICI)1099-1689(199603)6:1\&\#60;33::AID-STVR109\&\#62;3.0.CO;2-G},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/Strigini96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BertolinoS96,
author = {Antonia Bertolino and
Lorenzo Strigini},
title = {On the Use of Testability Measures for Dependability Assessment},
journal = {{IEEE} Trans. Software Eng.},
volume = {22},
number = {2},
pages = {97--108},
year = {1996},
url = {https://doi.org/10.1109/32.485220},
doi = {10.1109/32.485220},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BertolinoS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BertolinoS96,
author = {Antonia Bertolino and
Lorenzo Strigini},
editor = {Erwin Schoitsch},
title = {Acceptance Criteria for Critical Software Based on Testability Estimates
and Test Results},
booktitle = {15th International Conference on Computer Safety, Reliability and
Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996},
pages = {83--94},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0937-2\_7},
doi = {10.1007/978-1-4471-0937-2\_7},
timestamp = {Tue, 25 Jun 2019 15:55:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BertolinoS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RomanovskyS95,
author = {Alexander B. Romanovsky and
Lorenzo Strigini},
title = {Backward error recovery via conversations in Ada},
journal = {Softw. Eng. J.},
volume = {10},
number = {6},
pages = {219--232},
year = {1995},
url = {https://doi.org/10.1049/sej.1995.0027},
doi = {10.1049/SEJ.1995.0027},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/RomanovskyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BertolinoS95,
author = {Antonia Bertolino and
Lorenzo Strigini},
editor = {Dewayne E. Perry and
Ross Jeffery and
David Notkin},
title = {Using Testability Measures for Dependability Assessment},
booktitle = {17th International Conference on Software Engineering, Seattle, Washington,
USA, April 23-30, 1995, Proceedings},
pages = {61--70},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/225014.225020},
doi = {10.1145/225014.225020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BertolinoS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/95/BondavalliSS95,
author = {Andrea Bondavalli and
John A. Stankovic and
Lorenzo Strigini},
editor = {Donald S. Fussell and
Miroslaw Malek},
title = {Adaptable Fault Tolerance for Real-Time Systems},
booktitle = {Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time
Systems},
series = {The Kluwer/Springer International Series in Engineering and Computer
Science},
volume = {297},
pages = {187--208},
publisher = {Kluwer / Springer {US}},
year = {1995},
url = {https://doi.org/10.1007/978-1-4615-2271-3\_10},
doi = {10.1007/978-1-4615-2271-3\_10},
timestamp = {Wed, 26 Jun 2019 17:32:58 +0200},
biburl = {https://dblp.org/rec/books/sp/95/BondavalliSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/ChiaradonnaBS94,
author = {Silvano Chiaradonna and
Andrea Bondavalli and
Lorenzo Strigini},
editor = {Klaus Echtle and
Dieter K. Hammer and
David Powell},
title = {On Performability Modeling and Evaluation of Software Fault Tolerant
Structures},
booktitle = {Dependable Computing - EDCC-1, First European Dependable Computing
Conference, Berlin, Germany, October 4-6, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {852},
pages = {97--114},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58426-9\_126},
doi = {10.1007/3-540-58426-9\_126},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/ChiaradonnaBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LittlewoodS93,
author = {Bev Littlewood and
Lorenzo Strigini},
title = {Validation of Ultrahigh Dependability for Software-Based Systems},
journal = {Commun. {ACM}},
volume = {36},
number = {11},
pages = {69--80},
year = {1993},
url = {https://doi.org/10.1145/163359.163373},
doi = {10.1145/163359.163373},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/LittlewoodS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BondavalliSS92,
author = {Andrea Bondavalli and
Lorenzo Strigini and
Matteo Sereno},
title = {Destination Stripping Dual Ring: {A} New Protocol for MANs},
journal = {Comput. Networks {ISDN} Syst.},
volume = {24},
number = {1},
pages = {15--32},
year = {1992},
url = {https://doi.org/10.1016/0169-7552(92)90101-U},
doi = {10.1016/0169-7552(92)90101-U},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BondavalliSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BondavalliSS92,
author = {Andrea Bondavalli and
Lorenzo Strigini and
Luca Simoncini},
title = {Dataflow-Like Languages for Real-Time Systems: Issues of Computational
Models and Notations},
booktitle = {11th Symposium on Reliable Distributed Systems, {SRDS} 1992, Houston,
Texas, USA, October 5-7, 1992, Proceedings},
pages = {214--221},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/RELDIS.1992.235124},
doi = {10.1109/RELDIS.1992.235124},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/srds/BondavalliSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/GiandomenicoS91,
author = {Felicita Di Giandomenico and
Lorenzo Strigini},
editor = {Mario Dal Cin and
Wolfgang Hohl},
title = {Implementations and Extensions of the Conversation Concept},
booktitle = {Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment,
5th International {GI/ITG/GMA} Conference, N{\"{u}}rnberg, Germany,
September 25-27, 1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {283},
pages = {42--53},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76930-6\_4},
doi = {10.1007/978-3-642-76930-6\_4},
timestamp = {Wed, 17 May 2017 14:24:33 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/GiandomenicoS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/BondavalliS91,
author = {Andrea Bondavalli and
Lorenzo Strigini},
title = {{DSDR:} {A} Fair and Efficient Access Protocol for Ring-Topology MANs},
booktitle = {Proceedings {IEEE} {INFOCOM} '91, The Conference on Computer Communications,
Tenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Networking in the 90s, Bal Harbour, Florida, USA, April
7-11, 1991},
pages = {1022--1030},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/INFCOM.1991.147617},
doi = {10.1109/INFCOM.1991.147617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/BondavalliS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/StriginiG91,
author = {Lorenzo Strigini and
Felicita Di Giandomenico},
title = {Flexible Schemes for Application-Level Fault Tolerance},
booktitle = {Tenth Symposium on Reliable Distributed Systems, {SRDS} 1991, Pisa,
Italy, September 30 - October 2, 1991, Proceedings},
pages = {86--95},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/RELDIS.1991.145409},
doi = {10.1109/RELDIS.1991.145409},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/StriginiG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/GiandomenicoS90,
author = {Felicita Di Giandomenico and
Lorenzo Strigini},
title = {Adjudicators for Diverse-Redundant Components},
booktitle = {Ninth Symposium on Reliable Distributed Systems, {SRDS} 1990, Huntsville,
Alabama, USA, October 9-11, 1990, Proceedings},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/RELDIS.1990.93957},
doi = {10.1109/RELDIS.1990.93957},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/GiandomenicoS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BondavalliCGLS89,
author = {Andrea Bondavalli and
Marco Conti and
Enrico Gregori and
Luciano Lenzini and
Lorenzo Strigini},
title = {{MAC} Protocols for High-Speed MANs: Performance Comparisons for a
Family of Fasnet-Based Protocols},
journal = {Comput. Networks {ISDN} Syst.},
volume = {18},
number = {2},
pages = {97--113},
year = {1989},
url = {https://doi.org/10.1016/0169-7552(90)90138-I},
doi = {10.1016/0169-7552(90)90138-I},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BondavalliCGLS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/AlbaneseSF88,
author = {Andres Albanese and
Lorenzo Strigini and
Luigi Fratta},
editor = {Josef Raviv},
title = {A routing strategy for interconnecting high-speed metropolitan area
networks},
booktitle = {Computer Communication Technologies for the 90's, Proceedings of the
Ninth International Conference on Computer Communication, Tel Aviv,
Israel, October 30 - November 3, 1988},
pages = {303--309},
publisher = {International Council for Computer Communication / Elsevier},
year = {1988},
timestamp = {Fri, 22 Jul 2016 09:50:51 +0200},
biburl = {https://dblp.org/rec/conf/iccc/AlbaneseSF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icftcs/CorsiniSS84,
author = {Paolo Corsini and
Luca Simoncini and
Lorenzo Strigini},
editor = {Karl{-}Erwin Gro{\ss}pietsch and
Mario Dal Cin},
title = {The architecture and the fault-treatment of MuTEAM},
booktitle = {Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn,
19.-21. September 1984, Proceedings},
series = {Informatik-Fachberichte},
volume = {84},
pages = {1--13},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-3-642-69698-5\_1},
doi = {10.1007/978-3-642-69698-5\_1},
timestamp = {Wed, 17 May 2017 14:24:33 +0200},
biburl = {https://dblp.org/rec/conf/icftcs/CorsiniSS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee-sej/CorsiniLS83,
author = {Paolo Corsini and
Lanfranco Lopriore and
Lorenzo Strigini},
title = {Fail-safeness in a multiprocessor system. a distributed strategy based
on backward error recovery},
journal = {Softw. Microsystems},
volume = {2},
number = {6},
pages = {147--156},
year = {1983},
url = {https://doi.org/10.1049/sm.1983.0054},
doi = {10.1049/SM.1983.0054},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee-sej/CorsiniLS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BarigazziCS82,
author = {G. Barigazzi and
Augusto Ciuffoletti and
Lorenzo Strigini},
title = {A Distributed algorithm for post-failure load redistribution},
booktitle = {Proceedings of the 3rd International Conference on Distributed Computing
Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {1982},
timestamp = {Wed, 21 Sep 2005 15:11:36 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/BarigazziCS82.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-04-25 02:40 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:
