Graham Hemingway

According to our database, Graham Hemingway authored at least 10 papers between 2006 and 2013.

Collaborative distances:

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

2013

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

Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

2012

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

2011

Time-Triggered High-Confidence Embedded Systems:\Modeling, Simulation, Analysis and Back.

Graham Hemingway

PhD thesis, 2011

Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models.

Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits

Proceedings of the Software Composition - 10th International Conference, 2011

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

Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, 2010

Online stability validation using sector analysis.

Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits

Proceedings of the 10th International conference on Embedded software, 2010

GPU-Based NURBS Geometry Evaluation and Rendering.

Graham Hemingway

Proceedings of the GPU Pro - Advanced Rendering Techniques., 2010

2008

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

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

2007

A Semantic Anchoring Infrastructure for the Design of Embedded Systems.

Graham Hemingway, Hang Su, Kai Chen, Tak-John Koo

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems.

Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo

Proceedings of the Automated Technology for Verification and Analysis, 2006