Resources

Main Menu

Jiacun Wang, PhD

Professor

PhD, Nanjing University of Science and Technology

ME, Nanjing University of Science and Technology

BE, Jiangsu University

Office: Howard Hall, Room 210

Phone: 732-571-4449

Email: jwang@monmouth.edu

Spring 2016 Office Hours:
Currently on sabbatical.

Regularly Taught Courses:

SE306 Formal Methods

SE352 Embedded Software Systems

SE357 Engineering Web Systems 

SE610 Software Systems Security  

SE611 Secure Web Service Design  

SE630 Real-time System Analysis and Specification  

SE631 Real-time System Design and Implementation

CS205 Data Structure and Algorithms 

About:

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology (NJUST), China in 1991. He is currently a Professor in the Computer Science and Software Engineering Department at Monmouth University, West Long Branch, New Jersey. From 2001 to 2004, he was a member of scientific staff with Nortel Networks in Richardson, Texas. Prior to joining Nortel, he was a research associate of the School of Computer Science, Florida International University (FIU) at Miami. Prior to joining FIU, he was an associate professor at NJUST.

Dr. Wang has published two books and about 80 papers. He is the Secretary of the Organizing and Planning Committee of the IEEE SMC Society. He is an Associate Editor of several international journals and has served as program chair, program co-chair, special sessions chair or program committee member for many international conferences. Dr. Wang has been a senior member of IEEE since 2000.

Research Interests:

Dr. Wang's research interests include software engineering, discrete event systems, formal methods, wireless networking, and real-time distributed systems. Most recently, he has been focusing his research on workflow modeling and analysis for emergency management systems.

Professional Associations:

IEEE Senior Member, since 2000.

Awards:

Mexico CONACYT program “Estancia Sabatica en Mecico para Eranjeroa,” 2015-2016.

Selected Works:

Books:

Jiacun Wang, Handbook on Finite State Based Models and Applications, CRC Press, 2012.

Jiacun Wang, Timed Petri Nets: Theory and Application, Kluwer Academic Publishers, 1998.

Scholarly Articles:

J. Wang and D. Li, “Resource oriented workflow nets and workflow resource requirement analysis,” International Journal of Software Engineering and Knowledge Engineering, 23(5) 677-693, 2013.

J. Wang, “Emergency healthcare workflow modeling and timeliness analysis,” IEEE Transactions on Systems, Man and Cybernetics, Part A, 42(6):1323-1331, 2012.

W. Tepfenhart and J. Wang, “Towards true dynamic workflow for emergency response, International Journal on Software Informatics, 6(2):307-325, 2012.

J. Wang, X. Zhou and J. Ding, “Software architectural modeling and verification: a Petri net and temporal logic approach,” Transactions of the Institute of Measurement and Control, vol. 33, 168-181, 2011.

J. Wang, W. Tepfenhart and D. Rosca, “Emergency response workflow resource requirements modeling and analysis,” IEEE Transactions on Systems, Man and Cybernetics, Part C, vol. 39, no. 3, 2009.

J. Wang, D. Rosca, W. Tepfenhart, A. Milewski and M. Stoute, “Dynamic workflow modeling and analysis in incident command systems,” IEEE Transactions on Systems, Man and Cybernetics, Part A, vol. 38, no. 5, 1041-1055, 2008.

J. Wang, “Charging information collection modeling and analysis of GPRS networks,” IEEE Transactions on Systems, Man and Cybernetics, Part C, vol. 37, no. 4, 473-481, 2007.

Y. Deng, J. Wang, X. He and J. Tsai, “Constraint propagation and progressive verification for component-based process model,” International Journal of Software Engineering and Knowledge Engineering, vol. 14, no. 5, 471-496, 2004.

Y. Deng, J. Wang,, M. Zhou, “Consistency verification in modeling of real time systems,” IEEE Transactions on Robotics and Automation, vol. 20, no. 1, 136-142, 2004.

Y. Deng, J. Wang, K. Beznosov and J. Tsai, “An approach for modeling and analysis of security system architectures,” IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 5, 1099-1119, 2003.

J. Wang, Y. Deng and M. Zhou. “Compositional time Petri nets and reduction rules,” IEEE Transactions on Systems, Man and Cybernetics, Part B vol. 30, no. 4, 562-572, 2000.

J. Wang, Y. Deng and G. Xu. “Reachability analysis of real time systems based on time Petri nets,” IEEE Transactions on Systems, Man and Cybernetics, Part B, vol. 30, no. 5, 725-736, 2000.

Presentations/Invited Talks:

Plenary talk on “Workflow resource requirement modeling and analysis,” Macau University of Science and Technology, Macau, Oct. 14, 2015.

Invited talk on “Workflow resource requirement analysis,” Zhejiang University of Science and Technology, Hangzhou, China, Oct. 29, 2015.

Invited talk on “Workflow nets,” Shanghai Finance and Economy University, Shanghai, China, Sept. 23, 2014.

Invited talk on “Gesture recognition and application,” Nanjing Univ., Nanjing, China, Sept. 22, 2014.

Invited talk on “Workflow nets,” Tongji University, Shanghai, China, July 1, 2013.

Invited talk on “Petri net based resource modeling and analysis for workflows,” Tongji University, Shanghai, China, May 27, 2012.

Invited talk on “Petri net based resource modeling and analysis for workflows,” Donghua University, Shanghai, China, May 28, 2012.

Invited seminar talk on “Agent based workflow modeling”, University of Texas at Dallas, March 9, 2012.

Invited talk on “Software architecture modeling and analysis,” Tongji University, Shanghai, China, June 25, 2011.

Invited 2-day lecturing on “Emergency response and Petri net modeling,” Nanjing University of Science and Technology, Nanjing, China, June 7-8, 2011.

Forthcoming:

 Jiacun Wang, Real-Time Embedded Systems, 1E, Wiley, 2016.