Concepedia

Hartmann

HA

Statistics

Publications

5

Citations

140

H-Index

5

Active since

1977

Affiliations

Syracuse University(Current)

Hartmann is an author at Syracuse University specializing in engineering, computer engineering, and software testing.

Top concepts

EngineeringComputer ScienceSoftware TestingComputer EngineeringFormal VerificationReliability EngineeringVerificationFormal MethodsProgram AnalysisDiagnosis

Publications per year

1977–1984

5

Publications

5

An Optimal Algorithm for Testing Stuck-at Faults in Random Access Memories

Knaizuk, Hartmann · IEEE Transactions on Computers · 1977 · 63 citations

Engineering, Mem Testing, Verification +20

Application of Information Theory to Sequential Fault Diagnosis

Varshney, Hartmann, De Faria · IEEE Transactions on Computers · 1982 · 40 citations

Fault Diagnosis, Engineering, Diagnosis +20

An Algorithm for Testing Random Access Memories

Knaizuk, Hartmann · IEEE Transactions on Computers · 1977 · 14 citations

Engineering, Mem Testing, Computer Architecture +16

Sequential Fault Diagnosis of Modular Systems

Varshney, Hartmann · IEEE Transactions on Computers · 1984 · 13 citations

Fault Diagnosis, Engineering, Verification +18

Dual-Mode Logic for Function-Independent Fault Testing

Dasgupta, Hartmann, Rudolph · IEEE Transactions on Computers · 1980 · 10 citations

Function-independent Testing, Engineering, Network Operation +20

1–5 of 5