• Home
• People
• Publications

Research Reports

2022

1. E. Fabre, L. Hélouet, A. Thébault. Optimization of traffic management with learning machines. September 2022.
2. L. Hélouet, P. Agrawal. Waiting Nets (Extended Version). Research Report INRIA ; ENS Paris Saclay, March 2022.

2016

1. Nathalie Bertrand, Serge Haddad, Engel Lefaucheux. Diagnosis in Infinite-State Probabilistic Systems (long version). Research Report Inria Rennes ; LSV, ENS Cachan, June 2016.

2015

1. N. Bertrand, P. Fournier, A. Sangnier. Distributed local strategies in broadcast networks. Research Report Inria Rennes, July 2015. download

2014

1. E. Badouel, L. Hélout, G. Kouamou, Ch. Morvan. A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. No 0, May 2014.

2013

1. R. Abdallah, A. Gotlieb, L. Hélouet, C. Jard. Scenario realizability with constraint optimization. January 2013.
2. S. Chédor, T. Jéron, C. Morvan. Test Generation from Recursive Tile Systems. Rapport de recherche INRIA, No 0, January 2013.

2012

1. A. Stainer. Frequencies in Forgetful Timed Automata. Research Report INRIA, No 8009, 2012.
2. A. Junier, A. Bouillard, B. Ronot. Hidden Anomaly Detection in Telecommunication Networks. Research Report INRIA, No 0, October 2012. download
3. L. Jezequel, E. Fabre. A-sharp: a Distributed A-star for Factored Planning. Research Report INRIA, No 0, March 2012. download

2011

1. Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen. Off-line Test Selection with Test Purposes for Non-Deterministic Timed Automata. Research Report INRIA, No 7501, January 2011.

2010

1. N. Bertrand, A. Stainer, T. Jéron, M. Krichen. A game approach to determinize timed automata. Research Report INRIA, No 7381, October 2010.
2. Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010.
3. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010.
4. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010.

2009

1. F. Cassez, J. Dubreil, H. Marchand. Dynamic Observers for the Synthesis of Opaque Systems. Research Report IRISA, No 1930, May 2009.
2. C. Morvan. Contextual graph grammars characterizing context-sensitive languages. Research Report IRISA, No 1926, March 2009.
3. J. Dubreil, Ph. Darondeau, H. Marchand. Supervisory Control for Opacity. Research Report IRISA, No 1921, February 2009.

2008

1. A. Bouillard, S. Rosario, A. Benveniste, S. Haar. Monotonicity in Service Orchestrations. INRIA Research Report INRIA, No 0, 2008.
2. L. Hélouet. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008.
3. G. Kalyon, T. Le gall, H. Marchand, T. Massart. Control of Infinite Symbolic Transitions Systems under Partial Observation. Technical report of the verification group Université Libre de Bruxelles, No 103, October 2008.
4. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008.
5. C. Baier, N. Bertrand, P. Bouyer, T. Brihaye, M. Grosser. A Probabilistic Semantics for Timed Automata. Research Report No LSV-08-13 Laboratoire Spécification et Vérification, ENS Cachan, France, April 2008.
6. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008.

2007

1. M. Bozga, L. Hélouet. 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.
2. T. Gazagnaire, B. Genest, L. Hélouet, P.S. and Yang, S. Thiagarajan. Causal Message Sequence Charts. INRIA Research Report INRIA, No 0, 2007.
3. B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007.
4. B. Genest, A. Muscholl, O. Serre, M. Zeitoun. Well Structured Control of Data Tree and the Decidability of AXML. 2007.
5. L. Hélouet. Application of Message Sequence Charts : a proposal for a new appendix to Z.120. Research Report Draft proposal for ITU SG17-Q12, 2007.
6. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007.
7. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007.
8. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007.
9. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. Research Report INRIA, No 6258, July 2007. download
10. A. Benveniste, B. Caillaud, R. Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. download
11. P. Darondeau, L. Petrucci. Modular Automata 2 Distributed Petri Nets 4 Synthesis. Research Report INRIA, No 6192, May 2007. download
12. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007.
13. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten. Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems. Research Report INRIA, No 6137, March 2007.
14. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007.
15. 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. P. Darondeau, B. Genest, L. Hélouet. L2.2 R : description d'un modèle de tuiles, propriétés fondamentales. Research Report Projet CO2, 2006.
2. L. Hélouet. l1.2.2 R : Description de l'intégration d'un algorithme de calcul d'interface dans SOFAT. Research Report Projet CO2, 2006.
3. L. Hélouet. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006.
4. L. Hélouet. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006.
5. L. Hélouet, O. constant, C. 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.
6. L. Hélouet, T. Hénin, C. Chevrier. Livrable L1.2.1 R: Rapport technique décrivant l'algorithme de calcul d'interface. Research Report Projet CO2, 2006.
7. 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.
8. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006.
9. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006.
10. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, 2006.

2005

1. T. Gazagnaire, L. Hélouet, C. Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005.
2. B. Jeannet, T. Jéron, T. Le Gall. Abstract lattices for the analysis of systems with unbounded FIFO channels. Research Report IRISA, No 1767, December 2005.
3. S. Abbes, A. Benveniste. True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers. Research Report IRISA Research Report RR-1753, October 2005.
4. E. Fabre. On the construction of pullbacks for safe Petri nets. Research Report INRIA Research Report RR5722, August 2005.
5. E. Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.
6. L. Hélouet. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. download
7. T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Research Report IRISA, No 1683, January 2005.

2004

1. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004.
2. E. Rutten, H. Marchand. Automatic Generation of Safe Handlers for Multi-Task Systems. Research Report INRIA, No 5345, October 2004.
3. V. Rusu, H. Marchand, T. Jéron. Verification and Symbolic Test Generation for Safety Properties. Research Report IRISA, No 1640, August 2004.
4. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 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. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report IRISA, No 1606, May 2004.
7. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case. Research Report INRIA, No 5186, May 2004.
8. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 2 : General Case. Publication Interne IRISA, No 1606, May 2004.
9. B. Gaudin, H. Marchand. Supervisory control of Concurrent Discrete Event Systems. Research Report IRISA, No 1593, January 2004.
10. S. Abbes, A. Benveniste, S. Haar. Distributed Probabilities on Locally Finite Event Structures - Extended Version. Research Report IRISA, No 1615, 2004.
11. S. Abbes, A. Benveniste. Branching Cells as local states for event structures and nets: probabilistic applications. Research Report IRISA, No 1651, 2004.
12. 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.

2003

1. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003.
2. A. Borzyszkowski, P. Darondeau. Transition Systems without Transitions. Manuscript IPI PAN, No 964, October 2003.
3. E. Fabre. Convergence of Turbo Algorithms for Systems Defined by Local Constraints. Publication Interne IRISA, No 1510, June 2003.
4. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003.
5. P. Darondeau, H. Wimmel. From bounded T-systems to 1-safe T-systems up to language equivalence. Research report INRIA Rennes, No 4708, January 2003. download

2002

1. Eric Badouel, Philippe Darondeau. The Petri net synthesis problem for automatic graphs. Research Report INRIA Rennes, No 4661, December 2002.
2. 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.
3. E. Rutten, H. Marchand. Task-level programming for control systems using discrete control synthesis. Research Report INRIA, No 4389, February 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. 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.

2000

1. B. Caillaud, JP. Talpin, JM. Jézéquel, A. Benveniste, C. Jard. BDL: A Semantics Backbone for UML Dynamic Diagrams. Research report INRIA Rennes, No 4003, September 2000. download
2. H Marchand, O. Boivineau, S. Lafortune. Optimal control of discrete event systems under partial observation. Research Report CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, September 2000.
3. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. Research report INRIA Rennes, No 3970, July 2000. download

1999

1. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. download
2. S. Pinchinat, H. Marchand, M. Le Borgne. Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Research Report Irisa, No 1279, November 1999.
3. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999.
4. V. Rusu, E. Singerman. Interactive abstractions: proving safety property by integrating static analysis, theorem proving, and abstraction. Research Report IRISA, No 1256, July 1999.
5. E. Badouel, P. Darondeau, D. Quichaud, A. Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research Report IRISA, No 1253, June 1999.
6. P. Darondeau. On the Petri Net Realization of Context-Free Graphs. Research report INRIA Rennes, No 3674, May 1999. download
7. A. Benveniste, B. Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. download

1998

1. Eric Badouel. Representation of Reversible Automata and State Graphs of Vector Addition Systems. Research Report INRIA, No 3490, September 1998.
2. L. Hélouet, C. Jard, B. Caillaud. An Effective equivalence for sets of scenarios represented by HMSCs. REsearch report INRIA, No 3499, September 1998.
3. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. Research Report CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, July 1998.
4. P. Darondeau, V. Schmitt. State Graphs of Stratified Flip-Flop Nets. Research report IRISA, No 1177, March 1998. download
5. P. Darondeau. Deriving Unbounded Petri Nets from Formal Languages. Research report INRIA Rennes, No 3365, February 1998. download

1997

1. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho. An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology. Research Report IRISA, No 1035, 1997. download
2. H. Marchand, M. Le Borgne. Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields. Research Report Irisa, No 1125, October 1997.
3. P. Bournai, M. Le Borgne, H. Marchand. Environnement de conception d'automatismes discrets basé sur le langage Signal. Research Report Irisa, No 1124, September 1997.

1996

1. Y.-M. Quemener, T. Jéron. Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars. Research Report IRISA, No 994, 1996. download
2. Eric Badouel. Splitting of Actions, Higher-Dimensional Automata and Net Synthesis. Research Report INRIA, No 3013, October 1996.

1995

1. Y.-M. Quemener, T. Jéron. Model-Checking of Infinite Kripke Structures Defined by Simple Graph Grammars. Research Report IRISA, No 927, 1995. download
2. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. The Signal data flow methodology applied to a production cell. Research Report Irisa, No 917, March 1995.
3. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Research Report Irisa, No 916, March 1995.

1994

1. T. Jéron, C. Jard. 3D Layout of Reachability Graphs of Communicating Processes. Research Report IRISA, No 852, 1994. download
2. H. Marchand, M. Le Borgne. Typage des graphes de décisions ternaires. Research Report Irisa, No 797, March 1994.

1990

1. Eric Badouel. Conditional rewrite rules as an algebraic semantics of processes. Research Report INRIA, No 1226, May 1990.

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