- 40
- 10
- 5
- 5
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
Jérémie Guiochet
79
Documents
Researcher identifiers
jeremie-guiochet
-
0000-0002-1285-8974
- Google Scholar : https://scholar.google.fr/citations?user=yxa9u84AAAAJ&hl=fr&oi=ao
- IdRef : 074324012
Presentation
Jérémie Guiochet is professor in computer science at University of Toulouse. His research activities take place at LAAS-CNRS. He received an Engineer degree in electronics and computer sciences at ENSEIRB, and a Ph.D. in 2003 from the INSA, Toulouse, France. He provides courses in Computer Science, Industrial Computing, Dependabilty and Risk Management. His research work is conducted in the LAAS-CNRS in the dependable computing and fault tolerance group (TSF) and relates to safety assessment, fault removal and tolerance in safety critical autonomous systems.
<http://homepages.laas.fr/guiochet/>
#### Risk analysis and safety argumentation for autonomous systems
We investigate which system behavior models and human-system interaction models are appropriate for early risk analysis of autonomously-adapting systems (mostly robotics system). We particularly focus on modeling languages like UML associated with risk analysis methods.
See [HAZOP-UML](https://www.laas.fr/projects/HAZOPUML/) page.
We also also investigate how uncertainties could be modeled and managed in a develomment process or an safety argumentation (safety case), integrating formal probabilistic models as Markov and Bayesian networks, or belief theory.
Other LAAS researchers :[Mohamed Kaaniche](http://homepages.laas.fr/kaaniche/), [David Powell](http://homepages.laas.fr/dpowell/), [Gilles Motet](http://homepages.laas.fr/gmotet)
#### Defenses and tests for autonomous systems
The counterpart of autonomous adaptation is the confidence that can be placed on the underlying mechanisms. In particular:
a) what defenses can be provided as countermeasures against the threats introduced by autonomous adaptation? Our research on this theme focus on the safety of autonomous robot systems based on the use of safety monitors.
See [SMOF](https://www.laas.fr/projects/smof) page.
b) how to perform tests of autonomous systems, considering the infinate entry set, and that running hazardous scenarios is not possible ? We develop a method based on testing autonomous system in virtual words.
Other LAAS researchers: [Hélène Waeselynck](http://homepages.laas.fr/waeselyn/), [David Powell](http://homepages.laas.fr/dpowell/), [Marc-Olivier Killijian](http://homepages.laas.fr/mkilliji/index.html), [Jean Arlat](http://homepages.laas.fr/arlat/), [Matthieu Roy](http://homepages.laas.fr/mroy/), [Felix Ingrand](http://homepages.laas.fr/felix), [Simon Lacroix](http://homepages.laas.fr/lacroix)
#### Geo-Privacy risk analysis
Specific methods and risk criteria should be developped to analyse risks in the geoprivacy domain. We particularly focus on methods for integrating quantitative estimation (coming from provable security) to qualitative analysis.
Other LAAS researchers :[Marc-Olivier Killijian](http://homepages.laas.fr/mkilliji/index.html)
Publications
- 15
- 14
- 12
- 9
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 21
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 76
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 8
- 5
- 5
- 1
- 3
- 4
- 5
- 6
- 4
- 5
- 6
- 2
- 3
- 2
- 4
- 1
- 5
- 4
- 3
- 1
- 6
- 2
- 2
- 2
- 5
- 4
- 1
- 1
|
Pairwise Testing Revisited for Structured Data With ConstraintsIEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland
Conference papers
hal-03938378v2
|
|
Out-Of-Distribution Detection Is Not All You NeedThe 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
Conference papers
hal-03870531v2
|
|
A skill fault model for autonomous systems4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
Conference papers
hal-03609377v2
|
|
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⟩
Conference papers
hal-03765273v1
|
|
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⟩
Conference papers
hal-03779723v1
|
|
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⟩
Conference papers
hal-03709837v1
|
|
Evaluation of Runtime Monitoring for UAV Emergency LandingInternational Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
Conference papers
hal-03600856v1
|
|
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
Conference papers
hal-03704505v1
|
|
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⟩
Conference papers
hal-03623613v1
|
|
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⟩
Conference papers
hal-03366274v1
|
|
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 (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Conference papers
hal-03213534v1
|
|
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⟩
Conference papers
lirmm-03228297v1
|
|
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⟩
Conference papers
hal-03435959v1
|
|
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⟩
Conference papers
hal-03362684v1
|
|
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⟩
Conference papers
hal-02444350v1
|
|
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⟩
Conference papers
hal-02558604v1
|
|
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⟩
Conference papers
lirmm-02895512v1
|
|
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⟩
Conference papers
hal-02900485v1
|
|
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⟩
Conference papers
hal-01637277v2
|
|
Confidence Assessment Framework for Safety ArgumentsInternational Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Conference papers
hal-01533221v1
|
|
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⟩
Conference papers
hal-01465734v1
|
|
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
Conference papers
hal-01534235v1
|
|
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
Conference papers
hal-01370269v1
|
|
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Conference papers
hal-01328909v1
|
|
A Framework for Assessing Safety Argumentation Confidence8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
Conference papers
hal-01372049v1
|
|
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⟩
Conference papers
hal-01372016v1
|
|
Test de la navigation de systèmes autonomes dans des mondes virtuelsControl Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Conference papers
hal-01282148v1
|
|
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⟩
Conference papers
hal-01228861v1
|
|
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⟩
Conference papers
hal-01164981v1
|
|
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
Conference papers
hal-01207657v1
|
|
Specifying Safety Monitors for Autonomous Systems using Model-checkingInternational Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Conference papers
hal-01207152v1
|
|
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⟩
Conference papers
hal-01282159v1
|
|
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
Conference papers
hal-00839296v1
|
|
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⟩
Conference papers
hal-01281790v1
|
|
Specifying safety monitors for autonomous systemsSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Conference papers
hal-00841711v2
|
|
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
Conference papers
hal-01282195v1
|
|
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⟩
Conference papers
hal-01282203v1
|
AMORES: an architecture for mobiquitous resilient systemsARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩
Conference papers
hal-00736020v1
|
|
|
Elicitation of Executable Safety Rules for Critical Autonomous SystemsEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p
Conference papers
hal-01282237v1
|
|
Human-robot interactions: model-based risk analysis and safety case constructionEmbedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Conference papers
hal-02192419v2
|
|
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
Conference papers
hal-01285169v1
|
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument ConstructionModel Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Conference papers
hal-01285183v1
|
|
|
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
Conference papers
hal-01285189v1
|
|
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⟩
Conference papers
hal-01285195v1
|
|
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⟩
Conference papers
hal-01285192v1
|
|
Online Safety Monitoring Using Safety ModesWorkshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13
Conference papers
hal-00282444v1
|
|
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
Conference papers
hal-00282460v1
|
|
Fault Tolerant Planning for Critical Robots DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Conference papers
hal-01292653v1
|
|
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
Conference papers
hal-01292650v1
|
|
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⟩
Conference papers
hal-01295366v1
|
|
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
Conference papers
hal-01292930v1
|
|
Toward a human-centered UML for risk analysisIFIP WCC, 2004, Toulouse, France. pp.177-191
Conference papers
hal-00003461v1
|
|
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
Conference papers
hal-01276665v1
|
|
UML based risk analysis - Application to a medical robotQuality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom
Conference papers
hal-01276661v1
|
|
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
Conference papers
hal-01276662v1
|
|
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⟩
Conference papers
hal-01276631v1
|
|
UML Based FMECA in Risk AnalysisESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy
Conference papers
hal-01276635v1
|
|
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
Conference papers
hal-01276607v1
|
|
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 : ⟩
Theses
tel-00007610v1
|
|
Trusting robots : Contributions to dependable autonomous collaborative robotic systemsEmbedded Systems. Université de Toulouse 3 Paul Sabatier, 2015
Habilitation à diriger des recherches
tel-01276555v1
|