Sa'ed Abed

	2012
11		Sa'ed Abed, Ashraf Hasan Bqerat, Sahel Alouneh, Bassam Jamil Mohd: A novel approach to enhance distributed virtual memory. Computers & Electrical Engineering 38(2): 388-398 (2012)
10		Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum: MDG-SAT: an automated methodology for efficient safety checking. IJCCBS 3(1/2): 4-25 (2012)
	2011
9		Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar: NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011)
	2010
8		Sa'ed Abed, Otmane Aït Mohamed: MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL 2010: 15-20
	2009
7		Sa'ed Abed, Otmane Aït Mohamed: LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA 2009
6		Sa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. Electr. Notes Theor. Comput. Sci. 246: 3-26 (2009)
5		Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. 24(1): 76-95 (2009)
	2008
4		Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL 2008: 136-141
3		Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242
2		Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane: Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC 2008: 333-338
	2007
1		Donglin Li, Otmane Aït Mohamed, Sa'ed Abed: Towards First-Order Symbolic Trajectory Evaluation. ISMVL 2007: 53

Coauthor Index

1	Sahel Alouneh	[11]
2	Mounir Boukadoum	[10]
3	Ashraf Hasan Bqerat	[11]
4	Khaza Anuarul Hoque	[10]
5	Donglin Li	[1]
6	Otmane Aït Mohamed	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
7	Bassam Jamil Mohd	[11]
8	Yassine Mokhtari	[3] [9]
9	Ghiath Al Sammane	[2] [4] [5]
10	Xiaoyu Song	[3]
11	Sofiène Tahar	[3] [9]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page