- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c10 |      | 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: 812 |
| 2006 | ||
| j3 | | Hahnsang Kim, Thierry Turletti, Amar Bouali: EPspectra: a formal toolkit for developing DSP software applications. TPLP 6(4): 451-481 (2006) |
| 2005 | ||
| i1 | | Hahnsang Kim, Thierry Turletti, Amar Bouali: EPspectra: A Formal Toolkit for Developing DSP Software Applications. CoRR abs/cs/0502025 (2005) |
| 2004 | ||
| c9 | | Samar Dajani-Brown, Darren D. Cofer, Amar Bouali: Formal Verification of an Avionics Sensor Voter Using SCADE. FORMATS/FTRTFT 2004: 5-20 |
| 2002 | ||
| c8 | | Gérard Berry, Lionel Blanc, Amar Bouali, Jerome Dormoy: Top-level validation of system-on-chip in Esterel Studio. HLDVT 2002: 36-41 |
| 2000 | ||
| j2 | | 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): 5-25 (2000) |
| 1998 | ||
| c7 | | |
| 1996 | ||
| c6 | | |
| c5 | | |
| c4 | | Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma: Verifying Synchronous Reactive Systems Programmed in ESTEREL. FTRTFT 1996: 463-466 |
| c3 | | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone: The FC2TOOLS Set (Tool Demonstration). TACAS 1996: 396 |
| 1994 | ||
| j1 |  | Amar Bouali, Stefania Gnesi, Salvatore Larosa: JACK: Just Another Concurrency Kit. The intergration Projekt. Bulletin of the EATCS 54: 207-223 (1994) |
| 1992 | ||
| c2 | | |
| 1991 | ||
| c1 | | |
Colors in the list of coauthors
Last update Fri May 24 00:23:25 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page