|
Search the dblp DataBase
Fuad Abujarad:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
Brief Announcement: Distributed Synthesis of Fault-Tolerance. [Citation Graph (0, 0)][DBLP] SSS, 2006, pp:566-567 [Conf]
- Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. [Citation Graph (0, 0)][DBLP] SSS, 2007, pp:21-36 [Conf]
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. [Citation Graph (, )][DBLP]
Multicore Constraint-Based Automated Stabilization. [Citation Graph (, )][DBLP]
Complexity Issues in Automated Model Revision without Explicit Legitimate State. [Citation Graph (, )][DBLP]
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs [Citation Graph (, )][DBLP]
Weakest Invariant Generation for Automated Addition of Fault-Tolerance. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|