Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. - Hang Su 009; Graham Hemingway; Kai Chen 010; Tak-John Koo (ATVA, 2006)

A Semantic Anchoring Infrastructure for the Design of Embedded Systems. - Graham Hemingway; Hang Su 009; Kai Chen 010; Tak-John Koo (COMPSAC (1), 2007)

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. - Joseph Porter; Gabor Karsai; Péter Völgyesi; Harmon Nine; Peter Humke; Graham Hemingway; Ryan Thibodeaux; Janos Sztipanovits (MoDELS (Workshops), 2008)

GPU-Based NURBS Geometry Evaluation and Rendering. - Graham Hemingway (GPU Pro, 2010)

Online stability validation using sector analysis. - Joseph Porter; Graham Hemingway; Nicholas Kottenstette; Gabor Karsai; Janos Sztipanovits (EMSOFT, 2010)

Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. - Graham Hemingway; Joseph Porter; Nicholas Kottenstette; Harmon Nine; Christopher P. van Buskirk; Gabor Karsai; Janos Sztipanovits (International Symposium on Rapid System Prototyping, 2010)

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. - Joseph Porter; Daniel Balasubramanian; Graham Hemingway; Janos Sztipanovits (SC@TOOLS, 2011)

Time-Triggered High-Confidence Embedded Systems: Modeling, Simulation, Analysis and Back. - Graham Hemingway (2011)

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. - Graham Hemingway; Himanshu Neema; Harmon Nine; Janos Sztipanovits; Gabor Karsai (Simul., 2012)

VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. - Laszlo Juracz; Zsolt Lattmann; Tihamer Levendovszky; Graham Hemingway; Will Gaggioli; Tanner Netterville; Gábor Pap; Kevin Smyth; Larry Howard (MDHPCL@MoDELS, 2013)