Skip to Main content Skip to Navigation


...
hal-02441323v1  Conference papers
Frédéric BoniolYoucef BouchebabaJulien BrunelKevin DelmasThomas Loquen et al.  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
Jean-Paul BodeveixJulien BrunelDavid ChemouilMamoun Filali. 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⟩