He, Xudong

Edit Your Profile

He, Xudong Graduate Faculty

Positions

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

hex@fiu.edu

biography

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.

research interests

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

selected scholarly works & creative activities

Article
- 2018
  
  Formal Modeling and Analysis of Collaborative Humanoid Robotics
  Full Text via DOI: 10.4018/ijrat.2018010103
- 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
- 2006
  
  A formal model-based approach for developing an interoperable mobile agent system
  Full Text via DOI: 10.3233/MGS-2006-2407 Web of Science: 000212571500007
- 2004
  
  Constraint propagation and progressive verification for component-based process model. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 14:471-496.
  Full Text via DOI: 10.1142/S0218194004001750
- 2004
  
  Formally analyzing software architectural specifications using SAM. JOURNAL OF SYSTEMS AND SOFTWARE. 71:11-29.
  Full Text via DOI: 10.1016/S0164-1212(02)00087-0
- 2003
  
  A new approach to verify rule-based systems using petri nets. INFORMATION AND SOFTWARE TECHNOLOGY. 45:663-669.
  Full Text via DOI: 10.1016/S0950-5849(03)00058-2
- 2002
  
  A methodology of testing high-level Petri nets. INFORMATION AND SOFTWARE TECHNOLOGY. 44:473-489.
  Full Text via DOI: 10.1016/S0950-5849(02)00048-4
- 2002
  
  A framework for developing and analyzing software architecture specifications in SAM. COMPUTER JOURNAL. 45:111-128.
  Full Text via DOI: 10.1093/comjnl/45.1.111
- 2001
  
  PZ nets - a formal method integrating Petri nets with Z. INFORMATION AND SOFTWARE TECHNOLOGY. 43:1-18.
  Full Text via DOI: 10.1016/S0950-5849(00)00134-8
- 2000
  
  SPECIFYING SOFTWARE ARCHITECTURAL CONNECTORS IN SAM. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 10:411-431.
  Full Text via DOI: 10.1142/s0218194000000201
- 2000
  
  Specifying software architectural connectors in SAM. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 10:411-431.
  Full Text via DOI: 10.1016/S0218-1940(00)00020-1
- 2000
  
  Translating hierarchical predicate transition nets to CC++ programs. INFORMATION AND SOFTWARE TECHNOLOGY. 42:475-488.
  Full Text via DOI: 10.1016/S0950-5849(99)00103-2 Web of Science: 000086895100003
- 2000
  
  A formal approach for component retrieval and integration analysis
  Full Text via DOI: 10.1002/1096-908x(200011/12)12:6<325::aid-smr217>3.0.co;2-#
- 2000
  
  Pattern-based software reengineering: A case study
  Full Text via DOI: 10.1002/(sici)1096-908x(200003/04)12:2<121::aid-smr206>3.0.co;2-t
- 1999
  
  Introducing software architecture specification and analysis in SAM through an example. INFORMATION AND SOFTWARE TECHNOLOGY. 41:451-467.
  Full Text via DOI: 10.1016/S0950-5849(99)00009-9 Web of Science: 000080581300005
- 1997
  
  An improved algorithm for concurrency control in distributed database systems. INFORMATION SCIENCES. 103:23-36.
  Full Text via DOI: 10.1016/S0020-0255(97)00058-3
- 1997
  
  Mapping Petri nets to concurrent programs in CC++. INFORMATION AND SOFTWARE TECHNOLOGY. 39:485-495.
  Full Text via DOI: 10.1016/S0950-5849(97)00006-2
- 1996
  
  A method for constructing algebraic Petri nets. JOURNAL OF SYSTEMS AND SOFTWARE. 35:15-27.
  Full Text via DOI: 10.1016/0164-1212(95)00081-X
- 1995
  
  Deriving algebraic Petri net specifications from structured analysis-a case study. INFORMATION AND SOFTWARE TECHNOLOGY. 37:411-434.
  Full Text via DOI: 10.1016/0950-5849(95)98038-H
- 1995
  
  High-level algebraic Petri nets. INFORMATION AND SOFTWARE TECHNOLOGY. 37:23-30.
  Full Text via DOI: 10.1016/0950-5849(94)00438-X
- 1992
  
  Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS. 45:171-184.
  Full Text via DOI: 10.1080/00207169208804127
- 1991
  
  A methodology for constructing predicate transition net specifications. SOFTWARE-PRACTICE & EXPERIENCE. 21:845-875.
  Full Text via DOI: 10.1002/spe.4380210806
- 1990
  
  Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
  Full Text via DOI: 10.1007/BF01888226
- 1990
  
  A methodology for test selection. JOURNAL OF SYSTEMS AND SOFTWARE. 13:177-185.
  Full Text via DOI: 10.1016/0164-1212(90)90093-2
Book
- 2007
  
  Specification and Analysis of Software Architectures
Book Chapter
- 2019
  
  A Personal Journey in Petri Net Research. 111-115.
  Full Text via DOI: 10.1007/978-3-319-96154-5_15
- 2019
  
  Formal Modeling and Analysis of Collaborative Humanoid Robotics. 1086-1108.
  Full Text via DOI: 10.4018/978-1-5225-8060-7.ch051
- 2010
  
  Architecture-centered integrated verification. 104-124.
  Full Text via DOI: 10.4018/978-1-60960-215-4.ch005
- 2010
  
  Towards Rewriting Semantics of Software Architecture Specification
  Full Text via DOI: 10.5772/7520
- 2009
  
  Formal methods for specifying and analyzing complex software systems. 243-264.
  Full Text via DOI: 10.4018/978-1-59904-630-3.Ch017
- 2006
  
  Formal methods for specifying and analyzing complex software systems. 319-345.
  Full Text via DOI: 10.4018/978-1-59140-941-1.ch013
- 2006
  
  Formal methods for specifying and analyzing complex software systems. 123-150.
  Full Text via DOI: 10.1007/1-4020-4223-X_6
- 2005
  
  A methodology of component integration testing. 239-269.
  Full Text via DOI: 10.1007/3-540-27071-X_12
- 2005
  
  9 High-Level Petri Nets-Extensions, Analysis, and Applications. 459-475.
  Full Text via DOI: 10.1016/b978-012170960-0/50035-9
- 2005
  
  High-Level Petri Nets-Extensions, Analysis, and Applications. 459-475.
  Full Text via DOI: 10.1016/B978-012170960-0/50035-9 Web of Science: 000311291700034
- 2004
  
  High-Level Petri Nets-Extensions, Analysis, and Applications. 459-475.
  Full Text via DOI: 10.1016/B978-012170960-0/50035-9
- 2002
  
  Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM. 63-77.
  Full Text via DOI: 10.1007/978-0-387-35607-5_4
- 2001
  
  Object Orientation in Hierarchical Predicate Transition Nets. 196-215.
  Full Text via DOI: 10.1007/3-540-45397-0_6
Conference
- 2023
  
  An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics. 638-649.
  Full Text via DOI: 10.1109/QRS60937.2023.00068
- 2022
  
  Analyzing Cyber-Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. 559-563.
  Full Text via DOI: 10.18293/SEKE2022-010
- 2022
  
  Building Safe and Stable DNN Controllers using Deep Reinforcement Learning and Deep Imitation Learning. 775-784.
  Full Text via DOI: 10.1109/QRS57517.2022.00083 Web of Science: 000980981100073
- 2021
  
  Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets. 1099-1108.
  Full Text via DOI: 10.1109/QRS-C55045.2021.00164 Web of Science: 000808814500152
- 2020
  
  Modeling and Analyzing Smart Contracts using Predicate Transition Nets. 108-115.
  Full Text via DOI: 10.1109/QRS-C51114.2020.00029 Web of Science: 000682774300017
- 2019
  
  Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. 216-227.
  Full Text via DOI: 10.1109/QRS.2019.00038 Web of Science: 000587580300024
- 2018
  
  A Method for Predicting Two-variable Atomicity Violations. 103-110.
  Full Text via DOI: 10.1109/QRS.2018.00024 Web of Science: 000587579900011
- 2018
  
  A systematic approach for developing cyber physical systems. 456-461.
  Full Text via DOI: 10.18293/SEKE2018-004
- 2018
  
  Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets. 469-476.
  Full Text via DOI: 10.1109/QRS-C.2018.00086 Web of Science: 000449555600073
- 2018
  
  Modeling and analyzing hybrid systems using hybrid predicate transition nets. 397-402.
  Full Text via DOI: 10.18293/SEKE2018-158
- 2017
  
  A Framework for Developing Cyber-Physical Systems. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 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. 1455-1481.
  Full Text via DOI: 10.1142/S021819401740006X Web of Science: 000423457100007
- 2017
  
  A framework for developing cyber physical systems. 236-241.
  Full Text via DOI: 10.18293/SEKE2017-095
- 2017
  
  A method to analyze high level petri nets using SPIN model checker. 161-166.
  Full Text via DOI: 10.18293/SEKE2017-162
- 2017
  
  Foreword. iii.
  Full Text via DOI: 10.18293/SEKE2017-208
- 2017
  
  Modeling and Analyzing the Android Permission Framework using High Level Petri Nets. 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. 109-112.
  Full Text via DOI: 10.1109/TASE.2016.11 Web of Science: 000389772000017
- 2016
  
  Modeling and analyzing security patterns using high level petri nets. 623-627.
  Full Text via DOI: 10.18293/seke2016-010
- 2016
  
  Multi-Agent Framework for the Complex Adaptive Modeling of Interdependent Critical Infrastructure Systems. 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. 247-254.
  Full Text via DOI: 10.1109/HASE.2015.43 Web of Science: 000380911000031
- 2015
  
  A formal modeling method for cost-aware service composition. 17-22.
- 2015
  
  A method for improving the precision and coverage of atomicity violation predictions. DISTRIBUTED COMPUTING (DISC 2014). 116-130.
  Full Text via DOI: 10.1007/978-3-662-46681-0_8
- 2015
  
  PIPE+Verifier - A tool for analyzing high level Petri nets. 575-580.
  Full Text via DOI: 10.18293/SEKE2015-060
- 2014
  
  Bounded Model Checking High Level Petri Nets in PIPE plus Verifier. DISTRIBUTED COMPUTING (DISC 2014). 348-363.
  Web of Science: 000347029300023
- 2012
  
  McPatom: A predictive analysis tool for atomicity violation using model checking. DISTRIBUTED COMPUTING (DISC 2014). 191-207.
  Full Text via DOI: 10.1007/978-3-642-31759-0_14
- 2011
  
  PIPE ⁺ - A modeling tool for high level Petri nets. 115-121.
- 2011
  
  SC-xScript: An embedded script language for scientific computation in embedded systems. 308-314.
- 2011
  
  A method to mine workflows from provenance for assisting scientific workflow composition. 169-175.
  Full Text via DOI: 10.1109/SERVICES.2011.55
- 2011
  
  A model transformation approach for verifying multi-agent systems using SPIN. 37-42.
  Full Text via DOI: 10.1145/1982185.1982196
- 2011
  
  A Method to Build and Analyze Scientific Workflows from Provenance through Process Mining
- 2010
  
  A Multi-Agent Model for a Business Continuity Information Network. 657-663.
  Web of Science: 000391891600122
- 2010
  
  Analyzing a Formal Specification of Mondex Using Model Checking. DISTRIBUTED COMPUTING (DISC 2014). 214-229.
  Web of Science: 000284034600015
- 2009
  
  Towards adaptable BDI agent: A formal aspect-oriented modeling approach. 189-193.
- 2008
  
  A formal approach for translating a SAM architecture to PROMELA. 440-447.
- 2008
  
  A formal framework for software system modeling, analysis and realization. 627-633.
- 2008
  
  A formal specification of Mondex using SAM. 97-102.
  Full Text via DOI: 10.1109/SOSE.2008.25
- 2008
  
  Evaluating test adequacy coverage of high level petri nets using spin. 71-78.
  Full Text via DOI: 10.1145/1370042.1370059
- 2008
  
  An Approach for Specification Construction Using Property-Preserving Refinement Patterns. 797-+.
  Web of Science: 000268392200144
- 2008
  
  Mapping Software Architecture Specification to Rewriting Logic. 376-+.
  Full Text via DOI: 10.1109/QSIC.2008.16 Web of Science: 000259566300046
- 2007
  
  A translator of software architecture design from sam to Java. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING. 709-755.
  Full Text via DOI: 10.1142/S0218194007003483 Web of Science: 000253298400003
- 2007
  
  An approach to validating translation correctness from SAM to Java. 45-50.
- 2007
  
  Generation of test requirements from aspectual use cases. 17-22.
  Full Text via DOI: 10.1145/1229384.1229388
- 2006
  
  A framework for component-based system modeling. 290-295.
- 2006
  
  A method for modeling object-oriented systems with PZ nets. 456-462.
- 2006
  
  Achieving a better middleware design through formal modeling and analysis. 463-468.
- 2006
  
  Formalizing and validating UML architecture description of web systems
  Full Text via DOI: 10.1145/1149993.1150002
- 2006
  
  Modeling complex software systems using an aspect extension of object-Z. 11-16.
- 2006
  
  Modeling, validating and automating composition of web services. 217-224.
  Full Text via DOI: 10.1145/1145581.1145626
- 2006
  
  An approach to web services oriented modeling and validation. 81-87.
  Full Text via DOI: 10.1145/1138486.1138504
- 2006
  
  A method for realizing software architecture design. 57-+.
  Web of Science: 000242539000010
- 2005
  
  A methodology of automated realization of software architecture design. 412-417.
- 2005
  
  An approach to validation of software architecture model. 375-382.
  Full Text via DOI: 10.1109/APSEC.2005.33
- 2005
  
  Design an interoperable mobile agent system based on predicate transition net models. 560-565.
- 2005
  
  Formal aspect-oriented modeling and analysis by aspectz. 175-180.
- 2005
  
  An approach to validation of software architecture model. 375-382.
  Web of Science: 000235436400044
- 2005
  
  Automated runtime validation of software architecture design. DISTRIBUTED COMPUTING (DISC 2014). 446-457.
  Web of Science: 000235804200052
- 2005
  
  Formally Modeling and analyzing a secure mobile agent finder. 47-52.
  Web of Science: 000235210800008
- 2005
  
  Secure software architectures design by aspect orientation. 47-55.
- 2004
  
  Modeling and analyzing security protocols in SAM: A case study. 115-121.
- 2004
  
  A Formal Approach to Designing Secure Software Architectures* *Supported in part by the NSF under grants HRD-0317692 and CCR-0226763, and by NASA under grant NAG 2-1440.. 289-290.
  Full Text via DOI: 10.1109/hase.2004.1281766
- 2004
  
  A formal approach to designing secure software architectures. 289-290.
  Web of Science: 000189505900039
- 2003
  
  A methodology for dependability and performability analysis in SAM. 679-688.
  Web of Science: 000184415300073
- 2003
  
  Pattern-based software architecture: A case study. 592-597.
  Full Text via DOI: 10.1109/ITCC.2003.1197596
- 2002
  
  Model checking software architecture specifications in SAM. 271-274.
  Full Text via DOI: 10.1145/568760.568808
- 2002
  
  Compositional schedulability analysis of real-time systems using time Petri nets. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 984-996.
  Full Text via DOI: 10.1109/TSE.2002.1041054
- 2002
  
  A formal Method for Analyzing Software Architecture Models in SAM **Supported in part by the NSF under grants HDR-9707076 and CCR-0098120, and by NASA under grant NAG 2-1440.. 645-652.
  Full Text via DOI: 10.1109/cmpsac.2002.1045076
- 2002
  
  A formal method for analyzing software architecture models in SAM. 645-652.
- 2002
  
  Formal analysis of real-time systems with SAM. DISTRIBUTED COMPUTING (DISC 2014). 275-286.
  Web of Science: 000181471000030
- 2002
  
  Modeling and analyzing SMIL documents in SAM. 132-139.
  Web of Science: 000180301700017
- 2001
  
  An Observational Theory of Integration Testing for Component-Based Software Development. 363-368.
  Full Text via DOI: 10.1109/cmpsac.2001.960640
- 2001
  
  Formalizing UML semantics - Panel chair's position paper. 277-277.
  Web of Science: 000172264100038
- 2001
  
  Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. 99-112.
- 2000
  
  Constructions of behaviour observation schemes in software testing. 7-16.
  Full Text via DOI: 10.1109/HASE.2000.895434
- 2000
  
  Formalizing UML class diagrams - A hierarchical predicate transition net approach. 217-222.
  Full Text via DOI: 10.1109/CMPSAC.2000.884721 Web of Science: 000165736000037
- 1999
  
  New approach to verify rule-based systems using Petri nets. 462-467.
- 1999
  
  Semi-formal approach to assist software design with reuse. 256-264.
- 1999
  
  Useful approach to developing reverse engineering metrics. 320-321.
- 1999
  
  Pattern based software re-engineering: A case study. 300-308.
  Full Text via DOI: 10.1109/APSEC.1999.809616
- 1998
  
  Transformations on hierarchical predicate transition nets: refinements and abstractions. 164-169.
- 1998
  
  Transformations on hierarchical predicate transition nets: Refinements and abstractions. 164-169.
  Full Text via DOI: 10.1109/CMPSAC.1998.716652
- 1997
  
  Translating hierarchical predicate transition nets to CC++ program skeletons. 60-65.
- 1996
  
  A formal definition of hierarchical predicate transition nets. DISTRIBUTED COMPUTING (DISC 2014). 212-229.
  Full Text via DOI: 10.1007/3-540-61363-3_12
- 1996
  
  Mapping Petri nets to parallel programs in CC++. 70-75.
- 1995
  
  Method for analyzing properties of hierarchical predicate transition nets. 50-55.
- 1994
  
  Algebraic Petri nets and their applications. 396-403.
  Full Text via DOI: 10.1145/197530.197663
- 1994
  
  Algebraic petri nets and their applications. 395-403.
- 1992
  
  Structured analysis using hierarchical predicate transition nets. 212-217.
  Full Text via DOI: 10.1109/CMPSAC.1992.217566
- 1991
  
  Specifying and verifying real-time systems using time Petri nets and real-time temporal logic. 135-140.
- 1990
  
  Temporal predicate transition nets and their applications. 261-266.
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

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

Grant
- Graduate Assistance in Cybersecurity and Artificial Intelligence at Florida International University awarded by U.S. Department of Education 2021 - 2024
- 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

subproject principal investigator on

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

full name

Xudong He

ORCID iD

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

visualizations

Co-author Network

Co-investigator Network

publication subject areas

Citation index-derived subject areas the researcher has published in