59 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-01282159v1  Conference papers
Regina MoraesHélène WaeselynckJérémie Guiochet. UML-Based Modeling of Robustness Testing
15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩
...
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-01276635v1  Conference papers
Jérémie GuiochetC Baron. UML Based FMECA in Risk Analysis
ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
...
hal-01276662v1  Conference papers
Jérémie GuiochetGilles MotetClaude BaronGuy Andre Boy. Toward a Human-Centered UML for Risk Analysis - Application to a medical robot
18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
...
hal-01276661v1  Conference papers
Jérémie GuiochetClaude Baron. UML based risk analysis - Application to a medical robot
Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
...
hal-01276607v1  Conference papers
Jérémie GuiochetAdriana Vilchis. Safety Analysis of a Medical Robot for Tele-echography
2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France
...
tel-01276555v1  Habilitation à diriger des recherches
Jérémie Guiochet. Trusting robots : Contributions to dependable autonomous collaborative robotic systems
Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015
...
hal-01276631v1  Conference papers
Jérémie GuiochetBertrand TonduClaude Baron. Integration of UML in human factors analysis for safety of a medical robot for tele-echography
IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩
...
hal-01276665v1  Conference papers
Jérémie GuiochetG MotetC Baron. Generic error model of human-robot interaction
3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom
...
hal-01281790v1  Conference papers
Jesús FriginalJérémie GuiochetMarc-Olivier Killijian. Towards a Privacy Risk Assessment Methodology for Location-Based Systems
10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS), Dec 2013, Tokyo, Japan. pp.748-753, ⟨10.1007/978-3-319-11569-6_65⟩
...
hal-01370269v1  Conference papers
Lola MassonJérémie GuiochetHélène Waeselynck. Case Study Report : Safety rules synthesis for an autonomous robot
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
...
hal-01292934v1  Journal articles
Mahmoud NassarBernard CouletteJérémie GuiochetSophie EbersoldBouchra El Asri et al.  Vers un profil UML pour la conception de composants multivues
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
...
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-01533221v1  Conference papers
Rui WangJérémie GuiochetGilles Motet. Confidence Assessment Framework for Safety Arguments
SafeComp 2017, Sep 2017, Trento, Italy. 14p
...
hal-01328909v1  Conference papers
Thierry SotiropoulosJérémie GuiochetFélix IngrandHélène Waeselynck. Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
...
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
  • 1
  • 2