He, Xudong

He, Xudong
Close

Positions

Professor, School of Computing and Information Sciences , College of Engineering and Computing

Contact Info

hex@fiu.edu

overview

Dr. He received his BS and MS degrees in computer science from Nanjing University, China in 1982 and 1984 respectively; and his Ph.D. degree in computer science from Virginia Tech in 1989. He has joined FIU in 2000 after spending 10 years on the faculty at North Dakota State University. Dr. He’s research interests are in software engineering, especially formal methods. He is an internationally known expert on Petri nets. He has published 150 papers in international journals and conferences and served on more than 80 international conference program committees. He serves on the editorial board of the Transactions on Petri Nets and Other Concurrency Models and several other journals. His research has been funded by several major federal agencies including NSF, NASA, ONR, AFRL, and DOE. Dr. He has been a major adviser of 14 Ph.D. and 36 MS graduates.

selected publications

Article
- 2017
  
  A Framework for Developing Cyber-Physical Systems. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 27:1361-1386.
  Full Text via DOI: 10.1142/S0218194017400010 Web of Science: 000423457100002
- 2017
  
  A Method to Analyze Predicate Transition Nets Using SPIN Model Checker. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 27:1455-1481.
  Full Text via DOI: 10.1142/S021819401740006X Web of Science: 000423457100007
- 2015
  
  A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 25:1199-1235.
  Full Text via DOI: 10.1142/S0218194015500230 Web of Science: 000368434300005
- 2013
  
  A COMPREHENSIVE SURVEY OF PETRI NET MODELING IN SOFTWARE ENGINEERING. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 23:589-625.
  Full Text via DOI: 10.1142/S021819401340010X Web of Science: 000324389000002
- 2012
  
  A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 22:891-925.
  Full Text via DOI: 10.1142/S0218194012500246 Web of Science: 000315689400002
- 2010
  
  FORMAL SPECIFICATION AND ANALYSIS OF AN AGENT-BASED MEDICAL IMAGE PROCESSING SYSTEM. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 20:311-345.
  Full Text via DOI: 10.1142/S021819401000475X Web of Science: 000281358300002
- 2009
  
  A methodology for evaluating test coverage criteria of high level Petri nets. INFORMATION AND SOFTWARE TECHNOLOGY. 51:1520-1533.
  Full Text via DOI: 10.1016/j.infsof.2009.06.014 Web of Science: 000270619300004
- 2009
  
  Flexible coordinator design for modeling resource sharing in multi-agent systems. JOURNAL OF SYSTEMS AND SOFTWARE. 82:1709-1729.
  Full Text via DOI: 10.1016/j.jss.2009.04.054 Web of Science: 000270628100012
- 2007
  
  A translator of software architecture design from sam to Java. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 17:709-755.
  Full Text via DOI: 10.1142/S0218194007003483 Web of Science: 000253298400003
- 2005
  
  Automated runtime validation of software architecture design. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS. 3816:446-457.
  Web of Science: 000235804200052
- 2005
  
  High-Level Petri Nets-Extensions, Analysis, and Applications. ELECTRICAL ENGINEERING HANDBOOK. 459-475.
  Full Text via DOI: 10.1016/B978-012170960-0/50035-9 Web of Science: 000311291700034
- 2003
  
  A new approach to verify rule-based systems using petri nets
  Full Text via DOI: 10.1016/S0950-5849(03)00058-2
- 2001
  
  PZ nets - a formal method integrating Petri nets with Z
  Full Text via DOI: 10.1016/S0950-5849(00)00134-8
Conference
- 1999
  
  Pattern based software re-engineering: A case study. 300-308.
  Full Text via DOI: 10.1109/APSEC.1999.809616
Meeting Abstract
- 2001
  
  Formalizing UML semantics - Panel chair's position paper. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE.
  Web of Science: 000172264100038
Proceedings Paper
- 2018
  
  Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. 2018 IEEE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C). 469-476.
  Full Text via DOI: 10.1109/QRS-C.2018.00086 Web of Science: 000449555600073
- 2017
  
  Modeling and Analyzing the Android Permission Framework using High Level Petri Nets. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS). 232-239.
  Full Text via DOI: 10.1109/QRS.2017.34 Web of Science: 000426842400026
- 2016
  
  A Term Rewriting Approach to Analyze High Level Petri Nets. 2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE). 109-112.
  Full Text via DOI: 10.1109/TASE.2016.11 Web of Science: 000389772000017
- 2016
  
  Multi-Agent Framework for the Complex Adaptive Modeling of Interdependent Critical Infrastructure Systems. CONSTRUCTION RESEARCH CONGRESS 2016: OLD AND NEW CONSTRUCTION TECHNOLOGIES CONVERGE IN HISTORIC SAN JUAN. 1556-1566.
  Web of Science: 000389279903006
- 2015
  
  A Generic Model of Execution for Synthesizing Interpreted Domain-Specific Models. ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY. 495-504.
  Full Text via DOI: 10.1016/j.procs.2015.08.521 Web of Science: 000364544900070
- 2015
  
  A Method for Validating Intent Model Behavior in DSVMs. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE). 247-254.
  Full Text via DOI: 10.1109/HASE.2015.43 Web of Science: 000380911000031
- 2014
  
  Bounded Model Checking High Level Petri Nets in PIPE plus Verifier. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014. 348-363.
  Web of Science: 000347029300023
- 2010
  
  A Multi-Agent Model for a Business Continuity Information Network. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010). 657-663.
  Web of Science: 000391891600122
- 2010
  
  Analyzing a Formal Specification of Mondex Using Model Checking. THEORETICAL ASPECTS OF COMPUTING. 214-229.
  Web of Science: 000284034600015
- 2008
  
  An Approach for Specification Construction Using Property-Preserving Refinement Patterns. 2007 THIRD INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION HIDING AND MULTIMEDIA SIGNAL PROCESSING, VOL II, PROCEEDINGS. 797-+.
  Web of Science: 000268392200144
- 2008
  
  Mapping Software Architecture Specification to Rewriting Logic. QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE. 376-+.
  Full Text via DOI: 10.1109/QSIC.2008.16 Web of Science: 000259566300046
- 2006
  
  A method for realizing software architecture design. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS. 57-+.
  Web of Science: 000242539000010
- 2005
  
  An approach to validation of software architecture model. 12th Asia-Pacific Software Engineering Conference, Proceedings. 375-382.
  Web of Science: 000235436400044
Review
- 2012
  
  Destruction of microcystins by conventional and advanced oxidation processes: A review. SEPARATION AND PURIFICATION TECHNOLOGY. 3-17.
  Full Text via DOI: 10.1016/j.seppur.2012.02.018 Web of Science: 000303958100002

chaired theses and dissertations

Liu, Su, Formal Modeling and Analysis Techniques for High Level Petri Nets 2014
Zeng, Reng, Methods for Modeling and Analyzing Concurrent Software 2013
Chang, Lily, A Nested Petri Net Framework for Modeling and Analyzing Multi-Agent Systems 2011
Garcia, Gonzalo Argote, Formal verification and testing of software architectural models 2009
Fu, Yujian, An integrated framework for ensuring the quality of software design 2007
Dong, Zhijiang, A framework for transforming, analyzing, and realizing software designs in unified modeling language 2006
Ding, Junhua, A methodology for formally modeling and analyzing software architecture of mobile agent systems 2004
Awadallah, Amany Z., A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net 2004
Fernandez, Rigoberto, Software tool that generates hierarchical predicate transition nets (HPRTNETS) notation from a unified modeling language (UML) class diagram notation 2001
Caldwell, William S., A formal architectural specification of the automatic validation of the Everglades National Park hydrology system 2001
Ding, Junhua, An approach for model checking petri nets based software architecture 2000

research interests

Software Engineering, Formal Methods, Software Testing, Petri Nets, Cybersecurity

principal investigator on

An Adaptive Evolutionary Computing Based Runtime Checker awarded by U.S. Air Force Research Laboratory 2015 - 2018
Petri Nets Controller for Robotic Grasping awarded by National Science Foundation 2011 - 2012
GAANN Fellowships in Computer Science at Florida International University. awarded by U.S. Department of Education 2007 - 2011
An Integrated Software Tool for Modeling and Model-Based Control Semiconductor Manufacturing Equipment. awarded by National Science Foundation 2008 - 2009
Distributed Flexible Resource Scheduling in Production Systems. awarded by National Science Foundation 2006 - 2008

co-principal investigator on

CREST: Center for Innovative Information Systems Engineering awarded by National Science Foundation 2008 - 2016
GAANN Fellowship awarded by U.S. Department of Education 2009 - 2014

investigator on

CREST: Center for Emerging Technologies for Advanced Information Processing and High-Confidence Systems. awarded by National Science Foundation 2006 - 2009

teaching activities

CEN5087-U01: Software and Data Modeling Spring Term 2019
CIS7910-U04: Graduate Research Fall Term 2019
CIS7980-U06: Ph.D. Dissertation Spring Term 2019
CIS7980-U09: Ph.D. Dissertation Fall Term 2019

full name

Xudong He

ORCID iD

https://orcid.org/0000-0002-6676-309X (confirmed)

visualizations

Recent publications and grants in Scholars@FIU

Co-author Network

Co-investigator Network

publication subject areas

Computer Science
Engineering

Citation index-derived subject areas the researcher has published in