The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Man-tak Shing: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002