Publications 2011

Academic Journals

  1. Guillaume Aucher, Guido Boella, Leendert van der Torre. A dynamic logic for privacy compliance. Journal of artificial intelligence and law, 19(2), 2011. details
  2. Guillaume Aucher. DEL-Sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics, (to appear), 2012. details
  3. Guillaume Aucher. DEL-Sequents for progression. Journal of Applied Non-Classical Logics, Lavoisier, 2011, 21 (3-4), pp. 289-321. 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. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny B\ogsted Poulsen, Jonas van Vliet, Zheng Wang. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR, (0), 2011. details
  7. 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
  8. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, Hervé Marchand. Diagnosis from Scenarios and Applications. Journal of Discrete Events and Dynamic Systems, 2011. details
  9. 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

Book Chapters

  1. Guillaume Aucher. Dialogue, Rationality, Formalism. G. Heinzmann, M. Musiol, M. Rebuschi, A. Trognon (eds.), Chap. Principles for knowledge, belief and conditionnal belief. Logic, Epistemology and the Unity of Science, Springer, 2011.details

International Conferences

  1. Rouwaida Abdallah, Claude Jard. An experiment in automatic generation of protocols from HMSCs. In Notere, May 2011. details
  2. Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre. Dynamics in Delegation and Revocation Schemes: A Logical Approach. In Data and Applications Security and Privacy XXV, Yingjiu Li (ed.), Pages 90-105, 2011. details
  3. Guillaume Aucher, Bastien Maubert, François Schwarzentruber. Tableau Method and NEXPTIME-completeness of DEL-sequents. In Proceedings of Methods for Modalities (M4M 2011), ENTCS, 2011. details
  4. Guillaume Aucher, Catherine Barreau-Saliou, Guido Boella, Annie Blandin-Obernesser, Sébastien Gambs, Guillaume Piolle, Leendert van der Torre. The Coprelobri project : the logical approach to privacy. In 2e Atelier Protection de la Vie Privée (APVP 2011), Sorèze, France, June 2011. details
  5. Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Fé Ingrand, Axel Legay, Rongjie Yan. A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. In Software Composition,, Volume, Pages 116-132, 2011. details
  6. Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. In NASA Formal Methods,, Volume, Pages 453-458, 2011. details
  7. Nathalie Bertrand, Blaise Genest. Minimal Disclosure in Partially Observable Markov Decision Processes. In 31th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Volume LIPIcs, 2011. details
  8. Anne Bouillard, Aurore Junier. Worst-case delay bounds with fixed priorities using network calculus. In Proc. of Valuetools'2011, 2011. details
  9. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. Symbolic model checking of software product lines. In ICSE,, Volume, Pages 321-330, 2011. details
  10. Philippe Darondeau, Loïc Hélouët, Madhavan Mukund. Assembling Sessions. In ATVA, Lecture Notes in Computer Science, Volume 6996, Pages 259-274, 2011. details
  11. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny B\ogsted Poulsen, Jonas van Vliet, Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. In FORMATS,, Volume, Pages 80-96, 2011. details
  12. Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang. Time for Statistical Model Checking of Real-Time Systems. In CAV,, Volume, Pages 349-355, 2011. details
  13. Benoît Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Falak Sher, Andrzej Wasowski. Abstract Probabilistic Automata. In VMCAI, Lecture Notes in Computer Science, Volume 6538, Pages 324-339, 2011. details
  14. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. APAC: A Tool for Reasoning about Abstract Probabilistic Automata. In QEST,, Volume, Pages 151-152, 2011. details
  15. Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski. Decision Problems for Interval Markov Chains. In LATA,, Volume, Pages 274-285, 2011. details
  16. Uli Fahrenberg, Axel Legay, Andrzej Wasowski. Vision Paper: Make a Difference! (Semantically). In Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings, Pages 490-500, 2011. details
  17. Uli Fahrenberg, Claus Thrane, Kim G. Larsen. Distances for Weighted Transition Systems: Games and properties. In QAPL, Electronic Proceedings in Theoretical Computer Science, Volume 57, Pages 134-147, 2011. details
  18. Uli Fahrenberg, Axel Legay, Claus Thrane. The Quantitative Linear-Time-Branching-Time Spectrum. In FSTTCS, LIPIcs, 2011. details
  19. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. Robust Specification of Real Time Components. In FORMATS,, Volume, Pages 129-144, 2011. details
  20. James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens. Distributed Event Clock Automata - Extended Abstract. In CIAA,, Volume, Pages 250-263, 2011. details
  21. Lo\"\ig Jezequel, Eric Fabre. Networks of automata with read arcs: a tool for distributed planning. In IFAC World Congress, September 2011. details
  22. Ajay Kattepur. Importance Sampling of Probabilistic Contracts in Web Services. In 9th International Conference on Service-Oriented Computing (ICSOC), Pages 557-565, 2011. details
  23. Ajay Kattepur, Albert Benveniste, Claude Jard. Optimizing Decisions in Web Services Orchestrations. In 9th International Conference on Service-Oriented Computing (ICSOC), Pages 77-91, 2011. details
  24. Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard. Pairwise testing of dynamic composite services. In 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS), SEAMS '11, Pages 138-147, New York, NY, USA, 2011. details
  25. Sucheendra Palaniappan, S. Akshay, Blaise Genest, P.S. Thiagarajan. A Hybrid Factored Frontier Algorithm for Dynamic Bayesian Networks. In 9th International Conference on Computational Methods in Systems Biology (CMSB), Volume ACM 978-1-4503-0817-5, Pages 35-44, 2011. details
  26. Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane. Quantitative Refinement for Weighted Modal Transition Systems. In MFCS,, Volume, Pages 60-71, 2011. details
  27. Sebastian S. Bauer, Philip Mayer, Axel Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. In ATVA,, Volume, Pages 418-421, 2011. details
  28. François Schwarzentruber. LotrecScheme. In M4M Osuna, November 2011. details

Research Reports

  1. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. Rapport de recherche INRIA, No 0, November 2011. details
  2. Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. Rapport de recherche INRIA, No 0, April 2011. details
  3. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility between DAXML Schemas. Rapport de recherche INRIA, No 0, March 2011. details


  1. Bartosz Grabiec. Distributed system supervision using timed constrained unfoldings. PhD Thesis ENS Cachan, 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 automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic