Publications of Axel Legay

Load the BibTeX file

Academic Journals

  1. Laura Bozzelli, Axel Legay, Sophie Pinchinat. Hardness of preorder checking for basic formalisms. Theor. Comput. Sci, 412(49):6795-6808, 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. 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
  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, 38(1):1-32, 2011. details
  5. 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

International Conferences

  1. 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
  2. Uli Fahrenberg, Axel Legay, Claus Thrane. The Quantitative Linear-Time-Branching-Time Spectrum. In FSTTCS, LIPIcs, 2011. details
  3. 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
  4. 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
  5. 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
  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. 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
  8. 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
  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. 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
  11. Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. Robust Specification of Real Time Components. In FORMATS,, Volume, Pages 129-144, 2011. details
  12. James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens. Distributed Event Clock Automata - Extended Abstract. In CIAA,, Volume, Pages 250-263, 2011. details
  13. 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
  14. 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
  15. Bartosz Grabiec, Claude Jard, Axel Legay. Unfolding Petri nets under partial observation. In International Workshop on Distributed Open Timed Systems, satellite of CONCUR 2010, Volume Paris 7, Pages 16-23, 2010. 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