• Home
• People
• Publications

Publications 2001

Books

1. P. Darondeau, L. Lavagno (eds.). Proceedings of the Workshop on Synthesis of Concurrent Systems. Newcastle upon Tyne, UK, June 2001.

Academic Journals

1. P. Darondeau. On the Petri net realization of context-free graphs. Theoretical Computer Science, 258(1):573-598, 2001.
2. 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.
3. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan. Formal Verification of programs specified with SIGNAL : Application to a Power Transformer Station Controller. Science of Computer Programming, 41(1):85-104, August 2001.

Book Chapters

1. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Modeling and Verification of Parallel Processes, F. Cassez, Claude Jard, B. Rozoy, M. Dermot (eds.), Vol. 2067, pp. 125-152, Lecture Notes in Computer Science, Springer, 2001.

International Conferences

1. Eric Badouel, Marek A. Bednarczyk, Philippe Darondeau. Generalized Automata and Their Net Representations. In Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science, Volume 2128, Pages 304-345, 2001.
2. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. Automated Test and Oracle Generation for Smart-Card Applications. In International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001.
3. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva. STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications. In Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001.
4. L. Hélouet. Some pathological Message SequenceCharts and how to detect them. In Proc. of SDL'2001, LNCS, 2001.
5. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand. The Signal declarative synchronous language : controller synthesis & systems/architecture design. In 40th IEEE Conference on Decision and Control, Pages 3284-3289, Orlando, Florida, USA, December 2001.
6. 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, Paper FrP12-6, December 2001.
7. H. Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. In 40th IEEE Conference on Decision and Control, Pages 2235-2240, Orlando, Florida, USA, December 2001.
8. A. Benveniste. Some Synchronization Issues When Designing Embedded Systems from Components. In Embedded Software, First International Workshop, EMSOFT 2001, T.A. Henzinger, C. M. Kirsch (eds.), Lecture Notes in Computer Science, Volume 2211, Pages 32-49, Tahoe City, CA, USA, October 2001. download
9. E. Fabre, A. Benveniste, C. Jard. Distributed State Reconstruction for Large DEDS. In Allerton Conference on Communications, Control, and Computing, October 2001.
10. L. Hélouet. 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.
11. E. Fabre, A. Guyader, C. Guillemot. Joint source-channel turbo decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
12. E. Fabre, A. Guyader, C. Guillemot. Robust decoding of VLC-encoded Markov sources. In 18ème Colloque GRETSI, Toulouse, September 2001.
13. M. Bednarczyk, P. Darondeau. Looking for diamonds. In Proceedings of the Workshop on Synthesis of Concurrent Systems, P. Darondeau, L. Lavagno (eds.), Pages 11-18, Newcastle upon Tyne, UK, June 2001.
14. 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.
15. 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.

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. P. Darondeau, X. Xie. Linear Control of Live Marked Graphs. Research report INRIA Rennes, No 4251, July 2001. download
3. 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.

Misc

1. T. Jéron. Le test de conformité : état de l'art. Rapport pour l'AEE (Architecture Electronique Embarquée), 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 v216, © INRIA 2002-2007, Projet Lagadic