Jiacun Wang

2009
21	EE	Ashutosh Dutta, Bryan Lyles, Henning Schulzrinne, Jiacun Wang: Systems Modeling for IP-Based Handoff Using Timed Petri Nets. HICSS 2009: 1-10
2008
20	EE	Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai: Workflow Resource Requirement Modeling and Analysis. ICNSC 2008: 246-251
19	EE	Demin Li, Jie Zhou, Fan Zhang, Jiacun Wang: An Efficient Gateway Election and Location Service in Ad Hoc Networks. ICNSC 2008: 252-256
18	EE	Jiacun Wang, Daniela Rosca, William M. Tepfenhart, Allen Milewski, Michael Stoute: Dynamic Workflow Modeling and Analysis in Incident Command Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(5): 1041-1055 (2008)
2007
17	EE	Daniela Rosca, Jiacun Wang: Inter-organizational Workflow Modeling and Analysis of Incident Command Systems. ICNSC 2007: 218-223
16	EE	Demin Li, Jie Zhou, Jiacun Wang, Guoliang Wei: Location Management Cost Estimation for PCS Using Neural Network. ISNN (3) 2007: 695-704
15	EE	Jiacun Wang, William M. Tepfenhart, Daniela Rosca, Anni Tsai: Resource-Constrained Workflow Modeling. TASE 2007: 171-177
14	EE	Jiacun Wang: Charging Information Collection Modeling and Analysis of GPRS Networks. IEEE Transactions on Systems, Man, and Cybernetics, Part C 37(4): 473-481 (2007)
2006
13	EE	Jiacun Wang, Daniela Rosca: Dynamic Workflow Modeling and Verification. CAiSE 2006: 303-318
2005
12	EE	Jiacun Wang, Daniela Rosca, William M. Tepfenhart, Allen Milewski, Michael Stoute: An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis. Business Process Management 2005: 137-152
2004
11	EE	Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai: Constraint Propagation And Progressive Verification For Component-Based Process Model. International Journal of Software Engineering and Knowledge Engineering 14(5): 471-496 (2004)
2003
10	EE	Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov: An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. 15(5): 1099-1119 (2003)
2001
9	EE	Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
2000
8		Jiacun Wang, Yi Deng, Mengchu Zhou: Compositional time Petri nets and reduction rules. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(4): 562-572 (2000)
7		Jiacun Wang, Yi Deng, Gang Xu: Reachability analysis of real-time systems using time Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(5): 725-736 (2000)
1999
6	EE	Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models. COMPSAC 1999: 436-441
5	EE	Jiacun Wang, Chun Jin, Yi Deng: Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models. ICECCS 1999: 77-85
4		Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. Ann. Software Eng. 7: 47-70 (1999)
3	EE	Jiacun Wang, Xudong He, Yi Deng: Introducing software architecture specification and analysis in SAM through an example. Information & Software Technology 41(7): 451-467 (1999)
1998
2	EE	Yi Deng, Jiacun Wang: Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design. HASE 1998: 270-278
1	EE	Yi Deng, Jiacun Wang, Rakesh Sinha: Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems. ICFEM 1998: 26-

Coauthor Index

1	Konstantin Beznosov	[10]
2	Yi Deng	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
3	Ashutosh Dutta	[21]
4	Xudong He	[3] [11]
5	Chun Jin	[5] [6]
6	Demin Li	[16] [19]
7	Bryan Lyles	[21]
8	Allen Milewski	[12] [18]
9	Daniela Rosca	[12] [13] [15] [17] [18] [20]
10	Henning Schulzrinne	[21]
11	Rakesh Sinha	[1]
12	Michael Stoute	[12] [18]
13	William M. Tepfenhart	[12] [15] [18] [20]
14	Anni Tsai	[15] [20]
15	Jeffrey J. P. Tsai	[9] [10] [11]
16	Guoliang Wei	[16]
17	Gang Xu	[7]
18	Fan Zhang	[19]
19	Jie Zhou	[16] [19]
20	Mengchu Zhou	[8]

Colors in the list of coauthors