Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Compilation Of Synchronous Observers As Code Contracts
Arnaud Dieumegard
,
Pierre-Loic Garoche
,
Temesghen Kahsai
,
Alice Tailliar
,
Xavier Thirioux
January 2015
PDF
DOI
Type
Conference paper
Publication
30th ACM/SIGAPP Symposium on Applied Computing, SAC 2015, Salamanca, Spain - April 13 - 17, 2015
own
Related
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Credible Autocoding of Convex Optimization Algorithms
Synthesizing Modular Invariants for Synchronous Code
Testing-Based Compiler Validation for Synchronous Languages
Cite
×