- 40
- 13
- 7
- 5
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
Benoît Caillaud
84
Documents
Affiliations actuelles
- 419153
- 419365
- 105128
- 491207
Publications
- 16
- 16
- 15
- 13
- 13
- 12
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 14
- 12
- 9
- 8
- 8
- 8
- 8
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 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
- 2
- 3
- 4
- 7
- 3
- 2
- 4
- 4
- 4
- 3
- 3
- 6
- 6
- 5
- 6
- 2
- 1
- 1
- 3
- 2
- 1
- 3
- 2
- 2
- 1
- 2
- 1
- 1
|
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
|
|
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
|
|
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
|
Implicit structural analysis of multimode DAE systemsHSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney New South Wales Australia, France. pp.1-11, ⟨10.1145/3365365.3382201⟩
Communication dans un congrès
hal-02572879v1
|
|
|
An Algebra of Deterministic Propositional Acceptance Automata (DPAA)FDL 2020 - Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
Communication dans un congrès
hal-02971772v1
|
|
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
|
|
From Observations to Collaborative Simulation: Application to Surgical Training ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States
Communication dans un congrès
hal-01391776v1
|
Chattering-Free Simulation for Hybrid Dynamical Systems2016 IEEE International Conference on Computational Science and Engineering, IEEE International Conference on Embedded and Ubiquitous Computing, and International Symposium on Distributed Computing and Applications to Business, Engineering and Science, Aug 2016, Paris, France. ⟨10.1109/CSE-EUC-DCABES.2016.217⟩
Communication dans un congrès
hal-01365875v1
|
|
|
Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0The First Japanese Modelica Conferences, Modelon and Modelica Association May 2016, Tokyo, Japan. pp.95-105, ⟨10.3384/ecp1612495⟩
Communication dans un congrès
hal-01247008v1
|
|
On the Regularization of Chattering Executions in Real Time Simulation of Hybrid SystemsBaltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49
Communication dans un congrès
hal-01246853v2
|
|
Robust Simulation for Hybrid Systems Chattering Path AvoidanceThe 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
Communication dans un congrès
hal-01247074v4
|
|
Domain Globalization: Using Languages to Support Technical and Social CoordinationInternational Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
Communication dans un congrès
hal-01234653v1
|
A Type-Based Analysis of Causality Loops in Hybrid ModelersHSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
Communication dans un congrès
hal-01093388v1
|
|
|
Surgical Process Mining with Test and Flip Net SynthesisApplication of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54
Communication dans un congrès
hal-00872284v1
|
Ensuring Reachability by Design9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
Communication dans un congrès
hal-00766735v1
|
|
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
|
|
Compositional design methodology with constraint Markov chainsQEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
Communication dans un congrès
inria-00591578v1
|
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
|
|
|
Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsJoint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.32-46, ⟨10.1007/978-3-642-13464-7_4⟩
Communication dans un congrès
inria-00554321v2
|
Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal
Communication dans un congrès
inria-00554297v1
|
|
Modal Interfaces: Unifying Interface Automata and Modal Specifications.Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France
Communication dans un congrès
inria-00555742v1
|
|
|
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
|
|
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
|
|
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
|
|
Multi-Mode DAE Models - Challenges, Theory and ImplementationComputing and Software Science: State of the Art and Perspectives, LNCS-10000, Springer, pp.283-310, 2019, Lecture Notes in Computer Science, 978-3-319-91907-2. ⟨10.1007/978-3-319-91908-9_16⟩
Chapitre d'ouvrage
hal-02333603v1
|
|
Synchronous Interfaces and Assume/Guarantee ContractsLuca Aceto; Giorgio Bacci; Giovanni Bacci; Anna Ingólfsdóttir; Radu Mardare. Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.233-248, 2017, Theoretical Computer Science and General Issues, 978-3-319-63121-9. ⟨10.1007/978-3-319-63121-9_12⟩
Chapitre d'ouvrage
hal-01616369v1
|
Multi-Viewpoint State Machines for Rich Component ModelsPieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009
Chapitre d'ouvrage
inria-00555728v1
|
|
Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE SystemsHSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
Poster de conférence
hal-02545380v1
|
|
Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.1, 2019
Poster de conférence
hal-02123682v1
|
Contracts for System DesignNow Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Ouvrages
hal-01971429v1
|
|
Fault Diagnosability Analysis of Multi-Mode Systems2023
Pré-publication, Document de travail
hal-04361934v1
|