Man-tak Shing

According to our database, Man-tak Shing authored at least 68 papers between 1980 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2013

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

2012

Validating quality attribute requirements via execution-based model checking.

Doron Drusinsky, Man-tak Shing

Softw. Pract. Exp., 2012

2011

Verification and Validation for Trustworthy Software Systems.

James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing

IEEE Softw., 2011

Message from the program chairs.

Ricardo Valerdi, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

A security and usability perspective of cloud file systems.

Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

Rapid runtime system verification using automatic source code instrumentation.

Doron Drusinsky, J. Bret Michael, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 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

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

Cloud to cloud interoperability.

Scott Dowell, Albert Barreto, J. Bret Michael, Man-tak Shing

Proceedings of the 6th International Conference on System of Systems Engineering, 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

Proceedings of the 6th International Conference on System of Systems Engineering, 2011

A Cloud Computing Application for Synchronized Disaster Response Operations.

Shawn Kelly, Corey Mazyck, Karl Pfeiffer, Man-tak Shing

Proceedings of the World Congress on Services, 2011

Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes.

Jason S. Bolin, James Bret Michael, Man-tak Shing

Proceedings of the World Congress on Services, 2011

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

Goal-driven software reuse in the IV&V of system of systems.

Thomas W. Otani, James Bret Michael, Man-tak Shing

Proceedings of the 5th International Conference on System of Systems Engineering, 2010

Independent validation of software safety requirements for systems of systems.

Stephen B. Driskell, Judy Murphy, James Bret Michael, Man-tak Shing

Proceedings of the 5th International Conference on System of Systems Engineering, 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

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

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

Proceedings of the 2010 IEEE International Conference on Granular Computing, 2010

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

Software reuse in the IV&V of system of systems.

Thomas W. Otani, James Bret Michael, Man-tak Shing

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

The verification and validation of software architecture for systems of systems.

James Bret Michael, Richard D. Riehle, Man-tak Shing

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 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

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

A Validation Metrics Framework for safety-critical software-intensive Systems.

Kristian John Cruickshank, James Bret Michael, Man-tak Shing

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

Using UML Statecharts with Knowledge Logic Guards.

Doron Drusinsky, Man-tak Shing

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

A Visual Tradeoff Space for Formal Verification and Validation Techniques.

Doron Drusinsky, James Bret Michael, Man-tak Shing

IEEE Syst. J., 2008

A framework for computer-aided validation.

Doron Drusinsky, James Bret Michael, Man-tak Shing

Innov. Syst. Softw. Eng., 2008

A framework for software reuse in safety-critical system-of-systems.

Bradley Warren, James Bret Michael, Man-tak Shing

Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, 2008

Integrating statechart assertions into Java components using AspectJ.

Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing

Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, 2008

Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.

Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing

Proceedings of the Second International Conference on Secure System Integration and Reliability Improvement, 2008

MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents.

Gregory P. Ball, Kevin Squire, Craig H. Martell, Man-tak Shing

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

The Unbounded Knapsack Problem.

T. C. Hu, Leo Landa, Man-tak Shing

Proceedings of the Research Trends in Combinatorial Optimization, 2008

2007

Creating and Validating Embedded Assertion Statecharts.

Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir

IEEE Distributed Syst. Online, 2007

Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors.

Thomas S. Cook, Doron Drusinsky, Man-tak Shing

Proceedings of the 2nd IEEE International Conference on System of Systems Engineering, 2007

Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.

Doron Drusinsky, Man-tak Shing

Proceedings of the 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 2007

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

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007

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

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

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Quality assurance of the timing properties of real-time, reactive system-of-systems.

Man-tak Shing, Doron Drusinsky, Thomas S. Cook

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Creation and Validation of Embedded Assertion Statecharts.

Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir

Proceedings of the 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 2006

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 evaluation of formal specifications for system-of-systems development.

Doron Drusinsky, Man-tak Shing

Proceedings of the IEEE International Conference on Systems, 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

Proceedings of the IEEE International Conference on Systems, 2005

Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP.

Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Test Automation and Safety Assessment in Rapid Systems Prototyping.

Mikhail Auguston, James Bret Michael, Man-tak Shing

Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 2005

Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems.

Man-tak Shing, Doron Drusinsky

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

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

Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 2004

TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.

Doron Drusinsky, Man-tak Shing

Proceedings of the 15th IEEE International Workshop on Rapid System Prototyping (RSP 2004), 2004

Simulation models for optimal object server deployment.

William J. Ray, Man-tak Shing, Chee Khan Kwok

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

2003

Monitoring Temporal Logic Specifications Combined with Time Series Constraints.

Doron Drusinsky, Man-tak Shing

J. Univers. Comput. Sci., 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

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

Verification of Timing Properties in Rapid System Prototyping.

Doron Drusinsky, Man-tak Shing

Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 2003

2002

Automated prototyping tool-kit (APT).

Nader Nada, Man-tak Shing, Valdis Berzins, Luqi

Inf. Sci., 2002

2001

DCAPS - Architecture for Distributed Computer Aided Prototyping System.

Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin

Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

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

Software Reuse Technology Practices and Assessment Tool-Kit.

Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Evolutionary Computer Aided Prototyping System (CAPS).

Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1998

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

Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998

1996

Real-Time Scheduling for Software Prototyping.

Luqi, Man-tak Shing

J. Syst. Integr., 1996

1995

Computer Aided Prototyping System.

Valdis Berzins, Luqi, Man-tak Shing

Proceedings of the SEKE'95, 1995

1994

On Optimal Guillotine Partitions Approximating Optimal D-box Partitions.

Teofilo F. Gonzalez, Mohammadreza Razzazi, Man-tak Shing, Si-Qing Zheng

Comput. Geom., 1994

1993

Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies.

Man-tak Shing, Gary B. Parker

Proceedings of the 5th International Conference on Genetic Algorithms, 1993

1990

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

1986

A decomposition algorithm for multi-terminal networks flows.

M. T. Shing, T. C. Hu

Discret. Appl. Math., 1986

1985

Probabilistic partitioning algorithms for the rectilinear steiner problem.

János Komlós, M. T. Shing

Networks, 1985

1984

Computation of Matrix Chain Products. Part II.

T. C. Hu, M. T. Shing

SIAM J. Comput., 1984

1983

Multiterminal Flows in Outerplanar Networks.

T. C. Hu, M. T. Shing

J. Algorithms, 1983

Optimum Ordered Bi-Weighted Binary Trees.

Man-tak Shing

Inf. Process. Lett., 1983

1982

Computation of Matrix Chain Products. Part I.

T. C. Hu, M. T. Shing

SIAM J. Comput., 1982

1981

An O(n) Algorithm to Find a Near-Optimum Partition of a Convex Polygon.

T. C. Hu, M. T. Shing

J. Algorithms, 1981

1980

Some Theorems about Matrix Multiplication (Extended Abstract)

T. C. Hu, M. T. Shing

Proceedings of the 21st Annual Symposium on Foundations of Computer Science, 1980