Books
| |
Journals
[1] O. Hasan, S. Tahar, N. Abassi: Formal Reliability Analysis using Theorem Proving, IEEE Transactions on Computers, doi:10.1109/TC.2009.165, 23 Oct. 2009, pp. 1-14.
[2] O.Hasan and
S. Tahar. Probabilistic
Analysis of Wireless Systems using Theorem Proving. Electronic Notes
in Theoretical
Computer Science, Vol. 242, No. 2, Elsevier, July 2009,
pp. 43-58.
[3] O.Hasan and S. Tahar. Formal Verification of Tail Distribution Bounds in the HOL Theorem Prover. Mathematical Methods in The Applied Sciences, Vol. 32, no. 4, Wiley Interscience, March 2009, pp. 480-504.
[4] O.Hasan and
S. Tahar. Performance Analysis
and Functional Verification of the Stop-and-Wait Protocol in HOL. Journal
of Automated Reasoning, Vol. 42, No. 1, Springer Verlag, January 2009,
pp. 1-33.
[5] O.Hasan and S. Tahar. Using Theorem Proving
to Verify Expectation and Variance for Discrete Random Variables.
Journal of Automated Reasoning, Vol. 41, No. 3-4, Springer Verlag,
November 2008, pp. 295-323.
[6] O.Hasan and S. Tahar. Formalization of the Standard Uniform Random Variable. Theoretical Computer Science, Vol. 382, No. 1, Elsevier, 2007, pp. 71-83.
Conferences
[1] J.B. Hassan, O. Hasan, T. Sadani and S. Tahar: Performance Analysis
of Real-Time Rewriting Models, ACS/IEEE International Conference on Computer
Systems and Applications (AICCSA-10), Hammamet, Tunisia, May 2010 (To appear).
[2] O. Hasan and S. Tahar: Formal Probabilistic Analysis: A Higher-OrderLogic
Based Approach; In: M. Frappier et al. (Ed.), ASM, Alloy, B and Z, Lecture
Notes in Computer Science 5977 , Springer Verlag, 2010, pp. 2-19. [Proc.
International Conference on ASM, Alloy, B and Z (ABZ-2010), Orford, Qu?bec,
Canada, February 2010.]
[3] O. Hasan, N. Abbasi, B. Akbarpour, S. Tahar, and R. Akbarpour: Formal
Reasoning about Expectation Properties for Continuous Random Variables;
In: A. Cavalcanti and D. Dams (Eds.), Formal Methods, Lecture Notes in Computer
Science 5850, Springer Verlag, 2009, pp. 435-450. [Proc. International Symposium
on Formal Methods (FM'09), Eindhoven, The Netherlands, November 2009.]
[4] O. Hasan, S.K. Afshar and S. Tahar: Formal
Analysis of Optical Waveguides in HOL ; In: S. Berghofer et al.
(Eds.), Theorem Proving in Higher-Order Logics, Lecture Notes in Computer
Science 5674, Springer Verlag, 2009, pp. 228-243. [Proc. International Conference
on Theorem Proving in Higher-Order Logics (TPHOLs'09), Munich, Germany, August
2009.]
[5] O. Hasan, N. Abbasi, B. Akbarpour,
and S. Tahar: Formal Probabilistic Analysis using Theorem Proving; Proc.
77th ACFAS Symposium (ACFAS'09), Ottawa, Canada, May 2009. (Poster
presentation)
[6] O.
Hasan, N. Abbasi and S. Tahar: Formal
Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays;
In: M. Leuschel and H. Wehrheim (Eds.), Integrated Formal Methods,
Lecture Notes in Computer Science 5423, Springer Verlag, 2009, pp. 277-291. [Proc. International
Conference on Integrated Formal Methods (IFM'09), Düsseldorf,
Germany
[7] O. Hasan and S. Tahar: Performance
Analysis of Wireless Systems using Theorem Proving; In: Jens Chr.
Godskesen and Massimo Merro (Eds.), First International Workshop on
Formal Methods for Wireless Systems (FMWS'2008), Toronto, ON, Canada,
August 2008, pp. 3-18, ISSN 1600-6100, ISBN 978-87-7949-183-0.
[8] O. Hasan. Probabilistic
Analysis using Theorem Proving; In: O. Ait Mohammed, C. Munoz
and S. Tahar (Eds.) International Conference on Theorem Proving in
Higher-Order Logics (TPHOLs'08), Emerging Trend Proceedings, Montreal
[9] O. Hasan and S. Tahar: Performance Analysis of ARQ Protocols using a Theorem Prover; In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS'08), IEEE Computer Society, Austin, Texas, USA, April 2008, pp. 85-94.
[10] O. Hasan
and S. Tahar: Verification
of Tail Distribution Bounds in a Theorem Prover;
In: T.E.Simos, G. Psihoyios and Ch. Tsitouras
(Eds.), Numerical Analysis and Applied Mathematics, AIP
Conference Proceedings Volume 936, 2007, pp. 259-262. [Proc. International Conference of Numerical Analysis and Applied
Mathematics (ICNAAM`07),
[11] O. Hasan
and S. Tahar: Verification
of Expectation Properties for Discrete Random Variables in HOL;
In: K.Schneider and J.Brandt
(Eds.), Theorem Proving in Higher-Order Logics, Lecture Notes
in Computer Science 4732, Springer Verlag,
2007, pp. 119-134. [Proc. International Conference on Theorem Proving
in Higher-Order Logics (TPHOLs'07),
[12] O.Hasan and
S. Kort. Automated
Formal Synthesis of Wallace Tree Multipliers. In 50th IEEE
Int'l Midwest Symposium on Circuits & Systems, pages 293 – 296.
[13] O. Hasan
and S. Tahar: Formalization
of Continuous Probability Distributions; In: F. Pfenning (Ed.), Automated
Deduction, Lecture Notes in Computer Science 4603, Springer Verlag, 2007, pp. 2-18. [Proc. 21st Conference
on Automated Deduction (CADE-21),
[14] O. Hasan
and S. Tahar: Verification
of Probabilistic Properties in the HOL Theorem Prover; In: J. Davies and J. Gibbons (Eds.),
Integrated Formal Methods, Lecture Notes in Computer Science
4591, Springer Verlag, 2007, pp. 333-352.
[Proc. International Conference on Integrated Formal Methods (IFM'07),
Technical Reports
[1] O. Hasan and S. Tahar.
Formal
Verification of Expectation and Variance for Discrete Random Variables; Technical
Report,
[2] O.Hasan and
S. Tahar. Formalization
of Continuous Probability Distributions; Technical Report,
[3] O.Hasan
and S. Tahar.
Standard
Uniform Distribution Theory in HOL-4; Technical Report,
[4] O.Hasan
and S. Tahar. Formalization
of the Standard Uniform Random Variable in HOL; Technical Report,
PhD Thesis