David Powell

62 papers A* 1A 2B 4C 4Misc 4Journal 16Unranked 31
YearRankTypeTitle / Venue / Authors
2025 — conf
Institutional Research Computing Capabilities in Australia: 2024.
eScience
Slava Kitaeff, Luc Betbeder-Matibet, Jake Carroll, Stephen Giugni, David Abramson, John Zaitseff, Sarah Walters, David Powell, Chris Bording, Trung Nguyen, Angus Macoustra, Fabien Voisin, Bowen Chen, Jarrod Hurley
2025 J jnl
Institutional Research Computing Capabilities in Australia: 2024.
CoRR
Slava Kitaeff, Luc Betbeder-Matibet, Jake Carroll, Stephen Giugni, David Abramson, John Zaitseff, Sarah Walters, David Powell, Chris Bording, Trung Nguyen, Angus Macoustra, Fabien Voisin, Bowen Chen, Jarrod Hurley
2024 J jnl
A General-Purpose Multimodal Foundation Model for Dermatology.
CoRR
Siyuan Yan, Zhen Yu, Clare Primiero, Cristina Vico-Alonso, Zhonghua Wang, Litao Yang, Philipp Tschandl, Ming Hu, Gin Tan, Vincent Tang, Aik Beng Ng, David Powell, C. Paul Bonnington, Simon See, Monika Janda, Victoria Mar, Harald Kittler, H. Peter Soyer, Zongyuan Ge
2023 — conf
Capturing the Behaviour of Volunteer Pedestrians in a Newly-Developed University Campus Using a Distributed Array of Bluetooth Low Energy Devices.
ISC2
Ahlam AlAnbouri, Mayank Parmar, David Powell, Paula Kelly, Niall Holmes, Damon Berry, Lorraine D'Arcy
2020 — conf
Can an algorithmic system be a 'friend' to a police officer's discretion?: ACM FAT 2020 translation tutorial.
FAT*
Marion Oswald, David Powell
2019 J jnl
Establishing a distributed national research infrastructure providing bioinformatics support to life science researchers in Australia.
Briefings Bioinform.
Maria Victoria Schneider, Philippa C. Griffin, Sonika Tyagi, Madison Flannery, Saravanan Dayalan, Simon Gladman, Nathan S. Watson-Haigh, Philipp E. Bayer, Michael A. Charleston, Ira Cooke, Rob Cook, Richard J. Edwards, David Edwards, Dominique Gorse, Malcolm J. McConville, David Powell, Marc R. Wilkins, Andrew Lonie
2015 — conf
Model-Checking and Game theory for Synthesis of Safety Rules.
HASE
Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck
2014 B conf
Specifying Safety Monitors for Autonomous Systems Using Model-Checking.
SAFECOMP
Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck
2013 — conf
Model-based safety analysis of human-robot interactions: The MIRAS walking assistance robot.
ICORR
Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell
2012 — conf
AMORES: an architecture for mobiquitous resilient systems.
ARMOR
Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, David Powell, Matthieu Roy, Christophe Bidan, Nicolas Prigent, Emmanuelle Anceaume, Sébastien Gambs, Gilles Guette, Michel Hurfin, Frédéric Schettini
2012 C conf
Safety Trigger Conditions for Critical Autonomous Systems.
PRDC
Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy
2012 Misc conf
Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems.
EDCC
David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian
2011 J jnl
Intrusion-tolerant fine-grained authorization for Internet applications.
J. Syst. Archit.
Vincent Nicomette, David Powell, Yves Deswarte, Noreddine Abghour, Christophe Zanon
2011 — conf
Tolerance of Design Faults.
Dependable and Historic Computing
David Powell, Jean Arlat, Yves Deswarte, Karama Kanoun
2010 — conf
A UML-based method for risk analysis of human-robot interactions.
SERENE
Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon
2010 — conf
Experience with Model-Based User-Centered Risk Assessment for Service Robots.
HASE
Jérémie Guiochet, Damien Martin-Guillerez, David Powell
2009 — conf
Enhancing dependability in avionics using virtualization.
VDTS@EuroSys
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat, Eric De Nadai
2008 B conf
Geo-registers: An Abstraction for Spatial-Based Distributed Computing.
OPODIS
Matthieu Roy, François Bonnet, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell
2008 — conf
Safety and Security Architectures for Avionics.
DCSOFT
Youssef Laarouchi, Yves Deswarte, David Powell, Jean Arlat
2007 C conf
Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices.
PRDC
Ludovic Courtès, Ossama Hamouda, Mohamed Kaâniche, Marc-Olivier Killijian, David Powell
2007 A conf
Fault Tolerant Planning for Critical Robots.
DSN
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
2007 A* conf
Planning with Diversified Models for Fault-Tolerant Robots.
ICAPS
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
2007 — conf
Security Rationale for a Cooperative Backup Service for Mobile Devices.
LADC
Ludovic Courtès, Marc-Olivier Killijian, David Powell
2006 J jnl
EST-PAC a web package for EST annotation and protein sequence prediction.
Source Code Biol. Medicine
Yvan Strahm, David Powell, Christophe Lefèvre
2006 J jnl
Internet Security: An Intrusion-Tolerance Approach.
Proc. IEEE
Yves Deswarte, David Powell
2006 J jnl
Intrusion-tolerant middleware: the road to automatic security.
IEEE Secur. Priv.
Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch
2006 Misc conf
Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices.
EDCC
Ludovic Courtès, Marc-Olivier Killijian, David Powell
2005 — conf
Sauvegarde coopérative entre pairs pour dispositifs mobiles.
UbiMob
Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy
2005 — conf
Solaris Service Management Facility: Modern System Startup and Administration.
LISA
Jonathan Adams, David Bustos, Stephen Hahn, David Powell, Liane Praza
2004 C conf
A Hybrid Approach for Building Eventually Accurate Failure Detectors.
PRDC
Achour Mostéfaoui, David Powell, Michel Raynal
2004 — conf
Collaborative backup for dependable mobile applications.
Middleware for Pervasive and Ad-hoc Computing
Marc-Olivier Killijian, David Powell, Michel Banâtre, Paul Couderc, Yves Roudier
2004 B conf
Intrusion Tolerance for Internet Applications.
NCA
Yves Deswarte, David Powell
2004 — conf
Intrusion tolerance for Internet applications.
IFIP Congress Topical Sessions
Yves Deswarte, David Powell
2001 — conf
An Internet Authorization Scheme Using Smart-Card-Based Security Kernels.
E-smart
Yves Deswarte, Noreddine Abghour, Vincent Nicomette, David Powell
1999 — conf
COTS Hardware and Software in High-Availability Systems (Panel).
FTCS
Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson
1999 J jnl
Coverage Estimation Methods for Stratified Fault Injection.
IEEE Trans. Computers
Michel Cukier, David Powell, Jean Arlat
1999 — conf
Fault Avoidance and Fault Removal in Real-Time Systems & Fault-Tolerant Computing - Introduction.
Euro-Par
Gilles Motet, David Powell
1999 J jnl
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1999 J jnl
Land-vehicle navigation using GPS.
Proc. IEEE
Eric Abbott, David Powell
1998 A conf
Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
RTSS
Andy J. Wellings, Ljerka Beus-Dukic, David Powell
1998 C conf
State Restoration in a COTS-Based N-Modular Architecture.
ISORC
Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac
1998 — conf
Supporting Multiple Levels of Criticality.
FTCS
Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell
1997 — conf
Available fail-safe systems.
FTDCS
D. Essame, Jean Arlat, David Powell
1996 J jnl
Group Communication (Introduction to the Special Section).
Commun. ACM
David Powell
1996 Misc conf
On Stratified Sampling for High Coverage Estimations.
EDCC
David Powell, Michel Cukier, Jean Arlat
1995 J jnl
Estimators for Fault Tolerance Coverage Evaluation.
IEEE Trans. Computers
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1994 Misc ed.
Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings
EDCC
Klaus Echtle, Dieter K. Hammer, David Powell
1994 J jnl
Distributed fault tolerance: lessons from Delta-4.
IEEE Micro
David Powell
1993 — conf
Distributed Fault Tolerance - Lessons Learned from Delta-4.
Hardware and Software Architectures for Fault Tolerance
David Powell
1993 — conf
Estimators for Fault Tolerance Coverage Evaluation.
FTCS
David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
1993 J jnl
Fault Injection and Dependability Evaluation of Fault-Tolerant Systems.
IEEE Trans. Computers
Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell
1993 — conf
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
FTCS
C. Béoumes, Karama Kanoun, Martine Aguera, Jean-Claude Laprie, Jean Arlat, Sylvain Metge, S. Bachmann, Jorge Moreira de Souza, C. Bourdeau, David Powell, J.-E. Doucet, P. Spiesser
1992 — conf
Active Replication in Delta-4.
FTCS
Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
1992 — conf
Failure Mode Assumptions and Assumption Coverage.
FTCS
David Powell
1991 B conf
Dependability Evaluation of Bus and Ring Communication Topologies for the Delta-4 Distributed Fault-Tolerant Architecture.
SRDS
Karama Kanoun, David Powell
1991 J jnl
Fault-Tolerance in Delta-4.
ACM SIGOPS Oper. Syst. Rev.
David Powell, Marc Chérèque, David Drackley
1990 J jnl
Fault Injection for Dependability Validation: A Methodology and Some Applications.
IEEE Trans. Software Eng.
Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell
1990 — conf
Fault-tolerance in delta-4.
ACM SIGOPS European Workshop
David Powell, Marc Chérèque, David Drackley
1988 — conf
Saturation: reduced idleness for improved fault-tolerance.
FTCS
Jean-Claude Fabre, Yves Deswarte, Jean-Claude Laprie, David Powell
1988 — conf
The Delta-4 approach to dependability in open distributed computing systems.
FTCS
David Powell, Gottfried Bonn, Douglas T. Seaton, Paulo Veríssimo, F. Waeselynck
1986 — conf
A Saturation Network to Tolerate Faults and Intrusions.
Symposium on Reliability in Distributed Software and Database Systems
Yves Deswarte, Jean-Charles Fabre, Jean-Claude Laprie, David Powell
1986 — conf
Intrusion-Tolerance Using Fine-Grain Fragmentation-Scattering.
S&P
J.-M. Fray, Yves Deswarte, David Powell