A Polynomial Time Algorithm for Fault Diagnosability - Gregory F. Sullivan (FOCS, 1984)

Almost certain diagnosis for intermittently faulty systems. - Douglas M. Blough; Gregory F. Sullivan; Gerald M. Masson (FTCS, 1988)

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) - S. Rao Kosaraju; Gregory F. Sullivan (STOC, 1988)

An O(t3 + |E|) Fault Identification Algorithm for Diagnosable Systems. - Gregory F. Sullivan (IEEE Trans. Computers, 1988)

Fault diagnosis for sparsely interconnected multiprocessor systems. - Douglas M. Blough; Gregory F. Sullivan; Gerald M. Masson (FTCS, 1989)

Locating Faults in a Constant Number of Parallel Testing Rounds. - Richard Beigel; S. Rao Kosaraju; Gregory F. Sullivan (SPAA, 1989)

Using certification trails to achieve software fault tolerance. - Gregory F. Sullivan; Gerald M. Masson (FTCS, 1990)

A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems. - Douglas M. Blough; Gregory F. Sullivan (SRDS, 1990)

Certitication Trails for Data Structures. - Gregory F. Sullivan; Gerald M. Masson (FTCS, 1991)

Experimental evaluation of certification trails using abstract data type validation. - Dwight S. Wilson; Gregory F. Sullivan; Gerald M. Masson (COMPSAC, 1992)

Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models. - Douglas M. Blough; Gregory F. Sullivan; Gerald M. Masson (IEEE Trans. Computers, 1992)

Intermittent Fault Diagnosis in Multiprocessor Systems. - Douglas M. Blough; Gregory F. Sullivan; Gerald M. Masson (IEEE Trans. Computers, 1992)

Certification Trails and Software Design for Testability. - Gregory F. Sullivan; Dwight S. Wilson; Gerald M. Masson (ITC, 1993)

Some Results on the Computational Complexity of Symmetric Connectionist Networks. - Simon Kasif; Saibal Banerjee; Arthur L. Delcher; Gregory F. Sullivan (Ann. Math. Artif. Intell., 1993)

Checking Mergeable Priority Queues. - Jonathan D. Bright; Gregory F. Sullivan (FTCS, 1994)

On-line Error Monitoring for Several Data Structures. - Jonathan D. Bright; Gregory F. Sullivan (FTCS, 1995)

Checking the Integrity of Trees. - Jonathan D. Bright; Gregory F. Sullivan; Gerald M. Masson (FTCS, 1995)

Certification of Computational Results. - Gregory F. Sullivan; Dwight S. Wilson; Gerald M. Masson (IEEE Trans. Computers, 1995)

Learning nested concept classes with limited storage. - David G. Heath; Simon Kasif; S. Rao Kosaraju; Steven Salzberg; Gregory F. Sullivan (J. Exp. Theor. Artif. Intell., 1996)

A Formally Verified Sorting Certifier. - Jonathan D. Bright; Gregory F. Sullivan; Gerald M. Masson (IEEE Trans. Computers, 1997)

Run-time Result Certification for Distributed Computations. - Hongxia Jin; Gregory F. Sullivan; Gerald M. Masson (PDPTA, 1999)

Software Tamper Resistance Using Program Certificates. - Hongxia Jin; Gregory F. Sullivan; Gerald M. Masson (SAFECOMP, 2003)