Publications 2006

Books

1. C. Jard. Méthodes formelles pour l'ingénierie des protocoles. Vuibert, 2006.

Academic Journals

1. Samy Abbes, Albert Benveniste. True-concurrency Probabilistic Models: Branching cells and Distributed Probabilities for Event Structures. Information and Computation, 204(2):231-274, 2006.
2. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. Journal of Discrete Event Dynamic Systems, 16(3):327-352, September 2006.
3. Blaise Genest,,Dietrich Kuske, Anca Muscholl. A Kleene Theorem and Model Checking for a Class of Communicating Automata. Information and Computation, 204(6):920-956, 2006.
4. Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-State High-Level MSCs: Model-Checking and Realizability. J. Computer and System Science JCSS, 72(4):617-647, 2006.

International Conferences

1. A. Aghasaryan, S. Piekarec, H. Pouyllau, S. Haar, E. Fabre, L. Ciarletta, N. Mbarek, E. Moreau. Multi-Domain Self Aware Management: Negotiation and Monitoring. In 13th Int. Conf. on Telecommunications, Funchal, Madeira, May 2006.
2. P. Baldan, S. Haar, B. Koenig. Distributed Unfolding of Petri Nets. In FOSSACS 2006, LNCS, Pages 126-141, 2006.
3. Debmalya Biswas, K. Vidyasankar. Modeling Visibility in Hierarchical Systems. In ER, Volume LNCS 4215, Pages 155-167, 2006.
4. Anne Bouillard, Bruno Gaujal. Backward coupling in Petri nets. In VALUETOOLS, Pages 0-0, 2006.
5. F. Cassez, T. Chatain, C. Jard. Symbolic unfoldings for networks of timed automata. In Proc. of ATVA'06, 2006.
6. T. Chatain, C. Jard. Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In Proc. of ICATPN, LNCS, Pages 125-145, June 2006.
7. E. Donin de Rosière, C. Jard, B. Parreaux. LaTe, A Non-fully Deterministic Testing Language. In 18th IFIP International Conference on Testing Communicating Systems -TestCom'2006, LNCS, May 2006.
8. Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu. Grey Box Checking. In FORTE, Volume LNCS 4229, Pages 420-435, 2006.
9. E. Fabre. On the Construction of Pullbacks for Safe Petri Nets. In Applications and Theory of Petri Nets and other Models of Concurrency, ATPN'06, Turku, Finland, June 2006.
10. E. Fabre. A Trellis Notion for Distributed System Diagnosis with Sequential Semantics. In 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
11. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. In plenary address, 8th Int. Workshop on Discrete Events Systems, WODES, Ann Arbor, July 2006.
12. Blaise Genest, Anca Muscholl. Constructing Exponential-size Deterministic Zielonka Automata. In ICALP, Volume LNCS 4052, Pages 565-576, 2006.
13. Loïc Hélouët, Thomas Gazagnaire, Blaise Genest. Diagnosis from Scenarios. In proc. of the 8th Int. Workshop on Discrete Events Systems, WODES'06, Pages 307-312, 2006.
14. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Automating scenario merging. In Proc. of SAM'06, Pages 64-81, 2006.
15. Il-Gon Kim, Debmalya Biswas. Application of Model Checking to AXML System's Security: A Case Study. In WS-FM, Volume LNCS 4184, Pages 242-256, 2006.
16. Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel. Semantic-based Weaving of Scenarios. In Proc. of the 5th International Conference on Aspect-Oriented Software Development (AOSD 06), Pages 27-38, Bonn, Germany, March 2006.
17. H. Pouyllau, L. Ciarletta, A. Aghasaryan, S. Haar. X-domain QoS budget negotiation using Dynamic Programming. In IEEE Advanced International Conference on Telecommunications (AICT), 2006.
18. S. Rosario, A. Benveniste, S. Haar, C. Jard. Foundations for Web services Orchestrations: functional and QoS aspects. In ISOLA 2006, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006.

Research Reports

1. Marius Bozga, Suzanne Graf, Loïc Hélouët. Modèle intermédiaire pour la transformation des formalismes utilisateurs vers les langages orientés performance (langage de la couche $LU$'). Research Report Projet Persiform, 2006.
2. Philippe Darondeau, Blaise Genest, Loïc Hélouët. L2.2 R : description d'un modèle de tuiles, propriétés fondamentales. Research Report Projet CO2, 2006.
3. E. Fabre, A. Benveniste. Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them. Research Report IRISA, No 1800, May 2006.
4. Loïc Hélouët. l1.2.2 R : Description de l'intégration d'un algorithme de calcul d'interface dans SOFAT. Research Report Projet CO2, 2006.
5. Loïc Hélouët. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006.
6. Loïc Hélouët. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006.
7. Loïc Hélouët, Olivier constant, Claude Jard. Traduction des Diagrammes d' activités et des Message Sequence Charts vers le formalisme intermédiaire des Réseaux de Petri Colorés Stochastiques. Research Report Projet Persiform, 2006.
8. Loïc Hélouët, Thibaut Hénin, Christophe Chevrier. Livrable L1.2.1 R: Rapport technique décrivant l'algorithme de calcul d'interface. Research Report Projet CO2, 2006.
9. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, January 2006.

Thesis

1. Thomas Chatain. Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems. PhD Thesis Université de Rennes 1, 2006.

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