| |
|
|
Name: |
|
Amar
Bouali |
|
|
| |
|
|
|
|
|
|
| |
|
|
Organisation: |
|
I.N.R.I.A |
|
| |
|
|
Research
Unit: |
|
Sophia
Antipolis |
|
| |
|
|
|
|
|
|
| |
|
|
E-Mail: |
|
Amar.Bouali@sophia.inria.fr |
|
| |
|
|
Phone: |
|
33
4 92 38 79 49 |
|
| |
|
|
Fax: |
|
33
4 92 38 79 98 |
|
| |
|
|
Personnal
Web Page: |
|
|
|
| |
|
|
|
|
|
|
| |
|
|
Position: |
|
INRIA
researcher |
|
|
| |
|
|
|
|
|
|
|
| |
|
|
Research
Activities: |
|
Synchronous
Reactive systems |
|
| |
|
|
|
|
Constructive
cyclic circuit analysis |
|
| |
|
|
|
|
Finite-states
systems verification |
|
| |
|
|
|
|
Binary
Decision Diagrams (BDDs) |
|
| |
|
|
|
|
|
|
| |
|
|
Teaching
Activities: |
|
Principles
of Esterel Program Verification |
|
| |
|
|
|
|
Boolean
Calculus and Binary Decision Diagrams
|
|
| |
|
|
|
|
Automata
and Formal Languages |
|
| |
|
|
|
|
|
|
|
Back