Xavier Thirioux

Organisation: INRIA
Research Unit: Sophia Antipolis

E-Mail: Xavier.Thirioux@sophia.inria.fr
Phone: 33 4 92 38 79 65
Fax: 33 4 92 38 79 98
Personnal Web Page: not yet available

Position: INRIA Expert Engineer

Research Activities: Model-Checking of Esterel designs
User interface for the interactive specification of temporal-logic-based properties