Fei He
According to our database^{1},
Fei He
authored at least 47 papers
between 2004 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Frontiers Comput. Sci., 2018
Frontiers Comput. Sci., 2018
2017
Sci. Comput. Program., 2017
IEEE Access, 2017
PSpec: a formal specification language for finegrained control on distributed data analytics.
Proceedings of the 39th International Conference on Software Engineering, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes.
ACM Trans. Softw. Eng. Methodol., 2016
Proceedings of the Computer Aided Verification  28th International Conference, 2016
2015
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic.
Theory Comput. Syst., 2015
Frontiers Comput. Sci., 2015
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.
Proceedings of the 42nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2015
VeRV: A temporal and dataconcerned verification framework for the vehicle bus systems.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015
2014
J. Autom. Reasoning, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
2013
J. Appl. Math., 2013
Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
ExponentialConditionBased Barrier Certificate Generation for Safety Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification  25th International Conference, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
IEEE Trans. Computers, 2012
Proceedings of the NASA Formal Methods, 2012
2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
2010
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking.
IEEE Trans. Computers, 2010
Journal of Circuits, Systems, and Computers, 2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Comput. J., 2009
Proceedings of 9th International Conference on Formal Methods in ComputerAided Design, 2009
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2007
A note on "a mapping algorithm for computerassisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst., 2007
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007
2006
IEEE Trans. Circuits Syst. II Express Briefs, 2006
Int. J. Comput. Math., 2006
Comput. Math. Appl., 2006
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Math. Comput. Model., 2005
J. UCS, 2005
Comput. J., 2005
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005
2004
Math. Comput. Model., 2004
Int. J. Comput. Math., 2004