Publications 1998

Articles de journaux

  1. H. Ben-Abdallah, J.Y. Choi, D. Clarke, Y.S. Kim, I. Lee, A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems, Real-Time Systems, 15(3):189-219, Novembre 1998. (détails)
  2. E. Marchand, E. Rutten, H. Marchand, F. Chaumette, Specifying and verifying active vision-based robotic systems with the Signal environment, Int. Journal of Robotics Research, 17(4):418-432, Avril 1998. (détails)

Conferences internationales

  1. T.A. Henzinger, V. Rusu, Reachability verification for hybrid automata, in International Workshop on Hybrid Systems: Computation and Control, Pages 190-204, Berkeley, California, USA, 1998. (détails)
  2. C. Jard, T. Jéron, H. Kahlouche, C. Viho, Towards Automatic Distribution of Testers for Distributed Conformance Testing, in FORTE/PSTV'98, Paris, France, Novembre 1998. (détails)
  3. C. Jard, T. Jéron, Verification and distributed observation of the alternating bit protocol, in FORTE/PSTV'98, ECASP: Special Session on Educational Case Studies in Protocols, Paris, France, Novembre 1998. (détails)
  4. T. Jéron, J.-M. Jézéquel, A. Le Guennec, Validation and Test Generation for Object-Oriented Distributed Software, in IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, Avril 1998. (détails)
  5. H. Kahlouche, C. Viho, M. Zendri, An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol, in IFIP TC6 11th International Workshop on Testing of Communicating Systems, A. Petrenko, N. Yevtushenko (eds.), Septembre 1998. (détails)
  6. H. Marchand, M. Le Borgne, Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems, in 1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. (détails)
  7. H. Marchand, M. Le Borgne, On the Optimal Control of Polynomial Dynamical Systems over Z/pZ, in 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, Août 1998. (détails)
  8. H. Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, in 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, Octobre 1998. (détails)
  9. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic, A Design Environment for Discrete-Event Controllers based on the SIGNAL Language, in 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, Octobre 1998. (détails)

Rapport de recherche

  1. H. Marchand, O. Boivineau, S. Lafortune, On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals, Rapport de recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998. (détails)

Divers

  1. C. Jard, T. Jéron, J.-C. Fernandez, Etat de l'art, outils existants et spécification de l'outil, Marché France-Télécom - Vérilog - Irisa - Verimag, Génération automatique de tests, Août 1998. (détails)
  2. T. Jéron, TGV: principles, tool architecture and algorithms, Dagstuhl Seminar on Test Automation for Reactive Systems - Theory and Practice, Septembre 1998. (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.