Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

36 résultats
Page :
triés par
Image document

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
Image document

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
Image document

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

Test Languages for In-the-Loop Avionics Tests

 Alexandru-Robert Guduvan , Hélène Waeselynck , Virginie Wiels , Guy Durrieu , Yann Fusero , et al.
Journal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Article dans une revue hal-01953487v1
Image document

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
Image document

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

Emerging high assurance solutions for safe, secure, and reliable software systems

 Radu Babiceanu , Hélène Waeselynck
Journal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩
N°spécial de revue/special issue hal-01954953v1
Image document

Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles

 Hélène Waeselynck , Simon Poulding
7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States
Communication dans un congrès hal-01953483v1
Image document

A UML-based environment for test scenarios in mobile settings

 Pierre André , Hélène Waeselynck , Nicolas Rivière
2013 International Conference on Computer, Information and Telecommunication Systems (CITS), May 2013, Athens, Greece. pp.1 - 5, ⟨10.1109/CITS.2013.6705716⟩
Communication dans un congrès hal-01075121v1
Image document

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
Image document

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
Image document

Show Me New Counterexamples: A Path-Based Approach

 Kalou Cabrera Castillos , Hélène Waeselynck , Virginie Wiels
8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩
Communication dans un congrès hal-01953299v1
Image document

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
Image document

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
Image document

GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces

 Pierre André , Nicolas Rivière , Hélène Waeselynck
14th European Workshop on Dependable Computing, May 2013, Coimbra, Portugal. pp.88 - 95, ⟨10.1007/978-3-642-38789-0_8⟩
Communication dans un congrès hal-01075125v1
Image document

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
Image document

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
Image document

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
Image document

Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!

 Mohamed El Mostadi , Hélène Waeselynck , Jean-Marc Gabriel
33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩
Communication dans un congrès hal-03770653v1
Image document

Seven Technical Issues That May Ruin Your Virtual Tests for ADAS

 Mohamed El Mostadi , Hélène Waeselynck , Jean Marc Gabriel
32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩
Communication dans un congrès hal-03377931v2
Image document

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
Image document

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
Image document

Les défis du Test Logiciel - Bilan et Perspectives

 Frédéric Dadeau , Hélène Waeselynck
Journées Nationales du GDR GPL, Jun 2014, Paris, France
Communication dans un congrès hal-01953503v1
Image document

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
Image document

STELAE - A Model-Driven Test Development Environment for Avionics Systems

 Alexandru Robert Ciprian Guduvan , Hélène Waeselynck , V. Wiels , Gaël Durrieu , Yann Fusero , et al.
IEEE ISORC 2013, Jun 2013, PADEBORN, Germany. 8p
Communication dans un congrès hal-01057937v1
Image document

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
Image document

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 hal-00804879v1
Image document

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
Image document

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
Image document

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
Page :