Jérémie Guiochet
Présentation
Jérémie Guiochet is professor in computer science at University of Toulouse. His research activities take place at LAAS-CNRS.
More info here :
http://homepages.laas.fr/guiochet/
Publications
Publications
|
|
Skill-Based Architectures in Autonomous Systems: an Empirical StudyIEEE International Conference on Engineering Reliable Autonomous Systems, May 2025, Worcester, Massachusetts, United States. ⟨10.1109/ERAS63351.2025.11135549⟩ |
|
|
Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network MonitoringUncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelone, Spain |
|
|
Skill-Based Architectures in Autonomous systems: Lessons LearntIFM 2024, Nov 2024, Manchester, United Kingdom |
|
|
Out-Of-Distribution Detection Is Not All You NeedThe 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩ |
|
|
SENA: Similarity-based Error-checking of Neural Activations27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland |
|
|
Pairwise Testing Revisited for Structured Data With ConstraintsIEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩ |
|
|
A skill fault model for autonomous systems4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburgh, United States. ⟨10.1145/3526071.3527513⟩ |
|
|
Unifying Evaluation of Machine Learning Safety Monitors33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩ |
|
|
SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩ |
|
|
Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases41st 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⟩ |
|
|
Evaluation of Runtime Monitoring for UAV Emergency LandingInternational Conference on Robotics and Automation (ICRA), May 2022, Philadelphie, United States |
|
|
A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩ |
|
|
Integration of Test Generation Into Simulation-Based Platforms: An Experience Report3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩ |
|
|
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect MissionsICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩ |
|
|
Benchmarking Safety Monitors for Image Classifiers with Machine Learning26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩ |
|
|
TAF: a tool for diverse and constrained test case generation21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩ |
|
|
Quantifying confidence of safety cases with belief functions6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩ |
|
|
Certifying Emergency Landing for Safe Urban UAV7th 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⟩ |
|
|
Testing a non-deterministic robot in simulation - How many repeated runs ?The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p., ⟨10.1109/IRC.2020.00048⟩ |
|
|
Belief functions for safety arguments confidence estimation : A comparative study14th 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⟩ |
|
|
A hierarchical fault tolerant architecture for an autonomous robot6th 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⟩ |
|
|
Testing an Underwater Robot Executing Transect Missions in MayotteTAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩ |
|
|
Tuning permissiveness of active safety monitors for autonomous systemsNasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩ |
|
|
Confidence Assessment Framework for Safety ArgumentsInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p |
|
|
Can robot navigation bugs be found in simulation? An exploratory study2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p |
|
|
Synthesis of safety rules for active monitoring: application to an airport light measurement robotIEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩ |
|
|
D-S Theory for Argument Confidence Assessment4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩ |
|
|
Case Study Report : Safety rules synthesis for an autonomous robotFast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway |
|
|
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden |
|
|
A Framework for Assessing Safety Argumentation Confidence8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩ |
|
|
Test de la navigation de systèmes autonomes dans des mondes virtuelsControl Architectures of Robots ( CAR ), Jun 2015, Lyon, France |
|
|
A Model for Safety Case Confidence Assessment34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩ |
|
|
Model-Checking and Game theory for Synthesis of Safety Rules2015 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⟩ |
|
|
Model-checking and Game Theory for the Synthesis of Safety RulesIEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States |
|
|
Specifying Safety Monitors for Autonomous Systems using Model-checkingInternational Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy |
|
|
UML-Based Modeling of Robustness Testing15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩ |
|
|
Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance RobotInternational Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7 |
|
|
Specifying safety monitors for autonomous systemsSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC |
|
|
Towards a Privacy Risk Assessment Methodology for Location-Based Systems10th 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⟩ |
|
|
Applying Existing Standards to a Medical Rehabilitation Robot: Limits and ChallengesWorkshop 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 |
|
|
Safety Trigger Conditions for Critical Autonomous SystemsThe 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩ |
AMORES: an architecture for mobiquitous resilient systemsARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩ |
|
|
|
Elicitation of Executable Safety Rules for Critical Autonomous SystemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p |
|
|
Human-robot interactions: model-based risk analysis and safety case constructionEmbedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France |
|
|
Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiquesJournée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France |
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument ConstructionModel Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France |
|
|
|
A UML-based method for risk analysis of human-robot interactions2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩ |
|
|
Experience with Model-Based User-Centered Risk Assessment for Service RobotsInternational High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩ |
|
|
Experience with a Model-based Safety Analysis Process for Autonomous Service Robot7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France |
|
|
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 |
|
|
Online Safety Monitoring Using Safety ModesWorkshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13 |
|
|
Fault Tolerant Planning for Critical RobotsDSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩ |
|
|
Planning with Diversified Models for Fault-Tolerant RobotsThe International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223 |
|
|
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challengesIROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩ |
|
|
Fault Tolerance in Autonomous Systems: How and How Much?4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan |
|
|
Toward a Human-Centered UML for Risk Analysis - Application to a medical robot18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France |
|
|
Toward a human-centered UML for risk analysisIFIP WCC, 2004, Toulouse, France. pp.177-191 |
|
|
Generic error model of human-robot interaction3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom |
|
|
UML based risk analysis - Application to a medical robotQuality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom |
|
|
Integration of UML in human factors analysis for safety of a medical robot for tele-echographyIEEE/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⟩ |
|
|
UML Based FMECA in Risk AnalysisESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy |
|
|
Safety Analysis of a Medical Robot for Tele-echography2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France |
|
|
Runtime Monitoring for Safety-Critical Vision-based Runway DetectionANITI Days 2026 - Poster Session, Feb 2026, Toulouse, France |
|
|
Runtime Monitoring for AI-based Systems: An application to runway detectionGT IASIV -- Thematic Seminar Poster Session, Dec 2025, Gif-sur-Yvette, Supélec, Paris, France |
|
|
Maîtrise de la sécurité des systèmes de la robotique de service - Approche UML basée sur une analyse du risque systèmeAutre [cs.OH]. INSA de Toulouse, 2003. Français. ⟨NNT : ⟩ |
|
|
Trusting robots : Contributions to dependable autonomous collaborative robotic systemsEmbedded Systems. Université de Toulouse 3 Paul Sabatier, 2015 |