Filtrer vos résultats
- 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 résultats
|
|
|
triés par
|
|
|
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⟩
Article dans une revue
hal-04201875v1
|
||
Faites-vous confiance à votre thermostat ?Interstices, 2022
Article dans une revue
hal-03750359v1
|
|||
|
|
A Formally Verified Compiler for LustrePLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Communication dans un congrès
hal-01512286v1
|
||
|
|
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⟩
Communication dans un congrès
hal-01817949v1
|
||
|
|
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⟩
Article dans une revue
hal-02426573v1
|