@article{GanaiGYA07,
author = "M. Ganai and A. Gupta and Z. Yang and P. Ashar ",
title = "Efficient distributed SAT and SAT-based distributed bounded model checking",
journal = "United States Patent 7,203,917",
year = "2007"
}
@article{GuptaYAM03,
author = "A. Gupta and Z. Yang and P. Ashar and S. Malik",
title = "Partition-based decision heuristics for SAT and image computation using SAT and BDDs",
journal = "United States Patent 6,651,234",
year = "2003"
}
@article{GuptaGYA02,
author = "A. Gupta and A. Gupta and Z. Yang and P. Ashar ",
title = "Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation",
journal = "United States Patent 6,496,961 ",
year = "2002"
}
@article{GuptaYA04,
author = " A. Gupta and Z. Yang and P. Ashar",
title = "SAT-Based Image Computation with Application in Reachability Analysis ",
journal = "United States Patent 6,728,665",
year = "2004"
}
@article{GuptaYGA04,
author = " A. Gupta and Z. Yang and M. Ganai and P. Ashar",
title = "System and Method for Modeling, Abstraction, and Analysis of Software.",
journal = "United States Patent 7,346,486",
year = "2008"
}
@article{GanaiGYA04,
author = " M. Ganai and A. Gupta and Z. Yang and P. Ashar",
title = "Efficient distributed SAT and SAT-based distributed bounded model checking.",
journal = "United States Patent Published Application Number 20040210860",
year = "2004"
}
@article{GanaiGYA03,
author = " M. Ganai and A. Gupta and Z. Yang and P. Ashar",
title = "Efficient approaches for bounded model checking.",
journal = "United States Patent Published Application Number 20030225552",
year = "2003"
}
@article{Cadambi06,
author = "S. Cadambi and A. Zaks and F. Ivancic and I. Shlyakhter and Z. Yang and M. Ganai and A. Gupta, P Ashar",
title = "Software Verification using Range Analysis.",
journal = "United States Patent Published Application Number 20060282806",
year = "2006"
}
@article{YangW08,
author = "Zijiang Yang and Chao Wang and Aarti Gupta and Franjo Ivancic",
title = "Model Checking Sequential Software Programs Via Mixed Symbolic Analysis",
journal = "{ACM} Transactions on Design Automation of Electronic Systems {(TODAES)}",
volume = "14",
number = "1",
year = "2009"
}`
@article{WangYGPatent08,
author = "C. Wang and Z. Yang and A. Gupta",
title = "Reachability Analysis for Program Verification.",
journal = "United States Patent Published Application Number 20080016497",
year = "2008"
}
@article{ZaksY08,
author = "Aleksandr Zaks and Zijiang Yang and Ilya Shlyakhter and Franjo Ivancic and Srihari Cadambi and Malay K. Ganai and Aarti Gupta and Pranav Ashar",
title = "Bitwidth Reduction via Symbolic Interval Analysis for Software Model Checking",
journal = "{IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems {(TCAD)}",
volume = {12},
number = {2},
year = "2008"
}
@inproceedings{WangYKG08,
author = {C. Wang and Z. Yang and V. Kahlon and A. Gupta},
title = {Peephole Partial Order Reduction},
booktitle = {14th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)},
year = {2008}
}
@article{IvancicYGGA08,
author = "F. Ivancic and Z. Yang and M. Ganai and A. Gupta and P. Ashar ",
title = "Efficient SAT-based Bounded Model Checking for Software Verification",
journal = "Theoretical Computer Science",
volume = {404},
number = {3},
year = "2008"
}
@inproceedings{ChenFASE09,
author = "Qichang Chen and Liqiang Wang and Zijiang Yang and Scott D. Stoller",
title = "HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations",
booktitle = "International Conference on Fundamental Approaches to Software Engineering (FASE), European Joint Conferences on Theory and Practice
of Software (ETAPS)",
year = "2009"
}
@inproceedings{YangIFM09,
author = "Z. Yang and B. Al-Rawi and K. Sakallah and X. Huang and S.A. Smolka and R. Grosu",
title = "Dynamic Path Reduction for Software Model Checking",
booktitle = "The 7th International Conference on Integrated Formal Methods",
year = "2009"
}
@inproceedings{WangYGI07,
author = {Chao Wang and Zijiang Yang and Aarti Gupta and Franjo Ivancic },
title = {Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.},
booktitle = {19th International Conference on Computer Aided Verification (CAV)},
year = {2007}
}
@article{WangYIG07,
author = {Chao Wang and Zijiang Yang and Franjo Ivancic and Aarti Gupta},
title = {Disjunctive Image Computation for Software Verfication.},
journal = {ACM Transactions on Design Automation of Electronic Systems},
volume = {12},
number = {2},
year = {2007},
note = {ACM TODAES 2008 Best Paper Award}
}
@article{YangLY07,
author = {Zijiang Yang and Shiyong Lu and Ping Yang},
title = {Model Checking Approach to Itinerary-based Access Control Enforcement of Mobile Tasks in Scientific Workflows.},
journal = {Journal of Autonomic and Trusted Computing},
year = {2007}
}
@inproceedings{YangLY07ubisafe,
author = {Zijiang Yang and Shiyong Lu and Ping Yang},
title = {Itinerary-Based Access Control for Mobile Tasks in Scientific Workflows.},
booktitle = {The IEEE International Symposium on Ubisafe Computing (UbiSafe)},
year = {2007}
}
@inproceedings{LilienGY07,
author = {Leszek Lilien and Ajay Gupta and Zijiang Yang},
title = {Opportunistic Networks for Emergency Applications and Their Standard Implementation Framework.},
booktitle = {The First International Workshop on Next Generation Networks for First Responders and Critical Infrastructure(NetCri07)},
year = {2007}
}
@article{GanaiGYA06,
author = {Malay K. Ganai and Aarti Gupta and Zijiang Yang and Pranav Ashar},
title = {Efficient distributed SAT and SAT-based distributed Bounded
Model Checking.},
journal = {STTT},
volume = {8},
number = {4-5},
year = {2006},
pages = {387-396}
}
@inproceedings{WangYIG06,
author = {Chao Wang and Zijiang Yang and Franjo Ivancic and Aarti Gupta},
title = {Whodunit? Causal Analysis for Counterexamples.},
booktitle = {ATVA},
year = {2006},
pages = {82-95}
}
@inproceedings{YangLY06,
author = {Zijiang Yang and Shiyong Lu and Ping Yang},
title = {Runtime Security Verification for Itinerary-Driven Mobile Agents.},
booktitle = {IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC)},
year = {2006},
pages = {177-186}
}
@inproceedings{Zaks06,
author = {Aleks Zaks and Ilya Shlyakhter and Franjo Ivancic and Srihari Cadambi and Zijiang Yang and Malay Ganai and Aarti Gupta and Pranav Ashar},
title = {Using Range Analysis for Software Verification.},
booktitle = {4th International Workshop on Software Verification and Validation(SVV)},
year = {2006}
}
@inproceedings{YangWIG06,
author = {Zijiang Yang and Chao Wang and Franjo Ivancic and Aarti Gupta},
title = {Disjunctive Image Computation for Embedded Software Verification.},
booktitle = {ACM/IEEE International Conference on Formal Methods and Models for Codesign (Memocode)},
year = {2006}
}
@inproceedings{LuLFSYL06,
author = {Yi Lu and Shiyong Lu and Farshad Fotouhi and Yan Sun and Zijiang Yang and Lily R. Liang},
title = {PDC: Pattern discovery with confidence in DNA sequences.},
booktitle = {ACST},
year = {2006},
pages = {345-350}
}
@inproceedings{Ivancic05,
author = {F. Ivancic and I. Shlyakhter and A. Gupta and M. K. Ganai and V. Kahlon and C. Wang and Z. Yang},
title = {Model Checking C Programs Using F-Soft.},
booktitle = {IEEE International Conference on Computer Design (ICCD)},
year = {2005}
}
@inproceedings{IvancicYGGSA05,
author = {Franjo Ivancic and Zijiang Yang and Malay K. Ganai and Aarti Gupta and Ilya Shlyakhter and Pranav Ashar},
title = {F-Soft: Software Verification Platform.},
booktitle = {17th International Conference on Computer-Aided Verification(CAV)},
year = {2005},
pages = {301-306}
}
@inproceedings{BhuseGTKY04,
author = {V. Bhuse and A. Gupta and M. Terwilliger and Z. Kamal and Z. Yang},
title = {Using Routing Data for Information Authentication in Sensor Networks.},
booktitle = {3rd International Trusted Internet Workshop},
year = {2004}
}
@inproceedings{AsharGGIY04,
author = {P.Ashar and M. Ganai and A. Gupta and F.Ivancic and Z. Yang},
title = {Efficient SAT-based Bounded Model Checking for Software Verification.},
booktitle = {1st International Symposium on Leveraging Applications of Formal Methods (ISoLA)},
year = {2004}
}
@inproceedings{YangA04,
author = {Zijiang Yang and Rajeev Alur},
title = {Variable Reuse for Efficient Image Computation.},
booktitle = {5th International Conference on Formal Methods in Computer-Aided Design (FMCAD)},
year = {2004},
pages = {430-444}
}
@inproceedings{ShenGY04,
author = {Wuwei Shen and Mohsen Guizani and Zijiang Yang and Kevin J. Compton and James Huggins},
title = {Execution of A Requirement Model in Software Development.},
booktitle = {ISCA 13th International Conference on Intelligent & Adaptive Systems and Software Engineering (IASSE)},
year = {2004},
pages = {203-208}
}