Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jérémie Guiochet
@article{DBLP:journals/ijar/IdmessaoudDG24,
author = {Yassir Idmessaoud and
Didier Dubois and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Confidence assessment in safety argument structure - Quantitative
vs. qualitative approaches},
journal = {Int. J. Approx. Reason.},
volume = {165},
pages = {109100},
year = {2024},
url = {https://doi.org/10.1016/j.ijar.2023.109100},
doi = {10.1016/J.IJAR.2023.109100},
timestamp = {Sun, 18 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/IdmessaoudDG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/AlboreDGGLM23,
author = {Alexandre Albore and
David Doose and
Christophe Grand and
J{\'{e}}r{\'{e}}mie Guiochet and
Charles Lesire and
Augustin Manecy},
title = {Skill-based design of dependable robotic architectures},
journal = {Robotics Auton. Syst.},
volume = {160},
pages = {104318},
year = {2023},
url = {https://doi.org/10.1016/j.robot.2022.104318},
doi = {10.1016/J.ROBOT.2022.104318},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ras/AlboreDGGLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GuerinDFG23,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
Raul Sena Ferreira and
J{\'{e}}r{\'{e}}mie Guiochet},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Out-of-Distribution Detection Is Not All You Need},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {14829--14837},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i12.26732},
doi = {10.1609/AAAI.V37I12.26732},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GuerinDFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FerreiraGGW23,
author = {Raul Sena Ferreira and
Joris Gu{\'{e}}rin and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {{SENA:} Similarity-Based Error-Checking of Neural Activations},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {724--731},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230337},
doi = {10.3233/FAIA230337},
timestamp = {Wed, 18 Oct 2023 09:31:16 +0200},
biburl = {https://dblp.org/rec/conf/ecai/FerreiraGGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SartoriWG23,
author = {Luca Vittorio Sartori and
H{\'{e}}l{\`{e}}ne Waeselynck and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Pairwise Testing Revisited for Structured Data With Constraints},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {199--209},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00027},
doi = {10.1109/ICST57152.2023.00027},
timestamp = {Thu, 01 Jun 2023 13:31:05 +0200},
biburl = {https://dblp.org/rec/conf/icst/SartoriWG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2023,
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - 42nd International Conference,
{SAFECOMP} 2023, Toulouse, France, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14181},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40923-3},
doi = {10.1007/978-3-031-40923-3},
isbn = {978-3-031-40922-6},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2023w,
editor = {J{\'{e}}r{\'{e}}mie Guiochet and
Stefano Tonetta and
Erwin Schoitsch and
Matthieu Roy and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops
- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France,
September 19, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14182},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40953-0},
doi = {10.1007/978-3-031-40953-0},
isbn = {978-3-031-40952-3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2023w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ast/SartoriGWGHA22,
author = {Luca Vittorio Sartori and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck and
Aizar Antonio Berlanga Galvan and
Simon H{\'{e}}bert{-}Vernhes and
Magnus Albert},
title = {Integration of Test Generation Into Simulation-Based Platforms: An
Experience Report},
booktitle = {{IEEE/ACM} International Conference on Automation of Software Test,
AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022},
pages = {77--86},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524481.3527236},
doi = {10.1145/3524481.3527236},
timestamp = {Thu, 21 Jul 2022 12:20:03 +0200},
biburl = {https://dblp.org/rec/conf/ast/SartoriGWGHA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/belief/IdmessaoudDG22,
author = {Yassir Idmessaoud and
Didier Dubois and
J{\'{e}}r{\'{e}}mie Guiochet},
editor = {Sylvie Le H{\'{e}}garat{-}Mascle and
Isabelle Bloch and
Emanuel Aldea},
title = {A Qualitative Counterpart of Belief Functions with Application to
Uncertainty Propagation in Safety Cases},
booktitle = {Belief Functions: Theory and Applications - 7th International Conference,
{BELIEF} 2022, Paris, France, October 26-28, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13506},
pages = {231--241},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17801-6\_22},
doi = {10.1007/978-3-031-17801-6\_22},
timestamp = {Fri, 07 Oct 2022 15:35:12 +0200},
biburl = {https://dblp.org/rec/conf/belief/IdmessaoudDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/GuerinDG22,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Evaluation of Runtime Monitoring for {UAV} Emergency Landing},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {9703--9709},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9811924},
doi = {10.1109/ICRA46639.2022.9811924},
timestamp = {Thu, 21 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/GuerinDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GuerinFDG22,
author = {Joris Gu{\'{e}}rin and
Raul Sena Ferreira and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Unifying Evaluation of Machine Learning Safety Monitors},
booktitle = {{IEEE} 33rd International Symposium on Software Reliability Engineering,
{ISSRE} 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
pages = {414--422},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSRE55969.2022.00047},
doi = {10.1109/ISSRE55969.2022.00047},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/GuerinFDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FerreiraGGW22,
author = {Raul Sena Ferreira and
Joris Gu{\'{e}}rin and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {SiMOOD: Evolutionary Testing Simulation With Out-Of-Distribution Images},
booktitle = {27th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2022, Beijing, China, November 28 - Dec. 1, 2022},
pages = {68--77},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PRDC55274.2022.00021},
doi = {10.1109/PRDC55274.2022.00021},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prdc/FerreiraGGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rose-ws/MedinaGLM22,
author = {Gabriela Catal{\'{a}}n Medina and
J{\'{e}}r{\'{e}}mie Guiochet and
Charles Lesire and
Augustin Manecy},
editor = {Andreas Angerer and
Federico Ciccozzi and
Ivano Malavolta and
Andreas Wortmann},
title = {A skill fault model for autonomous systems},
booktitle = {Proceedings of the 4th International Workshop on Robotics Software
Engineering, RoSE 2022, Pittsburgh, Pennsylvania, 9 May 2022},
pages = {55--62},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3526071.3527513},
doi = {10.1145/3526071.3527513},
timestamp = {Fri, 24 Feb 2023 15:39:45 +0100},
biburl = {https://dblp.org/rec/conf/rose-ws/MedinaGLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/IdmessaoudDG22,
author = {Yassir Idmessaoud and
Didier Dubois and
J{\'{e}}r{\'{e}}mie Guiochet},
editor = {Mario Trapp and
Francesca Saglietti and
Marc Spisl{\"{a}}nder and
Friedemann Bitsch},
title = {Uncertainty Elicitation and Propagation in {GSN} Models of Assurance
Cases},
booktitle = {Computer Safety, Reliability, and Security - 41st International Conference,
{SAFECOMP} 2022, Munich, Germany, September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13414},
pages = {111--125},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14835-4\_8},
doi = {10.1007/978-3-031-14835-4\_8},
timestamp = {Tue, 30 Aug 2022 08:53:53 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/IdmessaoudDG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2022w,
editor = {Mario Trapp and
Erwin Schoitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security. {SAFECOMP} 2022 Workshops
- DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany,
September 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13415},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-14862-0},
doi = {10.1007/978-3-031-14862-0},
isbn = {978-3-031-14861-3},
timestamp = {Wed, 21 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-03059,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Evaluation of Runtime Monitoring for {UAV} Emergency Landing},
journal = {CoRR},
volume = {abs/2202.03059},
year = {2022},
url = {https://arxiv.org/abs/2202.03059},
eprinttype = {arXiv},
eprint = {2202.03059},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14660,
author = {Joris Gu{\'{e}}rin and
Raul Sena Ferreira and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Unifying Evaluation of Machine Learning Safety Monitors},
journal = {CoRR},
volume = {abs/2208.14660},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14660},
doi = {10.48550/ARXIV.2208.14660},
eprinttype = {arXiv},
eprint = {2208.14660},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16158,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
Raul Sena Ferreira and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Out-Of-Distribution Detection Is Not All You Need},
journal = {CoRR},
volume = {abs/2211.16158},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16158},
doi = {10.48550/ARXIV.2211.16158},
eprinttype = {arXiv},
eprint = {2211.16158},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/belief/IdmessaoudDG21,
author = {Yassir Idmessaoud and
Didier Dubois and
J{\'{e}}r{\'{e}}mie Guiochet},
editor = {Thierry Denoeux and
Eric Lef{\`{e}}vre and
Zhunga Liu and
Fr{\'{e}}d{\'{e}}ric Pichon},
title = {Quantifying Confidence of Safety Cases with Belief Functions},
booktitle = {Belief Functions: Theory and Applications - 6th International Conference,
{BELIEF} 2021, Shanghai, China, October 15-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12915},
pages = {269--278},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88601-1\_27},
doi = {10.1007/978-3-030-88601-1\_27},
timestamp = {Thu, 14 Oct 2021 16:58:48 +0200},
biburl = {https://dblp.org/rec/conf/belief/IdmessaoudDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/GuerinDG21,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Certifying Emergency Landing for Safe Urban {UAV}},
booktitle = {51st Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2021, Taipei, Taiwan, June
21-24, 2021},
pages = {55--62},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DSN-W52860.2021.00020},
doi = {10.1109/DSN-W52860.2021.00020},
timestamp = {Mon, 09 Aug 2021 15:02:12 +0200},
biburl = {https://dblp.org/rec/conf/dsn/GuerinDG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HereauGGC21,
author = {Adrien Hereau and
Karen Godary{-}Dejean and
J{\'{e}}r{\'{e}}mie Guiochet and
Didier Crestani},
title = {A Fault Tolerant Control Architecture Based on Fault Trees for an
Underwater Robot Executing Transect Missions},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2021, Xi'an, China, May 30 - June 5, 2021},
pages = {2127--2133},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICRA48506.2021.9561735},
doi = {10.1109/ICRA48506.2021.9561735},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/HereauGGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/FerreiraAGW21,
author = {Raul Sena Ferreira and
Jean Arlat and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Benchmarking Safety Monitors for Image Classifiers with Machine Learning},
booktitle = {26th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2021, Perth, Australia, December 1-4, 2021},
pages = {7--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PRDC53464.2021.00012},
doi = {10.1109/PRDC53464.2021.00012},
timestamp = {Wed, 19 Jan 2022 17:40:15 +0100},
biburl = {https://dblp.org/rec/conf/prdc/FerreiraAGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/RobertGWS21,
author = {Cl{\'{e}}ment Robert and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck and
Luca Vittorio Sartori},
title = {{TAF:} a Tool for Diverse and Constrained Test Case Generation},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {311--321},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00042},
doi = {10.1109/QRS54544.2021.00042},
timestamp = {Wed, 16 Mar 2022 22:32:21 +0100},
biburl = {https://dblp.org/rec/conf/qrs/RobertGWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14928,
author = {Joris Gu{\'{e}}rin and
Kevin Delmas and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {Certifying Emergency Landing for Safe Urban {UAV}},
journal = {CoRR},
volume = {abs/2104.14928},
year = {2021},
url = {https://arxiv.org/abs/2104.14928},
eprinttype = {arXiv},
eprint = {2104.14928},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-01232,
author = {Raul Sena Ferreira and
Jean Arlat and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Benchmarking Safety Monitors for Image Classifiers with Machine Learning},
journal = {CoRR},
volume = {abs/2110.01232},
year = {2021},
url = {https://arxiv.org/abs/2110.01232},
eprinttype = {arXiv},
eprint = {2110.01232},
timestamp = {Fri, 08 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-01232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/RobertSWGV20,
author = {Cl{\'{e}}ment Robert and
Thierry Sotiropoulos and
H{\'{e}}l{\`{e}}ne Waeselynck and
J{\'{e}}r{\'{e}}mie Guiochet and
Simon Vernhes},
title = {The virtual lands of Oz: testing an agribot in simulation},
journal = {Empir. Softw. Eng.},
volume = {25},
number = {3},
pages = {2025--2054},
year = {2020},
url = {https://doi.org/10.1007/s10664-020-09800-3},
doi = {10.1007/S10664-020-09800-3},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/RobertSWGV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/FavierMGFL20,
author = {Anthony Favier and
Antonin Messioux and
J{\'{e}}r{\'{e}}mie Guiochet and
Jean{-}Charles Fabre and
Charles Lesire},
title = {A hierarchical fault tolerant architecture for an autonomous robot},
booktitle = {50th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks Workshops, {DSN} Workshops 2020, Valencia, Spain, June
29 - July 2, 2020},
pages = {122--129},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/DSN-W50199.2020.00031},
doi = {10.1109/DSN-W50199.2020.00031},
timestamp = {Mon, 03 Aug 2020 17:18:43 +0200},
biburl = {https://dblp.org/rec/conf/dsn/FavierMGFL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/RobertGW20,
author = {Cl{\'{e}}ment Robert and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Testing a non-deterministic robot in simulation - How many repeated
runs ?},
booktitle = {Fourth {IEEE} International Conference on Robotic Computing, {IRC}
2020, Taichung, Taiwan, November 9-11, 2020},
pages = {263--270},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IRC.2020.00048},
doi = {10.1109/IRC.2020.00048},
timestamp = {Thu, 14 Jan 2021 15:14:18 +0100},
biburl = {https://dblp.org/rec/conf/irc/RobertGW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sum/IdmessaoudDG20,
author = {Yassir Idmessaoud and
Didier Dubois and
J{\'{e}}r{\'{e}}mie Guiochet},
editor = {Jesse Davis and
Karim Tabia},
title = {Belief Functions for Safety Arguments Confidence Estimation: {A} Comparative
Study},
booktitle = {Scalable Uncertainty Management - 14th International Conference, {SUM}
2020, Bozen-Bolzano, Italy, September 23-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12322},
pages = {141--155},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58449-8\_10},
doi = {10.1007/978-3-030-58449-8\_10},
timestamp = {Thu, 17 Sep 2020 16:28:12 +0200},
biburl = {https://dblp.org/rec/conf/sum/IdmessaoudDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taros/HereauGGRCC20,
author = {Adrien Hereau and
Karen Godary{-}Dejean and
J{\'{e}}r{\'{e}}mie Guiochet and
Cl{\'{e}}ment Robert and
Thomas Claverie and
Didier Crestani},
editor = {Abdelkhalick Mohammad and
Xin Dong and
Matteo Russo},
title = {Testing an Underwater Robot Executing Transect Missions in Mayotte},
booktitle = {Towards Autonomous Robotic Systems - 21st Annual Conference, {TAROS}
2020, Nottingham, UK, September 16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12228},
pages = {116--127},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63486-5\_14},
doi = {10.1007/978-3-030-63486-5\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/taros/HereauGGRCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/WangGMS19,
author = {Rui Wang and
J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet and
Walter Sch{\"{o}}n},
title = {Safety case confidence propagation based on Dempster-Shafer theory},
journal = {Int. J. Approx. Reason.},
volume = {107},
pages = {46--64},
year = {2019},
url = {https://doi.org/10.1016/j.ijar.2019.02.002},
doi = {10.1016/J.IJAR.2019.02.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/WangGMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MachinGWBRM18,
author = {Mathilde Machin and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck and
Jean{-}Paul Blanquart and
Matthieu Roy and
Lola Masson},
title = {{SMOF:} {A} Safety Monitoring Framework for Autonomous Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {5},
pages = {702--715},
year = {2018},
url = {https://doi.org/10.1109/TSMC.2016.2633291},
doi = {10.1109/TSMC.2016.2633291},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/MachinGWBRM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MassonGWCCT18,
author = {Lola Masson and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck and
Kalou Cabrera and
Sofia Cassel and
Martin T{\"{o}}rngren},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Tuning Permissiveness of Active Safety Monitors for Autonomous Systems},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {333--348},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_23},
doi = {10.1007/978-3-319-77935-5\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MassonGWCCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/GuiochetMW17,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Mathilde Machin and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Safety-critical advanced robots: {A} survey},
journal = {Robotics Auton. Syst.},
volume = {94},
pages = {43--52},
year = {2017},
url = {https://doi.org/10.1016/j.robot.2017.04.004},
doi = {10.1016/J.ROBOT.2017.04.004},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/GuiochetMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/MassonGWDL17,
author = {Lola Masson and
J{\'{e}}r{\'{e}}mie Guiochet and
H{\'{e}}l{\`{e}}ne Waeselynck and
Augustin Desfosses and
Marc Laval},
title = {Synthesis of Safety Rules for Active Monitoring: Application to an
Airport Light Measurement Robot},
booktitle = {First {IEEE} International Conference on Robotic Computing, {IRC}
2017, Taichung, Taiwan, April 10-12, 2017},
pages = {263--270},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IRC.2017.11},
doi = {10.1109/IRC.2017.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/MassonGWDL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/SotiropoulosWGI17,
author = {Thierry Sotiropoulos and
H{\'{e}}l{\`{e}}ne Waeselynck and
J{\'{e}}r{\'{e}}mie Guiochet and
F{\'{e}}lix Ingrand},
title = {Can Robot Navigation Bugs Be Found in Simulation? An Exploratory Study},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {150--159},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.25},
doi = {10.1109/QRS.2017.25},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/SotiropoulosWGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/WangGM17,
author = {Rui Wang and
J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Confidence Assessment Framework for Safety Arguments},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {55--68},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_4},
doi = {10.1007/978-3-319-66266-4\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/WangGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/belief/WangGMS16,
author = {Rui Wang and
J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet and
Walter Sch{\"{o}}n},
editor = {Jirina Vejnarov{\'{a}} and
V{\'{a}}clav Kratochv{\'{\i}}l},
title = {{D-S} Theory for Argument Confidence Assessment},
booktitle = {Belief Functions: Theory and Applications - 4th International Conference,
{BELIEF} 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9861},
pages = {190--200},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45559-4\_20},
doi = {10.1007/978-3-319-45559-4\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/belief/WangGMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/SotiropoulosGIW16,
author = {Thierry Sotiropoulos and
J{\'{e}}r{\'{e}}mie Guiochet and
F{\'{e}}lix Ingrand and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Virtual Worlds for Testing Robot Navigation: {A} Study on the Difficulty
Level},
booktitle = {12th European Dependable Computing Conference, {EDCC} 2016, Gothenburg,
Sweden, September 5-9, 2016},
pages = {153--160},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/EDCC.2016.14},
doi = {10.1109/EDCC.2016.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/SotiropoulosGIW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/WangGM16,
author = {Rui Wang and
J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {A Framework for Assessing Safety Argumentation Confidence},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {3--12},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_1},
doi = {10.1007/978-3-319-45892-2\_1},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/serene/WangGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016,
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - 35th International Conference,
{SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9922},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45477-1},
doi = {10.1007/978-3-319-45477-1},
isbn = {978-3-319-45476-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016w,
editor = {Amund Skavhaug and
J{\'{e}}r{\'{e}}mie Guiochet and
Erwin Schoitsch and
Friedemann Bitsch},
title = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops,
ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9923},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45480-1},
doi = {10.1007/978-3-319-45480-1},
isbn = {978-3-319-45479-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2016w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Guiochet16,
author = {J{\'{e}}r{\'{e}}mie Guiochet},
title = {Hazard analysis of human-robot interactions with {HAZOP-UML}},
journal = {CoRR},
volume = {abs/1602.03139},
year = {2016},
url = {http://arxiv.org/abs/1602.03139},
eprinttype = {arXiv},
eprint = {1602.03139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Guiochet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Guiochet15,
author = {J{\'{e}}r{\'{e}}mie Guiochet},
title = {Trusting robots : Contributions to dependable autonomous collaborative
robotic systems. (Vers des robots collaboratifs autonomes s{\^{u}}rs
de fonctionnement)},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01276555},
timestamp = {Sat, 30 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/hal/Guiochet15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MachinDGPRW15,
author = {Mathilde Machin and
Fanny Dufoss{\'{e}} and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
Matthieu Roy and
H{\'{e}}l{\`{e}}ne Waeselynck},
title = {Model-Checking and Game theory for Synthesis of Safety Rules},
booktitle = {16th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2015, Daytona Beach, FL, USA, January 8-10, 2015},
pages = {36--43},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HASE.2015.15},
doi = {10.1109/HASE.2015.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MachinDGPRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/GuiochetHK15,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Quynh Anh Do Hoang and
Mohamed Ka{\^{a}}niche},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {A Model for Safety Case Confidence Assessment},
booktitle = {Computer Safety, Reliability, and Security - 34th International Conference,
{SAFECOMP} 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9337},
pages = {313--327},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24255-2\_23},
doi = {10.1007/978-3-319-24255-2\_23},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/GuiochetHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuiochetHK15,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Quynh Anh Do Hoang and
Mohamed Ka{\^{a}}niche},
title = {A Model for Safety Case Confidence Assessment},
journal = {CoRR},
volume = {abs/1512.04467},
year = {2015},
url = {http://arxiv.org/abs/1512.04467},
eprinttype = {arXiv},
eprint = {1512.04467},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuiochetHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/FriginalGGK14,
author = {Jesus Friginal and
S{\'{e}}bastien Gambs and
J{\'{e}}r{\'{e}}mie Guiochet and
Marc{-}Olivier Killijian},
title = {Towards privacy-driven design of a dynamic carpooling system},
journal = {Pervasive Mob. Comput.},
volume = {14},
pages = {71--82},
year = {2014},
url = {https://doi.org/10.1016/j.pmcj.2014.05.009},
doi = {10.1016/J.PMCJ.2014.05.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/percom/FriginalGGK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MoraesWG14,
author = {Regina Moraes and
H{\'{e}}l{\`{e}}ne Waeselynck and
J{\'{e}}r{\'{e}}mie Guiochet},
title = {UML-Based Modeling of Robustness Testing},
booktitle = {15th International {IEEE} Symposium on High-Assurance Systems Engineering,
{HASE} 2014, Miami Beach, FL, USA, January 9-11, 2014},
pages = {168--175},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/HASE.2014.31},
doi = {10.1109/HASE.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/MoraesWG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MachinDBGPW14,
author = {Mathilde Machin and
Fanny Dufoss{\'{e}} and
Jean{-}Paul Blanquart and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
H{\'{e}}l{\`{e}}ne Waeselynck},
editor = {Andrea Bondavalli and
Felicita Di Giandomenico},
title = {Specifying Safety Monitors for Autonomous Systems Using Model-Checking},
booktitle = {Computer Safety, Reliability, and Security - 33rd International Conference,
{SAFECOMP} 2014, Florence, Italy, September 10-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8666},
pages = {262--277},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10506-2\_18},
doi = {10.1007/978-3-319-10506-2\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/MachinDBGPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icorr/GuiochetHKP13,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Quynh Anh Do Hoang and
Mohamed Ka{\^{a}}niche and
David Powell},
title = {Model-based safety analysis of human-robot interactions: The {MIRAS}
walking assistance robot},
booktitle = {{IEEE} 13th International Conference on Rehabilitation Robotics, {ICORR}
2013, Seattle, WA, USA, June 24-26, 2013},
pages = {1--7},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICORR.2013.6650433},
doi = {10.1109/ICORR.2013.6650433},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icorr/GuiochetHKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiquitous/FriginalGK13,
author = {Jesus Friginal and
J{\'{e}}r{\'{e}}mie Guiochet and
Marc{-}Olivier Killijian},
editor = {Ivan Stojmenovic and
Zixue Cheng and
Song Guo},
title = {Towards a Privacy Risk Assessment Methodology for Location-Based Systems},
booktitle = {Mobile and Ubiquitous Systems: Computing, Networking, and Services
- 10th International Conference, {MOBIQUITOUS} 2013, Tokyo, Japan,
December 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {131},
pages = {748--753},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-11569-6\_65},
doi = {10.1007/978-3-319-11569-6\_65},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobiquitous/FriginalGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2013,
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2},
doi = {10.1007/978-3-642-40793-2},
isbn = {978-3-642-40792-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/armor/ArtiguesDGHKPRB12,
author = {Christian Artigues and
Yves Deswarte and
J{\'{e}}r{\'{e}}mie Guiochet and
Marie{-}Jos{\'{e}} Huguet and
Marc{-}Olivier Killijian and
David Powell and
Matthieu Roy and
Christophe Bidan and
Nicolas Prigent and
Emmanuelle Anceaume and
S{\'{e}}bastien Gambs and
Gilles Guette and
Michel Hurfin and
Fr{\'{e}}d{\'{e}}ric Schettini},
editor = {Juan{-}Carlos Ruiz{-}Garcia and
Marc{-}Olivier Killijian},
title = {{AMORES:} an architecture for mobiquitous resilient systems},
booktitle = {Proceedings of the 1st European Workshop on AppRoaches to MObiquitous
Resilience, {ARMOR} '12, Sibiu, Romania, May 8-11, 2012},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2222436.2222443},
doi = {10.1145/2222436.2222443},
timestamp = {Tue, 01 Feb 2022 16:09:23 +0100},
biburl = {https://dblp.org/rec/conf/armor/ArtiguesDGHKPRB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Mekki-MokhtarBGPR12,
author = {Amina Mekki{-}Mokhtar and
Jean{-}Paul Blanquart and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
Matthieu Roy},
title = {Safety Trigger Conditions for Critical Autonomous Systems},
booktitle = {{IEEE} 18th Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2012, Niigata, Japan, November 18-19, 2012},
pages = {61--69},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/PRDC.2012.22},
doi = {10.1109/PRDC.2012.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/Mekki-MokhtarBGPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/GuiochetMP10,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Damien Martin{-}Guillerez and
David Powell},
title = {Experience with Model-Based User-Centered Risk Assessment for Service
Robots},
booktitle = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
San Jose, CA, USA, November 3-4, 2010},
pages = {104--113},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HASE.2010.10},
doi = {10.1109/HASE.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/GuiochetMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/Martin-Guillerez10,
author = {Damien Martin{-}Guillerez and
J{\'{e}}r{\'{e}}mie Guiochet and
David Powell and
Christophe Zanon},
editor = {Giovanna Di Marzo Serugendo and
John S. Fitzgerald},
title = {A UML-based method for risk analysis of human-robot interactions},
booktitle = {Proceedings of the 2nd International Workshop on Software Engineering
for Resilient Systems, {SERENE} '10, London, United Kingdom, April
15-16, 2010},
pages = {32--41},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/2401736.2401740},
doi = {10.1145/2401736.2401740},
timestamp = {Mon, 22 Jul 2019 17:31:47 +0200},
biburl = {https://dblp.org/rec/conf/serene/Martin-Guillerez10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/LussierGGIKP07,
author = {Benjamin Lussier and
Matthieu Gallien and
J{\'{e}}r{\'{e}}mie Guiochet and
F{\'{e}}lix Ingrand and
Marc{-}Olivier Killijian and
David Powell},
editor = {Mark S. Boddy and
Maria Fox and
Sylvie Thi{\'{e}}baux},
title = {Planning with Diversified Models for Fault-Tolerant Robots},
booktitle = {Proceedings of the Seventeenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2007, Providence, Rhode Island, USA,
September 22-26, 2007},
pages = {216--223},
publisher = {{AAAI}},
year = {2007},
url = {http://www.aaai.org/Library/ICAPS/2007/icaps07-028.php},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/aips/LussierGGIKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LussierGGIKP07,
author = {Benjamin Lussier and
Matthieu Gallien and
J{\'{e}}r{\'{e}}mie Guiochet and
F{\'{e}}lix Ingrand and
Marc{-}Olivier Killijian and
David Powell},
title = {Fault Tolerant Planning for Critical Robots},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {144--153},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.50},
doi = {10.1109/DSN.2007.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/LussierGGIKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/NassarCGEACK05,
author = {Mahmoud Nassar and
Bernard Coulette and
J{\'{e}}r{\'{e}}mie Guiochet and
Sophie Ebersold and
Bouchra El Asri and
Xavier Cr{\'{e}}gut and
Abdelaziz Kriouile},
title = {Vers un profil {UML} pour la conception de composants multivues},
journal = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
volume = {11},
number = {4},
pages = {83--113},
year = {2005},
url = {https://doi.org/10.3166/objet.11.4.83-113},
doi = {10.3166/OBJET.11.4.83-113},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/NassarCGEACK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/TonduIGD05,
author = {Bertrand Tondu and
Serge Ippolito and
J{\'{e}}r{\'{e}}mie Guiochet and
A. Daidie},
title = {A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial
Muscles for Humanoid Robots},
journal = {Int. J. Robotics Res.},
volume = {24},
number = {4},
pages = {257--274},
year = {2005},
url = {https://doi.org/10.1177/0278364905052437},
doi = {10.1177/0278364905052437},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/TonduIGD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip13/GuiochetMGB04,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet and
Claude Baron and
Guy A. Boy},
editor = {Chris W. Johnson and
Philippe A. Palanque},
title = {Toward {A} Human-Centered {UML} For Risk Analysis - Application to
a medical robot},
booktitle = {Human Error, Safety and Systems Development, {IFIP} 18th World Computer
Congress, {TC13} / {WG13.5} 7th Working Conference on Human Error,
Safety and Systems Development, 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {152},
pages = {177--191},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8153-7\_12},
doi = {10.1007/1-4020-8153-7\_12},
timestamp = {Wed, 06 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip13/GuiochetMGB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412010,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Gilles Motet and
Claude Baron and
Guy A. Boy},
title = {Toward a Human-Centered Uml for Risk Analysis},
journal = {CoRR},
volume = {abs/cs/0412010},
year = {2004},
url = {http://arxiv.org/abs/cs/0412010},
eprinttype = {arXiv},
eprint = {cs/0412010},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Guiochet03,
author = {J{\'{e}}r{\'{e}}mie Guiochet},
title = {Ma{\^{\i}}trise de la S{\'{e}}curit{\'{e}} des Syst{\`{e}}mes
de la robotique de Service - approche {UML} bas{\'{e}}E sur une
Analyse du risque Syst{\`{e}}me. (Safety Management of Service robot
Systems - {UML} Approach Based on System Risk Analysis)},
school = {{INSA} Toulouse, France},
year = {2003},
url = {https://tel.archives-ouvertes.fr/tel-00007610},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Guiochet03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/GuiochetTB03,
author = {J{\'{e}}r{\'{e}}mie Guiochet and
Bertrand Tondu and
Claude Baron},
title = {Integration of {UML} in human factors analysis for safety of a medical
robot for tele-echography},
booktitle = {2003 {IEEE/RSJ} International Conference on Intelligent Robots and
Systems, Las Vegas, Nevada, USA, October 27 - November 1, 2003},
pages = {3212--3217},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/IROS.2003.1249651},
doi = {10.1109/IROS.2003.1249651},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/GuiochetTB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
