Jean Fortin

According to our database, Jean Fortin authored at least 8 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation.

Jean Fortin, Frédéric Gava

Int. J. Parallel Program., 2016

2015

Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case.

Jean Fortin, Frédéric Gava

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

2013

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms. (BSP-Why, a tool for deductive verification of BSP programs : sémantiques mécanisées et application aux algorithmes d'espace d'états distribués).

Jean Fortin

PhD thesis, 2013

Deductive Verification of State-Space Algorithms.

Frédéric Gava, Jean Fortin, Michaël Guedj

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

Mechanised Verification of Distributed State-Space Algorithms for Security Protocols.

Frédéric Gava, Arthur Hidalgo, Jean Fortin

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

2010

From BSP routines to high-performance ones: Formal verification of a transformation case.

Jean Fortin, Frédéric Gava

Proceedings of the International Conference on Computational Science, 2010

2009

Two Formal Semantics of a Subset of the Paderborn University BSPlib.

Frédéric Gava, Jean Fortin

Proceedings of the 17th Euromicro International Conference on Parallel, 2009

2008

Formal Semantics of a Subset of the Paderborn's BSPlib.

Frédéric Gava, Jean Fortin

Proceedings of the Ninth International Conference on Parallel and Distributed Computing, 2008