Publications 2001

Books

1. Modeling and Verification of Parallel Processes, revised Tutorial Lectures. Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Ryan (eds.), LNCS Tutorials, No 2067, Springer, December 2001.

Academic Journals

1. A. Guyader, E. Fabre, C. Guillemot, M. Robert. Joint source-channel turbo decoding of entropy-coded sources. IEEE Journal on Selected Areas in Communications, SAC-19(9):1680-1696, September 2001.
2. S. Haar. Clusters, Confusion and Unfoldings. Fundamenta Informaticae, 47(3):259-270, September 2001.

International Conferences

1. A. Benveniste, E. Fabre, S. Haar. Markov Nets\,: Probabilistic Models for Distributed and Concurrent Systems. In 40th IEEE Conference on Decision and Control (CDC), Orlando, December 2001.
2. A. Bouillard, B. Gaujal. Coupling time of a (max,plus) matrix. In Workshop on Max-Plus Algebras and Their Applications to Discrete-event Systems, Theoretical Computer Science, and Optimization, Pages 235-240, 2001.
3. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
4. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
5. E. Fabre, A. Guyader, C. Guillemot. Robust decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
6. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-coded Markov sources. In 26th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Salt Lake City, Volume Volume IV, May 2001.
7. S. Haar, A. Benveniste, E. Fabre. Markov nets : A new probabilistic model for fault diagnosis in concurrent systems. In Workshop on Concurrency in Dependable Computing, Newcastle, June 2001.
8. Loïc Hélouët. Etat de l'art sur les langages de scénarios. In proceedings of MSR'2001,Colloque francophone sur la modélisation des systèmes réactifs, October 2001.
9. Loïc Hélouët. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
10. C. Jard. How to simulate HMSC. In SDL'01 : meeting UML, 10th SDL Forum, LNCS, Copenhagen, June 2001.

Research Reports

1. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001.
2. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1399, May 2001.

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