Gregory F. Sullivan

Publication Activity (10 Years)

Years Active: 1984-2003
Publications (10 Years): 0

Publications

Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
Software Tamper Resistance Using Program Certificates. SAFECOMP (2003)
Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
Run-time Result Certification for Distributed Computations. PDPTA (1999)
Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
A Formally Verified Sorting Certifier. IEEE Trans. Computers 46 (12) (1997)
David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan
Learning nested concept classes with limited storage. J. Exp. Theor. Artif. Intell. 8 (2) (1996)
Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson
Checking the Integrity of Trees. FTCS (1995)
Jonathan D. Bright, Gregory F. Sullivan
On-line Error Monitoring for Several Data Structures. FTCS (1995)
Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson
Certification of Computational Results. IEEE Trans. Computers 44 (7) (1995)
Jonathan D. Bright, Gregory F. Sullivan
Checking Mergeable Priority Queues. FTCS (1994)
Gregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson
Certification Trails and Software Design for Testability. ITC (1993)
Simon Kasif, Saibal Banerjee, Arthur L. Delcher, Gregory F. Sullivan
Some Results on the Computational Complexity of Symmetric Connectionist Networks. Ann. Math. Artif. Intell. 9 (3-4) (1993)
Dwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson
Experimental evaluation of certification trails using abstract data type validation. COMPSAC (1992)
Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models. IEEE Trans. Computers 41 (9) (1992)
Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
Intermittent Fault Diagnosis in Multiprocessor Systems. IEEE Trans. Computers 41 (11) (1992)
David G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan
Learning Nested Concept Classes with Limited Storage. IJCAI (1991)
Gregory F. Sullivan, Gerald M. Masson
Certitication Trails for Data Structures. FTCS (1991)
Gregory F. Sullivan, Gerald M. Masson
Using certification trails to achieve software fault tolerance. FTCS (1990)
Douglas M. Blough, Gregory F. Sullivan
A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems. SRDS (1990)
Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
Fault diagnosis for sparsely interconnected multiprocessor systems. FTCS (1989)
Richard Beigel, S. Rao Kosaraju, Gregory F. Sullivan
Locating Faults in a Constant Number of Parallel Testing Rounds. SPAA (1989)
Gregory F. Sullivan
Fault Identification Algorithm for Diagnosable Systems. IEEE Trans. Computers 37 (4) (1988)
S. Rao Kosaraju, Gregory F. Sullivan
Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version) STOC (1988)
Douglas M. Blough, Gregory F. Sullivan, Gerald M. Masson
Almost certain diagnosis for intermittently faulty systems. FTCS (1988)
Gregory F. Sullivan
A Polynomial Time Algorithm for Fault Diagnosability FOCS (1984)