| 2006 |
|---|
| 12 | EE | Hahnsang Kim,
Thierry Turletti,
Amar Bouali:
EPspectra: a formal toolkit for developing DSP software applications.
TPLP 6(4): 451-481 (2006) |
| 2005 |
|---|
| 11 | EE | Hahnsang Kim,
Thierry Turletti,
Amar Bouali:
EPspectra: A Formal Toolkit for Developing DSP Software Applications
CoRR abs/cs/0502025: (2005) |
| 2004 |
|---|
| 10 | EE | Samar Dajani-Brown,
Darren D. Cofer,
Amar Bouali:
Formal Verification of an Avionics Sensor Voter Using SCADE.
FORMATS/FTRTFT 2004: 5-20 |
| 2000 |
|---|
| 9 | | Gérard Berry,
Amar Bouali,
Xavier Fornari,
Emmanuel Ledinot,
Eric Nassor,
Robert de Simone:
ESTEREL: a formal method applied to avionic software development.
Sci. Comput. Program. 36(1): 5-25 (2000) |
| 1998 |
|---|
| 8 | | Amar Bouali:
XEVE, an ESTEREL Verification Environment.
CAV 1998: 500-504 |
| 1996 |
|---|
| 7 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
AMAST 1996: 595-598 |
| 6 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set.
CAV 1996: 441-445 |
| 5 | | Amar Bouali,
Jean-Paul Marmorat,
Robert de Simone,
Horia Toma:
Verifying Synchronous Reactive Systems Programmed in ESTEREL.
FTRTFT 1996: 463-466 |
| 4 | | Amar Bouali,
Annie Ressouche,
Valérie Roy,
Robert de Simone:
The FC2TOOLS Set (Tool Demonstration).
TACAS 1996: 396 |
| 1994 |
|---|
| 3 | | Amar Bouali,
Stefania Gnesi,
Salvatore Larosa:
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bulletin of the EATCS 54: 207-223 (1994) |
| 1992 |
|---|
| 2 | | Amar Bouali,
Robert de Simone:
Symbolic Bisimulation Minimisation.
CAV 1992: 96-108 |
| 1991 |
|---|
| 1 | | Amar Bouali,
Robert de Simone:
Causal Models for Rational Algebraic Processes.
CONCUR 1991: 18-19 |
