Amar Bouali

3 papers and 33 indexed citations i.

Amar Bouali has authored 3 papers that have received a total of 33 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 1 paper in Hardware and Architecture and 1 paper in Safety, Risk, Reliability and Quality. The topics of these papers are Formal Methods in Verification (2 papers), Embedded Systems Design Techniques (1 paper) and Real-Time Systems Scheduling (1 paper). Amar Bouali is often cited by papers focused on Formal Methods in Verification (2 papers), Embedded Systems Design Techniques (1 paper) and Real-Time Systems Scheduling (1 paper) and collaborates with scholars based in France. Amar Bouali's co-authors include Robert de Simone, Gérard Berry and Stefania Gnesi and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series and Science of Computer Programming