引用次数
引用: 1,459
H-指数: 18
I10-指数 : 30
出版物: 119
La culture comme moteur
Jean Fortin
Continuité ( 136) 28 -30
2013
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation
Jean Fortin , Frédéric Gava
International Journal of Parallel Programming 44 ( 3) 574 -597
7
2016
Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case
Jean Fortin , Frédéric Gava
international conference on algorithms and architectures for parallel processing 222 -237
1
2015
Two Formal Semantics of a Subset of the Paderborn University BSPlib
Frédéric Gava , Jean Fortin
parallel, distributed and network-based processing 44 -51
3
2009
Mechanised Verification of Distributed State-Space Algorithms for Security Protocols
Frederic Gava , Arthur Hidalgo , Jean Fortin
parallel and distributed computing: applications and technologies 311 -316
2012
Formal Semantics of a Subset of the Paderborn's BSPlib
Frédéric Gava , Jean Fortin
parallel and distributed computing: applications and technologies 269 -276
9
2008
Deductive Verification of State-Space Algorithms
Frédéric Gava , Jean Fortin , Michael Guedj
integrated formal methods 124 -138
5
2013
BSP-WHY: an intermediate language for deductive verification of BSP programs
Jean Fortin , Frédéric Gava
35 -44
24
2010
From BSP routines to high-performance ones: Formal verification of a transformation case
Jean Fortin , Frédéric Gava
Procedia Computer Science 1 ( 1) 155 -164
4
2010
BSP-Why: a Tool for Deductive Verification of BSP Programs
Jean Fortin
université de Paris-Est 55 -55
3
2013
Classification markovienne automatique d'images aériennes de haute résolution
Xavier Marsault , Matthieu Aubry , Jean Fortin , Lamiae Azizi
SAGEO 2009
1
2009
BSP-Why, un outil pour la vérification déductive de programmes BSP: machine-checked semantics and application to distributed state-space algorithms
Jean Fortin
Université Paris-Est
2013
Formal Operational Semantics of a Core Imperative BSP language
Jean Fortin , Frédéric Gava
2008
Rapport de Stage: Analyse d’images aériennes de haute résolution du département de Haute Savoie
Jean Fortin
2006
Preuves formelles d’algorithmes séquentiels et distribués de model-checking (NDFS et Tarjan)
Frédéric Gava , Jean Fortin , Julien Tesson
Preuve formelle d’algorithmes parallèles pour la génération de l’espace d’état et la vérification de protocoles de sécurité
Frédéric Gava , Franck Pommereau , Jean Fortin
Mechanised Semantics of BSP Routines with Subgroup Synchronisation
Jean Fortin , Frédéric Gava
Unjamming in Dry Granular Matter: Second-Order Phase Transition between Fragile Solid and Dry Fluid (Bearing) by Intermittency.
Nicolas Rivier , Jean Yves Fortin
Solid State Phenomena 1106 -1111
2
2011
A New Ultradian Rhythm Linked to Protein Degradation and Synthesis in Mammalian Cells
L. Ghenim , C. Allier , P. Obeid , L. Hervé
bioRxiv
1
2019
Crystallization and dynamics of defects in a magnetic fluctuating medium
Jean-Yves P Fortin
arXiv preprint arXiv:2401.11528
2024