Concepedia

I. Lee

IL

10

Publications

460

Citations

10

H-Index

1989

Active since

Affiliations

University of Pennsylvania(Current)

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

Top concepts

EngineeringComputer ScienceSystems EngineeringReal-time SystemsFormal MethodsFormal VerificationComputer EngineeringProgram AnalysisOperating SystemsAutomated Reasoning

Publications per year

1989–2012

10

Publications

10

Formally specified monitoring of temporal properties

Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben‐Abdallah et al. · 2003 · 125 citations

Software Maintenance, Engineering, Verification +27

A process algebraic approach to the specification and analysis of resource-bound real-time systems

I. Lee, Patrice Brémond-Grégoire, R. Gerber · Proceedings of the IEEE · 1994 · 108 citations

Timed Process Algebras, Engineering, Real-time System Design +17

The effect of decision delay in finite-length decision feedback equalization

Paul Voois, I. Lee, J.M. Cioffi · IEEE Transactions on Information Theory · 1996 · 74 citations

Adaptive Filter, Time Delay System, Engineering +10

Symbolic schedulability analysis of real-time systems

Hee-Hwan Kwak, I. Lee, Anna Philippou et al. · 2002 · 37 citations

Mathematical Programming, Engineering, Formal Verification +18

Communicating shared resources: a model for distributed real-time systems

R. Gerber, I. Lee · 2003 · 36 citations

Real-time Formalism, Engineering, Real-time System +18

Rows per page

1–5 of 10