default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMan-tak Shing
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
[j23]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): 632-641 (2013)- 2012
- [j22]Doron Drusinsky, Man-tak Shing:
Validating quality attribute requirements via execution-based model checking. Softw. Pract. Exp. 42(7): 853-875 (2012) - 2011
- [j21]James Bret Michael, Doron Drusinsky, Thomas W. Otani, Man-tak Shing:
Verification and Validation for Trustworthy Software Systems. IEEE Softw. 28(6): 86-92 (2011) - 2010
- [j20]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): 186-197 (2010) - 2009
- [j19]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): 304-316 (2009) - 2008
- [j18]Doron Drusinsky, James Bret Michael, Man-tak Shing:
A framework for computer-aided validation. Innov. Syst. Softw. Eng. 4(2): 161-168 (2008) - [j17]Doron Drusinsky, James Bret Michael, Man-tak Shing:
A Visual Tradeoff Space for Formal Verification and Validation Techniques. IEEE Syst. J. 2(4): 513-519 (2008) - 2007
- [j16]Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
:
Creating and Validating Embedded Assertion Statecharts. IEEE Distributed Syst. Online 8(5) (2007) - 2006
- [j15]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): 971-980 (2006) - 2005
- [j14]Mikhail Auguston, James Bret Michael, Man-tak Shing:
Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - 2003
- [j13]Doron Drusinsky, Man-tak Shing:
Monitoring Temporal Logic Specifications Combined with Time Series Constraints. J. Univers. Comput. Sci. 9(11): 1261-1276 (2003) - 2002
- [j12]Nader Nada, Man-tak Shing, Valdis Berzins, Luqi:
Automated prototyping tool-kit (APT). Inf. Sci. 140(3-4): 241-253 (2002) - 2000
- [j11]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): 251-263 (2000) - 1996
- [j10]Luqi, Man-tak Shing:
Real-Time Scheduling for Software Prototyping. J. Syst. Integr. 6(1/2): 41-72 (1996) - 1994
- [j9]Teofilo F. Gonzalez, Mohammadreza Razzazi, Man-tak Shing, Si-Qing Zheng:
On Optimal Guillotine Partitions Approximating Optimal D-box Partitions. Comput. Geom. 4: 1-11 (1994) - 1990
- [j8]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): 453-485 (1990) - 1986
- [j7]M. T. Shing, T. C. Hu:
A decomposition algorithm for multi-terminal networks flows. Discret. Appl. Math. 13(2-3): 165-181 (1986) - 1985
- [j6]János Komlós, M. T. Shing:
Probabilistic partitioning algorithms for the rectilinear steiner problem. Networks 15(4): 413-423 (1985) - 1984
- [j5]T. C. Hu, M. T. Shing:
Computation of Matrix Chain Products. Part II. SIAM J. Comput. 13(2): 228-251 (1984) - 1983
- [j4]Man-tak Shing:
Optimum Ordered Bi-Weighted Binary Trees. Inf. Process. Lett. 17(2): 67-70 (1983) - [j3]T. C. Hu, M. T. Shing:
Multiterminal Flows in Outerplanar Networks. J. Algorithms 4(3): 241-261 (1983) - 1982
- [j2]T. C. Hu, M. T. Shing:
Computation of Matrix Chain Products. Part I. SIAM J. Comput. 11(2): 362-373 (1982) - 1981
- [j1]T. C. Hu, M. T. Shing:
An O(n) Algorithm to Find a Near-Optimum Partition of a Convex Polygon. J. Algorithms 2(2): 122-138 (1981)
Conference and Workshop Papers
- 2011
- [c48]Jason S. Bolin, James Bret Michael, Man-tak Shing:
Cloud Computing Support for Collaboration and Communication in Enterprise-Wide Workflow Processes. SERVICES 2011: 589-593 - [c47]Shawn Kelly, Corey Mazyck, Karl Pfeiffer, Man-tak Shing:
A Cloud Computing Application for Synchronized Disaster Response Operations. SERVICES 2011: 612-616 - [c46]Doron Drusinsky, J. Bret Michael, Man-tak Shing:
Rapid runtime system verification using automatic source code instrumentation. SoSE 2011: 1-6 - [c45]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: 119-124 - [c44]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: 155-160 - [c43]Alex J. Nelson, George W. Dinolt, J. Bret Michael, Man-tak Shing:
A security and usability perspective of cloud file systems. SoSE 2011: 161-166 - [c42]Scott Dowell, Albert Barreto, J. Bret Michael, Man-tak Shing:
Cloud to cloud interoperability. SoSE 2011: 258-263 - [c41]Ricardo Valerdi, Man-tak Shing:
Message from the program chairs. SoSE 2011 - 2010
- [c40]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: 161-166 - [c39]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: 167-171 - [c38]Doron Drusinsky, Man-tak Shing:
Validating quality attribute requirements via execution-based model checking. International Symposium on Rapid System Prototyping 2010: 1-7 - [c37]Stephen B. Driskell, Judy Murphy, James Bret Michael, Man-tak Shing:
Independent validation of software safety requirements for systems of systems. SoSE 2010: 1-6 - [c36]Thomas W. Otani, James Bret Michael, Man-tak Shing:
Goal-driven software reuse in the IV&V of system of systems. SoSE 2010: 1-6 - 2009
- [c35]Doron Drusinsky, Man-tak Shing:
Using UML Statecharts with Knowledge Logic Guards. MoDELS 2009: 586-590 - [c34]Kristian John Cruickshank, James Bret Michael, Man-tak Shing:
A Validation Metrics Framework for safety-critical software-intensive Systems. SoSE 2009: 1-8 - [c33]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: 1-8 - [c32]James Bret Michael, Richard D. Riehle, Man-tak Shing:
The verification and validation of software architecture for systems of systems. SoSE 2009: 1-6 - [c31]Thomas W. Otani, James Bret Michael, Man-tak Shing:
Software reuse in the IV&V of system of systems. SoSE 2009: 1-5 - 2008
- [c30]T. C. Hu, Leo Landa, Man-tak Shing:
The Unbounded Knapsack Problem. Bonn Workshop of Combinatorial Optimization 2008: 201-217 - [c29]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: 189-195 - [c28]Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing:
Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. SSIRI 2008: 47-51 - [c27]Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing:
Integrating statechart assertions into Java components using AspectJ. SoSE 2008: 1-7 - [c26]Bradley Warren, James Bret Michael, Man-tak Shing:
A framework for software reuse in safety-critical system-of-systems. SoSE 2008: 1-6 - 2007
- [c25]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: 135-143 - [c24]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: 82-88 - [c23]Thomas S. Cook, Doron Drusinsky, Man-tak Shing:
Specification, Validation and Run-time Monitoring of SOA Based System-of-Systems Temporal Behaviors. SoSE 2007: 1-6 - 2006
- [c22]Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir:
Creation and Validation of Embedded Assertion Statecharts. IEEE International Workshop on Rapid System Prototyping 2006: 17-23 - [c21]Man-tak Shing, Doron Drusinsky, Thomas S. Cook:
Quality assurance of the timing properties of real-time, reactive system-of-systems. SoSE 2006: 1-6 - [c20]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: 1-5 - 2005
- [c19]Mikhail Auguston, James Bret Michael, Man-tak Shing:
Environment behavior models for scenario generation and testing automation. A-MOST 2005 - [c18]Man-tak Shing, Doron Drusinsky:
Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems. Monterey Workshop 2005: 281-303 - [c17]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: 105-110 - [c16]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: 188-194 - [c15]Doron Drusinsky, Man-tak Shing:
Creation and evaluation of formal specifications for system-of-systems development. SMC 2005: 1864-1869 - [c14]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: 1870-1875 - 2004
- [c13]William J. Ray, Man-tak Shing, Chee Khan Kwok:
Simulation models for optimal object server deployment. IASTED Conf. on Software Engineering and Applications 2004: 430-435 - [c12]Doron Drusinsky, Man-tak Shing:
TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. IEEE International Workshop on Rapid System Prototyping 2004: 29-36 - [c11]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: 202-209 - 2003
- [c10]Doron Drusinsky, Man-tak Shing:
Verification of Timing Properties in Rapid System Prototyping. IEEE International Workshop on Rapid System Prototyping 2003: 47- - [c9]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: 210-217 - 2001
- [c8]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: 103-109 - 2000
- [c7]Nader Nada, Luqi, Man-tak Shing, David C. Rine, Ernesto Damiani, S. Tuwaim:
Software Reuse Technology Practices and Assessment Tool-Kit. TOOLS (34) 2000: 307- - [c6]Luqi, Valdis Berzins, Man-tak Shing, Richard D. Riehle, J. Nogueira:
Evolutionary Computer Aided Prototyping System (CAPS). TOOLS (34) 2000: 363-372 - 1999
- [c5]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: 216-221 - 1998
- [c4]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. Monterey Workshop 1998: 111-120 - 1995
- [c3]Valdis Berzins, Luqi, Man-tak Shing:
Computer Aided Prototyping System. SEKE 1995: 499 - 1993
- [c2]Man-tak Shing, Gary B. Parker:
Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. ICGA 1993: 565-572 - 1980
- [c1]T. C. Hu, M. T. Shing:
Some Theorems about Matrix Multiplication (Extended Abstract). FOCS 1980: 28-35
Coauthor Index
aka: J. Bret Michael
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
