Jérémie Guiochet

88
Documents

Présentation

Publications

43
11
7
5
5
4
3
2
2
2
1
1
1
1
15
14
12
9
7
7
7
6
6
5
5
5
5
4
4
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
23
21
8
8
8
7
7
7
7
7
6
6
6
6
5
5
5
4
4
4
4
4
3
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
2
1
1
1
1
1
1
1
1
2
3
3
9
6
5
1
3
5
5
6
4
5
6
2
3
2
4
1
5
4
3
1
8
2
2
2
5
5
1
1
81
4
3
3
4
3
1

Publications

Safety Monitoring of Machine Learning Perception Functions: a Survey

Raul Sena Ferreira , Joris Guérin , Kevin Delmas , Jérémie Guiochet , Hélène Waeselynck
Computational Intelligence, 2025, 41 (2), ⟨10.1111/coin.70032⟩
Article dans une revue hal-04830599 v1
Image document

Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩
Article dans une revue hal-04342922 v1
Image document

Skill-based design of dependable robotic architectures

Alexandre Albore , David Doose , Christophe Grand , Jérémie Guiochet , Charles Lesire et al.
Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Article dans une revue hal-03927289 v1
Image document

The virtual lands of Oz: testing an agribot in simulation

Clément C. Robert , Thierry Sotiropoulos , Hélène Waeselynck , Jérémie Guiochet , Simon Vernhes
Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
Article dans une revue hal-02436216 v1
Image document

Safety Case Confidence Propagation Based on Dempster-Shafer theory

Rui Wang , Jérémie Guiochet , Gilles Motet , Walter Schön
International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩
Article dans une revue hal-02012942 v1
Image document

Modelling Confidence in Railway Safety Case

Rui Wang , Jérémie Guiochet , Gilles Motet , Walter Schön
Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Article dans une revue hal-01661045 v1
Image document

SMOF - A Safety MOnitoring Framework for Autonomous Systems

Mathilde Machin , Jérémie Guiochet , Hélène Waeselynck , Jean-Paul Blanquart , Matthieu Roy et al.
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Article dans une revue hal-01394139 v1
Image document

Safety-critical advanced robots: A survey

Jérémie Guiochet , Mathilde Machin , Hélène Waeselynck
Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
Article dans une revue hal-01394136 v1
Image document

Hazard analysis of human–robot interactions with HAZOP–UML

Jérémie Guiochet
Safety Science, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩
Article dans une revue hal-01271565 v1
Image document

Towards privacy-driven design of a dynamic carpooling system

Jesús Friginal , Sébastien Gambs , Jérémie Guiochet , Marc-Olivier Killijian
Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩
Article dans une revue hal-01242263 v1
Image document

Projet MIRAS : Robot d'assistance à la déambulation avec interaction multimodale

Viviane Pasqui , Ludovic Saint-Bauzel , Cong Zong , Xavier Clady , Philippe Decq et al.
Innovation and Research in BioMedical engineering, 2012, 33 (2), pp.165-172
Article dans une revue hal-01282234 v1
Image document

Sécurité des systèmes de la robotique médicale

Jérémie Guiochet , Gilles Motet , Bertrand Tondu , Claude Baron
Techniques de l'Ingénieur, 2007, Sécurité et gestion des risques, SE2
Article dans une revue hal-01292664 v1
Image document

A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots

Bertrand Tondu , Serge Ippolito , Jérémie Guiochet , Alain Daidié
The International Journal of Robotics Research, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩
Article dans une revue hal-01292939 v1
Image document

Vers un profil UML pour la conception de composants multivues

Mahmoud Nassar , Bernard Coulette , Jérémie Guiochet , Sophie Ebersold , Bouchra El Asri et al.
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩
Article dans une revue hal-01292934 v1
Image document

Skill-Based Architectures in Autonomous Systems: an Empirical Study

Pierre Malafosse , Alexandre Albore , Jérémie Guiochet , Charles Lesire
IEEE International Conference on Engineering Reliable Autonomous Systems, May 2025, Worcester, Massachusetts, United States
Communication dans un congrès hal-05052748 v1
Image document

Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring

Khoi Tran Dang , Kevin Delmas , Jérémie Guiochet , Joris Guérin
Uncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelone, Spain
Communication dans un congrès hal-04579393 v1
Image document

Skill-Based Architectures in Autonomous systems: Lessons Learnt

Pierre Malafosse , Alexandre Albore , Jérémie Guiochet , Charles Lesire
IFM 2024, Nov 2024, Manchester, United Kingdom
Communication dans un congrès hal-04954141 v1
Image document

Out-Of-Distribution Detection Is Not All You Need

Joris Guérin , Kevin Delmas , Raul Ferreira , Jérémie Guiochet
The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩
Communication dans un congrès hal-03870531 v2
Image document

SENA: Similarity-based Error-checking of Neural Activations

Raul Sena Ferreira , Joris Guerin , Jeremie Guiochet , Hélène Waeselynck
27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland
Communication dans un congrès hal-04212952 v1
Image document

Pairwise Testing Revisited for Structured Data With Constraints

Luca Vittorio Sartori , Hélène Waeselynck , Jérémie Guiochet
IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩
Communication dans un congrès hal-03938378 v2
Image document

Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14, ⟨10.1007/978-3-031-14835-4_8⟩
Communication dans un congrès hal-03704505 v1
Image document

Evaluation of Runtime Monitoring for UAV Emergency Landing

Joris Guerin , Kevin Delmas , Jérémie Guiochet
International Conference on Robotics and Automation (ICRA), May 2022, Philadelphie, United States
Communication dans un congrès hal-03600856 v1
Image document

Unifying Evaluation of Machine Learning Safety Monitors

Joris Guérin , Raul Sena Ferreira , Kevin Delmas , Jérémie Guiochet
33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Communication dans un congrès hal-03765273 v1
Image document

SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images

Raul Sena Ferreira , Joris Guérin , Jérémie Guiochet , Hélène Waeselynck
27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩
Communication dans un congrès hal-03779723 v1
Image document

A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩
Communication dans un congrès hal-03709837 v1
Image document

Integration of Test Generation Into Simulation-Based Platforms: An Experience Report

Luca Vittorio Sartori , Jérémie Guiochet , Hélène Waeselynck , Aizar Antonio Berlanga Galvan , Simon Hébert-Vernhes et al.
3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩
Communication dans un congrès hal-03623613 v1
Image document

A skill fault model for autonomous systems

Gabriela Medina , Jérémie Guiochet , Charles Lesire , Augustin Manecy
4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburgh, United States. ⟨10.1145/3526071.3527513⟩
Communication dans un congrès hal-03609377 v2
Image document

Benchmarking Safety Monitors for Image Classifiers with Machine Learning

Raul Sena Ferreira , Jean Arlat , Jérémie Guiochet , Hélène Waeselynck
26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩
Communication dans un congrès hal-03362684 v1
Image document

TAF: a tool for diverse and constrained test case generation

Clément Robert , Jérémie Guiochet , Hélène Waeselynck , Luca Vittorio Sartori
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩
Communication dans un congrès hal-03435959 v1
Image document

A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions

Adrien Hereau , Karen Godary-Dejean , Jérémie Guiochet , Didier Crestani
ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
Communication dans un congrès lirmm-03228297 v1
Image document

Certifying Emergency Landing for Safe Urban UAV

Joris Guérin , Kevin Delmas , Jérémie Guiochet
7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei, Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Communication dans un congrès hal-03213534 v1
Image document

Quantifying confidence of safety cases with belief functions

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
Communication dans un congrès hal-03366274 v1
Image document

Belief functions for safety arguments confidence estimation : A comparative study

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩
Communication dans un congrès hal-02900485 v1
Image document

A hierarchical fault tolerant architecture for an autonomous robot

Anthony Favier , Antonin Messioux , Jérémie Guiochet , Jean-Charles Fabre , Charles Lesire
6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
Communication dans un congrès hal-02558604 v1
Image document

Testing an Underwater Robot Executing Transect Missions in Mayotte

Adrien Hereau , Karen Godary-Dejean , Jérémie Guiochet , Clément Robert , Thomas Claverie et al.
TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩
Communication dans un congrès lirmm-02895512 v1
Image document

Testing a non-deterministic robot in simulation - How many repeated runs ?

Clément Robert , Jérémie Guiochet , Hélène Waeselynck
The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩
Communication dans un congrès hal-02444350 v1
Image document

Tuning permissiveness of active safety monitors for autonomous systems

Lola Masson , Jérémie Guiochet , Hélène Waeselynck , Kalou Cabrera , Sofia Cassel et al.
Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩
Communication dans un congrès hal-01637277 v2
Image document

Confidence Assessment Framework for Safety Arguments

Rui Wang , Jérémie Guiochet , Gilles Motet
International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Communication dans un congrès hal-01533221 v1
Image document

Can robot navigation bugs be found in simulation? An exploratory study

Thierry Sotiropoulos , Hélène Waeselynck , Jérémie Guiochet , Félix Ingrand
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p
Communication dans un congrès hal-01534235 v1
Image document

Synthesis of safety rules for active monitoring: application to an airport light measurement robot

Lola Masson , Jérémie Guiochet , Hélène Waeselynck , Augustin Desfosses , Marc Laval
IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩
Communication dans un congrès hal-01465734 v1
Image document

D-S Theory for Argument Confidence Assessment

Rui Wang , Jérémie Guiochet , Gilles Motet , Walter Schön
4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
Communication dans un congrès hal-01372016 v1
Image document

Case Study Report : Safety rules synthesis for an autonomous robot

Lola Masson , Jérémie Guiochet , Hélène Waeselynck
Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway
Communication dans un congrès hal-01370269 v1
Image document

Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level

Thierry Sotiropoulos , Jérémie Guiochet , Félix Ingrand , Hélène Waeselynck
12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Communication dans un congrès hal-01328909 v1
Image document

A Framework for Assessing Safety Argumentation Confidence

Rui Wang , Jérémie Guiochet , Gilles Motet
8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
Communication dans un congrès hal-01372049 v1
Image document

A Model for Safety Case Confidence Assessment

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche
34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Communication dans un congrès hal-01228861 v1
Image document

Model-Checking and Game theory for Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy et al.
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⟩
Communication dans un congrès hal-01164981 v1
Image document

Model-checking and Game Theory for the Synthesis of Safety Rules

Mathilde Machin , Fanny Dufossé , Jérémie Guiochet , David Powell , Matthieu Roy et al.
IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States
Communication dans un congrès hal-01207657 v1
Image document

Test de la navigation de systèmes autonomes dans des mondes virtuels

Thierry Sotiropoulos , Jérémie Guiochet , Félix Ingrand , Hélène Waeselynck
Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Communication dans un congrès hal-01282148 v1
Image document

UML-Based Modeling of Robustness Testing

Regina Moraes , Hélène Waeselynck , Jérémie Guiochet
15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩
Communication dans un congrès hal-01282159 v1
Image document

Specifying Safety Monitors for Autonomous Systems using Model-checking

Mathilde Machin , Fanny Dufossé , Jean-Paul Blanquart , Jérémie Guiochet , David Powell et al.
International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Communication dans un congrès hal-01207152 v1
Image document

Specifying safety monitors for autonomous systems

Mathilde Machin , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Hélène Waeselynck
Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Communication dans un congrès hal-00841711 v2
Image document

Towards a Privacy Risk Assessment Methodology for Location-Based Systems

Jesús Friginal , Jérémie Guiochet , Marc-Olivier Killijian
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⟩
Communication dans un congrès hal-01281790 v1
Image document

Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche , David Powell
International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
Communication dans un congrès hal-00839296 v1

AMORES: an architecture for mobiquitous resilient systems

Christian Artigues , Yves Deswarte , Jérémie Guiochet , Marie-José Huguet , Marc-Olivier Killijian et al.
ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Communication dans un congrès hal-00736020 v1
Image document

Elicitation of Executable Safety Rules for Critical Autonomous Systems

Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Communication dans un congrès hal-01282237 v1
Image document

Human-robot interactions: model-based risk analysis and safety case construction

Quynh Anh Do Hoang , Jérémie Guiochet , David Powell , Mohamed Kaâniche
Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Communication dans un congrès hal-02192419 v2
Image document

Safety Trigger Conditions for Critical Autonomous Systems

Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell , Matthieu Roy
The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩
Communication dans un congrès hal-01282203 v1
Image document

Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges

Jérémie Guiochet , Quynh Anh Do Hoang , Mohamed Kaâniche , David Powell
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
Communication dans un congrès hal-01282195 v1
Image document

Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques

Amina Mekki-Mokhtar , Jean-Paul Blanquart , Jérémie Guiochet , David Powell
Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France
Communication dans un congrès hal-01285169 v1

Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction

Quynh Anh Do Hoang , Jérémie Guiochet , Mohamed Kaâniche , David Powell
Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Communication dans un congrès hal-01285183 v1
Image document

A UML-based method for risk analysis of human-robot interactions

Damien Martin-Guillerez , Jérémie Guiochet , David Powell , Christophe Zanon
2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩
Communication dans un congrès hal-01285195 v1
Image document

Experience with a Model-based Safety Analysis Process for Autonomous Service Robot

Damien Martin-Guillerez , Jérémie Guiochet , David Powell
7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France
Communication dans un congrès hal-01285189 v1
Image document

Experience with Model-Based User-Centered Risk Assessment for Service Robots

Jérémie Guiochet , Damien Martin-Guillerez , David Powell
International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩
Communication dans un congrès hal-01285192 v1
Image document

Surveillance en ligne de la sécurité basée sur les modes de sécurité

Jérémie Guiochet , David Powell , Étienne Baudin , Jean-Paul Blanquart
Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7
Communication dans un congrès hal-00282460 v1
Image document

Online Safety Monitoring Using Safety Modes

Jérémie Guiochet , David Powell , Étienne Baudin , Jean-Paul Blanquart
Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
Communication dans un congrès hal-00282444 v1
Image document

Fault Tolerant Planning for Critical Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian et al.
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Communication dans un congrès hal-01292653 v1
Image document

Planning with Diversified Models for Fault-Tolerant Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian et al.
The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223
Communication dans un congrès hal-01292650 v1
Image document

Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges

Rachid Alami , A. Albu-Schaeffer , A. Bicchi , R. Bischoff , Raja Chatila et al.
IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩
Communication dans un congrès hal-01295366 v1
Image document

Fault Tolerance in Autonomous Systems: How and How Much?

Benjamin Lussier , Alexandre Lampe , Raja Chatila , Jérémie Guiochet , Félix Ingrand et al.
4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Communication dans un congrès hal-01292930 v1
Image document

Toward a Human-Centered UML for Risk Analysis - Application to a medical robot

Jérémie Guiochet , Gilles Motet , Claude Baron , Guy Boy
18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France
Communication dans un congrès hal-01276662 v1
Image document

Generic error model of human-robot interaction

Jérémie Guiochet , G Motet , C Baron
3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom
Communication dans un congrès hal-01276665 v1
Image document

Toward a human-centered UML for risk analysis

Jérémie Guiochet , Gilles Motet , Claude Baron , Guy Boy
IFIP WCC, 2004, Toulouse, France. pp.177-191
Communication dans un congrès hal-00003461 v1
Image document

UML based risk analysis - Application to a medical robot

Jérémie Guiochet , Claude Baron
Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
Communication dans un congrès hal-01276661 v1
Image document

Integration of UML in human factors analysis for safety of a medical robot for tele-echography

Jérémie Guiochet , Bertrand Tondu , Claude Baron
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⟩
Communication dans un congrès hal-01276631 v1
Image document

UML Based FMECA in Risk Analysis

Jérémie Guiochet , C Baron
ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
Communication dans un congrès hal-01276635 v1
Image document

Safety Analysis of a Medical Robot for Tele-echography

Jérémie Guiochet , Adriana Vilchis
2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France
Communication dans un congrès hal-01276607 v1
Image document

Questionnaire for estimating uncertainties in assurance cases

Yassir Idmessaoud , Jérémie Guiochet , Didier Dubois
2022
Rapport (rapport technique) hal-03649068 v1
Image document

Calculation of aggregation formulas for GSN argument types using belief functions

Yassir Idmessaoud , Jérémie Guiochet , Didier Dubois
2021
Rapport (rapport technique) hal-03210201 v1
Image document

Outil logiciel HAZOP-UML - Document des cas d'utilisation

Jean-Marc Larré , Kalou Cabrera Castillos , Jérémie Guiochet
2017
Rapport (rapport technique) hal-01613787 v1
Image document

Fault tolerant planning: towards dependable autonomous robots

Benjamin Lussier , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian , David Powell
[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015
Rapport (rapport de recherche) hal-01271568 v1
Image document

AMORES L1.2 - A Privacy Risk Assessment Methodology for Location-Based Systems

Jesús Friginal , Jérémie Guiochet , Marc-Olivier Killijian
[Research Report] AMORES1.2/1.0 ; Rapport LAAS n° 16048, LAAS-CNRS. 2014
Rapport (rapport de recherche) hal-01282191 v1
Image document

Introduction à la synthèse de superviseur

Mathilde Machin , Jérémie Guiochet , David Powell , Hélène Waeselynck
[Rapport de recherche] 13067, LAAS-CNRS. 2013
Rapport (rapport de recherche) hal-00804879 v1
Image document

Utilisation des réseaux bayésiens et de l'approche de Fenton pour l'estimation de probabilité d'occurrence d'événements

Quynh Anh Do Hoang , Jérémie Guiochet , Mohamed Kaâniche , David Powell
2013
Rapport hal-00823620 v1
Image document

Independent Safety Systems for Autonomy : State of the Art and Future Directions

Étienne Baudin , Jean-Paul Blanquart , Jérémie Guiochet , David Powell
[Research Report] 07710, LAAS-CNRS. 2007
Rapport (rapport de recherche) hal-01292675 v1
Image document

Dependability modelling of a fault tolerant duplex system using AADL and GSPNs

Ana-Elena E. Rugina , Karama Kanoun , Mohamed Kaâniche , Jérémie Guiochet
[Research Report] 05315, LAAS-CNRS. 2005
Rapport (rapport de recherche) hal-01295346 v1
Image document

Etude et analyse de différents dispositifs externes de sécurité-innocuité de type safety bag

Jérémie Guiochet , David Powell
[Rapport de recherche] 05551, LAAS-CNRS. 2005
Rapport (rapport de recherche) hal-01292945 v1