Jérémie Guiochet

According to our database, Jérémie Guiochet authored at least 56 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

Int. J. Approx. Reason., February, 2024

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

CoRR, 2024

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

CoRR, 2024

Extended Abstract: Skill-Based Architectures in Autonomous Systems: Lessons Learnt.

Pierre Malafosse, Alexandre Albore, Jérémie Guiochet, Charles Lesire

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

2023

Skill-based design of dependable robotic architectures.

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, Augustin Manecy

Robotics Auton. Syst., February, 2023

Pairwise Testing Revisited for Structured Data With Constraints.

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

SENA: Similarity-Based Error-Checking of Neural Activations.

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Out-of-Distribution Detection Is Not All You Need.

Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases.

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

Proceedings of the Computer Safety, Reliability, and Security, 2022

A skill fault model for autonomous systems.

Gabriela Catalán Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images.

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the 27th IEEE Pacific Rim International Symposium on Dependable Computing, 2022

Unifying Evaluation of Machine Learning Safety Monitors.

Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Evaluation of Runtime Monitoring for UAV Emergency Landing.

Joris Guérin, Kevin Delmas, Jérémie Guiochet

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

A Qualitative Counterpart of Belief Functions with Application to Uncertainty Propagation in Safety Cases.

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

Proceedings of the Belief Functions: Theory and Applications, 2022

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, Magnus Albert

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

TAF: a Tool for Diverse and Constrained Test Case Generation.

Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Benchmarking Safety Monitors for Image Classifiers with Machine Learning.

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021

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

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

Certifying Emergency Landing for Safe Urban UAV.

Joris Guérin, Kevin Delmas, Jérémie Guiochet

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

Quantifying Confidence of Safety Cases with Belief Functions.

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

Proceedings of the Belief Functions: Theory and Applications, 2021

2020

The virtual lands of Oz: testing an agribot in simulation.

Clément Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes

Empir. Softw. Eng., 2020

Testing an Underwater Robot Executing Transect Missions in Mayotte.

Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, Didier Crestani

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

Belief Functions for Safety Arguments Confidence Estimation: A Comparative Study.

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

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

Clément Robert, Jérémie Guiochet, Hélène Waeselynck

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

A hierarchical fault tolerant architecture for an autonomous robot.

Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire

Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2020

2019

Safety case confidence propagation based on Dempster-Shafer theory.

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön

Int. J. Approx. Reason., 2019

2018

SMOF: A Safety Monitoring Framework for Autonomous Systems.

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, Lola Masson

IEEE Trans. Syst. Man Cybern. Syst., 2018

Tuning Permissiveness of Active Safety Monitors for Autonomous Systems.

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, Martin Törngren

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Safety-critical advanced robots: A survey.

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck

Robotics Auton. Syst., 2017

Confidence Assessment Framework for Safety Arguments.

Rui Wang, Jérémie Guiochet, Gilles Motet

Proceedings of the Computer Safety, Reliability, and Security, 2017

Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study.

Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

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

Proceedings of the First IEEE International Conference on Robotic Computing, 2017

2016

Hazard analysis of human-robot interactions with HAZOP-UML.

Jérémie Guiochet

CoRR, 2016

A Framework for Assessing Safety Argumentation Confidence.

Rui Wang, Jérémie Guiochet, Gilles Motet

Proceedings of the Software Engineering for Resilient Systems - 8th International Workshop, 2016

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

Proceedings of the 12th European Dependable Computing Conference, 2016

D-S Theory for Argument Confidence Assessment.

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön

Proceedings of the Belief Functions: Theory and Applications, 2016

2015

A Model for Safety Case Confidence Assessment.

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche

Proceedings of the Computer Safety, Reliability, and Security, 2015

Model-Checking and Game theory for Synthesis of Safety Rules.

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, Hélène Waeselynck

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Trusting robots : Contributions to dependable autonomous collaborative robotic systems. (Vers des robots collaboratifs autonomes sûrs de fonctionnement).

Jérémie Guiochet

, 2015

2014

Towards privacy-driven design of a dynamic carpooling system.

Jesus Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian

Pervasive Mob. Comput., 2014

Specifying Safety Monitors for Autonomous Systems Using Model-Checking.

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck

Proceedings of the Computer Safety, Reliability, and Security, 2014

UML-Based Modeling of Robustness Testing.

Regina Moraes, Hélène Waeselynck, Jérémie Guiochet

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Towards a Privacy Risk Assessment Methodology for Location-Based Systems.

Jesus Friginal, Jérémie Guiochet, Marc-Olivier Killijian

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2013

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

Proceedings of the IEEE 13th International Conference on Rehabilitation Robotics, 2013

2012

Safety Trigger Conditions for Critical Autonomous Systems.

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy

Proceedings of the IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012

AMORES: an architecture for mobiquitous resilient systems.

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

Proceedings of the 1st European Workshop on AppRoaches to MObiquitous Resilience, 2012

2010

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

Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 2010

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

Jérémie Guiochet, Damien Martin-Guillerez, David Powell

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2007

Fault Tolerant Planning for Critical Robots.

Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Planning with Diversified Models for Fault-Tolerant Robots.

Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2005

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

Bertrand Tondu, Serge Ippolito, Jérémie Guiochet, A. Daidie

Int. J. Robotics Res., 2005

Vers un profil UML pour la conception de composants multivues.

Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, Xavier Crégut, Abdelaziz Kriouile

Obj. Logiciel Base données Réseaux, 2005

2004

Toward a Human-Centered Uml for Risk Analysis

Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy

CoRR, 2004

Toward A Human-Centered UML For Risk Analysis - Application to a medical robot.

Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy

Proceedings of the Human Error, 2004

2003

Maîtrise de la Sécurité des Systèmes de la robotique de Service - approche UML baséE sur une Analyse du risque Système. (Safety Management of Service robot Systems - UML Approach Based on System Risk Analysis).

Jérémie Guiochet

PhD thesis, 2003

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

Jérémie Guiochet, Bertrand Tondu, Claude Baron

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003