40 results  save search


  • 1
  • 2
...
hal-01282237v1  Conference papers
Amina Mekki-MokhtarJean-Paul BlanquartJérémie GuiochetDavid PowellMatthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
...
hal-02192419v2  Conference papers
Quynh Anh Do HoangJérémie GuiochetDavid PowellMohamed Kaâniche. Human-robot interactions: model-based risk analysis and safety case construction
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
...
hal-01285195v1  Conference papers
Damien Martin-GuillerezJérémie GuiochetDavid PowellChristophe Zanon. A UML-based method for risk analysis of human-robot interactions
2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
...
hal-01285189v1  Conference papers
Damien Martin-GuillerezJérémie GuiochetDavid Powell. Experience with a Model-based Safety Analysis Process for Autonomous Service Robot
7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
...
hal-01285192v1  Conference papers
Jérémie GuiochetDamien Martin-GuillerezDavid Powell. Experience with Model-Based User-Centered Risk Assessment for Service Robots
International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
...
hal-01207657v1  Conference papers
Mathilde MachinFanny DufosséJérémie GuiochetDavid PowellMatthieu Roy et al.  Model-checking and Game Theory for the Synthesis of Safety Rules
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
...
hal-01207152v1  Conference papers
Mathilde MachinFanny DufosséJean-Paul BlanquartJérémie GuiochetDavid Powell et al.  Specifying Safety Monitors for Autonomous Systems using Model-checking
International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
...
hal-01976690v1  Conference papers
Jean ArlatTahar JarbouiKarama KanounDavid Powell. Dependability Assessment of GUARDS Instances
4th IEEE International Computer Performance and Dependability Symposium (IPDS'2000), Mar 2000, Chicago, United States
...
hal-00761140v1  Book sections
David PowellJean ArlatYves DeswarteKarama Kanoun. Tolerance of design faults
C.B. Jones, J.L. Lloyd. Dependable and Historic Computing, Springer, pp.428-452, 2011, Lecture Notes in Computer Science 6875
...
hal-00282444v1  Conference papers
Jérémie GuiochetDavid PowellÉtienne BaudinJean-Paul Blanquart. Online Safety Monitoring Using Safety Modes
Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
...
hal-00282460v1  Conference papers
Jérémie GuiochetDavid PowellÉtienne BaudinJean-Paul Blanquart. Surveillance en ligne de la sécurité basée sur les modes de sécurité
Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
...
hal-00851766v1  Conference papers
Ludovic CourtèsOssama HamoudaMohamed KaânicheMarc-Olivier KillijianDavid Powell. Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007), Dec 2007, Melbourne, Australia. pp.139 - 146, ⟨10.1109/PRDC.2007.21⟩
...
hal-00839296v1  Conference papers
Jérémie GuiochetQuynh Anh Do HoangMohamed KaânicheDavid Powell. Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot
International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
...
hal-01282195v1  Conference papers
Jérémie GuiochetQuynh Anh Do HoangMohamed KaânicheDavid Powell. Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges
Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal
...
hal-01282203v1  Conference papers
Amina Mekki-MokhtarJean-Paul BlanquartJérémie GuiochetDavid PowellMatthieu Roy. Safety Trigger Conditions for Critical Autonomous Systems
The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
...
hal-01985267v1  Conference papers
S MetgeMartine AguéraJean ArlatSerge BachmannC. Bourdeau et al.  SURF-2 1 ◊ : OUTIL D'ÉVALUATION DE LA SÛRETÉ DE FONCTIONNEMENT PAR CHAÎNES DE MARKOV ET RÉSEAUX DE PETRI STOCHASTIQUES
9ème Colloque International de Fiabilité et de Maintenabilité, May 1994, La Baule, France
...
hal-00381686v1  Conference papers
Hoang-Nam ChuJean ArlatMarc-Olivier KillijianBenjamin LussierDavid Powell. Robustness Testing of Robot Controller Software
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
...
hal-00381966v1  Conference papers
Youssef LaarouchiYves DeswarteDavid PowellJean ArlatEric de Nadai. Criticality and Confidence Issues in Avionics
12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 2 p
...
hal-02263451v1  Conference papers
Maxime LasteraEric AlataJean ArlatYves DeswarteDavid Powell et al.  Secure architecture for information systems in avionics
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 7p
...
hal-01164981v1  Conference papers
Mathilde MachinFanny DufosséJérémie GuiochetDavid PowellMatthieu Roy et al.  Model-Checking and Game theory for Synthesis of Safety Rules
2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩
hal-01982593v1  Book sections
Karama KanounJean ArlatL. BurrillYves CrouzetSusanne Graf et al.  Validation
D. Powell. DELTA-4: A generic architecture for dependable distributed computing, Volume 1, 1, Springer Verlag, pp.371-406, 1991, 3.540.54985.4
  • 1
  • 2