Abdoulaye Gamati

Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software

Sandeep K. Shukla, Sandeep Kumar, Matthew Kracht, 2011 .

Synchronous Modeling of Data Intensive Applications

Abdoulaye Gamati, 2006 .

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

Abdoulaye Gamati, 2009 .