Publications 2005

Articles de journaux

  1. P.A. Abdulla, N. Bertrand, A. Rabinovich, Ph. Schnoebelen, Verification of Probabilistic Systems with Faulty Communication, Information and Computation, 202(2):141-165, Novembre 2005. (détails)
  2. N. Bertrand, I. Charon, O. Hudry, A. Lobstein, 1-Identifying Codes on Trees, Australasian Journal of Combinatorics, 31:21-35, Février 2005. (détails)
  3. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, Theoretical Computer Science, 342(1):56-78, Septembre 2005. (détails)

Chapitres de livres

  1. V. Tschaen, Test generation algorithms based on preorder relations, in Model-Based Testing of Reactive Systems, M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (eds.), Chapitre 8, Lecture Notes in Computer Science No 3472, Springer Verlag, 2005. (détails)

Conferences internationales

  1. S. Bardin, A. Finkel, J. Leroux, P. Schnoebelen, Flat acceleration in symbolic model checking, in 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Volume 3707 of LNCS, Springer (ed.), Pages 474-488, Taipei, Taiwan, Octobre 2005. (détails)
  2. B. Gaudin, H. Marchand, Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach, in 6th IFAC World Congress, Prague, Czech Republic, Juillet 2005. (détails)
  3. B. Gaudin, H. Marchand, Safety Control of Hierarchical Synchronous Discrete Event Systems: A State-Based Approach, in 13th Mediterranean Conference on Control and Automation, Pages 889-895, Limassol, Cyprus, Juin 2005. (détails)
  4. B. Gaudin, H. Marchand, Supervisory Control and Deadlock Avoidance Control Problem for Concurrent Discrete Event Systems, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 2763-2768, Seville (Spain), Décembre 2005. (détails)
  5. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic Test Selection based on Approximate Analysis, in 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)
  6. B. Jeannet, D. Gopan, T. Reps, A Relational Abstraction for Functions, in The 12th International Static Analysis Symposium, SAS '05, Volume 2672 of LNCS, Pages 186-202, Septembre 2005. (détails)
  7. J. Komenda, J. H. van Schuppen, B. Gaudin, H. Marchand, Modular supervisory control with general indecomposable specification languages, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 3474-3479, Seville (Spain), Décembre 2005. (détails)
  8. T. Le Gall, B. Jeannet, H. Marchand, Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation, in 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, Pages 31-35, Seville (Spain), Décembre 2005. (détails)
  9. J. Leroux, G. Sutre, Flat counter automata almost everywhere!, in 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Volume 3707 of LNCS, Springer (ed.), Pages 489-503, Taipei, Taiwan, Octobre 2005. (détails)
  10. J. Leroux, A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams, in Proc. 20th IEEE Symp. Logic in Computer Science (LICS'2005), Chicago, USA, Juin 2005. (détails)
  11. Vlad Rusu, Hervé Marchand, Thierry Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, in Formal Methods 2005 (FM05), John Fitzgerald, Andrzej Tarlecki, Ian Hayes (eds.), Juillet 2005. (détails)

Conferences nationales

  1. B. Gaudin, H. Marchand, Une approche modulaire pour le contrôle de systèmes à événements discrets concurrents, in 5ième Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'05), Grenoble (Autrans), France, Octobre 2005. (détails)

Rapport de recherche

  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. 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)
  3. J. Leroux, Structural Presburger-definable Digit Vector Automata, Rapport de recherche IRISA, No 1718, Mai 2005. (détails)
  4. 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)

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.