Publications

Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux

Hierarchical State Machines as Modular Horn Clauses (regular paper)

Dans : Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The Netherlands, 03/04/16, Vol. 219, Electronic Proceedings in Theorical Computer Science (EPTCS), p. 15-28, avril 2016.

Résumé Accès : https://doi.org/10.4204/EPTCS.219.2 – https://oatao.univ-toulouse.fr/22653/
BibTeX

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Compilation of synchronous observers as code contracts (regular paper)

Dans : Annual ACM Symposium on Applied Computing (SAC 2015), Salamanca, Spain, 13/04/15-17/04/15, ACM : Association for Computing Machinery, p. 1933-1939, avril 2015.

Accès : https://doi.org/10.1145/2695664.2695819 – https://oatao.univ-toulouse.fr/22652/
BibTeX

Pierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux

Testing-Based Compiler Validation for Synchronous Languages (regular paper)

Dans : International Symposium on NASA Formal Methods (NFM 2014), Houston, Texas, 29/04/14-01/05/14, Vol. 8430, Julia M. Badger, Kristin Yvonne Rozier (Eds.), Springer, Lecture Notes in Computer Science, p. 246-251, mai 2014.

Accès : https://doi.org/10.1007/978-3-319-06200-6_19 – https://oatao.univ-toulouse.fr/22651/
BibTeX