Gregory F. Sullivan

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