Xudong He
Overview
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.
Publications
selected publications
-
Article
-
2017A 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
-
2017A 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
-
2015A 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
-
2013A 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
-
2012A 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
-
2010FORMAL 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
-
2009A 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
-
2009Flexible 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
-
2007A 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
-
2005Automated runtime validation of software architecture design. DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS. 3816:446-457.Web of Science: 000235804200052
-
2005High-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
-
2003A new approach to verify rule-based systems using petri nets. INFORMATION AND SOFTWARE TECHNOLOGY. 45.Full Text via DOI: 10.1016/S0950-5849(03)00058-2 Web of Science: 000184978800003
-
2001PZ nets - a formal method integrating Petri nets with Z. INFORMATION AND SOFTWARE TECHNOLOGY. 43.Full Text via DOI: 10.1016/S0950-5849(00)00134-8 Web of Science: 000166384500001
-
-
Meeting Abstract
-
2001Formalizing UML semantics - Panel chair's position paper. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE.Web of Science: 000172264100038
-
-
Proceedings Paper
-
2018Modeling 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
-
2017Modeling 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
-
2016A 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
-
2016Multi-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
-
2015A 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
-
2015A 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
-
2014Bounded Model Checking High Level Petri Nets in PIPE plus Verifier. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014. 348-363.Web of Science: 000347029300023
-
2010A 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
-
2010Analyzing a Formal Specification of Mondex Using Model Checking. THEORETICAL ASPECTS OF COMPUTING. 214-229.Web of Science: 000284034600015
-
2008An 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
-
2008Mapping 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
-
2006A method for realizing software architecture design. QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS. 57-+.Web of Science: 000242539000010
-
2005An approach to validation of software architecture model. 12th Asia-Pacific Software Engineering Conference, Proceedings. 375-382.Web of Science: 000235436400044
-
-
Review
-
2012Destruction 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
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
Teaching
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
Contact
full name
- Xudong He
Identifiers
ORCID iD
- https://orcid.org/0000-0002-6676-309X (confirmed)
visualizations
Recent publications and grants in Scholars@FIU
publication subject areas
- Computer Science
- Engineering