Publications of Benoît Caillaud

Load the BibTeX file

Books

  1. Benoît Caillaud, Josep Carmona, Kunihiko Hiraishi (eds.). Eleventh International Conference on Application of Concurrency to System Design. IEEE Computer Society, Newcastle Upon Tyne, UK, June 2011. details
  2. Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (eds.). Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, 2002. details download
  3. 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), 78(3):877-910, 2012. 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. Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone. A Modal Interface Theory for Component-based Design. Fundamenta Informaticae, 108(1):119-149, 2011. details
  5. Laurie Ricker, Benoît Caillaud. Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica, 47(11):2364-2372, 2011. details
  6. 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
  7. Dumitru Potop-Butucaru, Benoît Caillaud. Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications. Fundamenta Informaticae, 78(1):131-159, 2007. details download
  8. 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
  9. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Formal Methods in System Design, 28(2), March 2006. details
  10. 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
  11. 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
  12. 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
  13. 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, Bruno Pagano, Marc Pouzet. A type-based analysis of causality loops in hybrid systems modelers. In 17th International Conference on Hybrid Systems: Computation and Control, HSCC'14, Martin Fränzle, John Lygeros (eds.), Pages 71-82, 2014. details download
  2. Benoît Caillaud. Surgical Process Mining with Test and Flip Net Synthesis. In Application of Region Theory (ART), Robin Bergenthum, Josep Carmona (eds.), Pages 43-54, Barcelona, Espagne, July 2013. details
  3. Benoît Caillaud, Jean-Baptiste Raclet. Ensuring Reachability by Design. In Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, Abhik Roychoudhury, Meenakshi D'Souza (eds.), Lecture Notes in Computer Science, Volume 7521, Pages 213-227, 2012. details
  4. Albert Benveniste, Benoît Caillaud, Raclet Jean-Baptiste. Application of Interface Theories to the Separate Compilation of Synchronous Programs. In Proc. of the 51st IEEE Conference on Decision and Control (CDC'12), Hawaii, December 2012. details download
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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 download
  10. 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 download
  11. 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 download
  12. 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 download
  13. 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 download
  14. 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
  15. 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
  16. 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 2007. details
  17. 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 download
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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, 2003. details
  27. 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
  28. 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
  29. 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
  30. 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 download

Research Reports

  1. Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas Henzinger, Kim G. Larsen. Contracts for System Design. Rapport de recherche INRIA, No 8147, November 2012. details download
  2. 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
  3. Benoît Delahaye, Benoît Caillaud, Axel Legay. Compositional Reasoning on (Probabilistic) Contracts. Research Report INRIA, No 0, 2009. details download
  4. 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
  5. Benoît Delahaye, Benoît Caillaud. A model for Probabilistic Reasoning on Assume/Guarantee Contracts. Research Report INRIA, No 6719, 2008. details download
  6. 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
  7. Eric Badouel, Marek A. Bednarczyk, Andrzej Borzyszkowski, Benoît Caillaud, Philippe Darondeau. Concurrent Secrets. Rapport de recherche INRIA, No 5771, November 2005. details download
  8. 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
  9. Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems. Research Report INRIA, No 5110, February 2004. details download
  10. 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
  11. 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
  12. 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
  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

Misc

  1. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers. December 2013. details
  2. Benoît Caillaud. Mica: A Modal Interface Compositional Analysis Library. October 2011. 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.