Publications 2001

International Conferences

  1. Marius Bozga, David Lesens, Laurent Mounier. Model-Checking Ariane-5 Flight Program. In Proceedings of FMICS'01 (Paris, France), Pages 211-227, 2001. (more) pdf
  2. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001. (more) pdf
  3. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In Workshop on Software Model-checking, associated with CAV 2001, Paris, Scott D. Stoller, Willem Visser (eds.), Electronic Notes in Theoretical Computer Science, Volume 55, July 2001. (more) pdf
  4. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, J.L. Roux, Daniel Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01 (Copenhagen, Denmark), LNCS, Volume 2078, Pages 223-240, June 2001. (more) pdf