Search the dblp DataBase

Publications of Author

1. Man-tak Shing, Gary B. Parker
   Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. [Citation Graph (0, 0)][DBLP]
   ICGA, 1993, pp:565-572 [Conf]
   
2. Mikhail Auguston, James Bret Michael, Man-tak Shing
   Test Automation and Safety Assessment in Rapid Systems Prototyping. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2005, pp:188-194 [Conf]
   
3. Doron Drusinsky, Man-tak Shing
   Verification of Timing Properties in Rapid System Prototyping. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2003, pp:47-0 [Conf]
   
4. Doron Drusinsky, Man-tak Shing
   TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2004, pp:29-36 [Conf]
   
5. Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
   Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2005, pp:105-110 [Conf]
   
6. Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir
   Creation and Validation of Embedded Assertion Statecharts. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2006, pp:17-23 [Conf]
   
7. Luqi, Valdis Berzins, Jun Ge, Man-tak Shing, Mikhail Auguston, Barrett R. Bryant, Boon Kwang Kin
   DCAPS - Architecture for Distributed Computer Aided Prototyping System. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2001, pp:103-109 [Conf]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 2003, pp:210-217 [Conf]
   
9. Man-tak Shing, Luqi, Valdis Berzins, Michael Saluto, Julian Williams
   Architectural Re-Engineering of Janus Using Object Modeling and Rapid Prototyping. [Citation Graph (0, 0)][DBLP]
   IEEE International Workshop on Rapid System Prototyping, 1999, pp:216-221 [Conf]
   
10. 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++. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2004, pp:202-209 [Conf]
    
11. Teofilo F. Gonzalez, Mohammadreza Razzazi, Man-tak Shing, Si-Qing Zheng
    On Optimal Guillotine Partitions Approximating Optimal D-box Partitions. [Citation Graph (0, 0)][DBLP]
    Comput. Geom., 1994, v:4, n:, pp:1-11 [Journal]
    
12. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
    
13. Mikhail Auguston, James Bret Michael, Man-tak Shing
    Environment behavior models for automation of testing and assessment of system safety. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:10, pp:971-980 [Journal]
    
14. Man-tak Shing
    Optimum Ordered Bi-Weighted Binary Trees. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1983, v:17, n:2, pp:67-70 [Journal]
    
15. Nader Nada, Man-tak Shing, Valdis Berzins, Luqi
    Automated prototyping tool-kit (APT). [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2002, v:140, n:3-4, pp:241-253 [Journal]
    
16. Luqi, Man-tak Shing
    Real-Time Scheduling for Software Prototyping. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Integration, 1996, v:6, n:1/2, pp:41-72 [Journal]
    
17. Doron Drusinsky, Man-tak Shing
    Monitoring Temporal Logic Specifications Combined with Time Series Constraints. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:11, pp:1261-1276 [Journal]
    
18. Doron Drusinsky, Man-tak Shing
    Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2007, pp:82-88 [Conf]
    
19. William J. Ray, Man-tak Shing, Chee Khan Kwok
    Simulation models for optimal object server deployment. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:430-435 [Conf]
    
20. 
    Using UML Statecharts with Knowledge Logic Guards. [Citation Graph (, )][DBLP]
    
    
21. 
    MAJIC: A Java Application for Controlling Multiple, Heterogeneous Robotic Agents. [Citation Graph (, )][DBLP]
    
    
22. 
    Cloud Computing for Large-Scale Weapon Systems. [Citation Graph (, )][DBLP]
    
    
23. 
    Removing the Boundaries: Steps Toward a Cloud Nirvana. [Citation Graph (, )][DBLP]
    
    
24. 
    Environment behavior models for scenario generation and testing automation. [Citation Graph (, )][DBLP]
    
    
25. 
    Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance. [Citation Graph (, )][DBLP]
    
    
26. 
    Creating and Validating Embedded Assertion Statecharts. [Citation Graph (, )][DBLP]