- 6
- 1
- 1
Benoît Caillaud
8
Documents
Affiliations actuelles
- 419153
- 419365
- 105128
- 491207
Publications
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 6
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
|
|
Semantics of multi-mode DAE systems2013
Autre publication scientifique
hal-00938891v1
|
|
|
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers2013
Autre publication scientifique
hal-00938866v1
|
|
|
Building a Hybrid Systems Modeler on Synchronous Languages PrinciplesProceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩
Article dans une revue
hal-01879026v1
|
|
|
A Type-based Analysis of Causality Loops in Hybrid Systems ModelersNonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
Article dans une revue
hal-01549183v2
|
Non-standard semantics of hybrid systems modelersJournal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
Article dans une revue
hal-00766726v1
|
|
|
On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)[Research Report] RR-8630, Inria. 2014, pp.30
Rapport
hal-01084069v1
|
|
|
A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous codeEMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
Communication dans un congrès
hal-00654113v1
|
Divide and recycle: types and compilation for a hybrid synchronous languageProceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. ⟨10.1145/1967677.1967687⟩
Communication dans un congrès
hal-00654112v1
|