Search results for "Fuad Abujarad"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Symbolic synthesis of masking fault-tolerant distributed programs.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Automated constraint-based addition of nonmasking and stabilizing fault-tolerance.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Sarah J. Swierenga, Fuad Abujarad, Toni A. Dennis, Lori A. Post	Real-World User-Centered Design: The Michigan Workforce Background Check System.	HCI	2011	DBLP DOI BibTeX RDF
1	Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni	Effect of Fairness in Model Checking of Self-stabilizing Programs.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Complexity Issues in Automated Model Revision without Explicit Legitimate State.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Weakest Invariant Generation for Automated Addition of Fault-Tolerance.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs	PDMC	2009	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.	SRDS	2009	DBLP DOI BibTeX RDF	nonmasking, constraint based, stabilization, distributed programs, program synthesis
1	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
1	Fuad Abujarad, Sandeep S. Kulkarni	Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Brief Announcement: Distributed Synthesis of Fault-Tolerance.	SSS	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )

Publications of "Fuad Abujarad" ( http://dblp.L3S.de/Authors/Fuad_Abujarad )