Access content directly

Benoît Caillaud

84
Documents
Current affiliations
  • 419153
  • 419365
  • 105128
  • 491207

Publications

Image document

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
Reports hal-03580636v1
Image document

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
Reports hal-03104030v2
Image document

The Mathematical Foundations of Physical Systems Modeling Languages

Albert Benveniste , Benoît Caillaud , Mathias Malandain
[Research Report] RR-9334, Inria. 2020, pp.112
Reports hal-02521747v3
Image document

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
Reports hal-02476541v1
Image document

Structural Analysis of Multi-Mode DAE Systems

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter
[Research Report] RR-8933, Inria. 2017, pp.1-23
Reports hal-01343967v3
Image document

Contracts for Systems Design: Theory

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet
[Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
Reports hal-01178467v1
Image document

Contracts for Systems Design: Methodology and Application cases

Albert Benveniste , Benoît Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet
[Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
Reports hal-01178469v1
Image document

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
Reports hal-01084069v1
Image document

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
Reports hal-00721049v1
Image document

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet
[Research Report] RR-8147, INRIA. 2012, pp.65
Reports hal-00757488v1
Image document

Ensuring Reachability by Design

Benoit Caillaud , Jean-Baptiste Raclet
[Research Report] RR-7928, INRIA. 2012, pp.1-20
Reports hal-00696151v1
Image document

Statistical abstraction and model-checking of large heterogeneous systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye
[Research Report] RR-7238, INRIA. 2010
Reports inria-00466158v1
Image document

Compositional Reasoning on (Probabilistic) Contracts

Benoît Delahaye , Benoit Caillaud , Axel Legay
[Research Report] RR-6970, INRIA. 2009
Reports inria-00398985v1
Image document

Compositional Design Methodology with Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
[Research Report] RR-6993, INRIA. 2009
Reports inria-00404304v2
Image document

Why are modalities good for Interface Theories?

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoit Caillaud , Roberto Passerone
[Research Report] RR-6899, INRIA. 2009
Reports inria-00375098v1
Image document

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

Benoît Delahaye , Benoit Caillaud
[Research Report] RR-6719, INRIA. 2008, pp.17
Reports inria-00337538v1
Image document

A Generic Model of Contracts for Embedded Systems

Albert Benveniste , Benoit Caillaud , Roberto Passerone
[Research Report] RR-6214, INRIA. 2007
Reports inria-00153477v2
Image document

Concurrent Secrets

Eric Badouel , Marek Bednarczyk , Andrzej Borzyszkowski , Benoit Caillaud , Philippe Darondeau
[Research Report] RR-5771, INRIA. 2005, pp.22
Reports inria-00070249v1
Image document

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
Reports inria-00070397v1
Image document

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
Reports inria-00000175v1
Image document

Concurrency in synchronous systems

Dumitru Potop-Butucaru , Benoit Caillaud , Albert Benveniste
[Research Report] RR-5110, INRIA. 2004
Reports inria-00071472v1
Image document

Modular system development with pullbacks

Marek Bednarczyk , Luca Bernardinello , Benoit Caillaud , Wieslaw Pawlowski , Lucia Pomello
[Research Report] RR-4828, INRIA. 2003
Reports inria-00071758v1
Image document

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
Reports inria-00072678v1
Image document

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
Reports inria-00072641v1
Image document

From Synchrony to Asynchrony

Albert Benveniste , Benoit Caillaud , Paul Le Guernic
[Research Report] RR-3641, INRIA. 1999
Reports inria-00073032v1
Image document

Hierarchic Normal Forms for Desynchronization

Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Paul Le Guernic
[Research Report] RR-3822, INRIA. 1999
Reports inria-00072836v1
Image document

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
Reports inria-00073186v1
Image document

BDl, A Language of Distributed Reactive Objects

Jean-Pierre Talpin , Albert Benveniste , Benoit Caillaud , Claude Jard , Zakaria Bouziane
[Research Report] RR-3353, INRIA. 1998
Reports inria-00073336v1
Image document

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

Benoit Caillaud
[Rapport de recherche] RR-3155, INRIA. 1997
Reports inria-00073534v1
Image document

Distributing Automata for Asynchronous Networks of Processors

Benoit Caillaud , Paul Caspi , Alain Girault , Claude Jard
[Research Report] RR-2341, INRIA. 1994
Reports inria-00074336v1
Image document

Measuring Concurrency of Regular Distributed Computations

Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval
[Research Report] RR-2394, INRIA. 1994
Reports inria-00074281v1
Image document

Correctness of automated distribution of sequential programs

Cyrille Bareau , Benoit Caillaud , Claude Jard , René Thoraval
[Research Report] RR-1724, INRIA. 1992
Reports inria-00076963v1
Image document

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

Benoit Caillaud
[Research Report] RR-1102, INRIA. 1989
Reports inria-00075457v1
Image document

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.1-10
Conference papers hal-04295096v1
Image document

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⟩
Conference papers hal-03281410v1
Image document

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
Conference papers hal-03281394v1
Image document

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
Conference papers hal-03320499v1

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⟩
Conference papers hal-02572879v1
Image document

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
Conference papers hal-02971772v1
Image document

Structural Analysis of Multi-Mode DAE Systems

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
Conference papers hal-01521918v1
Image document

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⟩
Conference papers hal-01247008v1
Image document

From Observations to Collaborative Simulation: Application to Surgical Training

Guillaume Claude , Valérie Gouranton , Benoît Caillaud , Bernard Gibaud , Pierre Jannin
ICAT-EGVE 2016 - International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States
Conference papers 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⟩
Conference papers hal-01365875v1
Image document

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
Conference papers hal-01246853v2
Image document

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⟩
Conference papers hal-01247074v4

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⟩
Conference papers hal-01093388v1
Image document

Domain Globalization: Using Languages to Support Technical and Social Coordination

Julien Deantoni , Cédric Brun , Benoît Caillaud , Robert France , Gabor Karsai
International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
Conference papers hal-01234653v1
Image document

Surgical Process Mining with Test and Flip Net Synthesis

Benoît Caillaud
Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54
Conference papers hal-00872284v1

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⟩
Conference papers hal-00766793v1

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
Conference papers hal-00766735v1

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⟩
Conference papers hal-00654112v1
Image document

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⟩
Conference papers hal-00654113v1

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
Conference papers inria-00554271v1

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
Conference papers inria-00554297v1
Image document

Compositional design methodology with constraint Markov chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
Conference papers inria-00591578v1
Image document

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Ananda Basu , Saddek Bensalem , Marius Bozga , Benoît Caillaud , Benoît Delahaye
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⟩
Conference papers inria-00554321v2

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
Conference papers inria-00555742v1
Image document

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
Conference papers inria-00389051v1
Image document

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⟩
Conference papers inria-00001058v1
Image document

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⟩
Journal articles hal-03768331v1
Image document

Unveiling the implicit knowledge, one scenario at a time

Flavien Lécuyer , Valérie Gouranton , Aurélien Lamercerie , Adrien Reuzeau , Bruno Arnaldi
The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
Journal articles hal-02879083v1
Image document

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⟩
Journal articles hal-03045498v1
Image document

Learning procedural skills with a virtual reality simulator An acceptability study

Marie-Stéphanie Bracq , Estelle Michinov , Bruno Arnaldi , Benoît Caillaud , Bernard Gibaud
Nurse Education Today, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩
Journal articles hal-02150192v1
Image document

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Jean-Louis Colaço , Cédric Pasteur
Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩
Journal articles hal-01879026v1
Image document

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⟩
Journal articles hal-01549183v2

Synthesis and Simulation of Surgical Process Models

Guillaume Claude , Valérie Gouranton , Benoît Caillaud , Bernard Gibaud , Bruno Arnaldi
Studies in Health Technology and Informatics, 2016, 220, pp.63--70. ⟨10.3233/978-1-61499-625-5-63⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles inria-00554307v1

Constraint Markov Chains

Benoit Caillaud , Benoît Delahaye , Kim Guldstrand Larsen , Axel Legay , Mikkel L. Pedersen
Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩
Journal articles hal-00654003v1

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⟩
Journal articles hal-00654110v1

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet , Eric Badouel , Albert Benveniste , Benoît Caillaud , Axel Legay
Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
Journal articles 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⟩
Journal articles inria-00555841v1
Image document

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⟩
Journal articles inria-00124252v1
Image document

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⟩
Journal articles hal-00543297v1

Contracts for System Design

Albert Benveniste , Benoit Caillaud , Dejan Nickovic , Roberto Passerone , Jean-Baptiste Raclet
Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
Books hal-01971429v1
Image document

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⟩
Book sections hal-03921708v1
Image document

Multi-Mode DAE Models - Challenges, Theory and Implementation

Albert Benveniste , Benoît Caillaud , Hilding Elmqvist , Khalil Ghorbal , Martin Otter
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⟩
Book sections hal-02333603v1
Image document

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⟩
Book sections 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
Book sections inria-00555728v1
Image document

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
Conference poster hal-02545380v1
Image document

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
19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.1, 2019
Conference poster hal-02123682v1