Zijiang Yang
Zijiang Yang
Verifierad e-postadress på wmich.edu - Startsida
Titel
Citeras av
Citeras av
År
System and method for modeling, abstraction, and analysis of software
F Ivancic, PN Ashar, M Ganai, A Gupta, Z Yang
US Patent 7,346,486, 2008
2182008
F-Soft: Software Verification Platform
F Ivančić, Z Yang, MK Ganai, A Gupta, I Shlyakhter, P Ashar
International Conference on Computer Aided Verification, 301-306, 2005
1392005
SAT-based image computation with application in reachability analysis
A Gupta, Z Yang, P Ashar, A Gupta
International Conference on Formal Methods in Computer-Aided Design, 391-408, 2000
135*2000
Efficient SAT-based bounded model checking for software verification
F Ivančić, Z Yang, MK Ganai, A Gupta, P Ashar
Theoretical Computer Science 404 (3), 256-274, 2008
1262008
Efficient SAT-based bounded model checking for software verification
F Ivančić, Z Yang, MK Ganai, A Gupta, P Ashar
Theoretical Computer Science 404 (3), 256-274, 2008
1182008
Efficient SAT-based bounded model checking for software verification
F Ivančić, Z Yang, MK Ganai, A Gupta, P Ashar
Theoretical Computer Science 404 (3), 256-274, 2008
1182008
SAT-based image computation with application in reachability analysis
A Gupta, Z Yang, P Ashar, A Gupta
International Conference on Formal Methods in Computer-Aided Design, 391-408, 2000
1182000
SAT-based image computation with application in reachability analysis
A Gupta, Z Yang, P Ashar, A Gupta
International Conference on Formal Methods in Computer-Aided Design, 391-408, 2000
1182000
Model checking C programs using F-Soft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
2005 International Conference on Computer Design, 297-308, 2005
1142005
Is there a best symbolic cycle-detection algorithm?
K Fisler, R Fraer, G Kamhi, MY Vardi, Z Yang
International Conference on Tools and Algorithms for the Construction and …, 2001
1042001
Iterative abstraction using SAT-based BMC with proof analysis
A Gupta, M Ganai, Z Yang, P Ashar
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No …, 2003
972003
Iterative abstraction using SAT-based BMC with proof analysis
A Gupta, M Ganai, Z Yang, P Ashar
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided …, 2003
972003
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2008
962008
Generating data race witnesses by an SMT-based analysis
M Said, C Wang, Z Yang, K Sakallah
NASA Formal Methods Symposium, 313-327, 2011
812011
Opportunistic networks for emergency applications and their standard implementation framework
L Lilien, A Gupta, Z Yang
2007 IEEE International Performance, Computing, and Communications …, 2007
792007
The impact of feature selection on defect prediction performance: An empirical comparison
Z Xu, J Liu, Z Yang, G An, X Jia
2016 IEEE 27th International Symposium on Software Reliability Engineering …, 2016
662016
Learning from BDDs in SAT-based bounded model checking
A Gupta, M Ganai, C Wang, Z Yang, P Ashar
Proceedings of the 40th annual Design Automation Conference, 824-829, 2003
652003
Dynamic detection and removal of inactive clauses in SAT with application in image computation
A Gupta, A Gupta, Z Yang, P Ashar
Proceedings of the 38th annual Design Automation Conference, 536-541, 2001
612001
Partition-based decision heuristics for image computation using SAT and BDDs
A Gupta, Z Yang, P Ashar, L Zhang, S Malik
IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE …, 2001
582001
Iterative abstraction using SAT-based BMC with proof analysis
A Gupta, M Ganai, Z Yang, P Ashar
US Patent 7,742,907, 2010
462010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20