Knowledge Tree

researcher / Hassan Mountassir

Hassan Mountassir

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Adaptation of SysML Blocks and Verification of Temporal Properties

Combining SysML and SystemC to Simulate and Verify Complex Systems

Formal and incremental verification of SysML for the design of component-based system

Contributions à la vérification de la sûreté de l'assemblage et à l'adaptation de composants réutilisables

Contributions à la spécificification et à la vérification des reconfigurations dynamiques dans les systèmes à composants

Vérification des systèmes hiérarchiques et préservation de propriétés linéaires par raffinement

Contributions à la vérification incrémentale des systèmes temporisés à composants