Amar Bouali

Publication Activity (10 Years)

Years Active: 1991-2008
Publications (10 Years): 0

Publications

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