Amar Bouali

According to our database, Amar Bouali authored at least 12 papers between 1991 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Proceedings of the Design, Automation and Test in Europe, 2008

2006

EPspectra: a formal toolkit for developing DSP software applications.

Hahnsang Kim, Thierry Turletti, Amar Bouali

Theory Pract. Log. Program., 2006

2004

Formal Verification of an Avionics Sensor Voter Using SCADE.

Samar Dajani-Brown, Darren D. Cofer, Amar Bouali

Proceedings of the Formal Techniques, 2004

2002

Top-level validation of system-on-chip in Esterel Studio.

Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2000

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

1998

XEVE, an ESTEREL Verification Environment.

Amar Bouali

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

The FC2TOOLS Set (Tool Demonstration).

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verifying Synchronous Reactive Systems Programmed in ESTEREL.

Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

The FC2TOOLS Set.

Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1994

JACK: Just Another Concurrency Kit. The intergration Projekt.

Amar Bouali, Stefania Gnesi, Salvatore Larosa

Bull. EATCS, 1994

1992

Symbolic Bisimulation Minimisation.

Amar Bouali, Robert de Simone

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991

Causal Models for Rational Algebraic Processes.

Amar Bouali, Robert de Simone

Proceedings of the CONCUR '91, 1991