Publications 2007

Articles de journaux

  1. C. Baier, N. Bertrand, Ph. Schnoebelen, Verifying nondeterministic probabilistic channel systems against omega-regular linear-time properties, ACM Transactions on Computational Logic, 9(1), 2007. (détails) download
  2. C. Constant, T. Jéron, H. Marchand, V. Rusu, Integrating formal verification and conformance testing for reactive systems, IEEE Transactions on Software Engineering, 33(8):558-574, Août 2007. (détails)
  3. B. Gaudin, H. marchand, An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-Based Approach, Discrete Event Dynamic System, 17(2):179-209, 2007. (détails)
  4. S. Pickin, C. Jard, T. Jéron, J-M Jézéquel, Y. Le Traon, Test Synthesis from UML Models of Distributed Software, IEEE Transactions on Software Engineering, 33(4):252-269, Avril 2007. (détails)

Conferences internationales

  1. C. Baier, N. Bertrand, P. Bouyer, Th. Brihaye, M. Groesser, Probabilistic and Topological Semantics for Timed Automata, in Proceedings of the 27th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'07), V. Arvind, Sanjiva Prasad (eds.), Volume 4855, New Delhi, India, Décembre 2007. (détails)
  2. C. Constant, B. Jeannet, T. Jéron, Automatic test generation from interprocedural specifications, in TestCom/Fates07, Pages 41-57, Tallinn, Estonia, Juin 2007. (détails)
  3. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten, Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems, in First IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), Paris, France, Juin 2007. (détails)
  4. B. Jeannet, T. Jéron, V. Rusu, Model-based test selection for infinite state reactive systems, in Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Volume 4709, Pages 47-69, 2007. (détails)
  5. T. Le Gall, B. Jeannet, Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification, in The 14th International Static Analysis Symposium, SAS 2007, Pages 52-68, Kongens Lyngby, Denmark, Août 2007. (détails)
  6. M. Oostdijk, V. Rusu, J. Tretmans, R. de Vries, T. Willemse, Integrating verification, testing, and learning for cryptographic protocols, in Integrated Formal Methods (IFM'07), 2007. (détails)

Conferences nationales

  1. J. Dubreil, T. Jéron, H. Marchand, Construction de moniteurs pour la surveillance de propriétés de sécurité, in 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Octobre 2007. (détails)
  2. E. Dumitrescu, A. Girault, H. Marchand, E. Rutten, Synthèse optimale de contrôleurs discrets et systèmes répartis tolérants aux fautes, in 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Octobre 2007. (détails)

Rapport de recherche

  1. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Rapport de recherche IRISA, No 1835, Mars 2007. (détails)
  2. 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)
  3. 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)
  4. T. Le gall, B. Jeannet, Analysis of Communicating Infinite State Machines using Lattice Automata, Rapport de recherche IRISA, No 1839, Mars 2007. (détails)
  5. V. Rusu, M. Clavel, Theorem proving for Maude's Rewriting Logic, Rapport de recherche Irisa, No 1873, 2007. (détails)

Divers

  1. F. Ployette, B. Jeannet, T. Jéron, Stg: a symbolic test generation tool for reactive systems, TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, Juin 2007. (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.