|
||
---|---|---|
hal-02441365v1
Conference papers
A service-based modelling approach to ease the certification of multi-core COTS processors SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩ |
||
hal-02441323v1
Conference papers
PHYLOG certification methodology: a sane way to embed multi-core processors 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France |
||
hal-03012557v1
Conference papers
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Journées du Groupe de Travail Vérification du GDR GPL 2019, Jun 2019, Nantes, France. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩ ![]() |
||
hal-02332531v1
Conference papers
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol 23rd International Symposium on Formal Methods (FM 2019), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-30942-8_5⟩ |
||
|