Filtrer vos résultats
- 12
- 4
- 9
- 3
- 2
- 1
- 1
- 1
- 1
- 14
- 3
- 3
- 3
- 3
- 2
- 5
- 1
- 2
- 1
- 1
- 1
- 13
- 3
- 7
- 7
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 16
- 11
- 4
- 4
- 3
- 3
- 3
- 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
16 résultats
|
|
triés par
|
|
SPARK by Example: an introduction to formal verification through the standard C++ libraryAda Letters, 2018, 38 (2), pp.89-96. ⟨10.1145/3375408.3375415⟩
Article dans une revue
hal-02417184v1
|
||
|
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Dec 2021, Austin, France. pp.32-8, ⟨10.29007/2jw8⟩
Communication dans un congrès
hal-03587676v1
|
||
|
Constraint-based Verification of Formation Control2021 60th IEEE Conference on Decision and Control (CDC), Dec 2021, Austin, France. pp.7136-7141, ⟨10.1109/CDC45484.2021.9683622⟩
Communication dans un congrès
hal-03587686v1
|
||
|
From Lustre to Simulink: reverse compilation for verifying Embedded Systems ApplicationsACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩
Article dans une revue
hal-03323076v1
|
||
|
Safety Verification of Neural Network Controlled Systems51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2021, Taipei, Taiwan
Communication dans un congrès
hal-02975455v2
|
||
|
SAM : un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronauxModélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
Communication dans un congrès
hal-04465231v1
|
||
|
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, France. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩
Communication dans un congrès
hal-02163873v1
|
||
|
Modélisation de réglementations pour le partage d'information dans un SMA2007
Pré-publication, Document de travail
hal-00192341v1
|
||
|
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code ValidationACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩
Article dans une revue
hal-04201875v1
|
||
Normes et logique déontiquePierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle : Volume 1. Représentation des connaissances et formalisation des raisonnements, Cépaduès Editions, pp.215-237, 2014
Chapitre d'ouvrage
hal-00997137v1
|
|||
Abstract domains for constraint programming with differential equationsNSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩
Communication dans un congrès
hal-03068260v1
|
|||
|
Verifying the Mathematical Library of an UAV Autopilot with Frama-C26th International Conference on Formal Methods for Industrial Critical Systems - FMICS 2021, Aug 2021, Paris, France. ⟨10.1007/978-3-030-85248-1_10⟩
Communication dans un congrès
hal-03344191v1
|
||
|
A Verified UAV Flight Plan Generator2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), May 2023, Melbourne, Australia. pp.130-140, ⟨10.1109/FormaliSE58978.2023.00021⟩
Communication dans un congrès
hal-04165427v1
|
||
|
Automated analysis of Stateflow models21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161
Communication dans un congrès
hal-02092930v1
|
||
|
Formal Verification for Autopilot - Preliminary state of the art[Technical Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport
hal-03255656v1
|
||
|
A gentle introduction to C code verification using the Frama-C platform[Research Report] ISAE-SUPAERO; ONERA -- The French Aerospace Lab; ENAC. 2022
Rapport
hal-03625208v1
|