The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fei He 0001" ( http://dblp.L3S.de/Authors/Fei_He_0001 )

URL (Homepage):  https://orcid.org/0000-0002-4266-875X  Author page on DBLP  Author page in RDF  Community of Fei He 0001 in ASPL-2

Publication years (Num. hits)
2004-2007 (15) 2009-2013 (18) 2014-2018 (16)
Publication types (Num. hits)
article(23) inproceedings(26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 6 keywords

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fei He 0001, Yuan Gao, Liangze Yin Efficient software product-line model checking using induction and a SAT solver. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001 SMT-based query tracking for differentially private data analytics systems. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dexi Wang, Yu Jiang 0001, Houbing Song, Fei He 0001, Ming Gu 0001, Jiaguang Sun Verification of Implementations of Cryptographic Hash Functions. Search on Bibsonomy IEEE Access The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001, Carlo Ghezzi Inferring software behavioral models with MapReduce. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cong Wang, Fei He 0001, Xiaoyu Song, Yu Jiang 0001, Ming Gu 0001, Jiaguang Sun Assertion Recommendation for Formal Program Verification. Search on Bibsonomy COMPSAC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang PSpec: a formal specification language for fine-grained control on distributed data analytics. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaowei Gao, Miaofei Wang, Bow-Yaw Wang, Lijun Zhang Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Shu Mao, Bow-Yaw Wang Learning-Based Assume-Guarantee Regression Verification. Search on Bibsonomy CAV (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Xiaoyu Song, Shi He, Gangyi Chen, Ming Gu 0001 Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun Generalized interface automata with multicast synchronization. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shuo Zhang, Fei He 0001, Ming Gu 0001 VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. Search on Bibsonomy INFOCOM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chen Luo, Fei He 0001, Carlo Ghezzi Inferring Software Behavioral Models with MapReduce. Search on Bibsonomy SETTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001, Jiaguang Sun Array Theory of Bounded Elements and its Applications. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Bow-Yaw Wang, Liangze Yin, Lei Zhu Symbolic assume-guarantee reasoning through BDD learning. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Liangze Yin, Fei He 0001, Ming Gu 0001, Jia-Guang Sun Clause Replication and Reuse in Incremental Temporal Induction. Search on Bibsonomy ICECCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001, Jiaguang Sun A Unified Framework for DPLL(T) + Certificates. Search on Bibsonomy J. Applied Mathematics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hui Kong, Fei He 0001, Xiaoyu Song, William N. N. Hung, Ming Gu 0001 Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hui Kong, Fei He 0001, Xiaoyu Song, William N. N. Hung, Ming Gu 0001 Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng VCS: A Verifier for Component-Based Systems. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He 0001, Ming Gu 0001 Component-Based Modeling and Code Synthesis for Cyclic Programs. Search on Bibsonomy COMPSAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liangze Yin, Fei He 0001, Ming Gu 0001 Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liangze Yin, Fei He 0001, Min Zhou 0001, Ming Gu 0001 Reusing Search Tree for Incremental SAT Solving of Temporal Induction. Search on Bibsonomy ICECCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Liangze Yin, Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 Maxterm Covering for Satisfiability. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wenrui Meng, Fei He 0001, Bow-Yaw Wang, Qiang Liu Thread-Modular Model Checking with Iterative Refinement. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Ming Gu 0001 An Efficient Resolution Based Algorithm for SAT. Search on Bibsonomy TASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, William N. N. Hung, Ming Gu 0001, Jiaguang Sun Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF verification, Formal models
1Fei He 0001, Lerong Cheng, Xiaoyu Song, Guowu Yang An Analytical Congestion Model with Bounded-Bend Detours. Search on Bibsonomy Journal of Circuits, Systems, and Computers The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Bow-Yaw Wang, Ming Gu 0001 On Array Theory of Bounded Elements. Search on Bibsonomy CAV The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He 0001, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. Search on Bibsonomy ISoLA (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fei He 0001, He Zhu 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 Compositional Abstraction Refinement for Timed Systems. Search on Bibsonomy TASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun Heuristic-Guided Abstraction Refinement. Search on Bibsonomy Comput. J. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Min Zhou 0001, Fei He 0001, Ming Gu 0001, Xiaoyu Song Translation-Based Model Checking for PLC Programs. Search on Bibsonomy COMPSAC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1He Zhu 0001, Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 Data mining based decomposition for assume-guarantee reasoning. Search on Bibsonomy FMCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gang Chen 0004, Xiaoyu Song, Feng Liu 0029, QingPing Tan, Fei He 0001 A note on "a mapping algorithm for computer-assisted exploration in the design of embedded systems". Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun Effective heuristics for counterexample-guided abstraction refinement. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF model checking, verification, heuristics, SoC, abstraction
1Fei He 0001, Luciano Baresi, Carlo Ghezzi, Paola Spoletini Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ming Gu 0001, Fei He 0001, Lerong Cheng, Xiaoyu Song, Guowu Yang Congestion estimation for hexagonal routing. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Lerong Cheng, Guowu Yang, Zhiwei Tang, Jiaguang Sun A combinatorial congestion estimation approach with generalized detours. Search on Bibsonomy Computers & Mathematics with Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Guowu Yang, William N. N. Hung, Jia-Guang Sun Probabilistic optimization for FPGA board level routing problems. Search on Bibsonomy IEEE Trans. on Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Anduo Wang, Fei He 0001, Ming Gu 0001, Xiaoyu Song Verifying Java Programs By Theorem Prover HOL. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Lerong Cheng, Guowu Yang, Xiaoyu Song, Ming Gu 0001, Jia-Guang Sun On Theoretical Upper Bounds for Routing Estimation. Search on Bibsonomy J. UCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ming Gu 0001, Fei He 0001, Xiaoyu Song, Jiaguang Sun Multiterminal net assignments by scatter search. Search on Bibsonomy Mathematical and Computer Modelling The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Ming Gu 0001, Xiaoyu Song, Zhiwei Tang, Guowu Yang, Lerong Cheng Probabilistic Estimation for Routing Space. Search on Bibsonomy Comput. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Xiaoyu Song, Lerong Cheng, Guowu Yang, Zhiwei Tang, Ming Gu 0001, Jia-Guang Sun A Hierachical Method for Wiring and Congestion Prediction. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fei He 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun Segmented channel routing with pin rearrangements via satisfiability. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ming Gu 0001, Fei He 0001, William N. N. Hung, Xiaoyu Song A comparative study on search strategies for cell assignments. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fei He 0001, Ming Gu 0001, Jiaguang Sun, Xiaoyu Song A stochastic model for cellassignments in PCS networks. Search on Bibsonomy Mathematical and Computer Modelling The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license