Search results for "Osman Hasan"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Osman Hasan, Sofiène Tahar	Reasoning about conditional probabilities in a higher-order-logic theorem prover.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Osman Hasan, Jigar Patel, Sofiène Tahar	Formal reliability analysis of combinational circuits using theorem proving.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid	Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Liya Liu, Osman Hasan, Sofiène Tahar	Formalization of Finite-State Discrete-Time Markov Chains in HOL.	ATVA	2011	DBLP DOI BibTeX RDF
1	Tarek Mhamdi, Osman Hasan, Sofiène Tahar	Formalization of Entropy Measures in HOL.	ITP	2011	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar, Naeem Abbasi	Formal Reliability Analysis Using Theorem Proving.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	theorem proving, Formal models, memory structures, performance and reliability
1	Osman Hasan, Sofiène Tahar	Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving.	J. Comput. Sci. Technol.	2010	DBLP DOI BibTeX RDF
1	Naeem Abbasi, Osman Hasan, Sofiène Tahar	Formal Lifetime Reliability Analysis Using Continuous Random Variables.	WoLLIC	2010	DBLP DOI BibTeX RDF
1	Tarek Mhamdi, Osman Hasan, Sofiène Tahar	On the Formalization of the Lebesgue Integration Theory in HOL.	ITP	2010	DBLP DOI BibTeX RDF
1	Jounaidi Ben Hassan, Osman Hasan, Tarek Sadani, Sofiène Tahar	Performance analysis of real-time rewriting models.	AICCSA	2010	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.	ASM	2010	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Probabilistic Analysis of Wireless Systems Using Theorem Proving.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Real-time systems, Communication protocols, Higher-order-logic, Probability theory, HOL theorem prover
1	Osman Hasan, Naeem Abbasi, Sofiène Tahar	Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.	IFM	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofiène Tahar, Reza Akbarpour	Formal Reasoning about Expectation Properties for Continuous Random Variables.	FM	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Sanaz Khan Afshar, Sofiène Tahar	Formal Analysis of Optical Waveguides in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Coupon collector’s problem, Probabilistic analysis, Higher-order-logic, Probability theory, Statistical properties, HOL theorem prover
1	Osman Hasan, Sofiène Tahar	Performance Analysis of ARQ Protocols using a Theorem Prover.	ISPASS	2008	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Formalization of the Standard Uniform random variable.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Formalization of Continuous Probability Distributions.	CADE	2007	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.	IFM	2007	DBLP DOI BibTeX RDF	Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function
1	Osman Hasan, Sofiène Tahar	Verification of Expectation Properties for Discrete Random Variables in HOL.	TPHOLs	2007	DBLP DOI BibTeX RDF

Publications of "Osman Hasan" ( http://dblp.L3S.de/Authors/Osman_Hasan )