Grants

1. X. He (co-PI): “Graduate Assistance in Computer Science at Florida International University”, Department of Education, $522,624, 8/15/09 – 8/14/2012.
2. X. He (co-PI): “Center for Innovative Information Systems Engineering”, NSF, HRD-0833093, $5,000,000, 8/2008 – 7/2013. Component PI with budget $850,000, 8/2008-7/2013.
3. 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.
4. X. He (PI): “Graduate Assistance in Computer Science at Florida International University”, Department of Education, $383,643, 9/1/07 – 8/30/2010.
5. X. He (PI): “Development of New Simulation Software for Advanced Energy Systems”, NSF, HRD-0317692 (Supplement), $100,000, 8/1/06 – 7/31/07.
6. 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.
7. 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.
8. 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.
9. 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.
10. X. He (PI): “A Theory and Methodology for Testing Concurrent Software Systems”, NSF, $29,013, 5/1/98 – 4/31/2001.
11. X. He (PI): “Deriving Formal Specifications from Informal Object-Oriented Specifications”, DoD, ONR, $323,619, 5/15/98 – 5/15/2001.
12. 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.
13. X. He (PI): “Theory, Analysis and Application of Hierarchical Predicate Transition Nets”, NSF, Research Initiation Award, $85,878, 8/15/93 – 7/31/97.
14. 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.
15. 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.
16. 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.