She is involved in research projects dealing with tools to analyze, design and to develop interactive critical systems (such as satellite ground segment applications, flight deck applications and air traffic management systems). Her research interests are techniques, notations and tools to analyze, design and to develop interactive critical systems.