2024

Articles dans une revue

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches. International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩. ⟨hal-04342922⟩

2023

Communications dans un congrès

Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck. SENA: Similarity-based Error-checking of Neural Activations. 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland. ⟨hal-04212952⟩

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩. ⟨hal-03938378v2⟩

Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet. Out-Of-Distribution Detection Is Not All You Need. The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. ⟨hal-03870531v2⟩

2022

Articles dans une revue

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, et al.. Skill-based design of dependable robotic architectures. Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩. ⟨hal-03927289⟩

Communications dans un congrès

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 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⟩. ⟨hal-03704505⟩

Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet. Unifying Evaluation of Machine Learning Safety Monitors. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩. ⟨hal-03765273⟩

Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy. A skill fault model for autonomous systems. 4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩. ⟨hal-03609377v2⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases. 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩. ⟨hal-03709837⟩

Joris Guerin, Kevin Delmas, Jérémie Guiochet. Evaluation of Runtime Monitoring for UAV Emergency Landing. International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States. ⟨hal-03600856⟩

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, et al.. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩. ⟨hal-03623613⟩

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck. SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images. 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩. ⟨hal-03779723⟩

Autres documents

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Questionnaire for estimating uncertainties in assurance cases. Rapport LAAS n° 22142. 2022. ⟨hal-03649068⟩

2021

Communications dans un congrès

Raul Sena Ferreira, Jean Arlat, Jérémie Guiochet, Hélène Waeselynck. Benchmarking Safety Monitors for Image Classifiers with Machine Learning. 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩. ⟨hal-03362684⟩

Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani. A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions. ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩. ⟨lirmm-03228297⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Quantifying confidence of safety cases with belief functions. 6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩. ⟨hal-03366274⟩

Clément Robert, Jérémie Guiochet, Hélène Waeselynck, Luca Vittorio Sartori. TAF: a tool for diverse and constrained test case generation. 21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩. ⟨hal-03435959⟩

Joris Guérin, Kevin Delmas, Jérémie Guiochet. Certifying Emergency Landing for Safe Urban UAV. 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 (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩. ⟨hal-03213534⟩

Autres documents

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Calculation of aggregation formulas for GSN argument types using belief functions. Rapport LAAS n° 21104. 2021. ⟨hal-03210201⟩

2020

Articles dans une revue

Clément C. Robert, Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Simon Vernhes. The virtual lands of Oz: testing an agribot in simulation. Empirical Software Engineering, 2020, 25 (3), pp.2025-2054. ⟨10.1007/s10664-020-09800-3⟩. ⟨hal-02436216⟩

Communications dans un congrès

Adrien Hereau, Karen Godary-Dejean, Jérémie Guiochet, Clément Robert, Thomas Claverie, et al.. Testing an Underwater Robot Executing Transect Missions in Mayotte. 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⟩. ⟨lirmm-02895512⟩

Anthony Favier, Antonin Messioux, Jérémie Guiochet, Jean-Charles Fabre, Charles Lesire. A hierarchical fault tolerant architecture for an autonomous robot. 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⟩. ⟨hal-02558604⟩

Clément Robert, Jérémie Guiochet, Hélène Waeselynck. 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⟩. ⟨hal-02444350⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. 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⟩. ⟨hal-02900485⟩

2019

Articles dans une revue

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. Safety Case Confidence Propagation Based on Dempster-Shafer theory. International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩. ⟨hal-02012942⟩

2018

Articles dans une revue

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. Modelling Confidence in Railway Safety Case. Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩. ⟨hal-01661045⟩

Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, et al.. SMOF - A Safety MOnitoring Framework for Autonomous Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩. ⟨hal-01394139⟩

Communications dans un congrès

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, et al.. Tuning permissiveness of active safety monitors for autonomous systems. Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩. ⟨hal-01637277v2⟩

2017

Articles dans une revue

Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck. Safety-critical advanced robots: A survey. Robotics and Autonomous Systems, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩. ⟨hal-01394136⟩

Communications dans un congrès

Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand. Can robot navigation bugs be found in simulation? An exploratory study. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p. ⟨hal-01534235⟩

Rui Wang, Jérémie Guiochet, Gilles Motet. Confidence Assessment Framework for Safety Arguments. International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p. ⟨hal-01533221⟩

Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval. Synthesis of safety rules for active monitoring: application to an airport light measurement robot. IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩. ⟨hal-01465734⟩

Autres documents

Jean-Marc Larré, Kalou Cabrera Castillos, Jérémie Guiochet. Outil logiciel HAZOP-UML - Document des cas d'utilisation. Rapport LAAS n° 17404. 2017. ⟨hal-01613787⟩

2016

Articles dans une revue

Jérémie Guiochet. Hazard analysis of human–robot interactions with HAZOP–UML. Safety Science, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩. ⟨hal-01271565⟩

Communications dans un congrès

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. D-S Theory for Argument Confidence Assessment. 4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩. ⟨hal-01372016⟩

Rui Wang, Jérémie Guiochet, Gilles Motet. A Framework for Assessing Safety Argumentation Confidence. 8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩. ⟨hal-01372049⟩

Lola Masson, Jérémie Guiochet, Hélène Waeselynck. Case Study Report : Safety rules synthesis for an autonomous robot. Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. ⟨hal-01370269⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level. 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden. ⟨hal-01328909⟩

2015

Communications dans un congrès

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-Checking and Game theory for Synthesis of Safety Rules. 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⟩. ⟨hal-01164981⟩

Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Test de la navigation de systèmes autonomes dans des mondes virtuels. Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France. ⟨hal-01282148⟩

Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-checking and Game Theory for the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. ⟨hal-01207657⟩

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche. A Model for Safety Case Confidence Assessment. 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩. ⟨hal-01228861⟩

Thèse de doctorat, Habilitation à diriger des recherches

Jérémie Guiochet. Trusting robots : Contributions to dependable autonomous collaborative robotic systems. Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015. ⟨tel-01276555⟩

Rapports

Benjamin Lussier, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell. Fault tolerant planning: towards dependable autonomous robots. [Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015. ⟨hal-01271568⟩

2014

Articles dans une revue

Jesús Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian. Towards privacy-driven design of a dynamic carpooling system. Pervasive and Mobile Computing, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩. ⟨hal-01242263⟩

Communications dans un congrès

Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, et al.. Specifying Safety Monitors for Autonomous Systems using Model-checking. International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy. ⟨hal-01207152⟩

Regina Moraes, Hélène Waeselynck, Jérémie Guiochet. UML-Based Modeling of Robustness Testing. 15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩. ⟨hal-01282159⟩

Rapports

Jesús Friginal, Jérémie Guiochet, Marc-Olivier Killijian. AMORES L1.2 - A Privacy Risk Assessment Methodology for Location-Based Systems. [Research Report] AMORES1.2/1.0 ; Rapport LAAS n° 16048, LAAS-CNRS. 2014. ⟨hal-01282191⟩