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)

Szekely, P. ., Becker, M. ., Fitzpatrick, S. ., Gati, G. ., Hanak, D. ., Jin, J. ., … vanBuskirk, C. . (2006). CSC: Criticality-Sensitive Coordination. In Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 1441–1442). New York, NY, USA: ACM.

Szekely, P. ., Maheswaran, R. ., Neches, R. ., Rogers, C. ., Sanchez, R. ., Becker, M. ., … vanBuskirk, C. . (2006). An Examination of CriticalitySensitive Approaches to Coordination. In In AAAI Spring Symposium on Distributed Plan and Schedule Management (pp. 136–142). AAAI Press.

Szekely, P. ., Neches, R. ., Becker, M. ., Fitzpatrick, S. ., vanBuskirk, C. ., Fisher, D. ., & Karsai, G. . (2005). Plan Execution and Coordination. In Proceedings of ICAPS Workshop: Plan Execution: A Reality Check. Monterey, California. (Original work published 2024)

Kichkaylo, T. ., vanBuskirk, C. ., Singh, S. ., Neema, H. ., Orosz, M. ., & Neches, R. . (2007). Mixed-Initiative Planning for Space Exploration Missions. In ICAPS’07. International Conference on Automated Planning and Scheduling. Workshop on Moving Planning and Scheduling Systems into the Real World.. Providence, Rhode Island. (Original work published September 2007)

Maheswaran, R. ., Rogers, C. M., Sanchez, R. ., Szekely, P. ., Gati, G. ., Smyth, K. ., & vanBuskirk, C. . (2009). Multi-Agent Systems for the Real World. Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems.

Balasubramanian, D. ., vanBuskirk, C. ., Karsai, G. ., Narayanan, A. ., Neema, S. ., Ness, B. ., & Shi, F. . (2008). Evolving Paradigms and Models in Multi-Paradigm Modeling (No. ISIS-08-91). Nashville: Institute for Software Integrated Systems. (Original work published November 2008)

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)

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)

Lattmann, Z. ., Nagel, A. ., Scott, J. ., Smyth, K. ., Ceisel, J. ., vanBuskirk, C. ., … Sztipanovits, J. . (2012). Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs. In Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012). Chicago, IL, USA. (Original work published August 2012)