Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits,
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits,
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
Porter, J., D. Balasubramanian, G. Hemingway, and J. Sztipanovits,
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
Porter, J., G. Hemingway, N. Kottenstette, H. Nine, C. vanBuskirk, G. Karsai, and J. Sztipanovits,
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.