Jiacun Wang

2008
17	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
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	Xudong He	[3] [11]
4	Chun Jin	[5] [6]
5	Demin Li	[16]
6	Allen Milewski	[12] [17]
7	Daniela Rosca	[12] [13] [15] [17]
8	Rakesh Sinha	[1]
9	Michael Stoute	[12] [17]
10	William M. Tepfenhart	[12] [15] [17]
11	Anni Tsai	[15]
12	Jeffrey J. P. Tsai	[9] [10] [11]
13	Guoliang Wei	[16]
14	Gang Xu	[7]
15	Jie Zhou	[16]
16	Mengchu Zhou	[8]

Colors in the list of coauthors