Publications de Valery Tschaen

Articles de journaux

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

Chapitres de livres

  1. V. Tschaen, Test generation algorithms based on preorder relations, in Model-Based Testing of Reactive Systems, M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (eds.), Chapitre 8, Lecture Notes in Computer Science No 3472, Springer Verlag, 2005. (détails)

Conferences internationales

  1. 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)
  2. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Ensuring the conformance of reactive discrete-event systems using supervisory control, in 42nd IEEE Conference on Decision and Control, Hawaii, USA, Décembre 2003. (détails)

Conferences nationales

  1. T. Jéron, H. Marchand, V. Rusu, V. Tschaen, Synthèse de contrôleurs pour une relation de conformité, in 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, Octobre 2003. (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)
  2. V. Tschaen, Compositionality issues in test Synthesis, Proceedings of the Modelling and Verifying Parallel Processes Summer School (MOVEP'02), Juin 2002. (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.