Hasan Amjad

13 papers B 1Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects Comput. Richard Bornat, Hasan Amjad
2010	J	`jnl`	Inter-process buffers in separation logic with rely-guarantee. Formal Aspects Comput. Richard Bornat, Hasan Amjad
2009	J	`jnl`	Efficiently checking propositional refutations in HOL theorem provers. J. Appl. Log. Tjark Weber, Hasan Amjad
2009	B	`conf`	Towards Automatic Stability Analysis for Rely-Guarantee Proofs. VMCAI Hasan Amjad, Richard Bornat
2008	J	`jnl`	Data Compression for Proof Replay. J. Autom. Reason. Hasan Amjad
2008	—	`conf`	LCF-Style Propositional Simplification with BDDs and SAT Solvers. TPHOLs Hasan Amjad
2008	—	`conf`	Model Checking for Stability Analysis in Rely-Guarantee Proofs. VERIFY Hasan Amjad, Richard Bornat
2007	—	`conf`	A Compressing Translation from Propositional Resolution to Natural Deduction. FroCoS Hasan Amjad
2006	—	`conf`	Compressing Propositional Refutations. AVoCS Hasan Amjad
2005	—	`conf`	Shallow Lazy Proofs. TPHOLs Hasan Amjad
2005	—	`conf`	Verification of AMBA Using a Combination of Model Checking and Theorem Proving. AVoCS Hasan Amjad
2004	—	`—`	Combining model checking and theorem proving. Hasan Amjad
2003	—	`conf`	Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover. TPHOLs Hasan Amjad