Follow
Fabrice Kordon
Fabrice Kordon
Professeur d'Informatique, Sorbonne Université
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
CosyVerif: The Path to Formalisms Cohabitation
É André, J Arias, B Barbot, F Hulin-Hubard, F Kordon, VF Le, L Petrucci
International Conference on Applications and Theory of Petri Nets and …, 2024
2024
Models and Analysis for Distributed Systems
S Haddad, F Kordon
John Wiley & Sons, 2023
62023
TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019
D Beyer, M Huisman, F Kordon, B Steffen
International Journal on Software Tools for Technology Transfer 23 (6), 879-881, 2021
2021
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019
F Kordon, LM Hillah, F Hulin-Hubard, L Jezequel, E Paviot-Adet
International Journal on Software Tools for Technology Transfer 23 (6), 931-952, 2021
52021
CosyVerif: an Online Verification Platform
J Arias, B Barbot, F Hulin-Hubard, F Kordon, L Petrucci
Petri Net Newsletter 87, 5--7, 2021
2021
Transactions on Petri Nets and Other Models of Concurrency XV
M Koutny, F Kordon, L Pomello
Springer Nature, 2021
2021
New concurrent and distributed painless solvers: p-mcomsps, p-mcomsps-com, p-mcomsps-mpi, and p-mcomsps-com-mpi
V Vallade, L Le Frioux, R Oanea, S Baarir, J Sopena, F Kordon, S Nejati, ...
SAT COMPETITION, 40, 2021
82021
Correction to: Transactions on Petri Nets and Other Models of Concurrency XV
M Koutny, F Kordon, L Pomello
Transactions on Petri Nets and Other Models of Concurrency XV, C1-C1, 2021
2021
Mcc 2021
A Toullalan, F Kordon
Communications of the ACM, 2021
32021
P-MCOMSPS-STR: a Painless-based Portfolio of MapleCOMSPS with Clause Strengthening.
V Vallade, L Le Frioux, S Baarir, J Sopena, F Kordon
SAT COMPETITION 2020, 56, 2020
12020
Community and LBD-based clause sharing policy for parallel SAT solving
V Vallade, L Le Frioux, S Baarir, J Sopena, V Ganesh, F Kordon
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
82020
On the usefulness of clause strengthening in parallel sat solving
V Vallade, L Le Frioux, S Baarir, J Sopena, F Kordon
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
52020
Toolympics 2019: An overview of competitions in formal methods
J NAGELE, E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, ...
Springer Verlag, 2019
12019
25 Years of TACAS: TOOLympics: Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019: Proceedings
D Beyer, M Huisman, F Kordon, B Steffen
Springer, 2019
2019
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 …
D Beyer, M Huisman, F Kordon, B Steffen
Springer Nature, 2019
92019
Software architecture of modern model checkers
F Kordon, M Leuschel, J van de Pol, Y Thierry-Mieg
Computing and Software Science: State of the Art and Perspectives, 393-419, 2019
72019
Composing symmetry propagation and effective symmetry breaking for SAT solving
H Metin, S Baarir, F Kordon
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
132019
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
492019
Modular and efficient divide-and-conquer SAT solver on top of the painless framework
L Le Frioux, S Baarir, J Sopena, F Kordon
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
252019
TOOLympics 2019: An overview of competitions in formal methods
E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
452019
The system can't perform the operation now. Try again later.
Articles 1–20