Amar Bouali

Publications

172

Citations

H-Index

1992

Active since

Affiliations

Centre de Mathématiques Appliquées de l'École polytechnique(Current)

Amar Bouali is an author at Centre de Mathématiques Appliquées de l'École polytechnique specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSoftware EngineeringDesignSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

1992–2005

Publications

The Integration Project for the JACK Environment.

Amar Bouali, Stefania Gnesi, Salvatore Larosa · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 1994 · 68 citations · Full text

Engineering, Design, Systems Engineering +5

ESTEREL: a formal method applied to avionic software development

Gérard Berry, Amar Bouali, Xavier Fornari et al. · Science of Computer Programming · 2000 · 53 citations

Software Maintenance, Formal Method, Automated Software Engineering +10

JACK: Just Another Concurrency Kit. The intergration Projekt.

Amar Bouali, Stefania Gnesi, Salvatore Larosa · Bulletin of the European Association for Theoretical Computer Science · 1994 · 25 citations

Engineering, Concurrent Programming, Formal Methods +6

Weak and branching bisimulation in Fctool

Amar Bouali · American Journal of Preventive Medicine · 1992 · 13 citations · Full text

Formal Verification for Model-Based Development

Amar Bouali, Bernard Dion · SAE technical papers on CD-ROM/SAE technical paper series · 2005 · 13 citations

Rows per page

1–5 of 5