|
|
| |
|
|
Name: |
|
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 |
|
|
| |
|
|
|
|
|
|
|
| |
|
|
Teaching
Activities: |
|
|
|
| |
|
|
|
|
|
|
|
|
Back