Publications 1999

Articles de journaux

  1. T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, M. Bozga, Génération automatique de tests pour les protocoles: l'exemple de l'approche formelle de TGV, Revue de l'Electricité et de l'Eléctronique (REE), 3, Mars 1999. (détails)
  2. O Roux, V. Rusu, F. Cassez, Hybrid verifications of reactive programs, Formal Aspects of Computing, 11(4):448-471, 1999. (détails)

Conferences internationales

  1. R. Groz, T. Jéron, A. Kerbrat, Automated Test Generation from SDL specifications, in SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec, R. Dssouli, G. von Bochmann, Y. Lahav (eds.), Pages 135-152, Juin 1999. (détails)
  2. C. Jard, T. Jéron, L. Tanguy, C. Viho, Remote testing can be as powerful as local testing, in Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, J. Wu, S. Chanson, Q. Gao (eds.), Pages 25-40, Octobre 1999. (détails)
  3. B. Jeannet, N. Halbwachs, P. Raymond, Dynamic Partitioning in Analyses of Numerical Properties, in Static Analysis Symposium, SAS'99, Volume 1694, Venezia (Italy), Septembre 1999. (détails)
  4. T. Jéron, P. Morel, Test generation derived from model-checking, in CAV'99, Trento, Italy, N. Halbwachs, D. Peled (eds.), Volume 1633, Pages 108-122, Juillet 1999. (détails)
  5. T. Jéron, J.-M. Jézéquel, Y. Le Traon, P. Morel, Efficient Strategies for Integration and Regression Testing of 00 Systems, in 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida, Pages 260-269, Novembre 1999. (détails)
  6. H. Kahlouche, C. Viho, M. Zendri, Hardware Testing using a Communication Protocol Conformance Testing Tool, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), W.R. Cleaveland (ed.), Volume 1579, Pages 315-329, Mars 1999. (détails)
  7. H. Marchand, M. Samaan, On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology, in World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, Octobre 1999. (détails)
  8. S. Ramangalahy, P. Le Gall, T. Jéron, Une application de la théorie des jeux au test de conformité, in Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nancy, France, A. Schaff (ed.), Avril 1999. (détails)
  9. V. Rusu, E. Singerman, On proving safety properties by integrating static analysis, theorem proving and abstraction, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Pages 178-192, 1999. (détails)

Rapport de recherche

  1. 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)
  2. 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)
  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)

Divers

  1. C. Jard, T. Jéron, Test Generation for Reactive Systems, FM'99: World Congress on Formal Methods in the development of computing systems, Toulouse, France, Industrial Tutorial: Testing & Formal Methods, Septembre 1999. (détails)
  2. T. Jéron, Testing Reactive Systems using Model-Based Verification Techniques, Invited presentation, Dutch Testing Day, Philips, Eindhoven, Novembre 1999. (détails)
  3. T. Jéron, Efficient automatic generation of conformance test suites for protocols and reactive systems, Workshop on Formal Methods for Safety Critical Systems, Munich, Germany, Mars 1999. (détails)
  4. T. Jéron, H. Kahlouche, P. Morel, Document de spécification des algorithmes de TGV, Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, 1999. (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.