Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Graham Hemingway
First name
Graham
Last name
Hemingway
Porter, J., Hemingway, G., Kottenstette, N., Nine, H., vanBuskirk, C., Karsai, G., & Sztipanovits, J
.
(2010)
.
New Developments in Model-Integrated Development of High-Confidence Software
.
Safe and Secure Systems & Software Symposium
. (
Original work published
June 2010)
View
Neema, H., Nine, H., Hemingway, G., Sztipanovits, J., & Karsai, G
.
(2009)
.
Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2
.
In
Armed Forces Communications and Electronics Association - George Mason University Symposium
.
Lansdowne, Virginia:
George Mason University: http://hdl.handle.net/1920/5639
. (
Original work published
May 2009)
View
Porter, J., Lattmann, Z., Hemingway, G., Mahadevan, N., Neema, S., Nine, H., et al
.
(2009)
.
The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems
.
In
15th IEEE Real-Time and Embedded Technology and Applications Symposium
.
San Francisco, CA
. (
Original work published
April 2009)
View
Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J
.
(2011)
.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
.
In
Software Composition (SC 2011)
(
Vol.
LNCS 6708, pp.
133-140
)
.
Zurich:
Springer
.
View
Hemingway, G., Porter, J., Kottenstette, N., vanBuskirk, C., Karsai, G., & Sztipanovits, J
.
(2010)
.
Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis
.
In
Rapid System Prototyping
(pp.
1-7
)
.
Fairfax, VA:
IEEE
. (
Original work published
October 2010)
View
Porter, J., Hemingway, G., Kottenstette, N., Karsai, G., & Sztipanovits, J
.
(2010)
.
Online Stability Validation Using Sector Analysis
.
In
International Conf. on Embedded Software (EMSoft)
(pp.
29-38
)
.
Scottsdale, AZ:
ACM
. (
Original work published
October 2010)
View
Porter, J., Hemingway, G., Nine, H., vanBuskirk, C., Kottenstette, N., Karsai, G., & Sztipanovits, J
.
(2010)
.
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis
.
Nashville, TN
:
Vanderbilt University
. (
Original work published
September 2010)
View
Porter, J., Balasubramanian, D., Hemingway, G., & Sztipanovits, J
.
(2011)
.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models
(
No. ISIS-11-106
)
.
Nashville, TN
:
ISIS, Vanderbilt University
. (
Original work published
April 2011)
View
Hemingway, G., Neema, H., Nine, H., Sztipanovits, J., & Karsai, G
.
(2011)
.
Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach
.
Simulation
,
March 17, 2011 0037549711401950
,
16
. (
Original work published
March 2011)
View
Juracz, L., Lattmann, Z., Levendovszky, T., Hemingway, G., Gaggioli, W., Netterville, T., et al
.
(2014)
.
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design
.
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)
. (
Original work published
January 2014)
View