fond
photo
Yann Ben Maissa's Home Page

My research is focused on modeling and formal verification of embedded systems.

My goal is to provide network engineers with tools, for modeling and model checking wireless sensor networks without any knowledge of the underlying verification techniques.

In order to do this, I try to define domain specific languages for wireless sensor networks modeling, and bridge the gap with model-checking techniques using a model driven engineering approach.

Current Position

Computer Science Phd graduate from

  • Université P.&M. Curie (France)
    and
  • Med V-Agdal University (Morocco)
    (obtained under joint supervision)



    Mail

    yann.ben-maissa@lip6.fr

  • Cool stuff

    libDDD

    EDITE de Paris