Gregory F. Sullivan - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2003

Software Tamper Resistance Using Program CertificatesHongxia Jin, Gregory F. Sullivan, Gerald M. Masson. safecomp 2003: 144-158 [doi]

1999

Run-time Result Certification for Distributed ComputationsHongxia Jin, Gregory F. Sullivan, Gerald M. Masson. pdpta 1999: 890-895

1997

A Formally Verified Sorting CertifierJonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson. TC, 46(12):1304-1312, 1997.

1996

Learning nested concept classes with limited storageDavid G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan. jetai, 8(2):129-147, 1996.

1995

Checking the Integrity of TreesJonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson. ftcs 1995: 402-411

On-line Error Monitoring for Several Data StructuresJonathan D. Bright, Gregory F. Sullivan. ftcs 1995: 392-401

Certification of Computational ResultsGregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson. TC, 44(7):833-847, 1995.

1994

Checking Mergeable Priority QueuesJonathan D. Bright, Gregory F. Sullivan. ftcs 1994: 144-153

1993

Some Results on the Computational Complexity of Symmetric Connectionist NetworksSimon Kasif, Saibal Banerjee, Arthur L. Delcher, Gregory F. Sullivan. AMAI, 9(3-4):327-344, 1993.

Certification Trails and Software Design for TestabilityGregory F. Sullivan, Dwight S. Wilson, Gerald M. Masson. itc 1993: 200-209

1992

Efficient Diagnosis of Multiprocessor Systems under Probabilistic ModelsDouglas M. Blough, Gregory F. Sullivan, Gerald M. Masson. TC, 41(9):1126-1136, 1992.

Intermittent Fault Diagnosis in Multiprocessor SystemsDouglas M. Blough, Gregory F. Sullivan, Gerald M. Masson. TC, 41(11):1430-1441, 1992.

Experimental evaluation of certification trails using abstract data type validationDwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson. compsac 1992: 300-305 [doi]

1991

Learning Nested Concept Classes with Limited StorageDavid G. Heath, Simon Kasif, S. Rao Kosaraju, Steven Salzberg, Gregory F. Sullivan. IJCAI 1991: 777-782

Certitication Trails for Data StructuresGregory F. Sullivan, Gerald M. Masson. ftcs 1991: 240-247

1990

A Comparison of Voting Strategies for Fault-Tolerant Distributed SystemsDouglas M. Blough, Gregory F. Sullivan. srds 1990: 136-145

Using certification trails to achieve software fault toleranceGregory F. Sullivan, Gerald M. Masson. ftcs 1990: 423-431 [doi]

1989

Locating Faults in a Constant Number of Parallel Testing RoundsRichard Beigel, S. Rao Kosaraju, Gregory F. Sullivan. spaa 1989: 189-198 [doi]

Fault diagnosis for sparsely interconnected multiprocessor systemsDouglas M. Blough, Gregory F. Sullivan, Gerald M. Masson. ftcs 1989: 62-69 [doi]

1988

Almost certain diagnosis for intermittently faulty systemsDouglas M. Blough, Gregory F. Sullivan, Gerald M. Masson. ftcs 1988: 260-265 [doi]

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version)S. Rao Kosaraju, Gregory F. Sullivan. stoc 1988: 398-406

An ::::O(t:::3::: + |E|):::: Fault Identification Algorithm for Diagnosable SystemsGregory F. Sullivan. TC, 37(4):388-397, 1988.

1984

A Polynomial Time Algorithm for Fault DiagnosabilityGregory F. Sullivan. focs 1984: 148-156

Sign in or sign up to see more results.

runs on WebDSL