Publications 2004

Academic Journals

1. A. Bouillard, J. Mairesse. Möbius inversion formula for the trace group. C. R. Acad. Sci. Paris, Ser I, 339:899-904, 2004.
2. C. Jard, T. Jéron. TGV: theory, principles and algorithms. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer, 2004.

International Conferences

1. S. Abbes, A. Benveniste, S. Haar. A Petri net model for distributed learning. In Proceedings of MTNS 2004, 2004.
2. A. Aghasaryan, C. Jard, J. Thomas. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. In International Communication Conference (ICT), LNCS, Pages 841-847, Fortaleza, Brasil, August 2004.
3. T. Chatain, Jard C.. Symbolic Diagnosis of Partially Observable Concurrent Systems. In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), LNCS, Pages 326-342, Madrid, Spain, September 2004.
4. E. Fabre. Runs of a Distributed System are a Product of Local Runs. In Mathematical Theory of Networks and Systems (MTNS), July 2004.
5. E. Fabre, A. Benveniste, S. Haar, C. Jard, A. Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks. In International Communication Conference (ICT), August 2004.
6. Blaise Genest, Marius Minea, Anca Muscholl, Doron Peled. Specifying and Verifying Partial Order Properties Using Template MSCs. In FoSSaCS, Volume LNCS 2987, Pages 195-210, 2004.
7. Blaise Genest, Anca Muscholl, Dietrich Kuske. A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms. In Developments in Language Theory, Volume LNCS 3340, Pages 30-48, 2004.
8. Loïc Hélouët. Finding covert channels in protocols with Message Sequence Charts: the case of RMTP2. In Proc. of SAM'2004, 4th conference on SDL and MSC, June 2004.
9. Loïc Hélouët, Marc Zeitoun, Aldric Degorre. Scenarios and cover channels: yet another game. In Proc. of GDV'04 : 1st workshop on Games In design and Verification, July 2004.
10. Jacques Klein, Benoît Caillaud, Loïc Hélouët. Merging Scenarios. In Proc. of FMICS'04 (Formal Methods in Industrial and Critical Systems, 2004.
11. M. Koca, E. Fabre, A. Roumy. Turbo Decoding of multiple descriptions with quantized frame expansions. In International Symposium on Image/Video Communications over fixed and mobile networks, ISIVC'04, July 2004.
12. A. Roumy, D. Declercq, E. Fabre. Low Complexity Code Design for the 2-user Gaussian Multiple Access Channel. In Proc. of ISIT, IEEE Int. Conference on Information Theory, June 2004.
13. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Revisiting Statechart Synthesis with an Algebraic Approach. In Proc. of ICSE 2004, 2004.
14. Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel. Behaviors Generation From Product Lines Requirements. In Proc. of UML2004 workshop on Software Architecture Description and UML, 2004.

Research Reports

1. S. Abbes. A Probabilistic Model for True Concurrency. Research Report IRISA, No 1591, March 2004.
2. S. Abbes. The Projective Formalism for Topological Event Structures, and a Probabilistic Application - Extended Version. Research Report IRISA, No 1614, 2004.
3. S. Abbes, A. Benveniste. Branching Cells as local states for event structures and nets: probabilistic applications. Research Report IRISA, No 1651, 2004.
4. S. Abbes, A. Benveniste, S. Haar. Distributed Probabilities on Locally Finite Event Structures - Extended Version. Research Report IRISA, No 1615, 2004.
5. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne IRISA, No 1636, July 2004.
6. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 2004.
7. A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004.
8. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004.
9. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004.
10. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004.
11. S. Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. Research Report INRIA, No 5248, 2004.
12. Stefan Haar. Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics. INRIA Research Report INRIA, No 5248, July 2004.

Misc

1. Stefan Haar, Thomas Chatain. Grammaires de graphes comme modèle commun pour Swan. Livrable 1.1.1. of SWAN project, December 2004.
2. Loïc Hélouët. Comparaison de langages de scénarios. Livrable L1.1.1r, CRE CO2, November 2004.

Thesis

1. S. Abbes. Probabilistic Models for Distributed and Concurrent Systems. Limit Theorems and Applications to Statistical Parametric Estimation. PhD Thesis Université de Rennes 1, 2004.

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