Harmon Nine | ISIS Website

First name

Harmon

Last name

Nine

Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M., Pasareanu, C., & Pressburger, T. (2011). Rapid property specification and checking for model-based formalisms. In 2011 22nd IEEE International Symposium on Rapid System Prototyping (pp. 121-127). Karlsruhe, Germany: IEEE. http://doi.org/10.1109/RSP.2011.5929985 (Original work published 05/2011AD)

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 06/2010AD)

Porter, J., Volgyesi, P., Kottenstette, N., Nine, H., Karsai, G., & Sztipanovits, J. (2009). An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. In 20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09). Paris, France. (Original work published 06/2009AD)

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 05/2009AD)

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 04/2009AD)

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 09/2010AD)

Balasubramanian, D., Pap, G., Nine, H., Karsai, G., Lowry, M., Pasareanu, C., & Pressburger, T. (2011). Rapid Property Specification and Checking for Model-Based Formalisms. In IEEE International Symposium on Rapid System Prototyping. Karlsruhe, Germany. (Original work published 05/2011AD)

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 03/2011AD)