Fuad Abujarad

Available identifiers

zbMath Open abujarad.fuadMaRDI QIDQ1938356

List of research outcomes

Publication	Date of Publication	Type
The complexity of automated addition of fault-tolerance without explicit legitimate states	2015-07-22	Paper
Weakest invariant generation for automated addition of fault-tolerance	2014-07-22	Paper
Symbolic synthesis of masking fault-tolerant distributed programs	2013-02-04	Paper
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance	2011-07-22	Paper

Research outcomes over time

This page was built for person: Fuad Abujarad