 | 2009 |
|---|
| 10 |       | Hasan Amjad,
Richard Bornat:
Towards Automatic Stability Analysis for Rely-Guarantee Proofs.
VMCAI 2009: 14-28 |
| 9 | | Tjark Weber,
Hasan Amjad:
Efficiently checking propositional refutations in HOL theorem provers.
J. Applied Logic 7(1): 26-40 (2009) |
| 2008 |
|---|
| 8 | | Hasan Amjad:
LCF-Style Propositional Simplification with BDDs and SAT Solvers.
TPHOLs 2008: 55-70 |
| 7 | | Hasan Amjad,
Richard Bornat:
Model Checking for Stability Analysis in Rely-Guarantee Proofs.
VERIFY 2008 |
| 6 | | Hasan Amjad:
Data Compression for Proof Replay.
J. Autom. Reasoning 41(3-4): 193-218 (2008) |
| 2007 |
|---|
| 5 | | Hasan Amjad:
A Compressing Translation from Propositional Resolution to Natural Deduction.
FroCos 2007: 88-102 |
| 4 | | Hasan Amjad:
Compressing Propositional Refutations.
Electr. Notes Theor. Comput. Sci. 185: 3-15 (2007) |
| 2006 |
|---|
| 3 | | Hasan Amjad:
Verification of AMBA Using a Combination of Model Checking and Theorem Proving.
Electr. Notes Theor. Comput. Sci. 145: 45-61 (2006) |
| 2005 |
|---|
| 2 | | Hasan Amjad:
Shallow Lazy Proofs.
TPHOLs 2005: 35-49 |
| 2003 |
|---|
| 1 | | Hasan Amjad:
Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover.
TPHOLs 2003: 171-187 |
