Benoît Caillaud
- Centre Inria de l'Université de Rennes
- LANGAGE ET GÉNIE LOGICIEL (IRISA-D4)
- Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)
- Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES)
Publications
Publications
|
|
Structural Methods for handling mode changes in multimode DAE systemsRR-9603, Inria. 2026, pp.61 |
|
|
Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46 |
|
|
Structural Analysis of Multimode DAE Systems: summary of results[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27 |
|
|
The Mathematical Foundations of Physical Systems Modeling Languages[Research Report] RR-9334, Inria. 2020, pp.112 |
|
|
Implicit Structural Analysis of Multimode DAE Systems[Research Report] RR-9322, Inria Rennes - Bretagne Atlantique; IRISA, Université de Rennes. 2020 |
|
|
Structural Analysis of Multi-Mode DAE Systems[Research Report] RR-8933, Inria. 2017, pp.1-23 |
|
|
Contracts for Systems Design: Methodology and Application cases[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63 |
|
|
Contracts for Systems Design: Theory[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86 |
|
|
On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)[Research Report] RR-8630, Inria. 2014, pp.30 |
|
|
Contracts for System Design[Research Report] RR-8147, INRIA. 2012, pp.65 |
|
|
Ensuring Reachability by Design[Research Report] RR-7928, INRIA. 2012, pp.1-20 |
|
|
Application of Interface Theories to the Separate Compilation of Synchronous Programs[Research Report] RR-8030, INRIA. 2012 |
|
|
Statistical abstraction and model-checking of large heterogeneous systems[Research Report] RR-7238, INRIA. 2010 |
|
|
Compositional Design Methodology with Constraint Markov Chains[Research Report] RR-6993, INRIA. 2009 |
|
|
Why are modalities good for Interface Theories?[Research Report] RR-6899, INRIA. 2009 |
|
|
Compositional Reasoning on (Probabilistic) Contracts[Research Report] RR-6970, INRIA. 2009 |
|
|
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts[Research Report] RR-6719, INRIA. 2008, pp.17 |
|
|
A Generic Model of Contracts for Embedded Systems[Research Report] RR-6214, INRIA. 2007 |
|
|
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications[Research Report] PI 1730, 2005, pp.22 |
|
|
Concurrent Secrets[Research Report] RR-5771, INRIA. 2005, pp.22 |
|
|
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications[Research Report] RR-5610, INRIA. 2005, pp.22 |
|
|
Concurrency in synchronous systems[Research Report] RR-5110, INRIA. 2004 |
|
|
Modular system development with pullbacks[Research Report] RR-4828, INRIA. 2003 |
|
|
BDL: A Semantics Backbone for UML Dynamic Diagrams[Research Report] RR-4003, INRIA. 2000 |
|
|
HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri[Rapport de recherche] RR-3970, INRIA. 2000 |
|
|
From Synchrony to Asynchrony[Research Report] RR-3641, INRIA. 1999 |
|
|
Hierarchic Normal Forms for Desynchronization[Research Report] RR-3822, INRIA. 1999 |
|
|
BDl, A Language of Distributed Reactive Objects[Research Report] RR-3353, INRIA. 1998 |
|
|
An Effective Equivalence for Sets of Scenarios Represented by HMSCs[Research Report] RR-3499, INRIA. 1998 |
|
|
Synet : un outil de synthèse de réseaux de Petri bornés, applications[Rapport de recherche] RR-3155, INRIA. 1997 |
|
|
Distributing Automata for Asynchronous Networks of Processors[Research Report] RR-2341, INRIA. 1994 |
|
|
Measuring Concurrency of Regular Distributed Computations[Research Report] RR-2394, INRIA. 1994 |
|
|
Correctness of automated distribution of sequential programs[Research Report] RR-1724, INRIA. 1992 |
|
|
The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms[Research Report] RR-1102, INRIA. 1989 |
|
|
Benchmarking the Modular Structural Analysis Algorithm2025 - 16th International Modelica & FMI Conference, Ulf Christian Müller; Dirk Zimmer, Sep 2025, Lucerne, Switzerland. pp.1-14, ⟨10.3384/ecp218175⟩ |
|
|
Fault Diagnosability Analysis of Multi-Mode SystemsSAFEPROCESS 2024 - 12th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, IFAC, Jun 2024, Ferrara, Italy. pp.210-215, ⟨10.1016/j.ifacol.2024.07.219⟩ |
|
|
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⟩ |
|
|
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 |
|
|
Handling Multimode Models and Mode Changes in ModelicaModelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩ |
|
|
Compile-Time Impulse Analysis in ModelicaMODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11 |
|
|
An Algebra of Deterministic Propositional Acceptance Automata (DPAA)FDL 2020 - Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
From Observations to Collaborative Simulation: Application to Surgical TrainingICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States |
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
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⟩ |
|
|
|
Surgical Process Mining with Test and Flip Net SynthesisApplication of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54 |
Ensuring Reachability by Design9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227 |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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 |
|
|
|
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⟩ |
The Fundamentals of Hybrid Systems Modelers49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States |
|
|
|
Compositional design methodology with constraint Markov chainsQEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩ |
|
|
Why are modalities good for Interface Theories?The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany |
Modal Interfaces: Unifying Interface Automata and Modal Specifications.Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France |
|
|
|
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⟩ |
|
|
Fault Diagnosability Analysis of Multi-Mode Systems2023 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Multi-Viewpoint State Machines for Rich Component ModelsPieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009 |
|
|
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 |
|
|
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 |
|
|
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⟩ |
|
|
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers2013 |
|
|
Semantics of multi-mode DAE systems2013 |