Publications of Benoit Caillaud

Load the BibTeX file

Books

  1. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002. details download
  2. Benoît Caillaud, X. Xie (eds.). Proceedings of the Symposium on the Supervisory Control of Discrete Event Systems, SCODES'2001. Paris, France, July 2001. details

Academic Journals

  1. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-Standard Semantics of Hybrid Systems Modelers. Journal of Computer and System Sciences (JCSS), 2011. details
  2. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Constraint Markov Chains. Theor. Comput. Sci, 412(34):4373-4404, 2011. details
  3. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, 38(1):1-32, 2011. details
  4. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects. Formal Methods in System Design, (0):0-0, 2011. details
  5. Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 107:1-32, 2011. details
  6. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundam. Inform, 108(1):119-149, 2011. details
  7. Laurie Ricker, Benoît Caillaud. Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica, 47(11):2364-2372, 2011. details
  8. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Composing Heterogeneous Reactive Systems. ACM Transactions on Embedded Computing Systems (TECS), 7(4), 2008. details download
  9. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundamenta Informaticae, 78(1):131-159, 2007. details
  10. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Discrete Event Dynamic Systems, 17(4):425-446, December 2007. details
  11. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Formal Methods in System Design, 28(2), March 2006. details
  12. Eric Badouel, Benoît Caillaud, Philippe Darondeau. Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing, 13:447-470, 2002. details
  13. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Event Structure Semantics for Message Sequence Chart. Mathematical Structures in Computer Science, 12:377-403, 2002. details
  14. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Compositionality in dataflow synchronous languages: specification and distributed code generation. Information and Computation, 163:125-171, 2000. details
  15. Benoît Caillaud. Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata. JESA, European Journal on Automated Systems, 33(8):925-942, 1999. details

International Conferences

  1. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. In Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011, Jan Vitek, Bjorn De Sutter (eds.), Pages 61-70, 2011. details download
  2. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. In Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister (eds.), Pages 137-148, 2011. details download
  3. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. In Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings, John Hatcliff, Elena Zucca (eds.), Lecture Notes in Computer Science, Volume 6117, Pages 32-46, 2010. details
  4. Albert Benveniste, Benoît Caillaud, Marc Pouzet. The Fundamentals of Hybrid Systems Modelers. In 49th IEEE Conference on Decision and Control (CDC 2010), 2010. details
  5. Benoît Caillaud, Benoît Delahaye, Kim G. G. Larsen, Axel Legay, Mikkel Larsen Pedersen, Andrzej Wasowski. Compositional design methodology with constraint Markov chains. In Proceedings of the 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 2010. details
  6. Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. In Proc. 10th International Conference on Application of Concurrency to System Design (ACSD), Braga, Portugal, 2010. details
  7. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems. In Proc. of the 5th International Federated Conference on Distributed Computing Techniques, Amsterdam, Netherlands, June 2010. details
  8. Albert Benveniste, Benoît Caillaud, Roberto Passerone. Multi-Viewpoint State Machines for Rich Component Models. In Model-Based Design of Heterogeneous Embedded Systems, Pieter Mosterman, Gabriela Nicolescu (eds.), 2009. details
  9. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09),, Pages 119-127, 2009. details
  10. Jean-Baptiste Raclet, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. 9th International Conference on Embedded Software (EMSOFT'09), October 2009. details
  11. Laurie Ricker, Benoît Caillaud. Revisiting State-Baed Models for Synthesizing Optimal Communicating Decentralized Discrete-Event Controllers. In European Control Conference 2009 (ECC'09), Budapest, Hungary, August 2009. details
  12. Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis. Multiple Viewpoint Contract-Based Specification and Design. In Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects (FMCO'07), Revised Lectures, Lecture Notes in Computer Science, Volume 5382, Amsterdam, The Netherlands, October 2008. details
  13. Laurie Ricker, Benoît Caillaud. Mind the Gap: Expanding Communication Options in Decentralized Discrete-Event Control. In 46th IEEE Conference on Decision and Control, New Orleans, LA, USA, 2007. details
  14. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Communication by Sampling in Time-Sensitive Distributed Systems. In Proceedings of the Sixth Annual ACM Conference on Embedded Software, EMSOFT'06, Pages 152-160, 2006. details
  15. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. In 8th Workshop on Discrete Event Systems, WODES'06, S. Lafortune, F. Lin, D. Tilbury (eds.), Ann Arbor, Michigan, USA, July 2006. details
  16. Sohini Dasgupta, Dumitru Potop-Butucaru, Benoît Caillaud, Alex Yakovlev. From weakly endochronous systems to delay-insensitive circuits. In Proceedings of the second international workshop on formal methods for globally asynchronous locally synchronous design (FMGALS 2005), 2005. details
  17. Jacques Klein, Benoît Caillaud, Loïc Hélouët. Merging Scenarios. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS'04, Electronic Notes in Theoretical Computer Science, Volume 133, Pages 193-215, Linz, Austria, 2005. details download
  18. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications. In Proceedings of the Fifth International Conference on Application of Concurrency to System Design, ACSD 2005, 2005. details
  19. Albert Benveniste, Benoît Caillaud, Luca Carloni, Alberto Sangiovanni-Vincentelli. Tag Machines. In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 255-263, Jersey City, NJ, USA, September 2005. details download
  20. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. From multi-clocked synchronous processes to latency-insensitive modules (short paper). In Proceedings of the fifth ACM International Conference on Embedded Software (Emsoft), Pages 282-285, Jersey City, NJ, USA, September 2005. details download
  21. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. In FMCO 2003, Proceedings of the Second International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, Volume 3188, Pages 1-16, 2004. details
  22. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. In Proceedings of the International Conference on Application of Concurrency to System Design, ACSD 2004, 2004. details
  23. Albert Benveniste, Benoît Caillaud, Luca Carloni, Paul Caspi, Alberto Sangiovanni-Vincentelli. Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA). In Proceedings of the Fourth ACM International Conference on Embedded Software, EMSOFT'04, September 2004. details download
  24. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, W. Pawlowski, Lucia Pomello. Modular system development with pullbacks. In Applications and Theory of Petri Nets 2003, Lecture Notes in Computer Science, Volume 2679, Pages 140-160, June 2003. details download
  25. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as specifications. with PN as completions. In Modeling and Verification of Parallel Processes, F. Cassez, Claude Jard, B. Rozoy, M. Dermot (eds.), Lecture Notes in Computer Science, Volume 2067, Pages 125-152, 2001. details
  26. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as specifications. with PN as completions. In Proceedings of the summer school MOVEP'2k: Modelling and verification of parallel processes, F. Cassez, Claude Jard, B. Rozoy, M. Ryan (eds.), Pages 87-103, Nantes, June 2000. details
  27. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From Synchrony to Asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conference, J.C.M. Baeten, S. Mauw (eds.), Lecture Notes in Computer Science, Volume 1664, Pages 162-177, August 1999. details download
  28. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a Language of Distributed Reactive Objects. In ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, Japan, April 1998. details

Research Reports

  1. Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Compositional Design Methodology with Constraint Markov Chains. Research Report INRIA, No 0, 2009. details download
  2. Benoît Delahaye, Benoît Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. Research Report INRIA, No 0, 2009. details download
  3. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone. Why are modalities good for Interface Theories?. Research Report INRIA, No 6899, 2009. details download
  4. Benoît Delahaye, Benoît Caillaud. A model for Probabilistic Reasoning on Assume/Guarantee Contracts. Research Report INRIA, No 6719, 2008. details download
  5. Albert Benveniste, Benoît Caillaud, Roberto Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. details download
  6. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Rapport de recherche INRIA, No 5771, November 2005. details download
  7. Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud. Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications. Research report IRISA, No 1730, June 2005. details download
  8. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Research Report INRIA, No 5110, February 2004. details download
  9. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, W. Pawlowski, Lucia Pomello. Modular system development with pullbacks. Research report INRIA Rennes, No 4828, May 2003. details download
  10. Benoît Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, Claude Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. Research report INRIA Rennes, No 4003, September 2000. details download
  11. Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes. HMSCs as specifications. with PN as completions. Research report INRIA Rennes, No 3970, July 2000. details download
  12. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for desynchronization. Research report IRISA, No 1288, December 1999. details download
  13. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Paul Le Guernic. Hierarchic Normal Forms for Desynchronization. Research report INRIA Rennes, No 3822, December 1999. details download
  14. Albert Benveniste, Benoît Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. details download
  15. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective Equivalence for Sets of Scenarios Represented by HMSCs. Research report INRIA Rennes, No 3499, September 1998. details download
  16. Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon. BDL, a language of distributed reactive objects. Research report Inria-Rennes, No 3353, February 1998. details download

Thesis

  1. Benoît Caillaud. Analysis, Control and Synthesis of Concurrent Systems. Habilitation à diriger des recherches University of Rennes 1, March 2011. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

This page is part the S4 project web site.
It has been automatically generated using the bib2html program.