Publications 1996

Thèses

1. V. Rusu, Vérification temporelle de programmes ELECTRE, Thèse de l'Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes, Janvier 1996. (détails)

Conferences internationales

1. L. Doldi, V. Encontre, J.-C. Fernandez, T. Jéron, S. Le Bricquir, N. Texier, M. Phalippou, Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context, in IFIP TC6 9th International Workshop on Testing of Communicating Systems, B. Baumgarten, H.-J. Burkhardt, A. Giessler (eds.), Septembre 1996. (détails)
2. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, Using on-the-fly Verification Techniques for the Generation of Test Suites, in Conference on Computer-Aided Verification (CAV'96), New Brunswick, New Jersey, USA, A. Alur, T. Henzinger (eds.), Volume 1102, Juillet 1996. (détails) download
3. M. Le Borgne, H. Marchand, E. Rutten, M. Samaan, Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller, in Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96, Pages 271-285, Munich, Germany, Juillet 1996. (détails)
4. Y.-M. Quemener, T. Jéron, Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars, in FORTE/PSTV'96, Octobre 1996. (détails) download
5. O. Roux, V. Rusu, Deciding time-bounded properties for ELECTRE reactive programs with stopwatch automata, in International workshop on Hybrid Systems and Autonomous Control (WHSAC'94), Volume 999 of LNCS, Pages 405-416, Cornell University, Ithaca (New York, USA), 1996. (détails)

Conferences nationales

1. T. Jéron, Génération automatique de séquences tests par la technologie de la vérification, in Conférence invitée, Ecole d'été MOVEP, Nantes, Juin 1996. (détails)
2. T. Jéron, La génération de tests pour les protocoles à l'aide de la technologie de la vérification, in Conférence Software Testing'96, Paris, Club Génie Logiciel SEE, Juin 1996. (détails)
3. H. Marchand, E. Marchand, E. Rutten, Spécification et vérification de systèmes réactifs : expérimentation de la méthodologie synchrone SIGNAL, in Actes du Congrès AFCET sur la Modélisation des Systèmes Réactifs, MSR'96, Brest, Mars 1996. (détails)

Rapport de recherche

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

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.