Filtrer vos résultats
- 33
- 3
- 28
- 5
- 1
- 1
- 1
- 1
- 35
- 2
- 3
- 3
- 3
- 2
- 3
- 4
- 2
- 5
- 4
- 5
- 2
- 32
- 4
- 34
- 3
- 2
- 2
- 1
- 1
- 1
- 36
- 22
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
36 résultats
|
|
|
triés par
|
|
|
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
|
||
Test Languages for In-the-Loop Avionics TestsJournal of Aerospace Information Systems, 2015, 12 (4), pp.374-391. ⟨10.2514/1.I010151⟩
Article dans une revue
hal-01953487v1
|
|||
|
|
Specifying safety monitors for autonomous systemsSafecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC
Communication dans un congrès
hal-00841711v2
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Show Me New Counterexamples: A Path-Based Approach8th 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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Emerging high assurance solutions for safe, secure, and reliable software systemsJournal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩
N°spécial de revue/special issue
hal-01954953v1
|
||
|
|
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles7th IEEE International Conference on Software Testing, Verification and Validation (ICST 2014), Mar 2014, Cleveland, United States
Communication dans un congrès
hal-01953483v1
|
||
|
|
A UML-based environment for test scenarios in mobile settings2013 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
|
||
|
|
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
|
||
|
|
A toolset for mobile systems testing11th International Conference on Verification and Evaluation of Computer and Communication Systems (VEcOS 2017), Aug 2017, Montréal, Canada. pp.124-138
Communication dans un congrès
hal-01499518v1
|
||
|
|
Elimination des fautes : contribution au test du logicielInformatique et langage [cs.CL]. Institut National Polytechnique de Toulouse - INPT, 2011
HDR
tel-00676826v1
|
||
|
|
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
|
||
|
|
The many meanings of UML 2 Sequence Diagrams: a surveySoftware and Systems Modeling, 2011, 10 (4), pp.489-514. ⟨10.1007/s10270-010-0157-9⟩
Article dans une revue
hal-03601768v1
|
||
|
|
A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩
Communication dans un congrès
hal-04294958v1
|
||
|
|
GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces14th 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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩
Communication dans un congrès
hal-03770653v1
|
||
|
|
Seven Technical Issues That May Ruin Your Virtual Tests for ADAS32nd IEEE Intelligent Vehicles Symposium, Jul 2021, Nagoya, Japan. ⟨10.1109/IV48863.2021.9575953⟩
Communication dans un congrès
hal-03377931v2
|
||
|
|
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
|
||
|
|
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
|
||
|
|
Les défis du Test Logiciel - Bilan et PerspectivesJournées Nationales du GDR GPL, Jun 2014, Paris, France
Communication dans un congrès
hal-01953503v1
|
||
|
|
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
|
- 1
- 2