Thomas Plum is an author at Binghamton University specializing in engineering, program analysis, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationVerificationSystem SoftwareSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
1975–2010
4
4
On-line Junction Temperature Measurement of CoolMOS Devices
Andreas Köenig, Thomas Plum, Peter Fidler et al. · 2007 · 61 citations
Fooling the user of a programming language
Thomas Plum · Software Practice and Experience · 1977 · 46 citations
As-If Infinitely Ranged Integer Model
Roger B. Dannenberg, Will Dormann, David Keaton et al. · 2010 · 29 citations
Mathematical Programming, Engineering, Software Engineering +21
IF-THEN-ELSE considered harmful
Gerald M. Weinberg, Dennis P. Geller, Thomas Plum · ACM SIGPLAN Notices · 1975 · 28 citations
Rows per page
1–4 of 4