Jean Fortin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2008–2015
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICA3PP | Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. | Jean Fortin, Frdric Gava |
| 2013 | IFM | Deductive Verification of State-Space Algorithms. | Frdric Gava, Jean Fortin, Michal Guedj |
| 2012 | PDCAT | Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. | Frdric Gava, Arthur Hidalgo, Jean Fortin |
| 2009 | PDP | Two Formal Semantics of a Subset of the Paderborn University BSPlib. | Frdric Gava, Jean Fortin |
| 2008 | PDCAT | Formal Semantics of a Subset of the Paderborn's BSPlib. | Frdric Gava, Jean Fortin |