Publications 2000

Thèses

  1. B. Jeannet, partitionnement Dynamique dans l'Analyse de Relations Linéraires et Application à la Vérification de Programmes Synchrones, Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2000. (détails)
  2. P. Morel, Une algorithmique efficace pour la génération automatique de tests de conformité, Thèse de l'Université de Rennes I, France, Février 2000. (détails)

Articles de journaux

  1. M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, L. MounierS. Gnesi, J.R. Cuellor, D. Latella, Verification and test generation for the SSCOP protocol, Journal of Science of Computer Programming, special issue on Formal Methods in Industry, 36(1):27-52, Janvier 2000. (détails)
  2. C. Jard, T. Jéron, An educational case study in protocol verification and distributed observation, Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000. (détails)
  3. Y. Le Traon, T. Jéron, J.-M. Jézéquel, P. Morel, Efficient OO Integration and Regression Testing, IEEE Transactions on Reliability, 49(1):12-25, Mars 2000. (détails)
  4. H Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, SIAM Journal on Control and Optimization, 39(2):512-532, 2000. (détails)
  5. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic, Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, 10(4):325-346, Octobre 2000. (détails)
  6. H. Marchand, M. Samaan, Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology, IEEE Transaction on Software Engineering, 26(8):729-741, Août 2000. (détails)
  7. S. Ramangalahy, P. Le Gall, T. Jéron, Une application de la théorie des jeux au test de conformité, Revue Electronique sur les Réseaux et l'Informatique Répartie (RERIR), 9(0):3-23, Mai 2000. (détails)

Conferences internationales

  1. A. Belinfante, L. Du Bousquet, S. Ramangalahy, S. Simon, C. Viho, R. De Vries, Formal test automation: the conference protocol with TGV/TorX, in IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Ottawa, Ontario, Canada, Hasan Ural, RobertL. Probert, Gregor v. Bochman (eds.), Pages 221-228, Août 2000. (détails)
  2. S. Bensalem, V. Ganesh, Y. Lakhnech, C. Munoz, S. Owre, H. Russ, J. Rushby, V. Rusu, H. Saidi, N. Shankar, E. Singerman, A. Tiwari, An Overview of SAL, in LFM 2000: Fifth NASA Langley Formal Methods Workshop, Pages 187-196, 2000. (détails) download
  3. L. Du Bousquet, H. Martin, Automatic test generation for Java-Card applets, in 4th Workshop on Tools for System Design and Verification, Juillet 2000. (détails)
  4. C. Jard, T. Jéron, P. Morel, Verification of Test Suites, in TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada, H. Ural, R.L. Probert, G. v. Bochman (eds.), Août 2000. (détails)
  5. H. Marchand, S. Pinchinat, Supervisory Control Problem using Symbolic Bisimulation Techniques, in 2000 American Control Conference, Pages 4067-4071, Chicago, Illinois, USA, Juin 2000. (détails)
  6. S. Pinchinat, H. Marchand, Symbolic Abstractions of Automata, in Proc of 5th Workshop on Discrete Event Systems, WODES 2000, Pages 39-48, Ghent, Belgium, Août 2000. (détails)
  7. V. Rusu, L. du Bousquet, T. Jéron, An approach to symbolic test generation, in International Conference on Integrating Formal Methods (IFM'00), Pages 338-357, Novembre 2000. (détails)

Rapport de recherche

  1. B. Jeannet, Dynamic Partitioning in Linear Relation Analysis, Rapport de recherche RS-00-38, BRICS, Décembre 2000. (détails)
  2. H Marchand, O. Boivineau, S. Lafortune, Optimal control of discrete event systems under partial observation, Rapport de recherche CGR-00-10, Control Group, College of Engineering, University of Michigan, USA, Septembre 2000. (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.