Publications de
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/
BibTeXArnaud 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/
BibTeXPierre-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