- 12
- 4
- 2
- 1
- 1
- 1
- 1
Jérémie Guiochet
22
Documents
Identifiants chercheurs
- jeremie-guiochet
- 0000-0002-1285-8974
- Google Scholar : https://scholar.google.fr/citations?user=yxa9u84AAAAJ&hl=fr&oi=ao
- IdRef : 074324012
Présentation
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
- 4
- 4
- 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
- 22
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 3
- 2
- 3
- 2
- 2
- 2
- 5
- 4
|
The virtual lands of Oz: testing an agribot in simulationEmpirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩
Article dans une revue
hal-02436216v1
|
|
SMOF - A Safety MOnitoring Framework for Autonomous SystemsIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩
Article dans une revue
hal-01394139v1
|
|
Safety-critical advanced robots: A surveyRobotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩
Article dans une revue
hal-01394136v1
|
|
SENA: Similarity-based Error-checking of Neural Activations27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland
Communication dans un congrès
hal-04212952v1
|
|
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⟩
Communication dans un congrès
hal-03938378v2
|
|
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⟩
Communication dans un congrès
hal-03779723v1
|
|
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⟩
Communication dans un congrès
hal-03623613v1
|
|
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⟩
Communication dans un congrès
hal-03362684v1
|
|
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⟩
Communication dans un congrès
hal-03435959v1
|
|
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⟩
Communication dans un congrès
hal-02444350v1
|
|
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⟩
Communication dans un congrès
hal-01637277v2
|
|
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
Communication dans un congrès
hal-01534235v1
|
|
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⟩
Communication dans un congrès
hal-01465734v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-01328909v1
|
|
Test de la navigation de systèmes autonomes dans des mondes virtuelsControl Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Communication dans un congrès
hal-01282148v1
|
|
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
Communication dans un congrès
hal-01207657v1
|
|
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⟩
Communication dans un congrès
hal-01164981v1
|
|
Specifying Safety Monitors for Autonomous Systems using Model-checkingInternational Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01282159v1
|
|
Specifying safety monitors for autonomous systemsSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Communication dans un congrès
hal-00841711v2
|
|
Introduction à la synthèse de superviseur[Rapport de recherche] 13067, LAAS-CNRS. 2013
Rapport
hal-00804879v1
|