Filtrer vos résultats
- 6
- 4
- 9
- 1
- 10
- 1
- 1
- 2
- 1
- 3
- 1
- 1
- 9
- 1
- 5
- 4
- 4
- 3
- 1
- 1
- 1
- 1
- 10
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
|
triés par
|
|
|
Programming and verifying real-time design using logical timeFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Communication dans un congrès
hal-03537976v1
|
||
Contrôle intelligent et isoarchique de flux de personnes basé sur la biométrie et l’infotronique9e Congrès International de Génie Industriel (CIGI 2011), 2011, Saint-Sauveur, Québec, Canada
Communication dans un congrès
hal-01216900v1
|
|||
|
|
Semantics foundations of PsyC based on synchronous Logical Execution TimeCPS-IoT Week 2023 - Cyber-Physical Systems and Internet of Things Week 2023, May 2023, San Antonio TX USA, France. pp.319-324, ⟨10.1145/3576914.3587495⟩
Communication dans un congrès
hal-04355453v1
|
||
State Space Reduction Strategie for Model Checking Concurrent C Programs9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76
Communication dans un congrès
hal-01242951v1
|
|||
|
|
The synchronous Logical Execution Time paradigmERTS 2022 - Embedded real time systems, Jun 2022, Toulouse, France
Communication dans un congrès
hal-03694950v1
|
||
|
|
Vérification d'applications temps-réel basées sur le paradigme de Logical Execution Time (LET)École d’Été Temps Réel 2021, Sep 2021, Poitiers, France
Communication dans un congrès
hal-03545758v1
|
||
|
|
Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programsTenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain
Communication dans un congrès
hal-01501469v1
|
||
|
|
ASTERIOS Checker : A Verification Tool for Certifying Airborne Software10th European Congress on Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès
hal-02508852v1
|
||
Specifying and Verifying Concurrent C Programs with TLA+Formal Techniques for Safety-Critical Systems, 476, Springer, pp.206-222, 2015, Communications in Computer and Information Science
Chapitre d'ouvrage
hal-01242954v1
|
|||
Specifying and Verifying Concurrent C Programs with TLA+The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., Nov 2014, X, France. pp.12-25
Communication dans un congrès
hal-01126566v1
|