Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach G Hemingway, H Neema, H Nine, J Sztipanovits, G Karsai Simulation 88 (2), 217-232, 2012 | 93 | 2012 |
Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation J Porter, G Karsai, P Völgyesi, H Nine, P Humke, G Hemingway, ... Models in Software Engineering: Workshops and Symposia at MODELS 2008 …, 2009 | 31 | 2009 |
The esmol modeling language and tools for synthesizing and simulating real-time embedded systems J Porter, Z Lattmann, G Hemingway, N Mahadevan, S Neema, H Nine, ... 15th IEEE Real-Time and Embedded Technology and Applications Symposium 4, 2009 | 15 | 2009 |
Model-based integration technology for next generation electric grid simulations J Sztipanovits, G Hemingway, A Bose, A Srivastava 2012 IEEE Power and Energy Society General Meeting, 1-8, 2012 | 14 | 2012 |
Rapid synthesis of multi-model simulations for computational experiments in c2 H Neema, H Nine, G Hemingway, J Sztipanovits, G Karsai | 14 | 2009 |
Computational Needs for the Next Generation Electric Grid Proceedings K Birman | 8 | 2011 |
The esmol language and tools for high-confidence distributed control systems design. part 1: Language, framework, and analysis J Porter, G Hemingway, H Nine, C VanBuskirk, N Kottenstette, G Karsai, ... Tech. Rep., 2010 | 8 | 2010 |
C. vanBuskirk, G G Hemingway, J Porter, N Kottenstette, H Nine Karsai, and J. Sztipanovits, BAutomated synthesis of time-triggered …, 2010 | 7 | 2010 |
The ESMoL language and tools for high-confidence distributed control systems design. part 1: Design language, modeling framework J Porter, G Hemingway, H Nine, C van Buskirk, N Kottenstette, G Karsai, ... Vanderbilt Univ., Nashville, TN, USA, Tech. Rep. ISIS-10-109, 2010 | 7 | 2010 |
C. vanBuskirk, N J Porter, G Hemingway, H Nine Kottenstette, G. Karsai, and J. Sztipanovits, BThe ESMoL language and tools …, 0 | 7 | |
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. L Juracz, Z Lattmann, T Levendovszky, G Hemingway, W Gaggioli, ... MDHPCL@ MoDELS, 25-36, 2013 | 6 | 2013 |
The esmol language and tools for high-confidence distributed control systems design. part 1: Language, framework J Porter, G Hemingway, H Nine, C VanBuskirk, N Kottenstette, G Karsai, ... and Analysis. Technical Report ISIS-10-109, ISIS, Vanderbilt Univ, 2010 | 6 | 2010 |
Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis G Hemingway, J Porter, N Kottenstette, H Nine, C Van Buskirk, G Karsai, ... Proceedings of 2010 21st IEEE International Symposium on Rapid System …, 2010 | 6 | 2010 |
Rapid Synthesis of HLA-Based Heterogeneous Simulation: A Model-Based Integration Approach G Balogh, H Neema, G Hemingway, J Green, BW Williams, J Sztipanovits, ... Unpublished manuscript, 2008 | 6 | 2008 |
A semantic anchoring infrastructure for the design of embedded systems G Hemingway, H Su, K Chen, TJ Koo 31st Annual International Computer Software and Applications Conference …, 2007 | 6 | 2007 |
Online stability validation using sector analysis J Porter, G Hemingway, N Kottenstette, G Karsai, J Sztipanovits Proceedings of the tenth ACM international conference on Embedded software …, 2010 | 4 | 2010 |
Model-based tool-chain infrastructure for automated analysis of embedded systems H Su, G Hemingway, K Chen, TJ Koo International Symposium on Automated Technology for Verification and …, 2006 | 3 | 2006 |
Towards incremental cycle analysis in ESMoL distributed control system models J Porter, D Balasubramanian, G Hemingway, J Sztipanovits Software Composition: 10th International Conference, SC 2011, Zurich …, 2011 | 1 | 2011 |
Time-triggered high-confidence embedded systems: Modeling, simulation, analysis and back GS Hemingway Vanderbilt University, 2011 | 1 | 2011 |
Demo Abstract: The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems J Porter, Z Lattmann, G Hemingway, N Mahadevan, S Neema, H Nine, ... | | |