Filter your results
- 4
- 1
- 3
- 2
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 1
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
5 Results
|
|
sorted by
|
Faites-vous confiance à votre thermostat ?Interstices, 2022
Journal articles
hal-03750359v1
|
|||
|
Mechanized semantics and verified compilation for a dataflow synchronous language with resetProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
Journal articles
hal-02426573v1
|
||
|
Towards a verified Lustre compiler with modular reset21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩
Conference papers
hal-01817949v1
|
||
|
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code ValidationACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩
Journal articles
hal-04201875v1
|
||
|
A Formally Verified Compiler for LustrePLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Conference papers
hal-01512286v1
|