List of all-time publications by Benoît Caillaud
Search Results –> Url version détaillée , Url version formatée
Criteria : Author : “Benoît,Caillaud”
Number of occurrences founded : 86.
Criteria : Author : “Benoît,Caillaud”
Number of occurrences founded : 86.
- titre
- Fault Diagnosability Analysis of Multi-Mode Systems
- auteur
- Fatemeh Hashemniya, Benoît Caillaud, Erik Frisk, Mattias Krysander, Mathias Malandain
- article
- 2023
- titre
- Towards the separate compilation of Modelica: modularity and interfaces for the index reduction of incomplete DAE systems
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Modelica 2023 – 15th International Modelica Conference, Oct 2023, Aachen, Germany. pp.10, ⟨10.3384/ecp204⟩
- titre
- From Hybrid Automata to DAE-Based Modeling
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- 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⟩
- titre
- Algorithms for the Structural Analysis of Multimode Modelica Models
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- Electronics, 2022, 11 (17), pp.1-63. ⟨10.3390/electronics11172755⟩
- titre
- Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9459, Inria Rennes – Bretagne Atlantique. 2022, pp.1-46
- titre
- Handling Multimode Models and Mode Changes in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Modelica 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11, ⟨10.3384/ecp21181507⟩
- titre
- Compile-Time Impulse Analysis in Modelica
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- titre
- A Reduced Index Mode-Independent Structure Model Transformation for Multimode Modelica Models
- auteur
- Benoît Caillaud, Mathias Malandain, Albert Benveniste
- article
- MODELICA 2021 – 14th International Modelica Conference, Sep 2021, Linköping, Sweden. pp.1-11
- titre
- Structural Analysis of Multimode DAE Systems: summary of results
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9387, Inria Rennes – Bretagne Atlantique. 2021, pp.27
- titre
- An Algebra of Deterministic Propositional Acceptance Automata (DPAA)
- auteur
- Aurélien Lamercerie, Benoît Caillaud
- article
- FDL 2020 – Forum on specification & Design Languages, Sep 2020, Kiel, Germany. pp.1-8
- titre
- Implicit structural analysis of multimode DAE systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- 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⟩
- titre
- Demo: IsamDAE, an Implicit Structural Analysis Tool for Multimode DAE Systems
- auteur
- Benoit Caillaud, Mathias Malandain, Joan Thibault
- article
- HSCC 2020 – 23rd ACM International Conference on Hybrid Systems: Computation and Control, Apr 2020, Sydney, Australia. pp.1
- titre
- The Mathematical Foundations of Physical Systems Modeling Languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- [Research Report] RR-9334, Inria. 2020, pp.112
- titre
- Implicit Structural Analysis of Multimode DAE Systems
- auteur
- Benoît Caillaud, Mathias Malandain, Joan Thibault
- article
- [Research Report] RR-9322, Inria Rennes – Bretagne Atlantique; IRISA, Université de Rennes. 2020
- titre
- The mathematical foundations of physical systems modeling languages
- auteur
- Albert Benveniste, Benoît Caillaud, Mathias Malandain
- article
- Annual Reviews in Control, 2020, 50, pp.72-118. ⟨10.1016/j.arcontrol.2020.08.001⟩
- titre
- Unveiling the implicit knowledge, one scenario at a time
- auteur
- Flavien Lécuyer, Valérie Gouranton, Aurélien Lamercerie, Adrien Reuzeau, Bruno Arnaldi, Benoît Caillaud
- article
- The Visual Computer, 2020, pp.1-12. ⟨10.1007/s00371-020-01904-7⟩
- titre
- Multi-Mode DAE Models – Challenges, Theory and Implementation
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- 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⟩
- titre
- Learning procedural skills with a virtual reality simulator An acceptability study
- auteur
- Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre Jannin
- article
- Nurse Education Today, 2019, 79, pp.153-160. ⟨10.1016/j.nedt.2019.05.026⟩
- titre
- Modeling, Simulation and Training Procedural Skills: User experience and acceptability of a virtual reality simulator for scrub nurses in neurosurgery
- auteur
- Marie-Stéphanie Bracq, Estelle Michinov, Bruno Arnaldi, Alexandre Audinot, Benoît Caillaud, Bernard Gibaud, Valérie Gouranton, Pierre-Louis Henaux, Aurélien Lamercerie, Béatrice Nogues, Pierre Jannin
- article
- 19th International Meeting on Simulation in Healthcare (IMSH), Jan 2019, San Antonio, TX, United States. 36, pp.1, 2019
- titre
- Building a Hybrid Systems Modeler on Synchronous Languages Principles
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
- article
- Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 – 1592. ⟨10.1109/JPROC.2018.2858016⟩
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Albert Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen
- article
- Now Publishers, 12 (2-3), pp.124-400, 2018, Foundations and Trends® in Electronic Design Automation, 978-1-68083-402-4. ⟨10.1561/1000000053⟩
- titre
- A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
- titre
- Synchronous Interfaces and Assume/Guarantee Contracts
- auteur
- Albert Benveniste, Benoît Caillaud
- article
- 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⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Apr 2017, Pittsburgh, PA, United States. ⟨10.1145/3049797.3049806⟩
- titre
- Structural Analysis of Multi-Mode DAE Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
- article
- [Research Report] RR-8933, Inria. 2017, pp.1-23
- titre
- From Observations to Collaborative Simulation: Application to Surgical Training
- auteur
- Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Pierre Jannin, Bruno Arnaldi
- article
- ICAT-EGVE 2016 – International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, Dec 2016, Little Rock, Arkansas, United States
- titre
- Chattering-Free Simulation for Hybrid Dynamical Systems
- auteur
- Ayman Aljarbouh, Adam Duracz, Yingfu Zeng, Benoît Caillaud, Walid Taha
- article
- 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⟩
- titre
- Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2.0
- auteur
- Ayman Aljarbouh, Benoît Caillaud
- article
- The First Japanese Modelica Conferences, Modelon and Modelica Association May 2016, Tokyo, Japan. pp.95-105, ⟨10.3384/ecp1612495⟩
- titre
- Synthesis and Simulation of Surgical Process Models
- auteur
- Guillaume Claude, Valérie Gouranton, Benoît Caillaud, Bernard Gibaud, Bruno Arnaldi, Pierre Jannin
- article
- Studies in Health Technology and Informatics, 2016, 220, pp.63–70. ⟨10.3233/978-1-61499-625-5-63⟩
- titre
- Robust Simulation for Hybrid Systems Chattering Path Avoidance
- auteur
- Ayman Aljarbouh, Benoît Caillaud
- article
- The 56th Conference on Simulation and Modelling (SIMS 56), Linköping University, Oct 2015, Linköping, Sweden. pp.175-185, ⟨10.3384/ecp15119175⟩
- titre
- On the Regularization of Chattering Executions in Real Time Simulation of Hybrid Systems
- auteur
- Ayman Aljarbouh, Benoît Caillaud
- article
- Baltic Young Scientists Conference, Universität Rostock, Jul 2015, Tallinn, Estonia. pp.49
- titre
- Contracts for Systems Design: Theory
- auteur
- Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8759, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.86
- titre
- Contracts for Systems Design: Methodology and Application cases
- auteur
- Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8760, Inria Rennes Bretagne Atlantique; INRIA. 2015, pp.63
- titre
- On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- [Research Report] RR-8630, Inria. 2014, pp.30
- titre
- Domain Globalization: Using Languages to Support Technical and Social Coordination
- auteur
- Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
- article
- International Dagstuhl Seminar, Oct 2014, Dagstuhl, Germany. pp.70-87, ⟨10.1007/978-3-319-26172-0_5⟩
- titre
- A Type-Based Analysis of Causality Loops in Hybrid Modelers
- auteur
- Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- HSCC ’14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. pp.13, ⟨10.1145/2562059.2562125⟩
- titre
- A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
- article
- 2013
- titre
- Semantics of multi-mode DAE systems
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- 2013
- titre
- Surgical Process Mining with Test and Flip Net Synthesis
- auteur
- Benoît Caillaud
- article
- Application of Region Theory (ART), Jul 2013, Barcelona, Spain. pp.43-54
- titre
- Application of Interface Theories to the Separate Compilation of Synchronous Programs
- auteur
- Albert Benveniste, Benoit Caillaud, Jean-Baptiste Raclet
- article
- 51st IEEE Conference on Decision and Control (CDC 2012), Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨10.1109/CDC.2012.6426437⟩
- titre
- Contracts for System Design
- auteur
- Albert Benveniste, Benoit Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim Guldstrand Larsen
- article
- [Research Report] RR-8147, INRIA. 2012, pp.65
- titre
- Ensuring Reachability by Design
- auteur
- Benoît Caillaud, Jean-Baptiste Raclet
- article
- 9th International Colloquium on Theoretical Aspects of Computing (ICTAC 2012), IIIT Bangalore, Sep 2012, Bangalore, India. pp.213-227
- titre
- Application of Interface Theories to the Separate Compilation of Synchronous Programs
- auteur
- Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet
- article
- [Research Report] RR-8030, INRIA. 2012
- titre
- Ensuring Reachability by Design
- auteur
- Benoit Caillaud, Jean-Baptiste Raclet
- article
- [Research Report] RR-7928, INRIA. 2012, pp.1-20
- titre
- Non-standard semantics of hybrid systems modelers
- auteur
- Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
- article
- Journal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
- titre
- A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
- article
- EMSOFT 2011 – Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
- titre
- Constraint Markov Chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- Theoretical Computer Science, 2011, 412 (34), pp.4373-4404. ⟨10.1016/j.tcs.2011.05.010⟩
- titre
- Divide and recycle: types and compilation for a hybrid synchronous language
- auteur
- Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
- article
- 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⟩
- titre
- Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects
- auteur
- Benoît Delahaye, Benoît Caillaud, Axel Legay
- article
- Formal Methods in System Design, 2011, 38 (1), pp.1-32. ⟨10.1007/s10703-010-0107-8⟩
- titre
- A Modal Interface Theory for Component-based Design
- auteur
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
- article
- Fundamenta Informaticae, 2011, 108 (1-2), pp.119-149. ⟨10.3233/FI-2011-416⟩
- titre
- Mind the gap: Expanding communication options in decentralized discrete-event control
- auteur
- Laurie S. L. Ricker, Benoit Caillaud
- article
- Automatica, 2011, 47 (11), pp.2364-2372. ⟨10.1016/j.automatica.2011.08.040⟩
- titre
- The Fundamentals of Hybrid Systems Modelers
- auteur
- Albert Benveniste, Benoît Caillaud, Marc Pouzet
- article
- 49th IEEE Conference on Decision and Control (CDC 2010), Dec 2010, Atlanta, United States
- titre
- Compositional design methodology with constraint Markov chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- QEST 2010, Sep 2010, Williamsburg, Virginia, United States. ⟨10.1109/QEST.2010.23⟩
- titre
- Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
- auteur
- Benoît Delahaye, Benoît Caillaud, Axel Legay
- article
- 10th International Conference on Application of Concurrency to System Design (ACSD), Jun 2010, Braga, Portugal
- titre
- Statistical Abstraction and Model-Checking of Large Heterogeneous Systems
- auteur
- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
- article
- 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⟩
- titre
- Statistical abstraction and model-checking of large heterogeneous systems
- auteur
- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
- article
- [Research Report] RR-7238, INRIA. 2010
- titre
- Modal Interfaces: Unifying Interface Automata and Modal Specifications.
- auteur
- Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone
- article
- Proc. 9th International Conference on Embedded Software (EMSOFT’09), Oct 2009, Grenoble, France
- titre
- Why are modalities good for Interface Theories?
- auteur
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone
- article
- The 9th International Conference on Application of Concurrency to System Design, Robert Lorenz, Jul 2009, Augsburg, Germany
- titre
- Multi-Viewpoint State Machines for Rich Component Models
- auteur
- Albert Benveniste, Benoît Caillaud, Roberto Passerone
- article
- Pieter Mosterman and Gabriela Nicolescu. Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009
- titre
- Compositional Design Methodology with Constraint Markov Chains
- auteur
- Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- article
- [Research Report] RR-6993, INRIA. 2009
- titre
- Compositional Reasoning on (Probabilistic) Contracts
- auteur
- Benoît Delahaye, Benoit Caillaud, Axel Legay
- article
- [Research Report] RR-6970, INRIA. 2009
- titre
- Why are modalities good for Interface Theories?
- auteur
- Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoit Caillaud, Roberto Passerone
- article
- [Research Report] RR-6899, INRIA. 2009
- titre
- Composing Heterogeneous Reactive Systems
- auteur
- Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli
- article
- ACM Transactions on Embedded Computing Systems (TECS), 2008, 7 (4, x-editorial-board = yes, x-international-audience = yes), ⟨10.1145/1376804.1376811⟩
- titre
- A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
- auteur
- Benoît Delahaye, Benoit Caillaud
- article
- [Research Report] RR-6719, INRIA. 2008, pp.17
- titre
- A Generic Model of Contracts for Embedded Systems
- auteur
- Albert Benveniste, Benoit Caillaud, Roberto Passerone
- article
- [Research Report] RR-6214, INRIA. 2007
- titre
- Concurrency in Synchronous Systems
- auteur
- Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste
- article
- Formal Methods in System Design, 2006, 28 (2), pp.111-130. ⟨10.1007/s10703-006-7844-8⟩
- titre
- Concurrent Secrets
- auteur
- Eric Badouel, Marek Bednarczyk, Andrzej Borzyszkowski, Benoit Caillaud, Philippe Darondeau
- article
- [Research Report] RR-5771, INRIA. 2005, pp.22
- titre
- Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
- auteur
- Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoit Caillaud
- article
- [Research Report] RR-5610, INRIA. 2005, pp.22
- titre
- Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
- auteur
- Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoit Caillaud
- article
- [Research Report] PI 1730, 2005, pp.22
- titre
- Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
- auteur
- Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli
- article
- Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Nov 2004, Leiden, The Netherlands, pp.1-16, ⟨10.1007/b100112⟩
- titre
- Concurrency in synchronous systems
- auteur
- Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste
- article
- [Research Report] RR-5110, INRIA. 2004
- titre
- Modular system development with pullbacks
- auteur
- Marek Bednarczyk, Luca Bernardinello, Benoit Caillaud, Wieslaw Pawlowski, Lucia Pomello
- article
- [Research Report] RR-4828, INRIA. 2003
- titre
- Compositionality in dataflow synchronous languages: specification & distributed code generation
- auteur
- Albert Benveniste, Benoit Caillaud, Paul Le Guernic
- article
- Information and Computation, 2000, 163 (1), pp.125-171. ⟨10.1006/inco.2000.9999⟩
- titre
- HMSCs en tant que spécifications partielles et leurs complétions dans les réseaux de Petri
- auteur
- Benoit Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
- article
- [Rapport de recherche] RR-3970, INRIA. 2000
- titre
- BDL: A Semantics Backbone for UML Dynamic Diagrams
- auteur
- Benoit Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard
- article
- [Research Report] RR-4003, INRIA. 2000
- titre
- Protocol engineering using UML
- auteur
- Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, Benoit Caillaud
- article
- Annals of Telecommunications – annales des télécommunications, 1999, 54 (11-12), pp.526-538. ⟨10.1007/BF03004068⟩
- titre
- From Synchrony to Asynchrony
- auteur
- Albert Benveniste, Benoit Caillaud, Paul Le Guernic
- article
- [Research Report] RR-3641, INRIA. 1999
- titre
- Hierarchic Normal Forms for Desynchronization
- auteur
- Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Paul Le Guernic
- article
- [Research Report] RR-3822, INRIA. 1999
- titre
- An Effective Equivalence for Sets of Scenarios Represented by HMSCs
- auteur
- Loïc Hélouët, Claude Jard, Benoit Caillaud
- article
- [Research Report] RR-3499, INRIA. 1998
- titre
- BDl, A Language of Distributed Reactive Objects
- auteur
- Jean-Pierre Talpin, Albert Benveniste, Benoit Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon
- article
- [Research Report] RR-3353, INRIA. 1998
- titre
- Synet : un outil de synthèse de réseaux de Petri bornés, applications
- auteur
- Benoit Caillaud
- article
- [Rapport de recherche] RR-3155, INRIA. 1997
- titre
- Measuring Concurrency of Regular Distributed Computations
- auteur
- Cyrille Bareau, Benoit Caillaud, Claude Jard, René Thoraval
- article
- [Research Report] RR-2394, INRIA. 1994
- titre
- Distributing Automata for Asynchronous Networks of Processors
- auteur
- Benoit Caillaud, Paul Caspi, Alain Girault, Claude Jard
- article
- [Research Report] RR-2341, INRIA. 1994
- titre
- L’ingénierie des protocoles
- auteur
- Paul Angosto, Benoit Caillaud, Michel Delaure, Rémi Guestchel, Bernard Jouga, Dominique Le Foll, Jean-Jacques Maret, Pierre Rocher, Gilles Vaucher
- article
- InterEditions, 1993
- titre
- Correctness of automated distribution of sequential programs
- auteur
- Cyrille Bareau, Benoit Caillaud, Claude Jard, René Thoraval
- article
- [Research Report] RR-1724, INRIA. 1992
- titre
- The superimposition of ESTELLE programs : a tool for the implementation of observation and control algorithms
- auteur
- Benoit Caillaud
- article
- [Research Report] RR-1102, INRIA. 1989
