Sylvain Conchon

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A three-tier strategy for reasoning about floating-point numbers in SMT	2022-08-12	Paper
Declarative parameterized verification of distributed protocols via the Cubicle model checker Fundamenta Informaticae	2021-06-04	Paper
Parameterized model checking on the TSO weak memory model Journal of Automated Reasoning	2020-11-02	Paper
A non-linear arithmetic procedure for control-command software verification	2019-09-16	Paper
Cubicle-\(\mathcal{W}\): parameterized model checking on weak memory	2018-10-18	Paper
Adding decision procedures to SMT solvers using axioms with triggers Journal of Automated Reasoning	2016-05-26	Paper
Information flow inference for free Proceedings of the fifth ACM SIGPLAN international conference on Functional programming	2015-09-11	Paper
\textsf{CC(X)}: semantic combination of congruence closure with solvable theories Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation Logical Methods in Computer Science	2012-09-25	Paper
A simplex-based extension of Fourier-Motzkin for solving linear integer arithmetic Automated Reasoning	2012-09-05	Paper
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
Canonization for disjoint unions of theories. Lecture Notes in Computer Science	2010-04-20	Paper
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme Frontiers of Combining Systems	2010-01-07	Paper
Semi-persistent Data Structures Programming Languages and Systems	2008-04-11	Paper
Strategies for combining decision procedures Theoretical Computer Science	2006-04-28	Paper
Canonization for disjoint unions of theories Information and Computation	2005-08-05	Paper
scientific article; zbMATH DE number 1956606 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1692942 (Why is no real title available?)	2002-01-21	Paper

Research outcomes over time

This page was built for person: Sylvain Conchon