|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
Pairwise Testing Revisited for Structured Data With Constraints
Luca Vittorio Sartori
,
Hélène Waeselynck
,
Jérémie Guiochet
Communication dans un congrès
hal-03938378
v2
|
|
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
|
|
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
|
|
Unifying Evaluation of Machine Learning Safety Monitors
Joris Guérin
,
Raul Sena Ferreira
,
Kevin Delmas
,
Jérémie Guiochet
Communication dans un congrès
hal-03765273
v1
|
|
SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images
Raul Sena Ferreira
,
Joris Guérin
,
Jérémie Guiochet
,
Hélène Waeselynck
Communication dans un congrès
hal-03779723
v1
|
|
A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases
Yassir Idmessaoud
,
Didier Dubois
,
Jérémie Guiochet
Communication dans un congrès
hal-03709837
v1
|
|
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
|
|
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
|
|
Benchmarking Safety Monitors for Image Classifiers with Machine Learning
Raul Sena Ferreira
,
Jean Arlat
,
Jérémie Guiochet
,
Hélène Waeselynck
Communication dans un congrès
hal-03362684
v1
|
|
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
|
|
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
Communication dans un congrès
lirmm-03228297
v1
|
|
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
|
|
Quantifying confidence of safety cases with belief functions
Yassir Idmessaoud
,
Didier Dubois
,
Jérémie Guiochet
Communication dans un congrès
hal-03366274
v1
|
|
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
|
|
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
|
|
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.
Communication dans un congrès
lirmm-02895512
v1
|
|
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
|
|
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.
Communication dans un congrès
hal-01637277
v2
|
|
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
|
|
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
|
|
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
Communication dans un congrès
hal-01465734
v1
|
|
D-S Theory for Argument Confidence Assessment
Rui Wang
,
Jérémie Guiochet
,
Gilles Motet
,
Walter Schön
Communication dans un congrès
hal-01372016
v1
|
|
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
|
|
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
|
|
A Framework for Assessing Safety Argumentation Confidence
Rui Wang
,
Jérémie Guiochet
,
Gilles Motet
Communication dans un congrès
hal-01372049
v1
|
|
A Model for Safety Case Confidence Assessment
Jérémie Guiochet
,
Quynh Anh Do Hoang
,
Mohamed Kaâniche
Communication dans un congrès
hal-01228861
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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.
Communication dans un congrès
hal-00736020
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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.
Communication dans un congrès
hal-01295366
v1
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|
|
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
|