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.
Computer Science Phd graduate from
yann.ben-maissa@lip6.fr