Graham Hemingway
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2013
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | MODELS | VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. | Laszlo Juracz, Zsolt Lattmann, Tihamer Levendovszky, Graham Hemingway, Will Gaggioli, Tanner Netterville, Gbor Pap, Kevin Smyth, Larry Howard |
| 2010 | EMSOFT | Online stability validation using sector analysis. | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
| 2010 | RSP | 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 |
| 2008 | MODELS | Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. | Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits |
| 2007 | COMPSAC | A Semantic Anchoring Infrastructure for the Design of Embedded Systems. | Graham Hemingway, Hang Su, Kai Chen, Tak-John Koo |
| 2006 | ATVA | Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. | Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo |