BibTeX records: David Powell

download as .bib file

@inproceedings{DBLP:conf/isc2/AlAnbouriPPKHBD23,
  author       = {Ahlam AlAnbouri and
                  Mayank Parmar and
                  David Powell and
                  Paula Kelly and
                  Niall Holmes and
                  Damon Berry and
                  Lorraine D'Arcy},
  title        = {Capturing the Behaviour of Volunteer Pedestrians in a Newly-Developed
                  University Campus Using a Distributed Array of Bluetooth Low Energy
                  Devices},
  booktitle    = {{IEEE} International Smart Cities Conference, {ISC2} 2023, Bucharest,
                  Romania, September 24-27, 2023},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISC257844.2023.10293279},
  doi          = {10.1109/ISC257844.2023.10293279},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isc2/AlAnbouriPPKHBD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/OswaldP20,
  author       = {Marion Oswald and
                  David Powell},
  editor       = {Mireille Hildebrandt and
                  Carlos Castillo and
                  L. Elisa Celis and
                  Salvatore Ruggieri and
                  Linnet Taylor and
                  Gabriela Zanfir{-}Fortuna},
  title        = {Can an algorithmic system be a 'friend' to a police officer's discretion?:
                  {ACM} {FAT} 2020 translation tutorial},
  booktitle    = {FAT* '20: Conference on Fairness, Accountability, and Transparency,
                  Barcelona, Spain, January 27-30, 2020},
  pages        = {698},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3351095.3375673},
  doi          = {10.1145/3351095.3375673},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fat/OswaldP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/SchneiderGTFDGW19,
  author       = {Maria Victoria Schneider and
                  Philippa C. Griffin and
                  Sonika Tyagi and
                  Madison Flannery and
                  Saravanan Dayalan and
                  Simon Gladman and
                  Nathan S. Watson{-}Haigh and
                  Philipp E. Bayer and
                  Michael A. Charleston and
                  Ira Cooke and
                  Rob Cook and
                  Richard J. Edwards and
                  David Edwards and
                  Dominique Gorse and
                  Malcolm J. McConville and
                  David Powell and
                  Marc R. Wilkins and
                  Andrew Lonie},
  title        = {Establishing a distributed national research infrastructure providing
                  bioinformatics support to life science researchers in Australia},
  journal      = {Briefings Bioinform.},
  volume       = {20},
  number       = {2},
  pages        = {384--389},
  year         = {2019},
  url          = {https://doi.org/10.1093/bib/bbx071},
  doi          = {10.1093/BIB/BBX071},
  timestamp    = {Sun, 19 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bib/SchneiderGTFDGW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MachinDGPRW15,
  author       = {Mathilde Machin and
                  Fanny Dufoss{\'{e}} and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  David Powell and
                  Matthieu Roy and
                  H{\'{e}}l{\`{e}}ne Waeselynck},
  title        = {Model-Checking and Game theory for Synthesis of Safety Rules},
  booktitle    = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
  pages        = {36--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/HASE.2015.15},
  doi          = {10.1109/HASE.2015.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/MachinDGPRW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MachinDBGPW14,
  author       = {Mathilde Machin and
                  Fanny Dufoss{\'{e}} and
                  Jean{-}Paul Blanquart and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  David Powell and
                  H{\'{e}}l{\`{e}}ne Waeselynck},
  editor       = {Andrea Bondavalli and
                  Felicita Di Giandomenico},
  title        = {Specifying Safety Monitors for Autonomous Systems Using Model-Checking},
  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        = {262--277},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10506-2\_18},
  doi          = {10.1007/978-3-319-10506-2\_18},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MachinDBGPW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icorr/GuiochetHKP13,
  author       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Quynh Anh Do Hoang and
                  Mohamed Ka{\^{a}}niche and
                  David Powell},
  title        = {Model-based safety analysis of human-robot interactions: The {MIRAS}
                  walking assistance robot},
  booktitle    = {{IEEE} 13th International Conference on Rehabilitation Robotics, {ICORR}
                  2013, Seattle, WA, USA, June 24-26, 2013},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICORR.2013.6650433},
  doi          = {10.1109/ICORR.2013.6650433},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icorr/GuiochetHKP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/armor/ArtiguesDGHKPRB12,
  author       = {Christian Artigues and
                  Yves Deswarte and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Marie{-}Jos{\'{e}} Huguet and
                  Marc{-}Olivier Killijian and
                  David Powell and
                  Matthieu Roy and
                  Christophe Bidan and
                  Nicolas Prigent and
                  Emmanuelle Anceaume and
                  S{\'{e}}bastien Gambs and
                  Gilles Guette and
                  Michel Hurfin and
                  Fr{\'{e}}d{\'{e}}ric Schettini},
  editor       = {Juan{-}Carlos Ruiz{-}Garcia and
                  Marc{-}Olivier Killijian},
  title        = {{AMORES:} an architecture for mobiquitous resilient systems},
  booktitle    = {Proceedings of the 1st European Workshop on AppRoaches to MObiquitous
                  Resilience, {ARMOR} '12, Sibiu, Romania, May 8-11, 2012},
  pages        = {7:1--7:6},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2222436.2222443},
  doi          = {10.1145/2222436.2222443},
  timestamp    = {Tue, 01 Feb 2022 16:09:23 +0100},
  biburl       = {https://dblp.org/rec/conf/armor/ArtiguesDGHKPRB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PowellACIK12,
  author       = {David Powell and
                  Jean Arlat and
                  Hoang Nam Chu and
                  F{\'{e}}lix Ingrand and
                  Marc{-}Olivier Killijian},
  editor       = {Cristian Constantinescu and
                  Miguel P. Correia},
  title        = {Testing the Input Timing Robustness of Real-Time Control Software
                  for Autonomous Systems},
  booktitle    = {2012 Ninth European Dependable Computing Conference, Sibiu, Romania,
                  May 8-11, 2012},
  pages        = {73--83},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/EDCC.2012.16},
  doi          = {10.1109/EDCC.2012.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/PowellACIK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Mekki-MokhtarBGPR12,
  author       = {Amina Mekki{-}Mokhtar and
                  Jean{-}Paul Blanquart and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  David Powell and
                  Matthieu Roy},
  title        = {Safety Trigger Conditions for Critical Autonomous Systems},
  booktitle    = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
                  {PRDC} 2012, Niigata, Japan, November 18-19, 2012},
  pages        = {61--69},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/PRDC.2012.22},
  doi          = {10.1109/PRDC.2012.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Mekki-MokhtarBGPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/NicomettePDAZ11,
  author       = {Vincent Nicomette and
                  David Powell and
                  Yves Deswarte and
                  Noreddine Abghour and
                  Christophe Zanon},
  title        = {Intrusion-tolerant fine-grained authorization for Internet applications},
  journal      = {J. Syst. Archit.},
  volume       = {57},
  number       = {4},
  pages        = {441--451},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.sysarc.2010.05.005},
  doi          = {10.1016/J.SYSARC.2010.05.005},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/NicomettePDAZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PowellADK11,
  author       = {David Powell and
                  Jean Arlat and
                  Yves Deswarte and
                  Karama Kanoun},
  editor       = {Cliff B. Jones and
                  John L. Lloyd},
  title        = {Tolerance of Design Faults},
  booktitle    = {Dependable and Historic Computing - Essays Dedicated to Brian Randell
                  on the Occasion of His 75th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {6875},
  pages        = {428--452},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24541-1\_32},
  doi          = {10.1007/978-3-642-24541-1\_32},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/PowellADK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GuiochetMP10,
  author       = {J{\'{e}}r{\'{e}}mie Guiochet and
                  Damien Martin{-}Guillerez and
                  David Powell},
  title        = {Experience with Model-Based User-Centered Risk Assessment for Service
                  Robots},
  booktitle    = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
                  San Jose, CA, USA, November 3-4, 2010},
  pages        = {104--113},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/HASE.2010.10},
  doi          = {10.1109/HASE.2010.10},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/GuiochetMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Martin-Guillerez10,
  author       = {Damien Martin{-}Guillerez and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  David Powell and
                  Christophe Zanon},
  editor       = {Giovanna Di Marzo Serugendo and
                  John S. Fitzgerald},
  title        = {A UML-based method for risk analysis of human-robot interactions},
  booktitle    = {Proceedings of the 2nd International Workshop on Software Engineering
                  for Resilient Systems, {SERENE} '10, London, United Kingdom, April
                  15-16, 2010},
  pages        = {32--41},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/2401736.2401740},
  doi          = {10.1145/2401736.2401740},
  timestamp    = {Mon, 22 Jul 2019 17:31:47 +0200},
  biburl       = {https://dblp.org/rec/conf/serene/Martin-Guillerez10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LaarouchiDPAN09,
  author       = {Youssef Laarouchi and
                  Yves Deswarte and
                  David Powell and
                  Jean Arlat and
                  Eric De Nadai},
  editor       = {Hans P. Reiser and
                  R{\"{u}}diger Kapitza},
  title        = {Enhancing dependability in avionics using virtualization},
  booktitle    = {Proceedings of the 1st EuroSys Workshop on Virtualization Technology
                  for Dependable Systems, {VDTS} '09, Nuremberg, Germany, March 31,
                  2009},
  pages        = {13--17},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1518684.1518687},
  doi          = {10.1145/1518684.1518687},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/LaarouchiDPAN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/LaarouchiDPA08,
  author       = {Youssef Laarouchi and
                  Yves Deswarte and
                  David Powell and
                  Jean Arlat},
  editor       = {Markus Helfert},
  title        = {Safety and Security Architectures for Avionics},
  booktitle    = {{DCSOFT} 2008 - Proceedings of the Doctoral Consortium on Software
                  and Data Technologies, Porto, Portugal, July 5-8, 2008},
  pages        = {46--52},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Thu, 05 Mar 2009 15:28:12 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/LaarouchiDPA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/RoyBQBKP08,
  author       = {Matthieu Roy and
                  Fran{\c{c}}ois Bonnet and
                  Leonardo Querzoni and
                  Silvia Bonomi and
                  Marc{-}Olivier Killijian and
                  David Powell},
  editor       = {Theodore P. Baker and
                  Alain Bui and
                  S{\'{e}}bastien Tixeuil},
  title        = {Geo-registers: An Abstraction for Spatial-Based Distributed Computing},
  booktitle    = {Principles of Distributed Systems, 12th International Conference,
                  {OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5401},
  pages        = {534--537},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92221-6\_34},
  doi          = {10.1007/978-3-540-92221-6\_34},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/RoyBQBKP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/LussierGGIKP07,
  author       = {Benjamin Lussier and
                  Matthieu Gallien and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  F{\'{e}}lix Ingrand and
                  Marc{-}Olivier Killijian and
                  David Powell},
  editor       = {Mark S. Boddy and
                  Maria Fox and
                  Sylvie Thi{\'{e}}baux},
  title        = {Planning with Diversified Models for Fault-Tolerant Robots},
  booktitle    = {Proceedings of the Seventeenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
                  September 22-26, 2007},
  pages        = {216--223},
  publisher    = {{AAAI}},
  year         = {2007},
  url          = {http://www.aaai.org/Library/ICAPS/2007/icaps07-028.php},
  timestamp    = {Tue, 02 Nov 2021 15:59:05 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/LussierGGIKP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LussierGGIKP07,
  author       = {Benjamin Lussier and
                  Matthieu Gallien and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  F{\'{e}}lix Ingrand and
                  Marc{-}Olivier Killijian and
                  David Powell},
  title        = {Fault Tolerant Planning for Critical Robots},
  booktitle    = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
                  Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
                  Proceedings},
  pages        = {144--153},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DSN.2007.50},
  doi          = {10.1109/DSN.2007.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/LussierGGIKP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/CourtesKP07,
  author       = {Ludovic Court{\`{e}}s and
                  Marc{-}Olivier Killijian and
                  David Powell},
  editor       = {Andrea Bondavalli and
                  Francisco Vilar Brasileiro and
                  Sergio Rajsbaum},
  title        = {Security Rationale for a Cooperative Backup Service for Mobile Devices},
  booktitle    = {Dependable Computing, Third Latin-American Symposium, {LADC} 2007,
                  Morella, Mexico, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4746},
  pages        = {212--230},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75294-3\_16},
  doi          = {10.1007/978-3-540-75294-3\_16},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ladc/CourtesKP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CourtesHKKP07,
  author       = {Ludovic Court{\`{e}}s and
                  Ossama Hamouda and
                  Mohamed Ka{\^{a}}niche and
                  Marc{-}Olivier Killijian and
                  David Powell},
  title        = {Dependability Evaluation of Cooperative Backup Strategies for Mobile
                  Devices},
  booktitle    = {13th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2007), 17-19 December, 2007, Melbourne, Victoria, Australia},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/PRDC.2007.21},
  doi          = {10.1109/PRDC.2007.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/CourtesHKKP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/VerissimoNCPPDSW06,
  author       = {Paulo Ver{\'{\i}}ssimo and
                  Nuno Ferreira Neves and
                  Christian Cachin and
                  Jonathan A. Poritz and
                  David Powell and
                  Yves Deswarte and
                  Robert J. Stroud and
                  Ian Welch},
  title        = {Intrusion-tolerant middleware: the road to automatic security},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {4},
  number       = {4},
  pages        = {54--62},
  year         = {2006},
  url          = {https://doi.org/10.1109/MSP.2006.95},
  doi          = {10.1109/MSP.2006.95},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/VerissimoNCPPDSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/DeswarteP06,
  author       = {Yves Deswarte and
                  David Powell},
  title        = {Internet Security: An Intrusion-Tolerance Approach},
  journal      = {Proc. {IEEE}},
  volume       = {94},
  number       = {2},
  pages        = {432--441},
  year         = {2006},
  url          = {https://doi.org/10.1109/JPROC.2005.862320},
  doi          = {10.1109/JPROC.2005.862320},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/DeswarteP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scfbm/StrahmPL06,
  author       = {Yvan Strahm and
                  David Powell and
                  Christophe Lef{\`{e}}vre},
  title        = {{EST-PAC} a web package for {EST} annotation and protein sequence
                  prediction},
  journal      = {Source Code Biol. Medicine},
  volume       = {1},
  year         = {2006},
  url          = {https://doi.org/10.1186/1751-0473-1-2},
  doi          = {10.1186/1751-0473-1-2},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scfbm/StrahmPL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CourtesKP06,
  author       = {Ludovic Court{\`{e}}s and
                  Marc{-}Olivier Killijian and
                  David Powell},
  title        = {Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices},
  booktitle    = {Sixth European Dependable Computing Conference, {EDCC} 2006, Coimbra,
                  Portugal, 18-20 October 2006},
  pages        = {129--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/EDCC.2006.26},
  doi          = {10.1109/EDCC.2006.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edcc/CourtesKP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lisa/AdamsBHPP05,
  author       = {Jonathan Adams and
                  David Bustos and
                  Stephen Hahn and
                  David Powell and
                  Liane Praza},
  editor       = {David N. Blank{-}Edelman},
  title        = {Solaris Service Management Facility: Modern System Startup and Administration},
  booktitle    = {Proceedings of the 19th Conference on Systems Administration {(LISA}
                  2005), December 4-9, 2005, San Diego, California, {USA}},
  pages        = {225--236},
  publisher    = {{USENIX}},
  year         = {2005},
  url          = {http://www.usenix.org/events/lisa05/tech/adams.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lisa/AdamsBHPP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ubimob/CourtesKPR05,
  author       = {Ludovic Court{\`{e}}s and
                  Marc{-}Olivier Killijian and
                  David Powell and
                  Matthieu Roy},
  editor       = {Jo{\"{e}}lle Coutaz and
                  Sylvain Lecomte},
  title        = {Sauvegarde coop{\'{e}}rative entre pairs pour dispositifs mobiles},
  booktitle    = {Actes des 2{\`{e}}mes journ{\'{e}}es francophones Mobilit{\'{e}}
                  et Ubiquit{\'{e}} 2005, UBIMOB'05, 31 mai - 3 juin 2005, Grenoble,
                  France},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {97--104},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1102613.1102635},
  doi          = {10.1145/1102613.1102635},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ubimob/CourtesKPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DeswarteP04,
  author       = {Yves Deswarte and
                  David Powell},
  editor       = {Ren{\'{e}} Jacquart},
  title        = {Intrusion tolerance for Internet applications},
  booktitle    = {Building the Information Society, {IFIP} 18th World Computer Congress,
                  Topical Sessions, 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {156},
  pages        = {241--256},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-1-4020-8157-6\_22},
  doi          = {10.1007/978-1-4020-8157-6\_22},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/DeswarteP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/KillijianPBCR04,
  author       = {Marc{-}Olivier Killijian and
                  David Powell and
                  Michel Ban{\^{a}}tre and
                  Paul Couderc and
                  Yves Roudier},
  editor       = {Paddy Nixon and
                  Fabio Kon},
  title        = {Collaborative backup for dependable mobile applications},
  booktitle    = {Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc
                  Computing, Toronto, Ontario, Canada, October 18-22, 2004},
  pages        = {146--149},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028509.1028517},
  doi          = {10.1145/1028509.1028517},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/middleware/KillijianPBCR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nca/DeswarteP04,
  author       = {Yves Deswarte and
                  David Powell},
  title        = {Intrusion Tolerance for Internet Applications},
  booktitle    = {3rd {IEEE} International Symposium on Network Computing and Applications
                  {(NCA} 2004), 30 August - 1 September 2004, Cambridge, MA, {USA}},
  pages        = {35--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/NCA.2004.1347758},
  doi          = {10.1109/NCA.2004.1347758},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nca/DeswarteP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MostefaouiPR04,
  author       = {Achour Most{\'{e}}faoui and
                  David Powell and
                  Michel Raynal},
  title        = {A Hybrid Approach for Building Eventually Accurate Failure Detectors},
  booktitle    = {10th {IEEE} Pacific Rim International Symposium on Dependable Computing
                  {(PRDC} 2004), 3-5 March 2004, Papeete, Tahiti},
  pages        = {57--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/PRDC.2004.1276553},
  doi          = {10.1109/PRDC.2004.1276553},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MostefaouiPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esmart/DeswarteANP01,
  author       = {Yves Deswarte and
                  Noreddine Abghour and
                  Vincent Nicomette and
                  David Powell},
  editor       = {Isabelle Attali and
                  Thomas P. Jensen},
  title        = {An Internet Authorization Scheme Using Smart-Card-Based Security Kernels},
  booktitle    = {Smart Card Programming and Security, International Conference on Research
                  in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2140},
  pages        = {71--82},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45418-7\_7},
  doi          = {10.1007/3-540-45418-7\_7},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esmart/DeswarteANP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/AbbottP99,
  author       = {Eric Abbott and
                  David Powell},
  title        = {Land-vehicle navigation using {GPS}},
  journal      = {Proc. {IEEE}},
  volume       = {87},
  number       = {1},
  pages        = {145--162},
  year         = {1999},
  url          = {https://doi.org/10.1109/5.736347},
  doi          = {10.1109/5.736347},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pieee/AbbottP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/CukierPA99,
  author       = {Michel Cukier and
                  David Powell and
                  Jean Arlat},
  title        = {Coverage Estimation Methods for Stratified Fault Injection},
  journal      = {{IEEE} Trans. Computers},
  volume       = {48},
  number       = {7},
  pages        = {707--723},
  year         = {1999},
  url          = {https://doi.org/10.1109/12.780878},
  doi          = {10.1109/12.780878},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/CukierPA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/PowellABBCFJRW99,
  author       = {David Powell and
                  Jean Arlat and
                  Ljerka Beus{-}Dukic and
                  Andrea Bondavalli and
                  P. Coppola and
                  Alessandro Fantechi and
                  Eric Jenn and
                  Christophe Rab{\'{e}}jac and
                  Andy J. Wellings},
  title        = {{GUARDS:} {A} Generic Upgradable Architecture for Real-Time Dependable
                  Systems},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {10},
  number       = {6},
  pages        = {580--599},
  year         = {1999},
  url          = {https://doi.org/10.1109/71.774908},
  doi          = {10.1109/71.774908},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/PowellABBCFJRW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/MotetP99,
  author       = {Gilles Motet and
                  David Powell},
  editor       = {Patrick Amestoy and
                  Philippe Berger and
                  Michel J. Dayd{\'{e}} and
                  Iain S. Duff and
                  Val{\'{e}}rie Frayss{\'{e}} and
                  Luc Giraud and
                  Daniel Ruiz},
  title        = {Fault Avoidance and Fault Removal in Real-Time Systems {\&} Fault-Tolerant
                  Computing - Introduction},
  booktitle    = {Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference,
                  Toulouse, France, August 31 - September 3, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1685},
  pages        = {487--488},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48311-X\_66},
  doi          = {10.1007/3-540-48311-X\_66},
  timestamp    = {Tue, 04 Jun 2019 14:36:07 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/MotetP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/IyerABPLS99,
  author       = {Ravishankar K. Iyer and
                  Algirdas Avizienis and
                  D. Barron and
                  David Powell and
                  Haim Levendel and
                  J. Samson},
  title        = {{COTS} Hardware and Software in High-Availability Systems (Panel)},
  booktitle    = {Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium
                  on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18,
                  1999},
  pages        = {120},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/FTCS.1999.781041},
  doi          = {10.1109/FTCS.1999.781041},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/IyerABPLS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/TotelBDP98,
  author       = {Eric Totel and
                  Jean{-}Paul Blanquart and
                  Yves Deswarte and
                  David Powell},
  title        = {Supporting Multiple Levels of Criticality},
  booktitle    = {Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium
                  on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998},
  pages        = {70--79},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/FTCS.1998.689456},
  doi          = {10.1109/FTCS.1998.689456},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/TotelBDP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/BondavalliGGPR98,
  author       = {Andrea Bondavalli and
                  Felicita Di Giandomenico and
                  Fabrizio Grandoni and
                  David Powell and
                  Christophe Rab{\'{e}}jac},
  title        = {State Restoration in a COTS-Based N-Modular Architecture},
  booktitle    = {1st International Symposium on Object-Oriented Real-Time Distributed
                  Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
  pages        = {174},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ISORC.1998.666787},
  doi          = {10.1109/ISORC.1998.666787},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isorc/BondavalliGGPR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/WellingsBP98,
  author       = {Andy J. Wellings and
                  Ljerka Beus{-}Dukic and
                  David Powell},
  title        = {Real-Time Scheduling in a Generic Fault-Tolerant Architecture},
  booktitle    = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
                  Spain, December 2-4, 1998},
  pages        = {390--398},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/REAL.1998.739772},
  doi          = {10.1109/REAL.1998.739772},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/WellingsBP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdcs/EssameAP97,
  author       = {D. Essame and
                  Jean Arlat and
                  David Powell},
  title        = {Available fail-safe systems},
  booktitle    = {6th {IEEE} Workshop on Future Trends of Distributed Computer Systems
                  {(FTDCS} '97), 29-31 October 1997, Tunis, Tunisia, Proceedings},
  pages        = {176--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/FTDCS.1997.644721},
  doi          = {10.1109/FTDCS.1997.644721},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftdcs/EssameAP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Powell96,
  author       = {David Powell},
  title        = {Group Communication (Introduction to the Special Section)},
  journal      = {Commun. {ACM}},
  volume       = {39},
  number       = {4},
  pages        = {50--53},
  year         = {1996},
  url          = {https://doi.org/10.1145/227210.227225},
  doi          = {10.1145/227210.227225},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/Powell96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/PowellCA96,
  author       = {David Powell and
                  Michel Cukier and
                  Jean Arlat},
  editor       = {Andrzej Hlawiczka and
                  Jo{\~{a}}o Gabriel Silva and
                  Luca Simoncini},
  title        = {On Stratified Sampling for High Coverage Estimations},
  booktitle    = {Dependable Computing - EDCC-2, Second European Dependable Computing
                  Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1150},
  pages        = {37--54},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61772-8\_29},
  doi          = {10.1007/3-540-61772-8\_29},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/PowellCA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/PowellMAC95,
  author       = {David Powell and
                  Eliane Martins and
                  Jean Arlat and
                  Yves Crouzet},
  title        = {Estimators for Fault Tolerance Coverage Evaluation},
  journal      = {{IEEE} Trans. Computers},
  volume       = {44},
  number       = {2},
  pages        = {261--274},
  year         = {1995},
  url          = {https://doi.org/10.1109/12.364537},
  doi          = {10.1109/12.364537},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/PowellMAC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/micro/Powell94,
  author       = {David Powell},
  title        = {Distributed fault tolerance: lessons from Delta-4},
  journal      = {{IEEE} Micro},
  volume       = {14},
  number       = {1},
  pages        = {36--47},
  year         = {1994},
  url          = {https://doi.org/10.1109/40.259898},
  doi          = {10.1109/40.259898},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/micro/Powell94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edcc/1994,
  editor       = {Klaus Echtle and
                  Dieter K. Hammer and
                  David Powell},
  title        = {Dependable Computing - EDCC-1, First European Dependable Computing
                  Conference, Berlin, Germany, October 4-6, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {852},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58426-9},
  doi          = {10.1007/3-540-58426-9},
  isbn         = {3-540-58426-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ArlatCCLP93,
  author       = {Jean Arlat and
                  Alain Costes and
                  Yves Crouzet and
                  Jean{-}Claude Laprie and
                  David Powell},
  title        = {Fault Injection and Dependability Evaluation of Fault-Tolerant Systems},
  journal      = {{IEEE} Trans. Computers},
  volume       = {42},
  number       = {8},
  pages        = {913--923},
  year         = {1993},
  url          = {https://doi.org/10.1109/12.238482},
  doi          = {10.1109/12.238482},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/ArlatCCLP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/PowellMAC93,
  author       = {David Powell and
                  Eliane Martins and
                  Jean Arlat and
                  Yves Crouzet},
  title        = {Estimators for Fault Tolerance Coverage Evaluation},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {228--237},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627326},
  doi          = {10.1109/FTCS.1993.627326},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PowellMAC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/BeoumesKALAMBS93,
  author       = {C. B{\'{e}}oumes and
                  Karama Kanoun and
                  Martine Aguera and
                  Jean{-}Claude Laprie and
                  Jean Arlat and
                  Sylvain Metge and
                  S. Bachmann and
                  Jorge Moreira de Souza and
                  C. Bourdeau and
                  David Powell and
                  J.{-}E. Doucet and
                  P. Spiesser},
  title        = {{SURF-2:} {A} Program for Dependability Evaluation of Complex Hardware
                  and Software Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {668--673},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627372},
  doi          = {10.1109/FTCS.1993.627372},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BeoumesKALAMBS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsaft/Powell93,
  author       = {David Powell},
  editor       = {Michel Ban{\^{a}}tre and
                  Peter A. Lee},
  title        = {Distributed Fault Tolerance - Lessons Learned from Delta-4},
  booktitle    = {Hardware and Software Architectures for Fault Tolerance, Experiences
                  and Perspecives [revised papers from a workshop at Le Mont Saint Michel,
                  France, June 1993]},
  series       = {Lecture Notes in Computer Science},
  volume       = {774},
  pages        = {199--217},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0020035},
  doi          = {10.1007/BFB0020035},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/hsaft/Powell93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/CherequePRRV92,
  author       = {Marc Ch{\'{e}}r{\`{e}}que and
                  David Powell and
                  Philippe Reynier and
                  Jean{-}Luc Richier and
                  Jacques Voiron},
  title        = {Active Replication in Delta-4},
  booktitle    = {Digest of Papers: FTCS-22, The Twenty-Second Annual International
                  Symposium on Fault-Tolerant Computing, Boston, Massachusetts, USA,
                  July 8-10, 1992},
  pages        = {28--37},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/FTCS.1992.243618},
  doi          = {10.1109/FTCS.1992.243618},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/CherequePRRV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/Powell92,
  author       = {David Powell},
  title        = {Failure Mode Assumptions and Assumption Coverage},
  booktitle    = {Digest of Papers: FTCS-22, The Twenty-Second Annual International
                  Symposium on Fault-Tolerant Computing, Boston, Massachusetts, USA,
                  July 8-10, 1992},
  pages        = {386--395},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/FTCS.1992.243562},
  doi          = {10.1109/FTCS.1992.243562},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Powell92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/PowellCD91,
  author       = {David Powell and
                  Marc Ch{\'{e}}r{\`{e}}que and
                  David Drackley},
  title        = {Fault-Tolerance in Delta-4},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {25},
  number       = {2},
  pages        = {122--125},
  year         = {1991},
  url          = {https://doi.org/10.1145/122120.122137},
  doi          = {10.1145/122120.122137},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/PowellCD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/KanounP91,
  author       = {Karama Kanoun and
                  David Powell},
  title        = {Dependability Evaluation of Bus and Ring Communication Topologies
                  for the Delta-4 Distributed Fault-Tolerant Architecture},
  booktitle    = {Tenth Symposium on Reliable Distributed Systems, {SRDS} 1991, Pisa,
                  Italy, September 30 - October 2, 1991, Proceedings},
  pages        = {130--141},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/RELDIS.1991.145415},
  doi          = {10.1109/RELDIS.1991.145415},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/KanounP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ArlatAACFLMP90,
  author       = {Jean Arlat and
                  Martine Aguera and
                  Louis Amat and
                  Yves Crouzet and
                  Jean{-}Charles Fabre and
                  Jean{-}Claude Laprie and
                  Eliane Martins and
                  David Powell},
  title        = {Fault Injection for Dependability Validation: {A} Methodology and
                  Some Applications},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {16},
  number       = {2},
  pages        = {166--182},
  year         = {1990},
  url          = {https://doi.org/10.1109/32.44380},
  doi          = {10.1109/32.44380},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/ArlatAACFLMP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/PowellCD90,
  author       = {David Powell and
                  Marc Ch{\'{e}}r{\`{e}}que and
                  David Drackley},
  title        = {Fault-tolerance in delta-4},
  booktitle    = {Proceedings of the 4th {ACM} {SIGOPS} European Workshop, Bologna,
                  Italy, September 3-5, 1990},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/504136.504158},
  doi          = {10.1145/504136.504158},
  timestamp    = {Tue, 12 Nov 2019 11:03:53 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/PowellCD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/FabreDLP88,
  author       = {Jean{-}Claude Fabre and
                  Yves Deswarte and
                  Jean{-}Claude Laprie and
                  David Powell},
  title        = {Saturation: reduced idleness for improved fault-tolerance},
  booktitle    = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
  pages        = {200--205},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/FTCS.1988.5320},
  doi          = {10.1109/FTCS.1988.5320},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/FabreDLP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftcs/PowellBSVW88,
  author       = {David Powell and
                  Gottfried Bonn and
                  Douglas T. Seaton and
                  Paulo Ver{\'{\i}}ssimo and
                  F. Waeselynck},
  title        = {The Delta-4 approach to dependability in open distributed computing
                  systems},
  booktitle    = {Proceedings of the Eighteenth International Symposium on Fault-Tolerant
                  Computing, {FTCS} 1988, Tokyo, Japan, 27-30 June, 1988},
  pages        = {246--251},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/FTCS.1988.5327},
  doi          = {10.1109/FTCS.1988.5327},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PowellBSVW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/FrayDP86,
  author       = {J.{-}M. Fray and
                  Yves Deswarte and
                  David Powell},
  title        = {Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering},
  booktitle    = {Proceedings of the 1986 {IEEE} Symposium on Security and Privacy,
                  Oakland, California, USA, April 7-9, 1986},
  pages        = {194--203},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  url          = {https://doi.org/10.1109/SP.1986.10019},
  doi          = {10.1109/SP.1986.10019},
  timestamp    = {Thu, 21 Sep 2023 15:57:33 +0200},
  biburl       = {https://dblp.org/rec/conf/sp/FrayDP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DeswarteFLP86,
  author       = {Yves Deswarte and
                  Jean{-}Charles Fabre and
                  Jean{-}Claude Laprie and
                  David Powell},
  title        = {A Saturation Network to Tolerate Faults and Intrusions},
  booktitle    = {Fifth Symposium on Reliability in Distributed Software and Database
                  Systems, {SRDS} 1986, Los Angeles, California, USA, January 13-15,
                  1986, Proceedings},
  pages        = {74--81},
  publisher    = {{IEEE} Computer Society},
  year         = {1986},
  timestamp    = {Fri, 09 Jan 2015 14:54:29 +0100},
  biburl       = {https://dblp.org/rec/conf/srds/DeswarteFLP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics