( en | de | ru )

 

Disambiguation of "Conchon, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Model Checking Modulo Explicit Weak Memory Models.

, , and . IMPEX/FM&MDD, volume 271 of EPTCS, page 48-63. (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

René Conchon

Emmanuel Conchon

Sylvain Broyer

Sylvain Mogliacci

Sylvain Castagnos

 

Other publications of authors with the same name

Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction., , and . CILC, volume 3002 of CEUR Workshop Proceedings, page 77-91. CEUR-WS.org, (2021)A persistent union-find data structure., and . ML, page 37-46. ACM, (2007)Strategies for Combining Decision Procedures., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 537-552. Springer, (2003)Apprendre à programmer avec OCaml : Algorithmes et structures de données, and . (2014)Information flow inference for free., and . ICFP, page 46-57. ACM, (2000)SIGPLAN Notices 35(9), September 2000.Some Insights on Open Problems in Blockchains: Explorative Tracks for Tezos (Invited Talk).. FAB, volume 101 of OASIcs, page 2:1-2:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Strategies for combining decision procedures., and . Theor. Comput. Sci., 354 (2): 187-210 (2006)Reasoning About Universal Cubes in MCMT., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 270-285. Springer, (2019)The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker., and . SEFM, volume 14323 of Lecture Notes in Computer Science, page 30-46. Springer, (2023)JOIN(X): Constraint-Based Type Inference for the Join-Calculus., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 221-236. Springer, (2001)