Conference and Workshop Papers

• L. S. Indrusiak, I. Quadri, I. Gray, N. Audsley, A. Sadovykh - A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems
  7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)

• Neil C. Audsley, Ian Gray, Andrea Acquaviva, Ralph Haines - ToucHMore Toolchain and System Software for Energy and Variability Customisation
  17th IEEE International High Level Design Validation and Test Workshop, Huntington Beach, California - Web link

• Gray, I. & Audsley, N. - Challenges in Software Development for Multicore System-on-Chip Development
  23rd IEEE International Symposium on Rapid System Prototyping, October 11-12, Tampere, Finland - Web link

• Gray, I. & Audsley, N. - Developing Predictable Real-Time Embedded Systems using AnvilJ
  The 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) Beijing China, April 17-19 2012 - Web Link

• Gray, I. & Audsley, N. - Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation
  ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), 2011 - Awarded "Best Presentation at LCTES 2011" - Web link

• Imran Rafiq Quadri, Ian Gray, Leandro Soares Indrusiak, Alessandra Bagnato and Andrey SadovykhMADES: Designing effective real-time and embedded systems using a combined SysML/MARTE approach
  Workshop on Design Tools and Architectures for Multi-Core Embedded Computing Platforms, Paris, France, January 24, 2012

• Gray, I. & Matragkas, N. & Audsley, N. Indrusiak, L. S. & Kolovos, D. & Paige, R. - Model-based hardware generation and programming - the MADES approach
  2nd IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MoBE-RTES), 2011 - Web link

• Gray, I. & Matragkas, N. & Audsley, N. Indrusiak, L. S. & Kolovos, D. & Paige, R. - Model-based development of embedded systems - the MADES approach (Extended Abstract)
  2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011 - Web link

• Gray, I. & Audsley, N. - Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation
  13th International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2010 - Web link

• Gray, I. & Audsley, N. - Exposing Non-Standard Architectures to Embedded Software Using Compile-Time Virtualisation
  International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '09), 2009 - Web link

• Gray, I. & Audsley, N. - Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures
  2nd Junior Researcher Workshop on Real-Time Computing, International Conference on Real-Time and Network Systems, 2008 - Web link

Ph.D Thesis

Gray, I - Developing Embedded Software Using Compile-Time Virtualisation
Ph.D Thesis - PDF

Other work

Gray, I - Architectural and scalability issues in hardware synthesis of high-level languages
Qualifying Dissertation - PDF