Fei He

According to our database1, Fei He authored at least 47 papers between 2004 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
SMT-based query tracking for differentially private data analytics systems.
Frontiers Comput. Sci., 2018

Efficient software product-line model checking using induction and a SAT solver.
Frontiers Comput. Sci., 2018

2017
Verification of Implementations of Cryptographic Hash Functions.
IEEE Access, 2017

PSpec: a formal specification language for fine-grained control on distributed data analytics.
Proceedings of the 39th International Conference on Software Engineering, 2017

Assertion Recommendation for Formal Program Verification.
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

Learning-Based Assume-Guarantee Regression Verification.
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

Generalized interface automata with multicast synchronization.
Frontiers Comput. Sci., 2015

Inferring Software Behavioral Models with MapReduce.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

VeRV: A temporal and data-concerned verification framework for the vehicle bus systems.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

2014
Array Theory of Bounded Elements and its Applications.
J. Autom. Reasoning, 2014

Symbolic assume-guarantee reasoning through BDD learning.
Proceedings of the 36th International Conference on Software Engineering, 2014

Clause Replication and Reuse in Incremental Temporal Induction.
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

2013
A Unified Framework for DPLL(T) + Certificates.
J. Applied Mathematics, 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

Reusing Search Tree for Incremental SAT Solving of Temporal Induction.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Component-Based Modeling and Code Synthesis for Cyclic Programs.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

VCS: A Verifier for Component-Based Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Maxterm Covering for Satisfiability.
IEEE Trans. Computers, 2012

Thread-Modular Model Checking with Iterative Refinement.
Proceedings of the NASA Formal Methods, 2012

2011
An Efficient Resolution Based Algorithm for SAT.
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

An Analytical Congestion Model with Bounded-Bend Detours.
Journal of Circuits, Systems, and Computers, 2010

Compositional Abstraction Refinement for Timed Systems.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On Array Theory of Bounded Elements.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Heuristic-Guided Abstraction Refinement.
Comput. J., 2009

Data mining based decomposition for assume-guarantee reasoning.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Translation-Based Model Checking for PLC Programs.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007
A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems".
ACM Trans. Design Autom. Electr. Syst., 2007

Effective heuristics for counterexample-guided abstraction refinement.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006
Probabilistic optimization for FPGA board level routing problems.
IEEE Trans. on Circuits and Systems, 2006

Congestion estimation for hexagonal routing.
Int. J. Comput. Math., 2006

A combinatorial congestion estimation approach with generalized detours.
Computers & Mathematics with Applications, 2006

Verifying Java Programs By Theorem Prover HOL.
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
Multiterminal net assignments by scatter search.
Mathematical and Computer Modelling, 2005

On Theoretical Upper Bounds for Routing Estimation.
J. UCS, 2005

Probabilistic Estimation for Routing Space.
Comput. J., 2005

A Hierachical Method for Wiring and Congestion Prediction.
Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Segmented channel routing with pin rearrangements via satisfiability.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2004
A stochastic model for cellassignments in PCS networks.
Mathematical and Computer Modelling, 2004

A comparative study on search strategies for cell assignments.
Int. J. Comput. Math., 2004


  Loading...