Concepedia

T.M. Niermann

TN

9

Publications

1.2K

Citations

9

H-Index

1990

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Urbana University

Sunrise Medical (United States)

T.M. Niermann is an author at University of Illinois Urbana-Champaign specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceSoftware TestingComputer EngineeringProgram AnalysisFormal MethodsSoftware AnalysisDesign For TestingFormal VerificationAsynchronous Circuits

Publications per year

1990–2003

9

Publications

9

HITEC: a test generation package for sequential circuits

T.M. Niermann, J.H. Patel · 2002 · 522 citations

Engineering, Verification, Computer Architecture +20

PROOFS: a fast, memory-efficient sequential circuit fault simulator

T.M. Niermann, Wu-Tung Cheng, J.H. Patel · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1992 · 230 citations

Engineering, Fast Fault Simulator, Fault Attack +19

Sequential circuit test generation in a genetic algorithm framework

E.M. Rudnick, J.H. Patel, Gary S. Greenstein et al. · 1994 · 145 citations · Full text

A genetic algorithm framework for test generation

E.M. Rudnick, J.H. Patel, Gary S. Greenstein et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1997 · 91 citations

Engineering, Genetics, Test Data Generation +20

T.M. Niermann, Wu-Tung Cheng, J.H. Patel · 1990 · 88 citations

Differential Fault Simulation, Engineering, Program Analysis +14

Rows per page

1–5 of 9