Concepedia

I. Lee

IL

Statistics

Publications

5

Citations

128

H-Index

5

Active since

1990

Affiliations

University of Pennsylvania(Current)

I. Lee is an author at University of Pennsylvania specializing in real-time systems, computer science, and engineering.

Top concepts

EngineeringComputer ScienceReal-time SystemsDistributed SystemsSystems EngineeringAsynchronous SystemsFormal MethodsCryptographyVerificationSystem Software

Publications per year

1990–2003

5

Publications

5

Automatic generation of tests for timing constraints from requirements

Duncan L. Clarke, I. Lee · 2002 · 72 citations

Engineering, Acsr Semantic Framework, Acsr Model +21

Timed atomic commitment

Susan B. Davidson, I. Lee, Victor Fay Wolfe · IEEE Transactions on Computers · 1991 · 21 citations

Robotic Systems, Engineering, Timing Constraints +18

A protocol for timed atomic commitment

Susan B. Davidson, I. Lee, Victor Fay Wolfe · 2003 · 13 citations

Engineering, Information Security, Verification +22

RTC: language support for real-time concurrency

Victor Fay Wolfe, Susan B. Davidson, I. Lee · 2002 · 12 citations

Engineering, Real-time Database, Computer Architecture +20

A performance analysis of timed synchronous communication primitives

I. Lee, Susan B. Davidson · IEEE Transactions on Computers · 1990 · 10 citations

Message Delay, Engineering, Computer Architecture +17

1–5 of 5