| 2011 | SERVICES | Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. | Jason S. Bolin, James Bret Michael, Man-tak Shing |
| 2011 | SERVICES | A Cloud Computing Application for Synchronized Disaster Response Operations. | Shawn Kelly, Corey Mazyck, Karl Pfeiffer, Man-tak Shing |
| 2010 | GRC | Removing the Boundaries: Steps Toward a Cloud Nirvana. | Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
| 2010 | GRC | Cloud Computing for Large-Scale Weapon Systems. | Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren E. Peitso, Man-tak Shing |
| 2010 | RSP | Validating quality attribute requirements via execution-based model checking. | Doron Drusinsky, Man-tak Shing |
| 2009 | MODELS | Using UML Statecharts with Knowledge Logic Guards. | Doron Drusinsky, Man-tak Shing |
| 2008 | RSP | MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents. | Gregory P. Ball, Kevin Squire, Craig H. Martell, Man-tak Shing |
| 2007 | RSP | Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. | Doron Drusinsky, Man-tak Shing |
| 2006 | RSP | Creation and Validation of Embedded Assertion Statecharts. | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
| 2005 | SMC | Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. | Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen |
| 2005 | SMC | Creation and evaluation of formal specifications for system-of-systems development. | Doron Drusinsky, Man-tak Shing |
| 2005 | RSP | Test Automation and Safety Assessment in Rapid Systems Prototyping. | Mikhail Auguston, James Bret Michael, Man-tak Shing |
| 2005 | RSP | Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
| 2004 | RSP | TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. | Doron Drusinsky, Man-tak Shing |
| 2004 | RSP | Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. | James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt |
| 2003 | RSP | Verification of Timing Properties in Rapid System Prototyping. | Doron Drusinsky, Man-tak Shing |
| 2003 | RSP | Comparative Rapid Prototyping, A Case Study. | Luqi, Man-tak Shing, Joseph Puett, Valdis Berzins, Zhiwei Guan, Ying Qiao, Lynn Zhang, Nabendu Chaki, Xianzhong Liang, Bill Ray, Michael Brown, David L. Floodeen |
| 2001 | RSP | DCAPS - Architecture for Distributed Computer Aided Prototyping System. | Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin |
| 1999 | RSP | Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. | Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams |
| 1995 | SEKE | Computer Aided Prototyping System. | Valdis Berzins, Luqi, Man-tak Shing |