Grants

  1. X. He (PI): A Runtime Checker with Evolutionary Algorithm Decision Making, Air Force Research Lab., $349,757, 3/11/15 - 12/18/2017.
  2. X. He (co-PI): Graduate Assistance in Computer Science at Florida International University, Department of Education, $522,624, 8/15/09 - 8/14/2013.
  3. X. He (co-PI): Center for Innovative Information Systems Engineering, NSF, HRD-0833093, $5,000,000, 8/2008 - 7/2014. Component PI with budget $850,000, 8/2008 - 7/2014.
  4. X. He (PI): Petri Nets Controller for Robotic Grasping, NSF SBIR IIA, subcontract from Energid, Inc., $70,000. 9/15/11 - 12/15/12.
  5. X. He (PI): An Integrated Software Tool for Modeling and Model-based Contorl of Semiconductor Manufacturing Equipment, NSF SBIR IIA subcontract from SC Solutions, Inc., $105,000, 5/1/08 - 4/31/09.
  6. X. He (PI): Graduate Assistance in Computer Science at Florida International University, Department of Education, $383,643, 9/1/07 - 8/30/2010.
  7. X. He (PI): Development of New Simulation Software for Advanced Energy Systems, NSF, HRD-0317692 (Supplement), $100,000, 8/1/06 - 7/31/07.
  8. X. He (PI): Distributed Flexible-Resource Scheduling in Production Systems, NSF SBIR IIA subcontract from LS Optimal, Inc., $105,000, 8/1/06 - 7/31/07.
  9. X. He (co-PI): Center of Emerging Technologies for Advanced Information Processing and High-Confidence Systems, NSF, HRD-0317692, $4,500,000, 8/2003 - 7/2008. Component PI with budget $900,000, 8/2003 - 7/2008.
  10. X. He (PI): Specification and Analysis of Software Architectures of High-Assurance Systems, NASA, NAG2-1440, Faculty Award for Research, $287,338, 10/1/2000 - 9/30/2003.
  11. X. He (co-PI): CREST: Florida A&M University/Florida International University Center for Distributed Computing: Theory, Development and Application, NSF, HRD-9707076, $5,000,000 (9/1/97 - 8/31/02). Component PI with budget $400,000, 9/1/00 - 8/31/03.
  12. X. He (PI): A Theory and Methodology for Testing Concurrent Software Systems, NSF, $29,013, 5/1/98 - 4/31/2001.
  13. X. He (PI): Deriving Formal Specifications from Informal Object-Oriented Specifications, DoD, ONR, $323,619, 5/15/98 - 5/15/2001.
  14. X. He (PI): Deriving Formal Specifications from Object-Oriented Analysis, NSF, EPSCoR (Experimental Programs for Stimulating Competitive Research), $10,000, 7/1/97 - 6/30/98.
  15. X. He (PI): Theory, Analysis and Application of Hierarchical Predicate Transition Nets, NSF, Research Initiation Award, $85,878, 8/15/93 - 7/31/97.
  16. X. He (PI): Specifying and Verifying Concurrent and Distributed Systems Using Hierarchical Predicate Transition Nets, NDSU, Seed Grant, $4,000, 5/1/95 - 4/31/96.
  17. X. He (PI): Specifying and Verifying Concurrent and Distributed Systems Using Hierarchical Predicate Transition Nets, NSF, EPSCoR, $48,000, 10/15/92 - 6/30/95.
  18. X. He (PI): Integrating Predicate Transition Nets with the Algebraic Approach in the Formal Specification of Software Systems, NSF, EPSCoR, $14,000, 10/15/90 - 10/15/91.