Ping Gao

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Miroslav N. Velev, Ping Gao
Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. ISAIM (2016)
Miroslav N. Velev, Chaoqiang Zhang, Ping Gao, Alex David Groce
Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems. ISQED (2015)
Miroslav N. Velev, Ping Gao
Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality. ICCAD (2014)
Miroslav N. Velev, Ping Gao
Efficient parallel GPU algorithms for BDD manipulation. ASP-DAC (2014)
Miroslav N. Velev, Ping Gao
Formal verification of safety of polymorphic heterogeneous multi-core architectures. ISQED (2014)
Miroslav N. Velev, Ping Gao
Automated debugging of counterexamples in formal verification of pipelined microprocessors. ASP-DAC (2012)
Miroslav N. Velev, Ping Gao
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. ICFEM (2011)
Miroslav N. Velev, Ping Gao
Automatic formal verification of multithreaded pipelined microprocessors. ICCAD (2011)
Miroslav N. Velev, Ping Gao
Automatic formal verification of reconfigurable DSPs. ASP-DAC (2011)
Miroslav N. Velev, Ping Gao
CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits. ISCAS (2011)
Miroslav N. Velev, Ping Gao
Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. SARA (2011)
Miroslav N. Velev, Ping Gao
Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. SARA (2011)
Miroslav N. Velev, Ping Gao
Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. ISAIM (2010)
Miroslav N. Velev, Ping Gao
Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. ICFEM (2010)
Miroslav N. Velev, Ping Gao
A method for debugging of pipelined processors in formal verification by correspondence checking. ASP-DAC (2010)
Miroslav N. Velev, Ping Gao
Efficient SAT Techniques for Relative Encoding of Permutations with Constraints. Australasian Conference on Artificial Intelligence (2009)
Miroslav N. Velev, Ping Gao
Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. SARA (2009)
Miroslav N. Velev, Ping Gao
Efficient SAT-based techniques for Design of Experiments by using static variable ordering. ISQED (2009)
Miroslav N. Velev, Ping Gao
Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality. HLDVT (2009)
Miroslav N. Velev, Ping Gao
Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. DATE (2008)