Research Reports

2011

1. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang. Regular Set of Representatives for Time-Constrained MSC Graphs. Rapport de recherche INRIA, No 0, November 2011.
2. Claude Jard, Rouwaida Abdallah, Loïc Hélouët. Realistic Implementation of Message Sequence Charts. Rapport de recherche INRIA, No 0, April 2011.
3. Benoît Masson, Loïc Hélouët, Albert Benveniste. Compatibility between DAXML Schemas. Rapport de recherche INRIA, No 0, March 2011.

2009

1. Anne Bouillard, Stefan Haar, Sidney Rosario. Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. Research Report INRIA, No 7003, 2009.
2. Anne Bouillard, Laurent Jouhet, Eric Thierry. Tight performance bounds in the worst-case analysis of feed-forward networks. Research Report INRIA, No 7012, 2009.
3. Loïc Hélouët, Albert Benveniste. Distributed Active XML and Service Interfaces. Research report INRIA, No 7082, 2009.
4. Loïc Hélouët, Aline Roumy. Canaux cachés et théorie de l'information. Research report, DOTS deliverable 2.4.b Projet ANR DOTS, 2009.
5. Vojtech Rehak, Petr Slovak, Jan Strejcek, Loïc Hélouët. Decidable Race Condition for HMSC. Research Report Faculty of Informatics, Masaryk Univ., No 0, 2009.

2008

1. Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar. Monotonicity in Service Orchestrations. INRIA Research Report INRIA, No 0, 2008.
2. Loïc Hélouët. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008.
3. Loïc Hélouët, Hervé Marchand, Thierry Jéron. Testing Covert Channels. Research Report Projet Politess, 2008.
4. Loïc Hélouët, Thomas Gazagnaire, Hervé Marchand. Anomaly Detection with diagnosis technique. Research Report Projet Politess, 2008.
5. Agnes Madalinski, Eric Fabre. Modular construction of finite and complete prefixes of Petri net unfoldings. Research Report IRISA, No 6412, January 2008.

2007

1. Debmalya Biswas, Krishnamurthy Vidyasankar. Formalizing Visibility Characteristics in Hierarchical Systems. Research Report INRIA, No 6225, 2007.
2. A. Bouillard, C.S. Chang. An Explicit Control Algorithm for Optical FIFO Queues. Research Report INRIA Research Report RR-6097, 2007.
3. A. Bouillard, E. Thierry. An Algorithmic Toolbox for Network Calculus. Research Report INRIA Research Report RR-6094, 2007.
4. A. Bouillard, E. Thierry. Some examples and counterexamples for (min,+) filtering operations. Research Report INRIA Research Report RR-6095, 2007.
5. Marius Bozga, Loïc Hélouët. Définition de la sémantique des diagrammes d'activités à l'aide de Réseaux de Petri. Research Report Délivrable Projet Persiform, 2007.
6. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P.S. and Yang, Shaofa Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
7. Blaise Genest, Philippe Darondeau, Loïc Hélouët. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
8. Blaise Genest, Anca Muscholl, Olivier Serre, Marc. Zeitoun. Well Structured Control of Data Tree and the Decidability of AXML. 2007.
9. Asax Group. Semantics and Unfolding of AXML. Research Report Asax Project, 2007.
10. Loïc Hélouët. Application of Message Sequence Charts : a proposal for a new appendix to Z.120. Research Report Draft proposal for ITU SG17-Q12, 2007.
11. Claude Jard, Olivier Constant. Validation des formalismes proposés sur des applications concrètes. Research Report Délivrable Projet Persiform, 2007.
12. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007.

2006

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. 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.
4. Loïc Hélouët. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006.
5. Loïc Hélouët. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006.
6. 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.
7. 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.
8. 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.
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.

2005

1. A. Bouillard, B. Gaujal. Perfect Sampling for Fork-Join networks. Research Report LIP, No 0, 2005.
2. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. Research Report LIP, No 14, 2005.
3. Thomas Gazagnaire, Loïc Hélouët, Claude Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
4. 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.
5. Eric Fabre. On the construction of pullbacks for safe Petri nets. Research Report INRIA Research Report RR5722, August 2005.
6. Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.
7. Loïc Hélouët. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. download

2004

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

2003

1. E. Fabre. Convergence of Turbo Algorithms for Systems Defined by Local Constraints. Publication Interne IRISA, No 1510, June 2003.
2. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003.

2002

1. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. Publication Interne IRISA, No 1456, May 2002.

2001

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.

1998

1. Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998.

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