Man-tak Shing

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Formal Specification

Pspace Complete

Top Venues

Softw. Pract. Exp.

Publications

Miriam C. Bergue Alves, Doron Drusinsky, James Bret Michael, Man-tak Shing
End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE Syst. J. 7 (4) (2013)
Doron Drusinsky, Man-tak Shing
Validating quality attribute requirements via execution-based model checking. Softw. Pract. Exp. 42 (7) (2012)
Doron Drusinsky, J. Bret Michael, Thomas W. Otani, Man-tak Shing
Putting order into the cloud: Object-oriented UML-based enforcement for document and application organization. SoSE (2011)
Shawn Kelly, Corey Mazyck, Karl Pfeiffer, Man-tak Shing
A Cloud Computing Application for Synchronized Disaster Response Operations. SERVICES (2011)
Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. SoSE (2011)
Jason S. Bolin, James Bret Michael, Man-tak Shing
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. SERVICES (2011)
Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing
A security and usability perspective of cloud file systems. SoSE (2011)
Scott Dowell, Albert Barreto, J. Bret Michael, Man-tak Shing
Cloud to cloud interoperability. SoSE (2011)
Ricardo Valerdi, Man-tak Shing
Message from the program chairs. SoSE (2011)
James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing
Verification and Validation for Trustworthy Software Systems. IEEE Softw. 28 (6) (2011)
Doron Drusinsky, J. Bret Michael, Man-tak Shing
Rapid runtime system verification using automatic source code instrumentation. SoSE (2011)
Kevin D. Foster, John J. Shea, James Bret Michael, Thomas W. Otani, Loren E. Peitso, Man-tak Shing
Cloud Computing for Large-Scale Weapon Systems. GrC (2010)
Doron Drusinsky, Man-tak Shing
Validating quality attribute requirements via execution-based model checking. International Symposium on Rapid System Prototyping (2010)
Thomas W. Otani, James Bret Michael, Man-tak Shing
Goal-driven software reuse in the IV&V of system of systems. SoSE (2010)
James Bret Michael, Man-tak Shing, Kristian John Cruickshank, Patrick J. Redmond
Hazard Analysis and Validation Metrics Framework for System of Systems Software Safety. IEEE Syst. J. 4 (2) (2010)
Kevin D. Foster, John J. Shea, Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Removing the Boundaries: Steps Toward a Cloud Nirvana. GrC (2010)
Stephen B. Driskell, Judy Murphy, James Bret Michael, Man-tak Shing
Independent validation of software safety requirements for systems of systems. SoSE (2010)
K. J. Rothenhaus, James Bret Michael, Man-tak Shing
Architectural Patterns and Auto-Fusion Process for Automated Multisensor Fusion in SOA System-of-Systems. IEEE Syst. J. 3 (3) (2009)
Doron Drusinsky, Man-tak Shing
Using UML Statecharts with Knowledge Logic Guards. MoDELS (2009)
Kristian John Cruickshank, James Bret Michael, Man-tak Shing
A Validation Metrics Framework for safety-critical software-intensive Systems. SoSE (2009)
Desmond J. Meacham, James Bret Michael, Man-tak Shing, Jeffrey M. Voas
Standards interoperability: Applying software safety assurance standards to the evolution of legacy software. SoSE (2009)
Thomas W. Otani, James Bret Michael, Man-tak Shing
Software reuse in the IV&V of system of systems. SoSE (2009)
James Bret Michael, Richard D. Riehle, Man-tak Shing
The verification and validation of software architecture for systems of systems. SoSE (2009)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Integrating statechart assertions into Java components using AspectJ. SoSE (2008)
Gregory P. Ball, Kevin Squire, Craig H. Martell, Man-tak Shing
MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents. IEEE International Workshop on Rapid System Prototyping (2008)
T. C. Hu, Leo Landa, Man-tak Shing
The Unbounded Knapsack Problem. Bonn Workshop of Combinatorial Optimization (2008)
Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. SSIRI (2008)
Bradley Reed Warren, James Bret Michael, Man-tak Shing
A framework for software reuse in safety-critical system-of-systems. SoSE (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A framework for computer-aided validation. Innov. Syst. Softw. Eng. 4 (2) (2008)
Doron Drusinsky, James Bret Michael, Man-tak Shing
A Visual Tradeoff Space for Formal Verification and Validation Techniques. IEEE Syst. J. 2 (4) (2008)
Thomas S. Cook, Doron Drusinsky, Man-tak Shing
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. SoSE (2007)
Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing
A design pattern for using non-developmental items in real-time Java. JTRES (2007)
Doron Drusinsky, Man-tak Shing
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. IEEE International Workshop on Rapid System Prototyping (2007)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Creating and Validating Embedded Assertion Statecharts. IEEE Distributed Syst. Online 8 (5) (2007)
Harsha Tummala, Mikhail Auguston, James Bret Michael, Man-tak Shing, David Little, Zachary Pace
Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems. SoSE (2006)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Creation and Validation of Embedded Assertion Statecharts. IEEE International Workshop on Rapid System Prototyping (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48 (10) (2006)
Man-tak Shing, Doron Drusinsky, Thomas S. Cook
Quality assurance of the timing properties of real-time, reactive system-of-systems. SoSE (2006)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Test Automation and Safety Assessment in Rapid Systems Prototyping. IEEE International Workshop on Rapid System Prototyping (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing, David L. Floodeen
Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems. SMC (2005)
Doron Drusinsky, Man-tak Shing
Creation and evaluation of formal specifications for system-of-systems development. SMC (2005)
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. IEEE International Workshop on Rapid System Prototyping (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Man-tak Shing, Doron Drusinsky
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. Monterey Workshop (2005)
Mikhail Auguston, James Bret Michael, Man-tak Shing
Environment behavior models for scenario generation and testing automation. A-MOST (2005)
William J. Ray, Man-tak Shing, Chee Khan Kwok
Simulation models for optimal object server deployment. IASTED Conf. on Software Engineering and Applications (2004)
James Bret Michael, Man-tak Shing, Michael H. Miklaski, Joel D. Babbitt
Modeling and Simulation of System-of-Systems Timing Constraints with UML-RT and OMNeT++. IEEE International Workshop on Rapid System Prototyping (2004)
Doron Drusinsky, Man-tak Shing
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. IEEE International Workshop on Rapid System Prototyping (2004)
Doron Drusinsky, Man-tak Shing
Monitoring Temporal Logic Specifications Combined with Time Series Constraints. J. Univers. Comput. Sci. 9 (11) (2003)
Doron Drusinsky, Man-tak Shing
Verification of Timing Properties in Rapid System Prototyping. IEEE International Workshop on Rapid System Prototyping (2003)
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
Comparative Rapid Prototyping, A Case Study. IEEE International Workshop on Rapid System Prototyping (2003)
Nader Nada, Man-tak Shing, Valdis Berzins, Luqi
Automated prototyping tool-kit (APT). Inf. Sci. 140 (3-4) (2002)
Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin
DCAPS - Architecture for Distributed Computer Aided Prototyping System. IEEE International Workshop on Rapid System Prototyping (2001)
Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira
Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) (2000)
Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim
Software Reuse Technology Practices and Assessment Tool-Kit. TOOLS (34) (2000)
Valdis Berzins, Man-tak Shing, Luqi, Michael Saluto, Julian Williams
Architectural Re-engineering of Janus using Object Modeling and Rapid Prototyping. Des. Autom. Embed. Syst. 5 (3-4) (2000)
Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams, Jiang Guo, B. Shultes
The Story of Re-engineering 350,000 Lines of FORTRAN Code. Electron. Notes Theor. Comput. Sci. 25 (1999)
Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams
Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. IEEE International Workshop on Rapid System Prototyping (1999)
Luqi, Man-tak Shing
Real-Time Scheduling for Software Prototyping. J. Syst. Integr. 6 (1/2) (1996)
Valdis Berzins, Luqi, Man-tak Shing
Computer Aided Prototyping System. SEKE (1995)
Teofilo F. Gonzalez, Mohammadreza Razzazi, Man-tak Shing, Si-Qing Zheng
On Optimal Guillotine Partitions Approximating Optimal D-box Partitions. Comput. Geom. 4 (1994)
Man-tak Shing, Gary B. Parker
Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. ICGA (1993)
Pankaj K. Agarwal, Man-tak Shing
Algorithms for special cases of rectilinear steiner trees: I. Points on the boundary of a rectilinear rectangle. Networks 20 (4) (1990)
Man-tak Shing
Optimum Ordered Bi-Weighted Binary Trees. Inf. Process. Lett. 17 (2) (1983)