| |
|
|
Name: |
|
Yannis
Bres |
 |
|
| |
|
|
|
|
|
|
| |
|
|
Organisation: |
|
Ecole
des Mines de Paris |
|
| |
|
|
Research
Unit: |
|
C.M.A
Sophia Antipolis |
|
| |
|
|
|
|
|
|
| |
|
|
E-Mail: |
|
Yannis.Bres@cma.inria.fr |
|
| |
|
|
Phone: |
|
33
4 92 38 71 71 |
|
| |
|
|
Fax: |
|
33
4 92 38 79 98 |
|
| |
|
|
Personnal
Web Page: |
|
http://www.yannisbres.net |
|
| |
|
|
|
|
|
|
| |
|
|
Position: |
|
PhD
student |
|
| |
|
|
|
|
|
|
| |
|
|
Research
Activities: |
|
Application of explicit automaton techniques to Esterel |
|
| |
|
|
|
|
implicit
FSMs: complete automaton generation (scoc) |
|
| |
|
|
|
|
and partial state explicitation. |
|
| |
|
|
|
|
Over-approximation
of Reachable State Space through |
|
| |
|
|
|
|
variable
abstraction. |
|
|
| |
|
|
|
|
|
|
|
| |
|
|
Teaching
Activities: |
|
JDK2
tools and GUI APIs (ISIA) |
|
| |
|
|
|
|
Introduction
to Algorithms, Data Structures and |
|
| |
|
|
|
|
Imperative
Programming (UNSA) |
|
|
| |
|
|
|
|
|
|
|
Back