Idris Ibrahim

According to our database, Idris Ibrahim authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Verifying parallel dataflow transformations with model checking and its application to FPGAs.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

J. Syst. Archit., 2019

Graphical program transformations for embedded systems.

Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019