Photo Responsable

Gruppo di ricerca : MoVe - Modeling and Verification

Axes : SSR (👥👥), ASN (👥), TMC (👥).

Responsabile del gruppo di ricerca :

Tewfik Ziadi Campus Pierre et Marie Curie 25-26/212

Presentazione breve

Dessin Bulles HAL Rubrica del personale 17 software

MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:

  • Optimized techniques of formal verification through model-checking.
  • Development methodologies based on Model-Driven Engineering.
  • Integration of formal analysis in development processes.
  • Design and implementation of new programming languages and models to increase the verifiability of distributed programs.

Rubrica del personale

Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling

Attualmente non è previsto nessun evento

Archivio

Selected publications

Tutti
Mentions légales
Mappa del sito