Research Reports

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. details Hal : Hyper Archive en ligne pdf

2015

  1. N. Bertrand, P. Fournier, A. Sangnier. Distributed local strategies in broadcast networks. Research Report Inria Rennes, July 2015. details Hal : Hyper Archive en ligne 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. details Hal : Hyper Archive en ligne

2013

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

2012

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

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. details pdf
  2. Y. Falcone, H. Marchand. Various Notions of Opacity Verified and Enforced at Runtime. Research Report INRIA, No 7349, August 2010. details pdf
  3. Ph. Darondeau, J. Dubreil, H. Marchand. Supervisory Control for Modal Specifications of Services. Research Report INRIA, No 7247, April 2010. details pdf
  4. Y. Falcone, Fernandez J.-C, T. Jéron, H. Marchand, L. Mounier. More Testable Properties. Research Report INRIA, No 7279, April 2010. details pdf

2009

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

2008

  1. A. Bouillard, S. Rosario, A. Benveniste, S. Haar. Monotonicity in Service Orchestrations. INRIA Research Report INRIA, No 0, 2008. details
  2. L. Hélouet. Appendix 1 to Z.120: Applications of Messages Sequence Charts. Research Report ITU-T, 2008. details
  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. details pdf
  4. J. Dubreil, T. Jéron, H. Marchand. Monitoring Information flow by Diagnosis Techniques. Research Report IRISA, No 1901, August 2008. details pdf
  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. details pdf
  6. J. Dubreil, Ph. Darondeau, H. Marchand. Opacity Enforcing Control Synthesis. Research Report IRISA, No 1887, March 2008. details pdf

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. details
  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. details
  3. B. Genest, P. Darondeau, L. Hélouet. Products of Message Sequence Charts. INRIA Research report INRIA, No 6258, 2007. details
  4. B. Genest, A. Muscholl, O. Serre, M. Zeitoun. Well Structured Control of Data Tree and the Decidability of AXML. 2007. details
  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. details
  6. S. Rosario, D. Kitchin, A. Benveniste, W. Cook, S. Haar, C. Jard. Event Structure Semantics of Orc. Research Report IRISA, No 1853, 2007. details
  7. Eric Badouel, Rodrigue Djeumen. Modular Grammars and Splitting of Catamorphisms. Research Report INRIA, No 6313, October 2007. details
  8. Eric Badouel, Marcel Tonga. Growing a Domain Specific Language with Split Extensions. Research Report INRIA, No 6314, October 2007. details
  9. Eric Badouel, Bernard Fotsing, Rodrigue Tchougong. Yet Another Implementation of Attribute Evaluation. Research Report INRIA, No 6315, October 2007. details
  10. P. Darondeau, B. Genest, L. Hélouet. Products of Message Sequence Charts. Research Report INRIA, No 6258, July 2007. details download
  11. A. Benveniste, B. Caillaud, R. Passerone. A Generic Model of Contracts for Embedded Systems. Research report INRIA Rennes, No 6214, June 2007. details download
  12. P. Darondeau, L. Petrucci. Modular Automata 2 Distributed Petri Nets 4 Synthesis. Research Report INRIA, No 6192, May 2007. details download
  13. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007. details pdf
  14. 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. details pdf
  15. T. Jéron, H. Marchand, S. Genc, S. Lafortune. Predictability of Sequence Patterns in Discrete Event Systems. Research Report IRISA, No 1834, March 2007. details pdf

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. details
  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. details
  3. L. Hélouet. L3.1 R: Critères de cohérence entre vues. Research Report Projet CO2, 2006. details
  4. L. Hélouet. L3.1 R: Critères de réalisabilité d'un ensemble de vues. Research Report Projet CO2, 2006. details
  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. details
  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. details
  7. S. Rosario, A. Benveniste, S. Haar, C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. Research Report IRISA, No 1780, 2006. details
  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. details
  9. T. Jéron, H. Marchand, V. Rusu. Symbolic Determinisation of Extended Automata. Research Report IRISA, No 1176, February 2006. details pdf
  10. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier. Supervision Patterns in Discrete Event Systems Diagnosis. Research Report IRISA, No 1784, February 2006. details pdf

2005

  1. T. Gazagnaire, L. Hélouet, C. Jard. Online abstraction of distributed executions. Research Report INRIA, No 5736, 2005. details
  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. details ps
  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. details
  4. E. Fabre. On the construction of pullbacks for safe Petri nets. Research Report INRIA Research Report RR5722, August 2005. details
  5. E. Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005. details
  6. L. Hélouet. Weakening Weak Sequential Composition in Scenarios. Research report INRIA, No 6262, March 2005. details 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. details pdf

2004

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

2003

  1. B. Gaudin, H Marchand. Supervisory Control of Structured Discrete Event Systems. Research Report IRISA, No 1569, November 2003. details pdf
  2. A. Borzyszkowski, P. Darondeau. Transition Systems without Transitions. Manuscript IPI PAN, No 964, October 2003. details ps
  3. E. Fabre. Convergence of Turbo Algorithms for Systems Defined by Local Constraints. Publication Interne IRISA, No 1510, June 2003. details
  4. E. Fabre. Factorization of Unfoldings for Distributed Tile Systems, Part 1 : Limited Interaction Case. Publication Interne IRISA, No 1529, April 2003. details
  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. details download

2002

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

2001

  1. A. Benveniste, E. Fabre, S. Haar. Markov nets : Probabilistic models for distributed and concurrent systems. Publication Interne IRISA, No 1415, September 2001. details
  2. P. Darondeau, X. Xie. Linear Control of Live Marked Graphs. Research report INRIA Rennes, No 4251, July 2001. details 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. details

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. details 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. details pdf
  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. details download

1999

  1. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research report IRISA, No 1289, December 1999. details 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. details pdf
  3. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999. details pdf
  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. details ps
  5. E. Badouel, P. Darondeau, D. Quichaud, A. Tokmakoff. Modelling Dynamic Agents Systems with Cooperating Automata. Research Report IRISA, No 1253, June 1999. details
  6. P. Darondeau. On the Petri Net Realization of Context-Free Graphs. Research report INRIA Rennes, No 3674, May 1999. details download
  7. A. Benveniste, B. Caillaud, Paul Le Guernic. From synchrony to asynchrony. Research report INRIA Rennes, No 3641, March 1999. details download

1998

  1. Eric Badouel. Representation of Reversible Automata and State Graphs of Vector Addition Systems. Research Report INRIA, No 3490, September 1998. details
  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. details ps
  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. details pdf
  4. P. Darondeau, V. Schmitt. State Graphs of Stratified Flip-Flop Nets. Research report IRISA, No 1177, March 1998. details download
  5. P. Darondeau. Deriving Unbounded Petri Nets from Formal Languages. Research report INRIA Rennes, No 3365, February 1998. details 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. details 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. details pdf
  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. details pdf

1996

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

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. details 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. details pdf
  3. H. Marchand, E. Rutten, M. Samaan. Specifying and verifying a transformer station in Signal and Signalgti. Research Report Irisa, No 916, March 1995. details pdf

1994

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

1990

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

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