Amar Bouali

14 papers A* 3A 2B 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2008 A conf
Panel Session - The Future Car: Technology, Methods and Tools.
DATE
Alberto L. Sangiovanni-Vincentelli, Marco Di Natale, Scuola S. Anna, H. Hanselmann, Harald Heinecke, Amar Bouali, Hermann Kopetz, H. Fennel, Thomas Weber
2006 J jnl
EPspectra: a formal toolkit for developing DSP software applications.
Theory Pract. Log. Program.
Hahnsang Kim, Thierry Turletti, Amar Bouali
2005 J jnl
EPspectra: A Formal Toolkit for Developing DSP Software Applications
CoRR
Hahnsang Kim, Thierry Turletti, Amar Bouali
2004 — conf
Formal Verification of an Avionics Sensor Voter Using SCADE.
FORMATS/FTRTFT
Samar Dajani-Brown, Darren D. Cofer, Amar Bouali
2002 — conf
Top-level validation of system-on-chip in Esterel Studio.
HLDVT
Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy
2000 J jnl
ESTEREL: a formal method applied to avionic software development.
Sci. Comput. Program.
Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone
1998 A* conf
XEVE, an ESTEREL Verification Environment.
CAV
Amar Bouali
1996 A conf
The FC2TOOLS Set (Tool Demonstration).
TACAS
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1996 — conf
The FC2TOOLS Set.
AMAST
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1996 A* conf
The FC2TOOLS Set.
CAV
Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone
1996 — conf
Verifying Synchronous Reactive Systems Programmed in ESTEREL.
FTRTFT
Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma
1994 J jnl
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bull. EATCS
Amar Bouali, Stefania Gnesi, Salvatore Larosa
1992 A* conf
Symbolic Bisimulation Minimisation.
CAV
Amar Bouali, Robert de Simone
1991 B conf
Causal Models for Rational Algebraic Processes.
CONCUR
Amar Bouali, Robert de Simone