Rapport de recherche

2009

  1. F. Cassez, J. Dubreil, H. Marchand, Dynamic Observers for the Synthesis of Opaque Systems, Rapport de recherche IRISA, No 1930, Mai 2009. (détails)
  2. C. Morvan, Contextual graph grammars characterizing context-sensitive languages, Rapport de recherche IRISA, No 1926, Mars 2009. (détails)
  3. J. Dubreil, Ph. Darondeau, H. Marchand, Supervisory Control for Opacity, Rapport de recherche IRISA, No 1921, Février 2009. (détails)

2008

  1. G. Kalyon, T. Le gall, H. Marchand, T. Massart, Control of Infinite Symbolic Transitions Systems under Partial Observation, Technical report of the verification group Univeristé Libre de Bruxelles, No 103, Octobre 2008. (détails)
  2. Ch. Morvan, S. Pinchinat, Diagnosis of Pushdown Systems, Rapport de recherche IRISA, No 1904, Octobre 2008. (détails)
  3. J. Dubreil, T. Jéron, H. Marchand, Monitoring Information flow by Diagnosis Techniques, Rapport de recherche IRISA, No 1901, Août 2008. (détails)
  4. 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, Avril 2008. (détails)
  5. J. Dubreil, Ph. Darondeau, H. Marchand, Opacity Enforcing Control Synthesis, Rapport de recherche IRISA, No 1887, Mars 2008. (détails)

2007

  1. V. Rusu, M. Clavel, Theorem proving for Maude's Rewriting Logic, Rapport de recherche Irisa, No 1873, 2007. (détails)
  2. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Rapport de recherche IRISA, No 1835, Mars 2007. (détails)
  3. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten, Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems, Rapport de recherche INRIA, No 6137, Mars 2007. (détails)
  4. T. Jéron, H. Marchand, S. Genc, S. Lafortune, Predictability of Sequence Patterns in Discrete Event Systems, Rapport de recherche IRISA, No 1834, Mars 2007. (détails)
  5. T. Le gall, B. Jeannet, Analysis of Communicating Infinite State Machines using Lattice Automata, Rapport de recherche IRISA, No 1839, Mars 2007. (détails)

2006

  1. C. Breunesse, E. Hubbers, P. Koopman, W. Mostowski, M. Oostdijk, V. Rusu, R. de Vries, A. van Weelden, R. Wichers Schreur, T. Willemse, Testing the Dutch e-passport, Rapport de recherche Radboud University, Nijmegen, The Netherlands, 2006. (détails)
  2. J. Dubreil, Non-Interference on Symbolic Transition System, Master Thesis Uppsala University, Février 2006. (détails)
  3. T. Jéron, H. Marchand, V. Rusu, Symbolic Determinisation of Extended Automata, Rapport de recherche IRISA, No 1176, Février 2006. (détails)
  4. T. Jéron, H. Marchand, S. Pinchinat, M-O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, Rapport de recherche IRISA, No 1784, Février 2006. (détails)

2005

  1. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, Abstract lattices for the analysis of systems with unbounded FIFO channels, Rapport de recherche IRISA, No 1767, Décembre 2005. (détails) download
  2. D. Pichardie, V. Rusu, Defining and Reasoning About General Recursive Functions in Type Theory: a Practical Method, Rapport de recherche Irisa, No 1766, Novembre 2005. (détails)
  3. J. Leroux, Structural Presburger-definable Digit Vector Automata, Rapport de recherche IRISA, No 1718, Mai 2005. (détails)
  4. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Rapport de recherche IRISA, No 1683, Janvier 2005. (détails)

2004

  1. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic test selection using approximate analysis, Rapport de recherche IRISA, No 1649, Octobre 2004. (détails)
  2. E. Rutten, H. Marchand, Automatic Generation of Safe Handlers for Multi-Task Systems, Rapport de recherche INRIA, No 5345, Octobre 2004. (détails)
  3. V. Rusu, H. Marchand, T. Jéron, Verification and Symbolic Test Generation for Safety Properties, Rapport de recherche IRISA, No 1640, Août 2004. (détails)
  4. B. Jeannet, A. Loginov, T. Reps, M. Sagiv, A relational approach to interprocedural shape analysis, Rapport de recherche University of Wisconsin-Madison, No 0, Avril 2004. (détails) download
  5. B. Gaudin, H. Marchand, Supervisory control of Concurrent Discrete Event Systems, Rapport de recherche IRISA, No 1593, Janvier 2004. (détails)
  6. V. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Rapport de recherche INRIA, No 5089, Janvier 2004. (détails)

2003

  1. B. Gaudin, H Marchand, Supervisory Control of Structured Discrete Event Systems, Research Report IRISA, No 1569, Novembre 2003. (détails)
  2. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, Rapport de recherche IRISA, No 1543, Juillet 2003. (détails)

2002

  1. E. Rutten, H. Marchand, Task-level programming for control systems using discrete control synthesis, Rapport de recherche INRIA, No 4389, Février 2002. (détails)

2001

  1. V. Rusu, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Rapport de recherche INRIA, No 4100, 2001. (détails)

2000

  1. B. Jeannet, Dynamic Partitioning in Linear Relation Analysis, Rapport de recherche RS-00-38, BRICS, Décembre 2000. (détails)
  2. H Marchand, O. Boivineau, S. Lafortune, Optimal control of discrete event systems under partial observation, Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000. (détails)

1999

  1. S. Pinchinat, H. Marchand, M. Le Borgne, Symbolic Abstractions of Automata and their application to the Supervisory Control Problem, Rapport de recherche Irisa, No 1279, Novembre 1999. (détails)
  2. H. Marchand, M. Le Borgne, The Supervisory Control Problem of Discrete Event Systems using polynomial Methods, Rapport de recherche Irisa, No 1271, Octobre 1999. (détails)
  3. V. Rusu, E. Singerman, Interactive abstractions: proving safety property by integrating static analysis, theorem proving, and abstraction, Rapport de recherche IRISA, No 1256, Juillet 1999. (détails)

1998

  1. H. Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, Rapport de recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998. (détails)

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, Rapport de recherche IRISA, No 1035, 1997. (détails) 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, Rapport de recherche Irisa, No 1125, Octobre 1997. (détails)
  3. P. Bournai, M. Le Borgne, H. Marchand, Environnement de conception d'automatismes discrets basé sur le langage Signal, Rapport de recherche Irisa, No 1124, Septembre 1997. (détails)

1996

  1. Y.-M. Quemener, T. Jéron, Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars, Rapport de recherche IRISA, No 994, 1996. (détails) download

1995

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

1994

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

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 has been automatically generated using the bib2html program.