Benoît Caillaud

88
Documents
Affiliations actuelles
  • 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

40
13
8
7
5
4
2
2
2
1
1
1
1
1
17
17
16
13
13
13
7
7
7
6
6
5
5
5
5
4
4
4
4
4
4
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
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
35
17
12
10
9
8
8
8
7
6
6
5
5
5
5
4
4
4
4
4
4
4
4
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
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
2
2
3
4
7
3
2
4
4
5
2
3
6
6
5
6
2
1
1
3
2
1
3
2
2
1
2
1
1

Publications

Deposit thumbnail

Structural Methods for handling mode changes in multimode DAE systems

Albert Benveniste , Benoit Caillaud , Yahao Chen , Khalil Ghorbal , Mathias Malandain

RR-9603, Inria. 2026, pp.61

Rapport hal-05385651v2
Deposit thumbnail

Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code

Albert Benveniste , Benoît Caillaud , Mathias Malandain

[Research Report] RR-9459, Inria Rennes - Bretagne Atlantique. 2022, pp.1-46

Rapport (rapport de recherche) hal-03580636v1
Deposit thumbnail

Structural Analysis of Multimode DAE Systems: summary of results

Albert Benveniste , Benoît Caillaud , Mathias Malandain

[Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27

Rapport (rapport de recherche) hal-03104030v2
Deposit thumbnail

The Mathematical Foundations of Physical Systems Modeling Languages

Albert Benveniste , Benoît Caillaud , Mathias Malandain

[Research Report] RR-9334, Inria. 2020, pp.112

Rapport (rapport de recherche) hal-02521747v3
Deposit thumbnail

Implicit Structural Analysis of Multimode DAE Systems

Benoît Caillaud , Mathias Malandain , Joan Thibault

[Research Report] RR-9322, Inria Rennes - Bretagne Atlantique; IRISA, Université de Rennes. 2020

Rapport (rapport de recherche) hal-02476541v1
Deposit thumbnail

Structural Analysis of Multi-Mode DAE Systems

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter et al.

[Research Report] RR-8933, Inria. 2017, pp.1-23

Rapport (rapport de recherche) hal-01343967v3
Deposit thumbnail

Contracts for Systems Design: Methodology and Application cases

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.

[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63

Rapport (rapport de recherche) hal-01178469v1
Deposit thumbnail

Contracts for Systems Design: Theory

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.

[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86

Rapport (rapport de recherche) hal-01178467v1
Deposit thumbnail

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Marc Pouzet

[Research Report] RR-8630, Inria. 2014, pp.30

Rapport (rapport de recherche) hal-01084069v1
Deposit thumbnail

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.

[Research Report] RR-8147, INRIA. 2012, pp.65

Rapport (rapport de recherche) hal-00757488v1
Deposit thumbnail

Ensuring Reachability by Design

Benoit Caillaud , Jean-Baptiste Raclet

[Research Report] RR-7928, INRIA. 2012, pp.1-20

Rapport (rapport de recherche) hal-00696151v1
Deposit thumbnail

Application of Interface Theories to the Separate Compilation of Synchronous Programs

Albert Benveniste , Benoît Caillaud , Jean-Baptiste Raclet

[Research Report] RR-8030, INRIA. 2012

Rapport (rapport de recherche) hal-00721049v1
Deposit thumbnail

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye et al.

[Research Report] RR-7238, INRIA. 2010

Rapport (rapport de recherche) inria-00466158v1
Deposit thumbnail

Compositional Design Methodology with Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen et al.

[Research Report] RR-6993, INRIA. 2009

Rapport (rapport de recherche) inria-00404304v2
Deposit thumbnail

Why are modalities good for Interface Theories?

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone

[Research Report] RR-6899, INRIA. 2009

Rapport (rapport de recherche) inria-00375098v1
Deposit thumbnail

Compositional Reasoning on (Probabilistic) Contracts

Benoît Delahaye , Benoit Caillaud , Axel Legay

[Research Report] RR-6970, INRIA. 2009

Rapport (rapport de recherche) inria-00398985v1
Deposit thumbnail

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye , Benoit Caillaud

[Research Report] RR-6719, INRIA. 2008, pp.17

Rapport (rapport de recherche) inria-00337538v1
Deposit thumbnail

A Generic Model of Contracts for Embedded Systems

Albert Benveniste , Benoit Caillaud , Roberto Passerone

[Research Report] RR-6214, INRIA. 2007

Rapport (rapport de recherche) inria-00153477v2
Deposit thumbnail

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoit Caillaud

[Research Report] PI 1730, 2005, pp.22

Rapport (rapport de recherche) inria-00000175v1
Deposit thumbnail

Concurrent Secrets

Eric Badouel , Marek Bednarczyk , Andrzej Borzyszkowski , Benoit Caillaud , Philippe Darondeau

[Research Report] RR-5771, INRIA. 2005, pp.22

Rapport (rapport de recherche) inria-00070249v1
Deposit thumbnail

Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications

Jean-Pierre Talpin , Dumitru Potop-Butucaru , Julien Ouy , Benoit Caillaud

[Research Report] RR-5610, INRIA. 2005, pp.22

Rapport (rapport de recherche) inria-00070397v1
Deposit thumbnail

Concurrency in synchronous systems

Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste

[Research Report] RR-5110, INRIA. 2004

Rapport (rapport de recherche) inria-00071472v1
Deposit thumbnail

Modular system development with pullbacks

Marek Bednarczyk , Luca Bernardinello , Benoit Caillaud , Wieslaw Pawlowski , Lucia Pomello

[Research Report] RR-4828, INRIA. 2003

Rapport (rapport de recherche) inria-00071758v1
Deposit thumbnail

BDL: A Semantics Backbone for UML Dynamic Diagrams

Benoit Caillaud , Jean-Pierre Talpin , Jean-Marc Jézéquel , Albert Benveniste , Claude Jard

[Research Report] RR-4003, INRIA. 2000

Rapport (rapport de recherche) inria-00072641v1
Deposit thumbnail

HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri

Benoit Caillaud , Philippe Darondeau , Loïc Hélouët , Gilles Lesventes

[Rapport de recherche] RR-3970, INRIA. 2000

Rapport (rapport de recherche) inria-00072678v1
Deposit thumbnail

From Synchrony to Asynchrony

Albert Benveniste , Benoit Caillaud , Paul Le Guernic

[Research Report] RR-3641, INRIA. 1999

Rapport (rapport de recherche) inria-00073032v1
Deposit thumbnail

Hierarchic Normal Forms for Desynchronization

Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Paul Le Guernic

[Research Report] RR-3822, INRIA. 1999

Rapport (rapport de recherche) inria-00072836v1
Deposit thumbnail

BDl, A Language of Distributed Reactive Objects

Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Claude Jard , Zakaria Bouziane et al.

[Research Report] RR-3353, INRIA. 1998

Rapport (rapport de recherche) inria-00073336v1
Deposit thumbnail

An Effective Equivalence for Sets of Scenarios Represented by HMSCs

Loïc Hélouët , Claude Jard , Benoit Caillaud

[Research Report] RR-3499, INRIA. 1998

Rapport (rapport de recherche) inria-00073186v1
Deposit thumbnail

Synet : un outil de synthèse de réseaux de Petri bornés, applications

Benoit Caillaud

[Rapport de recherche] RR-3155, INRIA. 1997

Rapport (rapport de recherche) inria-00073534v1
Deposit thumbnail

Distributing Automata for Asynchronous Networks of Processors

Benoit Caillaud , Paul Caspi , Alain Girault , Claude Jard

[Research Report] RR-2341, INRIA. 1994

Rapport (rapport de recherche) inria-00074336v1
Deposit thumbnail

Measuring Concurrency of Regular Distributed Computations

Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval

[Research Report] RR-2394, INRIA. 1994

Rapport (rapport de recherche) inria-00074281v1
Deposit thumbnail

Correctness of automated distribution of sequential programs

Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval

[Research Report] RR-1724, INRIA. 1992

Rapport (rapport de recherche) inria-00076963v1
Deposit thumbnail

The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms

Benoit Caillaud

[Research Report] RR-1102, INRIA. 1989

Rapport (rapport de recherche) inria-00075457v1
Deposit thumbnail

Benchmarking the Modular Structural Analysis Algorithm

Benoît Caillaud , Albert Benveniste , Mathias Malandain

2025 - 16th International Modelica & FMI Conference, Ulf Christian Müller; Dirk Zimmer, Sep 2025, Lucerne, Switzerland. pp.1-14, ⟨10.3384/ecp218175⟩

Communication dans un congrès hal-05257001v1
Deposit thumbnail

Fault Diagnosability Analysis of Multi-Mode Systems

Fatemeh Hashemniya , Benoît Caillaud , Erik Frisk , Mattias Krysander , Mathias Malandain

SAFEPROCESS 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⟩

Communication dans un congrès hal-04803147v1
Deposit thumbnail

Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems

Albert Benveniste , Benoît Caillaud , Mathias Malandain , Joan Thibault

Modelica 2023 - 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩

Communication dans un congrès hal-04295096v1
Deposit thumbnail

A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models

Benoît Caillaud , Mathias Malandain , Albert Benveniste

MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11

Communication dans un congrès hal-03320499v1
Deposit thumbnail

Handling Multimode Models and Mode Changes in Modelica

Albert Benveniste , Benoît Caillaud , Mathias Malandain

Modelica 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩

Communication dans un congrès hal-03281410v1
Deposit thumbnail

Compile-Time Impulse Analysis in Modelica

Albert Benveniste , Benoît Caillaud , Mathias Malandain

MODELICA 2021 - 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11

Communication dans un congrès hal-03281394v1
Deposit thumbnail

An Algebra of Deterministic Propositional Acceptance Automata (DPAA)

Aurélien Lamercerie , Benoît Caillaud

FDL 2020 - Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8

Communication dans un congrès hal-02971772v1

Implicit structural analysis of multimode DAE systems

Benoît Caillaud , Mathias Malandain , Joan Thibault

HSCC 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
Deposit thumbnail

Structural Analysis of Multi-Mode DAE Systems

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter et al.

Proceedings 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
Deposit thumbnail

Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0

Ayman Aljarbouh , Benoît Caillaud

The 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
Deposit thumbnail

From Observations to Collaborative Simulation: Application to Surgical Training

Guillaume Claude , Valérie Gouranton , Benoît Caillaud , Bernard Gibaud , Pierre Jannin et al.

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 Systems

Ayman Aljarbouh , Adam Duracz , Yingfu Zeng , Benoît Caillaud , Walid Taha

2016 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
Deposit thumbnail

Robust Simulation for Hybrid Systems Chattering Path Avoidance

Ayman Aljarbouh , Benoît Caillaud

The 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
Deposit thumbnail

Domain Globalization: Using Languages to Support Technical and Social Coordination

Julien Deantoni , Cédric Brun , Benoît Caillaud , Robert France , Gabor Karsai et al.

International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩

Communication dans un congrès hal-01234653v1
Deposit thumbnail

On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems

Ayman Aljarbouh , Benoît Caillaud

Baltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49

Communication dans un congrès hal-01246853v2

A Type-Based Analysis of Causality Loops in Hybrid Modelers

Albert Benveniste , Benoît Caillaud , Bruno Pagano , Marc Pouzet

HSCC '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
Deposit thumbnail

Surgical Process Mining with Test and Flip Net Synthesis

Benoît Caillaud

Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54

Communication dans un congrès hal-00872284v1

Ensuring Reachability by Design

Benoît Caillaud , Jean-Baptiste Raclet

9th 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 Programs

Albert Benveniste , Benoit Caillaud , Jean-Baptiste Raclet

51st 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 language

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Marc Pouzet

Proceedings 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
Deposit thumbnail

A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Marc Pouzet

EMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩

Communication dans un congrès hal-00654113v1

Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.

Benoît Delahaye , Benoît Caillaud , Axel Legay

10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal

Communication dans un congrès inria-00554297v1
Deposit thumbnail

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye et al.

Joint 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

The Fundamentals of Hybrid Systems Modelers

Albert Benveniste , Benoît Caillaud , Marc Pouzet

49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States

Communication dans un congrès inria-00554271v1
Deposit thumbnail

Compositional design methodology with constraint Markov chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen et al.

QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩

Communication dans un congrès inria-00591578v1
Deposit thumbnail

Why are modalities good for Interface Theories?

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone

The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany

Communication dans un congrès inria-00389051v1

Modal Interfaces: Unifying Interface Automata and Modal Specifications.

Jean-Baptiste Raclet , Albert Benveniste , Benoît Caillaud , Axel Legay , Roberto Passerone

Proc. 9th International Conference on Embedded Software (EMSOFT'09), Oct 2009, Grenoble, France

Communication dans un congrès inria-00555742v1
Deposit thumbnail

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

Albert Benveniste , Benoit Caillaud , Luca P. Carloni , Paul Caspi , Alberto Sangiovanni-Vincentelli

Formal 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
Deposit thumbnail

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design

Inigo Incer , Apurva Badithela , Josefine B Graebener , Piergiuseppe Mallozzi , Ayush Pandey et al.

ACM Transactions on Cyber-Physical Systems, 2024, pp.1-33. ⟨10.1145/3704736⟩

Article dans une revue hal-04806971v1
Deposit thumbnail

Algorithms for the Structural Analysis of Multimode Modelica Models

Albert Benveniste , Benoît Caillaud , Mathias Malandain , Joan Thibault

Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩

Article dans une revue hal-03768331v1
Deposit thumbnail

Unveiling the implicit knowledge, one scenario at a time

Flavien Lécuyer , Valérie Gouranton , Aurélien Lamercerie , Adrien Reuzeau , Bruno Arnaldi et al.

The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩

Article dans une revue hal-02879083v1
Deposit thumbnail

The mathematical foundations of physical systems modeling languages

Albert Benveniste , Benoît Caillaud , Mathias Malandain

Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩

Article dans une revue hal-03045498v1
Deposit thumbnail

Learning procedural skills with a virtual reality simulator An acceptability study

Marie-Stéphanie Bracq , Estelle Michinov , Bruno Arnaldi , Benoît Caillaud , Bernard Gibaud et al.

Nurse Education Today, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩

Article dans une revue hal-02150192v1
Deposit thumbnail

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Jean-Louis Colaço , Cédric Pasteur et al.

Proceedings 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
Deposit thumbnail

A Type-based Analysis of Causality Loops in Hybrid Systems Modelers

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Bruno Pagano , Marc Pouzet

Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩

Article dans une revue hal-01549183v2

Synthesis and Simulation of Surgical Process Models

Guillaume Claude , Valérie Gouranton , Benoît Caillaud , Bernard Gibaud , Bruno Arnaldi et al.

Studies in Health Technology and Informatics, 2016, 220, pp.63--70. ⟨10.3233/978-1-61499-625-5-63⟩

Article dans une revue hal-01300990v1

Non-standard semantics of hybrid systems modelers

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Marc Pouzet

Journal 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

Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects

Benoît Delahaye , Benoît Caillaud , Axel Legay

Formal Methods in System Design, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩

Article dans une revue istex inria-00554307v1

Mind the gap: Expanding communication options in decentralized discrete-event control

Laurie S. L. Ricker , Benoit Caillaud

Automatica, 2011, 47 (11), pp.2364-2372. ⟨10.1016/j.automatica.2011.08.040⟩

Article dans une revue istex hal-00654110v1

Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen et al.

Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩

Article dans une revue istex hal-00654003v1

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoît Caillaud , Axel Legay et al.

Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩

Article dans une revue inria-00554283v1

Composing Heterogeneous Reactive Systems

Albert Benveniste , Benoît Caillaud , Luca Carloni , Paul Caspi , Alberto Sangiovanni-Vincentelli

ACM 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
Deposit thumbnail

Concurrency in Synchronous Systems

Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste

Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩

Article dans une revue inria-00124252v1
Deposit thumbnail

Compositionality in dataflow synchronous languages: specification & distributed code generation

Albert Benveniste , Benoit Caillaud , Paul Le Guernic

Information and Computation, 2000, 163 (1), pp.125-171. ⟨10.1006/inco.2000.9999⟩

Article dans une revue hal-00543297v1
Deposit thumbnail

From Hybrid Automata to DAE-Based Modeling

Albert Benveniste , Benoît Caillaud , Mathias Malandain

Principles 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
Deposit thumbnail

Multi-Mode DAE Models - Challenges, Theory and Implementation

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter et al.

Computing 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
Deposit thumbnail

Synchronous Interfaces and Assume/Guarantee Contracts

Albert Benveniste , Benoît Caillaud

Luca 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 Models

Albert Benveniste , Benoît Caillaud , Roberto Passerone

Pieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009

Chapitre d'ouvrage inria-00555728v1
Deposit thumbnail

Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems

Benoit Caillaud , Mathias Malandain , Joan Thibault

HSCC 2020 - 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1

Poster de conférence hal-02545380v1
Deposit thumbnail

Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery

Marie-Stéphanie Bracq , Estelle Michinov , Bruno Arnaldi , Alexandre Audinot , Benoît Caillaud et al.

19th 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 Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet et al.

Now 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