Publications 2011


  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

Academic Journals

  1. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers. Electr. Notes Theor. Comput. Sci, 229(5):39-56, 2011. details
  2. Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Science of Computer Programming, 2011. details
  3. Eike Best, Philippe Darondeau. Separability in Persistent Petri Nets. Fundamenta Informaticae, 2011. details
  4. Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of preorder checking for basic formalisms. Theor. Comput. Sci, 412(49):6795-6808, 2011. details
  5. 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
  6. 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
  7. 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
  8. Laurie Ricker, Benoît Caillaud. Mind the gap: Expanding communication options in decentralized discrete-event control. Automatica, 47(11):2364-2372, 2011. details

Book Chapters

  1. Maria Paola Cabasino, Philippe Darondeau, Maria Pia Fanti, Carla Seatzu. Model Identification and Synthesis of Discrete-Event Systems. In Contemporary Issues in System Science and Engineering, IEEE-Wiley, 2011. details

International Conferences

  1. Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda. Residuation of tropical series: rationality issues. In CDC-ECC, IEEE society (ed.), 2011. details
  2. 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
  3. 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
  4. Eike Best, Philippe Darondeau. Petri Net Distributability. In PSI, Lecture Notes in Computer Science, Volume 7162, 2011. details
  5. Philippe Darondeau, Laurie Ricker. Towards Distributed Control of Discrete Event Systems. In Workshop on Applications of Region Theory, Jörg Desel, Alex Yakovlev (eds.), CEUR Workshop Proceedings, Volume 725, Pages 63-78, 2011. details download
  6. Philippe Darondeau, Sté Demri, Roland Meyer, Christophe Morvan. Petri Net Reachability Graphs: Decidability Status of FO Properties. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India, Supratik Chakraborty, Amit Kumar (eds.), LIPIcs, Volume 13, Pages 140-151, 2011. details
  7. Philippe Darondeau, Lo\"\i Hélou\"et, Madhavan Mukund. Assembling Sessions. In Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings, Tevfik Bultan, Pao-Ann Hsiung (eds.), Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. details
  8. Bastien Maubert, Sophie Pinchinat, Laura Bozzelli. Opacity Issues in Games with Imperfect Information. In Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, Giovanna D'Agostino, Salvatore La Torre (eds.), EPTCS, Volume 54, Pages 87-101, 2011. details


  1. Benoît Caillaud. Mica: A Modal Interface Compositional Analysis Library. October 2011. details download


  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.