Home Page

FirstnameHassan
LastnameMOUNTASSIR
StatusPROFESSEUR
Address

LIFC UFR ST
16 route de Gray
25030 BESANCON Cedex


Emailhassan.mountassir [ _at_ ] lifc.univ-fcomte.fr
Phone number+33 (0)3.81.66.66.65
Fax+33 (0)3 81 66 64 50
TeamVESONTIO

  • I am Professor at the University of Franche-Comté, member of LIFC Computer Science Laboratory.
  • I received a PhD in Computer Science - Graphs and Cellular Automata for Layout Desing at the LaBRI Laboratory, University of Bordeaux I.
  • I received a HDR (Habilitation à Diriger des Recherches) on 2000 from the University of Franche-Comté - Coopération entre Preuve et Model-checking pour Vérifier des Systèmes Réactifs.

    My general research areas are: Specification and Verification of Systems, Component Based Software Engineering (CBSE), and Real-Time Systems.

  • I am member of VESONTIO Team (Vérification, Spécification, Test et Ingénierie des modèles)

In particular, within these areas, my research interests include:


* Verification of Reactive Systems, Refinement and Modularity


* Preservation of LTL and MITL temporal properties


* Software Component Adaptation, Reconfiguration and Composition


* Proofs and Model-Checking Verification Techniques


Current publications
University Councils:

  • Member of CA (Conseil d'Administration) of University in 2006

  • Member of CA of IAE (Institut d'Administartion des Enreprises) since 2007

  • Member of CEVU ( Conseil des Études et de la Vie Universitaire) since 2008

Directory