Hasan Amjad

According to our database, Hasan Amjad authored at least 13 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Explanation of two non-blocking shared-variable communication algorithms.

Richard Bornat, Hasan Amjad

Formal Aspects Comput., 2013

2010

Inter-process buffers in separation logic with rely-guarantee.

Richard Bornat, Hasan Amjad

Formal Aspects Comput., 2010

2009

Efficiently checking propositional refutations in HOL theorem provers.

Tjark Weber, Hasan Amjad

J. Appl. Log., 2009

Towards Automatic Stability Analysis for Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Proceedings of the Verification, 2009

2008

Data Compression for Proof Replay.

Hasan Amjad

J. Autom. Reason., 2008

LCF-Style Propositional Simplification with BDDs and SAT Solvers.

Hasan Amjad

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

Model Checking for Stability Analysis in Rely-Guarantee Proofs.

Hasan Amjad, Richard Bornat

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

2007

A Compressing Translation from Propositional Resolution to Natural Deduction.

Hasan Amjad

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Compressing Propositional Refutations.

Hasan Amjad

Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

2005

Verification of AMBA Using a Combination of Model Checking and Theorem Proving.

Hasan Amjad

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Shallow Lazy Proofs.

Hasan Amjad

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2004

Combining model checking and theorem proving.

Hasan Amjad

PhD thesis, 2004

2003

Programming a Symbolic Model Checker in a Fully Expansive Theorem Prover.

Hasan Amjad

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003