Back to INDEX

  Publications of Mohammed Al'Achhab  

Articles in journal or book chapters
  1. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Vérification de systèmes hiérarchiques par raffinement. Journal européen des systèmes automatisés, 39(1-3):239--254, October 2005. Note: Édition spéciale MSR'05, Modélisation des Systèmes Réactifs. [bibtex]


Conference articles
  1. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécification et Validation d'un Contrôleur de Performances Sportives. In E-Medisys 07, int. conf. on E-Medical Systems, Fez, Morocco, pages 173--178, October 2007. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Spécifications hiérarchiques et vérification des propriétés sous hypothèses d'équité. In M. Gourgaud and F. Riane, editors, 6ème Conf. Francophone de Modélisation et Simulation, MOSIM'06, Rabat, Morocco, April 2006. Note: Actes sur CD. 7 pages. ISBN 2-7430-0893-8. [bibtex]


  3. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. In ISoLA 2006, 2nd Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, pages 19--26, November 2006. IEEE Computer Society Press. [bibtex]


  4. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Exploitation du raffinement pour vérifier les modèles hiérarchiques. In Actes du RJCITR'05, 1ère Rencontres des Jeunes Chercheurs en Informatique Temps Réel, Nancy, France, September 2005. [bibtex]


  5. Mohammed Al'Achhab. Specification and Verification of Hierarchical Systems by Refinement. In Winter School on Modelling and Verifying Parallel Processes, MOVEP'04, Bruxelles, Belgique, December 2004. [bibtex]


  6. Ahmed Hammad, Jacques Julliand, Hassan Mountassir, and Mohammed Al'Achhab. Conception et vérification de systèmes temps réel par raffinement. In 12th Conf. on Real Time and Embedded Systems, RTS EMBEDDED SYSTEMS'04, Paris, France, pages 85--99, March 2004. [bibtex]


Internal reports
  1. Mohammed Al'Achhab, K. Cristiano, Ahmed Hammad, and Hassan Mountassir. Implementing Hierarchical automata in Promela/Spin. Technical Report RT2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004. [bibtex]


  2. Mohammed Al'Achhab, Ahmed Hammad, and Hassan Mountassir. Refinement of Hierarchical Systems. Research Report RR2004-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, April 2004.
    Keywords: Specification, hierarchical automata, refinement, Kripke structure, verification. [Abstract] [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html