Causal Models for Rational Algebraic Processes. - Amar Bouali; Robert de Simone (CONCUR, 1991)

Symbolic Bisimulation Minimisation. - Amar Bouali; Robert de Simone (CAV, 1992)

JACK: Just Another Concurrency Kit. The intergration Projekt. - Amar Bouali; Stefania Gnesi; Salvatore Larosa (Bull. EATCS, 1994)

The FC2TOOLS Set. - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (CAV, 1996)

Verifying Synchronous Reactive Systems Programmed in ESTEREL. - Amar Bouali; Jean-Paul Marmorat; Robert de Simone; Horia Toma (FTRTFT, 1996)

The FC2TOOLS Set (Tool Demonstration). - Amar Bouali; Annie Ressouche; Valérie Roy; Robert de Simone (TACAS, 1996)

XEVE, an ESTEREL Verification Environment. - Amar Bouali (CAV, 1998)

ESTEREL: a formal method applied to avionic software development. - Gérard Berry; Amar Bouali; Xavier Fornari; Emmanuel Ledinot; Eric Nassor; Robert de Simone (Sci. Comput. Program., 2000)

Top-level validation of system-on-chip in Esterel Studio. - Gérard Berry; Lionel Blanc; Amar Bouali; Jerome Dormoy (HLDVT, 2002)

Formal Verification of an Avionics Sensor Voter Using SCADE. - Samar Dajani-Brown; Darren D. Cofer; Amar Bouali (FORMATS/FTRTFT, 2004)

EPspectra: a formal toolkit for developing DSP software applications. - Hahnsang Kim; Thierry Turletti; Amar Bouali (Theory Pract. Log. Program., 2006)

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 002 (DATE, 2008)