Amar Bouali
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1991–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | DATE | Panel Session - The Future Car: Technology, Methods and Tools. | Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber |
| 1998 | CAV | XEVE, an ESTEREL Verification Environment. | Amar Bouali |
| 1996 | CAV | The FC2TOOLS Set. | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1996 | TACAS | The FC2TOOLS Set (Tool Demonstration). | Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone |
| 1992 | CAV | Symbolic Bisimulation Minimisation. | Amar Bouali, Robert de Simone |
| 1991 | CONCUR | Causal Models for Rational Algebraic Processes. | Amar Bouali, Robert de Simone |