Concepedia

Paul K. Harter

PK

4

Publications

273

Citations

4

H-Index

1981

Active since

Affiliations

University of Colorado Boulder(Current)

Paul K. Harter is an author at University of Colorado Boulder specializing in system software, software engineering, and computer science.

Top concepts

EngineeringSystem SoftwareComputer ScienceSoftware AnalysisSoftware EngineeringFormal MethodsProgram AnalysisReal-time SystemsFormal VerificationSystems Engineering

Publications per year

1981–1987

4

Publications

4

Proving real-time properties of programs with temporal logic

Arthur Bernstein, Paul K. Harter · ACM SIGOPS Operating Systems Review · 1981 · 115 citations

Program Checking, Engineering, Real-time Program +19

Response times in level-structured systems

Paul K. Harter · ACM Transactions on Computer Systems · 1987 · 58 citations · Full text

Engineering, Real-time System Design, Software Engineering +22

IDD: An Interactive Distributed Debugger.

Paul K. Harter, Dennis Heimbigner, Roger King · International Conference on Distributed Computing Systems · 1985 · 57 citations

Interactive Distributed Debugger, Engineering, Computer Engineering +5

Proving real-time properties of programs with temporal logic

Arthur Bernstein, Paul K. Harter · 1981 · 43 citations · Full text

Program Checking, Engineering, Real-time Program +19

Rows per page

1–4 of 4