Man-tak Shing

	2009
23		Doron Drusinsky, Man-tak Shing: Using UML Statecharts with Knowledge Logic Guards. MoDELS 2009: 586-590
	2008
22		Doron Drusinsky, James Bret Michael, Man-tak Shing: A framework for computer-aided validation. ISSE 4(2): 161-168 (2008)
	2007
21		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
	2006
20		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
19		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for automation of testing and assessment of system safety. Information & Software Technology 48(10): 971-980 (2006)
	2005
18		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. A-MOST 2005
17		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
16		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
15		Mikhail Auguston, James Bret Michael, Man-tak Shing: Environment behavior models for scenario generation and testing automation. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
	2004
14		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
13		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
12		Doron Drusinsky, Man-tak Shing: TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions. IEEE International Workshop on Rapid System Prototyping 2004: 29-36
	2003
11		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
10		Doron Drusinsky, Man-tak Shing: Verification of Timing Properties in Rapid System Prototyping. IEEE International Workshop on Rapid System Prototyping 2003: 47-
9		Doron Drusinsky, Man-tak Shing: Monitoring Temporal Logic Specifications Combined with Time Series Constraints. J. UCS 9(11): 1261-1276 (2003)
	2002
8		Nader Nada, Man-tak Shing, Valdis Berzins, Luqi: Automated prototyping tool-kit (APT). Inf. Sci. 140(3-4): 241-253 (2002)
	2001
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. IEEE International Workshop on Rapid System Prototyping 2001: 103-109
	1999
6		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
5		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. Electr. Notes Theor. Comput. Sci. 25: (1999)
	1996
4		Luqi, Man-tak Shing: Real-Time Scheduling for Software Prototyping. Journal of Systems Integration 6(1/2): 41-72 (1996)
	1994
3		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)
	1993
2		Man-tak Shing, Gary B. Parker: Genetic Algorithms for the Development of Real-Time Multi-Heuristic Search Strategies. ICGA 1993: 565-572
	1983
1		Man-tak Shing: Optimum Ordered Bi-Weighted Binary Trees. Inf. Process. Lett. 17(2): 67-70 (1983)

Coauthor Index

1	Mikhail Auguston	[7] [15] [16] [18] [19]
2	Joel D. Babbitt	[13]
3	Valdis Berzins	[5] [6] [7] [8] [11]
4	Michael Brown	[11]
5	Barrett R. Bryant	[7]
6	Nabendu Chaki	[11]
7	Kadir Alpaslan Demir	[17] [20]
8	Doron Drusinsky	[9] [10] [12] [17] [20] [21] [22] [23]
9	David L. Floodeen	[11]
10	Jun Ge	[7]
11	Teofilo F. Gonzalez	[3]
12	Zhiwei Guan	[11]
13	Jiang Guo	[5]
14	Boon Kwang Kin	[7]
15	Chee Khan Kwok	[14]
16	Xianzhong Liang	[11]
17	Luqi	[4] [5] [6] [7] [8] [11]
18	James Bret Michael	[13] [15] [16] [18] [19] [22]
19	Michael H. Miklaski	[13]
20	Nader Nada	[8]
21	Gary B. Parker	[2]
22	Joseph Puett	[11]
23	Ying Qiao	[11]
24	Bill Ray	[11]
25	William J. Ray	[14]
26	Mohammadreza Razzazi	[3]
27	Michael Saluto	[5] [6]
28	B. Shultes	[5]
29	Julian Williams	[5] [6]
30	Lynn Zhang	[11]
31	Si-Qing Zheng (S. Q. Zheng)	[3]

Colors in the list of coauthors