- 14
- 5
- 4
- 3
- 3
- 2
- 1
Benoît Caillaud
32
Documents
Affiliations actuelles
- 419153
- 419365
- 105128
- 491207
Publications
- 11
- 11
- 9
- 9
- 9
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 10
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 4
- 2
- 1
- 1
- 2
- 3
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 1
|
|
From Hybrid Automata to DAE-Based ModelingPrinciples of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩
Chapitre d'ouvrage
hal-03921708v1
|
|
|
Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systemsModelica 2023 - 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
Communication dans un congrès
hal-04295096v1
|
|
|
A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica ModelsMODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Communication dans un congrès
hal-03320499v1
|
|
|
Compile-Time Impulse Analysis in ModelicaMODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
Communication dans un congrès
hal-03281394v1
|
|
|
Handling Multimode Models and Mode Changes in ModelicaModelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
Communication dans un congrès
hal-03281410v1
|
|
|
Structural Analysis of Multi-Mode DAE SystemsProceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
Communication dans un congrès
hal-01521918v1
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
Communication dans un congrès
hal-00766793v1
|
|
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
|
|
|
|
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
|
The Fundamentals of Hybrid Systems Modelers49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
Communication dans un congrès
inria-00554271v1
|
|
|
|
Why are modalities good for Interface Theories?The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
Communication dans un congrès
inria-00389051v1
|
|
|
Causality and Scheduling Constraints in Heterogeneous Reactive Systems ModelingFormal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩
Communication dans un congrès
inria-00001058v1
|
|
|
Algorithms for the Structural Analysis of Multimode Modelica ModelsElectronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
Article dans une revue
hal-03768331v1
|
|
|
The mathematical foundations of physical systems modeling languagesAnnual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
Article dans une revue
hal-03045498v1
|
Composing Heterogeneous Reactive SystemsACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩
Article dans une revue
inria-00555841v1
|
|
|
|
Concurrency in Synchronous SystemsFormal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩
Article dans une revue
inria-00124252v1
|
|
|
Compositionality in dataflow synchronous languages: specification & distributed code generationInformation and Computation, 2000, 163 (1), pp.125-171. ⟨10.1006/inco.2000.9999⟩
Article dans une revue
hal-00543297v1
|
|
|
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers2013
Autre publication scientifique
hal-00938866v1
|
|
|
Semantics of multi-mode DAE systems2013
Autre publication scientifique
hal-00938891v1
|