MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Insup Lee" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

91 documents found, showing 1 through 10. Next 10 →

ATOM

Parallel Algorithms for Relational Coarsest Partition Problems
by Insup Lee, S. Rajasekaran — 1993 — IEEE Transactions on Parallel and Distributed Systems
…A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation ∗ Insup Lee…
Cited by 4 (0 self) – Add To MetaCart

State Minimization for Concurrent System Analysis Based on State Space Exploration
by Inhye Kang, Insup Lee — 1994 — In Proceedings of Conference on Computer Assurance
… and Insup Lee Department of Computer and Information Science University of Pennsylvania Philadelphia, PA…
Cited by 12 (8 self) – Add To MetaCart

Modular Code Generation from Hybrid Automata Based on Data Dependency
by Jesung Kim, Insup Lee — 2003 — In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium
…Modular Code Generation from Hybrid Automata based on Data Dependency # Jesung Kim and Insup Lee…
Cited by 4 (2 self) – Add To MetaCart

Automatic Generation of Tests for Timing Constraints from Requirements
by Duncan Clarke, Insup Lee — 1997 — In Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems
… of Computer Science University of Kentucky Lexington, KY 40506 Insup Lee Department of Computer…
Cited by 13 (0 self) – Add To MetaCart

A Graphical Property Specification Language
by Insup Lee, Oleg Sokolsky — 1997 — In Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering. IEEE Computer
…A Graphical Property Specification Language Insup Lee Oleg Sokolsky Real-Time Systems Group…
Cited by 3 (1 self) – Add To MetaCart

An Efficient State Space Generation for Analysis of Real-time Systems
by Inhye Kang, Insup Lee — 1996 — In Proc. of Int. Symposium on Software Testing and Analysis
…An Efficient State Space Generation for Analysis of Real-time Systems Inhye Kang and Insup Lee…
Cited by 18 (2 self) – Add To MetaCart

Automatic Specification-Based Testing of Real-Time Properties
by Duncan Clarke, Insup Lee — 1997 — Properties, Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, IEEE
… of Computer Science University of Kentucky Lexington, KY 40506 Insup Lee Department of Computer…
Cited by 3 (1 self) – Add To MetaCart

Testing Real-Time Constraints in a Process Algebraic Setting
by Duncan Clarke, Insup Lee — 1995 — In International Conference on Software Engineering
…) Testing Real-Time Constraints in a Process Algebraic Setting Duncan Clarke and Insup Lee Department…
Cited by 4 (1 self) – Add To MetaCart

An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems
by Inhye Kang, Insup Lee — 1994
… Inhye Kang and Insup Lee Department of Computer and Information Science University of Pennsylvania…
Cited by 1 (0 self) – Add To MetaCart

A Hybrid Approach to Formal Verification Applied to an ATM Switching System
by Duncan Clarke, Insup Lee — 1995
… and Insup Lee Department of Computer and Information Science University of Pennsylvania Philadelphia, PA…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB