Fuad Abujarad

	2012
12		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Computing 25(1): 83-108 (2012)
	2011
11		Sarah J. Swierenga, Fuad Abujarad, Toni A. Dennis, Lori A. Post: Real-World User-Centered Design: The Michigan Workforce Background Check System. HCI (12) 2011: 325-334
10		Fuad Abujarad, Sandeep S. Kulkarni: Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theor. Comput. Sci. 412(33): 4228-4246 (2011)
	2010
9		Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni: Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS 2010: 135-138
8		Fuad Abujarad, Sandeep S. Kulkarni: Complexity Issues in Automated Model Revision without Explicit Legitimate State. SSS 2010: 206-220
	2009
7		Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs PDMC 2009: 92-106
6		Fuad Abujarad, Sandeep S. Kulkarni: Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. SRDS 2009: 119-128
5		Fuad Abujarad, Sandeep S. Kulkarni: Multicore Constraint-Based Automated Stabilization. SSS 2009: 47-61
4		Fuad Abujarad, Sandeep S. Kulkarni: Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electr. Notes Theor. Comput. Sci. 258(2): 3-15 (2009)
	2008
3		Fuad Abujarad, Sandeep S. Kulkarni: Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops 2008: 539-544
	2007
2		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36
	2006
1		Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567

Coauthor Index

1	Borzoo Bonakdarpour	[1] [2] [7] [12]
2	Jingshu Chen	[9]
3	Toni A. Dennis	[11]
4	Sandeep S. Kulkarni	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12]
5	Lori A. Post	[11]
6	Sarah J. Swierenga	[11]

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