Publications 2005

Academic Journals

1. E. Fabre, A. Benveniste, S. Haar, C. Jard. Distributed Monitoring of Concurrent and Asynchronous Systems. Journal of Discrete Event Systems, special issue, pages 33-84, May 2005.
2. C. Jard, T. Chatain, P. Bourhis. Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels. Journal européen des systèmes automatisés (JESA), 1-2-3:351-366, 2005.

International Conferences

1. Samy Abbes, Albert Benveniste. Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. In FoSSaCS, V. Sassone (ed.), Volume 3441, Pages 95-109, 2005.
2. Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue!. In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, Pages 358-367, New York, NY, USA, 2005.
3. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. In 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, G. Ciardo, P. Darondeau (eds.), LNCS, Pages 108-127, 2005.
4. A. Bouillard, B Gaujal, J. Mairesse. Throughput in stochastic free-choice nets under various policies. In Joint 44th IEEE Conference on Decision and Control and European Control Conference, 2005.
5. T. Chatain. Diagnostic pour les systèmes distribués dynamiques partiellement observables. In Colloque Francophone d'Ingénierie des Protocoles (CFIP'05), March 2005.
6. Thomas Chatain, Loïc Hélouët, Claude Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Volume 3731, Pages 489-502, October 2005.
7. T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005.
8. \relax Thomas Chatain, Claude Jard. Models for the Supervision of Web Services Orchestration with Dynamic Changes. In Telecommunications 2005: Advanced Industrial Conference on Telecommunications - Service Assurance with Partial and Intermittent Resources Conference - E-Learning on Telecommunications Workshop (AICT\slash SAPIR\slash ELETE 2005), Pages 446-451, Lisbon, Portugal, July 2005.
9. Eric Fabre. A Trellis Notion for Distributed Systems. In 43rd Allerton Conf. on Communication, Control and Computing, Monticello, (Ill, USA), September 2005.
10. Eric Fabre. Distributed Diagnosis based on Trellis Processes. In 44th Conf. on Decision and Control (CDC), Seville, Spain, December 2005.
11. Blaise Genest. Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs. In TACAS, Volume LNCS 3440, Pages 429-444, 2005.
12. Blaise Genest. On Implementation of Global Concurrent Systems with Local Asynchronous Controllers. In CONCUR, Volume LNCS 3653, Pages 443-457, 2005.
13. Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron Peled. Snapshot Verification. In TACAS, Volume LNCS 3440, Pages 510-525, 2005.
14. Blaise Genest, Anca Muscholl. Message Sequence Charts: A Survey. In ACSD, Pages 2-4, 2005.
15. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, 2005.

Research Reports

1. Samy Abbes, Albert Benveniste. True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers. Research Report IRISA Research Report RR-1753, October 2005.
2. A. Bouillard, B. Gaujal. Perfect Sampling for Fork-Join networks. Research Report LIP, No 0, 2005.
3. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. Research Report LIP, No 14, 2005.
4. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.
5. Eric Fabre. On the construction of pullbacks for safe Petri nets. Research Report INRIA Research Report RR5722, August 2005.
6. Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
7. Loïc Hélouët. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. download

Misc

1. S. Haar. Modélisation de la dynamicité à l'aide de Grammaires de graphes. Livrable 1.1.1. of SWAN project, 2005.
2. Loïc Hélouët. Fibro V0.1, Manuel d'utilisation. Livrable L1.1.4r, CRE CO2, July 2005.
3. Loïc Hélouët. FIBRO : un outil de composition de scénarios. Livrable L1.1.3l, CRE CO2, July 2005.
4. Guy-Bertrand Kamga. Rapport d'étude sur les corrélations d'alarmes dans le BSS. Livrable contrat Alcatel, September 2005.
5. Persiform. Passage de la modélisation fonctionnelle vers la simulation de performance: Etat de l'art. Livrable du projet RNRT Persiform, 2005.
6. Franck Wielgus. Modélisation d'un SLTE et corrélation d'alarmes. Livrable contrat Alcatel, May 2005.

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