Publications 2000

Books

1. SAM2000, 2nd Workshop on SDL and MSC. S. Graf, C. Jard (eds.), Grenoble univ, Grenoble, June 2000.

Academic Journals

1. M. Bozga, JC Fernandez, L. Ghirvu, C. Jard, T. and Kerbrat,A. Jeron, P. Morel, L. Mounier. Verification and Test Generation for the SSCOP Protocol. Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems, 36:27-52, 2000.
2. Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, 43:105-127, August 2000.
3. C. Jard, T. Jeron. An Educational Case Study in Protocol Verification and Distributed Observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000.

International Conferences

1. Philippe Darondeau, Benoit Caillaud, Loïc Hélouët, Gilles Lesventes. HMSCs as partial specifications.with Petri Nets as completion. In MOdelling and Verification of Parallel Processes (MOVEP'2000), Nantes, France, June 2000.
2. E. Fabre, A. Benveniste, C. Jard, L. Ricker, M. Smith. Inference on (Bayesian) networks of dynamic systems. In Partial Knowledge and Uncertainty workshop, June 2000.
3. E. Fabre, A. Benveniste, C. Jard, L. S. Ricker, M. Smith. Distributed state reconstruction for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney, Pages 2252-2257, December 2000.
4. E. Fabre, A. Guyader. Dealing with short cycles in graphical codes. In IEEE International Symposium on Information Theory (ISIT), Sorrento, Pages 0-0, June 2000.
5. Loïc Hélouët, Claude Jard. Conditions for synthesis of communicating automata from HMSCs. In 5th International Workshop on Formal Methods for Industrial Cr itical Systems (FMICS), Berlin, April 2000.
6. Loïc Hélouët, P. Le Maigat. Decomposition of Message Sequence Charts. In Proc. of SAM2000(2nd conference on SDL and MSCs), Grenoble, June 2000.
7. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Pages 3-18, Ottawa, August 2000.
8. Pierre Le Maigat, Loïc Hélouët. A (max,+) approach for time in Message Sequence Charts. In 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, August 2000.
9. L. Tanguy, C. Viho, C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. In ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed.), Pages 0-0, Taipei, Taiwan, April 2000.

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