Concepedia

Thomas Polzer

TP

2

Publications

41

Citations

2

H-Index

2013

Active since

Affiliations

TU Wien(Current)

Thomas Polzer is an author at TU Wien specializing in formal methods, formal verification, and instrumentation.

Top concepts

EngineeringFormal MethodsInstrumentationComputer ScienceProgram AnalysisHardware SecurityParallel ComputingFormal VerificationComputer EngineeringComputer Architecture

Publications per year

2013–2013

2

Publications

2

An Approach for Efficient Metastability Characterization of FPGAs through the Designer

Thomas Polzer, Andreas Steininger · 2013 · 22 citations

Hardware Modeling, Engineering, Xilinx Virtex-4 Fpga +19

An infrastructure for accurate characterization of single-event transients in digital circuits

Varadan Savulimedu Veeravalli, Thomas Polzer, Ulrich Schmid et al. · Microprocessors and Microsystems · 2013 · 19 citations · Full text

Rows per page

1–2 of 2