Jiacun Wang received a Ph.D. 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 four books and about 150 papers. He is the AVP Finance of the IEEE SMC Society. He was 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 general chair, program chair, program co-chair, or special sessions chair for many international conferences. Dr. Wang has been a senior member of IEEE since 2000.

Education

Ph.D., Nanjing University of Science and Technology

ME, Nanjing University of Science and Technology

BE, Jiangsu University

Research Interests

Dr. Wang’s research interests include machine learning, 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.

Books

J. Wang and W. Tepfenhart, Formal Methods in Computer Science, CRC Press, ISBN 978-1-498-775328, June 2019

J. Wang, Real-time Embedded Systems, Wiley, ISBN: 978-1-118-11617-3, July 2017

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.

Book Chapters:

• J. Wang, Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets, in: Advances in Computing, Informatics, Networking and Cybersecurity, Springer-Nature, 2022.
• J. Wang, Petri Nets, Handbook of Finite State Based Models and Applications, Ed. J. Wang, Chapman & Hall, August 2012.
• Rosca, W. Tepfenhart, J. Wang and A. Milewski, “Continuous curriculum restructuring in a graduate software engineering program,” in: Software Engineering: Effecting Teaching and Learning Approaches and Practices. Ed: Ellis, H., Demurjian, S and Naveda, F., IGI Global, 2008.
• J. Wang, “Petri nets for dynamic event-driven system modeling,” in: Handbook of Dynamic System Modeling, Ed: Paul Fishwick, CRC Press, 2007.

Scholarly Articles

W. Zhang, J. Wang, and F. Lan, “Dynamic hand gesture recognition based on short-term sampling neural networks,” IEEE/CAA Journal of Automatica Sinica, vol. 8, no. 1, 110-120, 2021.

B. Hu and J. Wang, “Deep learning based hand gesture recognition and UAV flight controls,’ International Journal of Automation and Computing, vol. 17, no. 1, 17-29, 2020.

J. Zhou, J. Wang, and Jun Wang, “A simulation engine for stochastic timed Petri nets and application to emergency healthcare systems,” IEEE/CAA Journal of Automatica Sinica, 6(4):969-980, July 2019.

N. Wang, J. Wang, X. Chen, “A trust-based formal model for fault detection in wireless sensor networks,” Sensors, 19(8), 2019

X. Zhang, W. Song, J. Wang. J. Xing and Q. Zhou, “Measuring Business Process Consistency across Different Abstraction Levels.” IEEE Trans. Network and Service Management, 16(1): 294-307, 2019

Y. He, G. Liu, C. Yan, C. Jiang, and J. Wang, “Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints,” IEEE Access, 6:21005-21019, 2018

X. Zhang, J. Wang, J. Xing, W. Song, Q. Yang, “Measuring data-aware process consistency based on activity constraint graphs,” IEEE Access, DOI: 10.1109/ACCESS.2018.2795701, 2018

J. Wang, B. Tepfenhart, and X. Li, “Analysis of minimum workflow resource requirements,” Communications in Computer Science and Information Systems, vol. 602, pp. 53-66, 2016.

X. Heng, Z. Wang, and J. Wang, “Human activity recognition based on transformed accelerometer data from a mobile phone,” International Journal of Communication Systems, October 2014.

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 Work

J. Wang, “Patient flow modeling and optimal staffing for emergency departments: A Petri net approach,” IE­­­EE Transactions on Computational Social Systems. 2022.

H. Han, W. Li, J. Wang, G. Qin, and X. Qin, “Enhance explainability of manifold learning,” Neurocomputing, 2022.

Z. Zhang, J. Liu, G. Liu, J. Wang, and Y. Zhang, “Robustness verification of swish neural networks embedded in autonomous driving systems”, IEEE Transactions on Computational Social Systems. 2022. Accepted 05-27-2022.

P. Zhou, G. Liu, J. Wang, Q. Weng, K. Zhang and Z. Zhou, “Lightweight UAV video object detection based on spatial-temporal correlation,” International Journal of Communication Systems, 2022

Professional Associations

IEEE Senior Member, since 2000.

Awards

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

Best Student Paper, International Conference on Computational Social Science, 2011.