Publications 2004

Thèses

1. B. Gaudin, Synthèse de contrôleurs sur des systèmes à événements discrets structurés, Thèse de l'Université de Rennes 1, Novembre 2004. (détails)
2. T. Jéron, Contribution à la génération automatique de tests pour les systèmes réactifs, Habilitation à diriger des recherches de l'Université de Rennes 1, Mars 2004. (détails)
3. E. Zinovieva, Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données, Thèse de l'Université de Rennes 1, Novembre 2004. (détails)

Articles de journaux

1. N. Bertrand, I. Charon, O. Hudry, A. Lobstein, Identifying and Locating-Dominating Codes on Chains and Cycles, European Journal of Combinatorics, 25(7):969-987, Octobre 2004. (détails)
2. B. Gaudin, H Marchand, Supervisory Control of Product and Hierarchical Discrete Event Systems, European Journal of Control, 10(2), 2004. (détails)
3. C. Jard, T. Jéron, TGV: theory, principles and algorithms, A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, Software Tools for Technology Transfer (STTT), 6, Octobre 2004. (détails)
4. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems by means of supervisory control, International Journal of Production Research, 42(14):2809-2826, 2004. (détails)

Conferences internationales

1. N. Bertrand, Ph. Schnoebelen, Verifying Nondeterministic Channel Systems With Probabilistic Message Losses, in Proceedings of the 3rd International Workshop on Automated Verification of Infinite-State Systems (AVIS'04), Ramesh Bharadwaj (ed.), Barcelona, Spain, Avril 2004. (détails)
2. D. Cachera, T. Jensen, D. Pichardie, V. Rusu, Extracting a data flow analyser in constructive logic, in European Symposium on Programming,ESOP'04. Volume 2986 of LNCS, Pages 385-400, Février 2004. (détails)
3. B. Gaudin, H. Marchand, Modular Supervisory Control of a class of Concurrent Discrete Event Systems, in Workshop on Discrete Event Systems, WODES'04, Pages 181-186, Septembre 2004. (détails)
4. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, in 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004. Volume 3116 of LNCS, Juillet 2004. (détails)
5. B. Jeannet, A. Loginov, T. Reps, M. Sagiv, A Relational Approach to Interprocedural Shape Analysis, in 11th Static Analysis Symposium - SAS 2004. Volume 3148 of LNCS, Verona, Italy, Août 2004. (détails)
6. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet, From Safety Verification to Safety Testing, in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, Mars 2004. (détails)

Rapport de recherche

1. B. Gaudin, H. Marchand, Supervisory control of Concurrent Discrete Event Systems, Rapport de recherche IRISA, No 1593, Janvier 2004. (détails)
2. 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
3. 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)
4. V. Rusu, Verifying an ATM Protocol Using a Combination of Formal Techniques, Rapport de recherche INRIA, No 5089, Janvier 2004. (détails)
5. 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)
6. E. Rutten, H. Marchand, Automatic Generation of Safe Handlers for Multi-Task Systems, Rapport de recherche INRIA, No 5345, Octobre 2004. (détails)

Divers

1. T. Jéron, V. Tschaen, Test Generation Engine Documentation, AGEDIS : Automated Generation and Execution of test suites for DIstributed component-based Software, 2004. (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.