Man-tak Shing

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