Some Theorems about Matrix Multiplication (Extended Abstract) - T. C. Hu; M. T. Shing (FOCS, 1980)

An O(n) Algorithm to Find a Near-Optimum Partition of a Convex Polygon. - T. C. Hu; M. T. Shing (J. Algorithms, 1981)

Computation of Matrix Chain Products. Part I. - T. C. Hu; M. T. Shing (SIAM J. Comput., 1982)

Optimum Ordered Bi-Weighted Binary Trees. - Man-tak Shing (Inf. Process. Lett., 1983)

Multiterminal Flows in Outerplanar Networks. - T. C. Hu; M. T. Shing (J. Algorithms, 1983)

Computation of Matrix Chain Products. Part II. - T. C. Hu; M. T. Shing (SIAM J. Comput., 1984)

Probabilistic partitioning algorithms for the rectilinear steiner problem. - János Komlós; M. T. Shing (Networks, 1985)

A decomposition algorithm for multi-terminal networks flows. - M. T. Shing; T. C. Hu (Discret. Appl. Math., 1986)

Algorithms for special cases of rectilinear steiner trees: I. Points on the boundary of a rectilinear rectangle. - Pankaj K. Agarwal; Man-tak Shing (Networks, 1990)

Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. - Man-tak Shing; Gary B. Parker (ICGA, 1993)

On Optimal Guillotine Partitions Approximating Optimal D-box Partitions. - Teofilo F. Gonzalez; Mohammadreza Razzazi; Man-tak Shing; Si-Qing Zheng (Comput. Geom., 1994)

Computer Aided Prototyping System. - Valdis Berzins; Luqi; Man-tak Shing (SEKE, 1995)

Real-Time Scheduling for Software Prototyping. - Luqi; Man-tak Shing (J. Syst. Integr., 1996)

The Story of Re-engineering 350,000 Lines of FORTRAN Code. - Man-tak Shing; Luqi; Valdis Berzins; Michael Saluto; Julian Williams; Jiang Guo; B. Shultes (Monterey Workshop, 1998)

Evolutionary Computer Aided Prototyping System (CAPS). - Luqi; Valdis Berzins; Man-tak Shing; Richard D. Riehle; J. Nogueira (TOOLS (34), 2000)

Software Reuse Technology Practices and Assessment Tool-Kit. - Nader Nada; Luqi; Man-tak Shing; David C. Rine; Ernesto Damiani; S. Tuwaim (TOOLS (34), 2000)

Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. - Valdis Berzins; Man-tak Shing; Luqi; Michael Saluto; Julian Williams (Des. Autom. Embed. Syst., 2000)

DCAPS - Architecture for Distributed Computer Aided Prototyping System. - Luqi; Valdis Berzins; Jun Ge; Man-tak Shing; Mikhail Auguston; Barrett R. Bryant; Boon Kwang Kin (IEEE International Workshop on Rapid System Prototyping, 2001)

Automated prototyping tool-kit (APT). - Nader Nada; Man-tak Shing; Valdis Berzins; Luqi (Inf. Sci., 2002)

Verification of Timing Properties in Rapid System Prototyping. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2003)

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 (IEEE International Workshop on Rapid System Prototyping, 2003)

Monitoring Temporal Logic Specifications Combined with Time Series Constraints. - Doron Drusinsky; Man-tak Shing (J. Univers. Comput. Sci., 2003)

Simulation models for optimal object server deployment. - William J. Ray; Man-tak Shing; Chee Khan Kwok (IASTED Conf. on Software Engineering and Applications, 2004)

TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2004)

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 (IEEE International Workshop on Rapid System Prototyping, 2004)

Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. - Man-tak Shing; Doron Drusinsky (Monterey Workshop, 2005)

Test Automation and Safety Assessment in Rapid Systems Prototyping. - Mikhail Auguston; James Bret Michael; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2005)

Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE International Workshop on Rapid System Prototyping, 2005)

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 (SMC, 2005)

Creation and evaluation of formal specifications for system-of-systems development. - Doron Drusinsky; Man-tak Shing (SMC, 2005)

Environment behavior models for scenario generation and testing automation. - Mikhail Auguston; James Bret Michael; Man-tak Shing (ACM SIGSOFT Softw. Eng. Notes, 2005)

Creation and Validation of Embedded Assertion Statecharts. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE International Workshop on Rapid System Prototyping, 2006)

Quality assurance of the timing properties of real-time, reactive system-of-systems. - Man-tak Shing; Doron Drusinsky; Thomas S. Cook (SoSE, 2006)

Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. - Harsha Tummala; Mikhail Auguston; James Bret Michael; Man-tak Shing; David Little; Zachary Pace (SoSE, 2006)

Environment behavior models for automation of testing and assessment of system safety. - Mikhail Auguston; James Bret Michael; Man-tak Shing (Inf. Softw. Technol., 2006)

A design pattern for using non-developmental items in real-time Java. - Thomas W. Otani; Mikhail Auguston; Thomas S. Cook; Doron Drusinsky; James Bret Michael; Man-tak Shing (JTRES, 2007)

Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. - Doron Drusinsky; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2007)

Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. - Thomas S. Cook; Doron Drusinsky; Man-tak Shing (SoSE, 2007)

Creating and Validating Embedded Assertion Statecharts. - Doron Drusinsky; Man-tak Shing; Kadir Alpaslan Demir (IEEE Distributed Syst. Online, 2007)

The Unbounded Knapsack Problem. - T. C. Hu; Leo Landa; Man-tak Shing (Bonn Workshop of Combinatorial Optimization, 2008)

MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents. - Gregory P. Ball; Kevin Squire; Craig H. Martell; Man-tak Shing (IEEE International Workshop on Rapid System Prototyping, 2008)

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SSIRI, 2008)

Integrating statechart assertions into Java components using AspectJ. - Doron Drusinsky; James Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2008)

A framework for software reuse in safety-critical system-of-systems. - Bradley Warren; James Bret Michael; Man-tak Shing (SoSE, 2008)

A framework for computer-aided validation. - Doron Drusinsky; James Bret Michael; Man-tak Shing (Innov. Syst. Softw. Eng., 2008)

A Visual Tradeoff Space for Formal Verification and Validation Techniques. - Doron Drusinsky; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2008)

Using UML Statecharts with Knowledge Logic Guards. - Doron Drusinsky; Man-tak Shing (MoDELS, 2009)

A Validation Metrics Framework for safety-critical software-intensive Systems. - Kristian John Cruickshank; James Bret Michael; Man-tak Shing (SoSE, 2009)

Standards interoperability: Applying software safety assurance standards to the evolution of legacy software. - Desmond J. Meacham; James Bret Michael; Man-tak Shing; Jeffrey M. Voas (SoSE, 2009)

The verification and validation of software architecture for systems of systems. - James Bret Michael; Richard D. Riehle; Man-tak Shing (SoSE, 2009)

Software reuse in the IV&V of system of systems. - Thomas W. Otani; James Bret Michael; Man-tak Shing (SoSE, 2009)

Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems. - K. J. Rothenhaus; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2009)

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 (GrC, 2010)

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 (GrC, 2010)

Independent validation of software safety requirements for systems of systems. - Stephen B. Driskell; Judy Murphy; James Bret Michael; Man-tak Shing (SoSE, 2010)

Goal-driven software reuse in the IV&V of system of systems. - Thomas W. Otani; James Bret Michael; Man-tak Shing (SoSE, 2010)

Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. - James Bret Michael; Man-tak Shing; Kristian John Cruickshank; Patrick J. Redmond (IEEE Syst. J., 2010)

Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. - Jason S. Bolin; James Bret Michael; Man-tak Shing (SERVICES, 2011)

A Cloud Computing Application for Synchronized Disaster Response Operations. - Shawn Kelly; Corey Mazyck; Karl Pfeiffer; Man-tak Shing (SERVICES, 2011)

Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. - Miriam C. Bergue Alves; Doron Drusinsky; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Cloud to cloud interoperability. - Scott Dowell; Albert Barreto; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. - Doron Drusinsky; J. Bret Michael; Thomas W. Otani; Man-tak Shing (SoSE, 2011)

Rapid runtime system verification using automatic source code instrumentation. - Doron Drusinsky; J. Bret Michael; Man-tak Shing (SoSE, 2011)

A security and usability perspective of cloud file systems. - Alex J. Nelson 003; George W. Dinolt; J. Bret Michael; Man-tak Shing (SoSE, 2011)

Message from the program chairs. - Ricardo Valerdi; Man-tak Shing (SoSE, 2011)

Verification and Validation for Trustworthy Software Systems. - James Bret Michael; Doron Drusinsky; Thomas W. Otani; Man-tak Shing (IEEE Softw., 2011)

Validating quality attribute requirements via execution-based model checking. - Doron Drusinsky; Man-tak Shing (Softw. Pract. Exp., 2012)

End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. - Miriam C. Bergue Alves; Doron Drusinsky; James Bret Michael; Man-tak Shing (IEEE Syst. J., 2013)