Jérémie Guiochet

91
Documents

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

46
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
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
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
24
21
10
8
8
8
7
7
7
7
7
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
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
2
2
2
1
1
1
1
1
1
1
1
2
3
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
5
4
3
3
3
1
1
1

Publications

Deposit thumbnail

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-04830599v1
Deposit thumbnail

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-04342922v1
Deposit thumbnail

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-03927289v1
Deposit thumbnail

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-02436216v1
Deposit thumbnail

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-02012942v1
Deposit thumbnail

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-01661045v1
Deposit thumbnail

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-01394139v1
Deposit thumbnail

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-01394136v1
Deposit thumbnail

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-01271565v1
Deposit thumbnail

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 istex hal-01242263v1
Deposit thumbnail

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-01282234v1
Deposit thumbnail

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-01292664v1
Deposit thumbnail

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-01292934v1
Deposit thumbnail

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-01292939v1
Deposit thumbnail

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. ⟨10.1109/ERAS63351.2025.11135549⟩

Communication dans un congrès hal-05052748v1
Deposit thumbnail

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-04579393v1
Deposit thumbnail

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-04954141v1
Deposit thumbnail

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-03870531v2
Deposit thumbnail

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-04212952v1
Deposit thumbnail

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-03938378v2
Deposit thumbnail

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-03609377v2
Deposit thumbnail

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-03765273v1
Deposit thumbnail

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-03779723v1
Deposit thumbnail

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-03704505v1
Deposit thumbnail

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-03600856v1
Deposit thumbnail

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-03709837v1
Deposit thumbnail

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-03623613v1
Deposit thumbnail

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-03228297v1
Deposit thumbnail

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-03362684v1
Deposit thumbnail

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-03435959v1
Deposit thumbnail

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-03366274v1
Deposit thumbnail

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-03213534v1
Deposit thumbnail

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-02444350v1
Deposit thumbnail

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-02900485v1
Deposit thumbnail

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-02558604v1
Deposit thumbnail

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-02895512v1
Deposit thumbnail

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-01637277v2
Deposit thumbnail

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-01533221v1
Deposit thumbnail

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-01534235v1
Deposit thumbnail

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-01465734v1
Deposit thumbnail

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-01372016v1
Deposit thumbnail

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-01370269v1
Deposit thumbnail

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-01328909v1
Deposit thumbnail

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-01372049v1
Deposit thumbnail

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-01282148v1
Deposit thumbnail

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-01228861v1
Deposit thumbnail

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-01164981v1
Deposit thumbnail

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-01207657v1
Deposit thumbnail

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-01207152v1
Deposit thumbnail

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-01282159v1
Deposit thumbnail

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-00839296v1
Deposit thumbnail

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-00841711v2
Deposit thumbnail

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-01281790v1
Deposit thumbnail

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-01282195v1
Deposit thumbnail

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-01282203v1

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-00736020v1
Deposit thumbnail

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-01282237v1
Deposit thumbnail

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-02192419v2
Deposit thumbnail

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-01285169v1

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-01285183v1
Deposit thumbnail

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-01285195v1
Deposit thumbnail

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-01285192v1
Deposit thumbnail

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-01285189v1
Deposit thumbnail

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-00282460v1
Deposit thumbnail

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-00282444v1
Deposit thumbnail

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-01292653v1
Deposit thumbnail

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-01292650v1
Deposit thumbnail

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-01295366v1
Deposit thumbnail

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-01292930v1
Deposit thumbnail

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-01276662v1
Deposit thumbnail

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-00003461v1
Deposit thumbnail

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-01276665v1
Deposit thumbnail

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-01276661v1
Deposit thumbnail

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-01276631v1
Deposit thumbnail

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-01276635v1
Deposit thumbnail

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-01276607v1
Deposit thumbnail

Runtime Monitoring for Safety-Critical Vision-based Runway Detection

Mathieu Dario , Florent Chenevier , Kevin Delmas , Joris Guérin , Jérémie Guiochet

ANITI Days 2026 - Poster Session, Feb 2026, Toulouse, France

Poster de conférence hal-05519080v1
Deposit thumbnail

Runtime Monitoring for AI-based Systems: An application to runway detection

Mathieu Dario , Florent Chenevier , Kevin Delmas , Joris Guérin , Jérémie Guiochet

GT IASIV -- Thematic Seminar Poster Session, Dec 2025, Gif-sur-Yvette, Supélec, Paris, France

Poster de conférence hal-05519067v1
Deposit thumbnail

GEOSUR -Lot3 -Test Case Generation for Geolocation Fusion Algorithms

Yanis Pella , Valentin Bouziat , Maxime Escourrou , Jérémie Guiochet , Hélène Waeselynck

LAAS - CNRS. 2026

Rapport hal-05505568v1
Deposit thumbnail

Questionnaire for estimating uncertainties in assurance cases

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

2022

Rapport (rapport technique) hal-03649068v1
Deposit thumbnail

Calculation of aggregation formulas for GSN argument types using belief functions

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

2021

Rapport (rapport technique) hal-03210201v1
Deposit thumbnail

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

Jean-Marc Larré , Kalou Cabrera Castillos , Jérémie Guiochet

2017

Rapport (rapport technique) hal-01613787v1
Deposit thumbnail

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-01271568v1
Deposit thumbnail

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-01282191v1
Deposit thumbnail

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-00804879v1
Deposit thumbnail

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-00823620v1
Deposit thumbnail

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-01292675v1
Deposit thumbnail

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-01292945v1
Deposit thumbnail

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-01295346v1