Person: Insup Lee

DBLP: Lee:Insup

Contributed to:

2015

2015

2014

2010

2009

2008

2006

2005

2003

2003

2003

2002

2000

1999

1997

1996

1996

1996

1995

1994

Wrote 22 papers:

CBSE-2015-KimBNMLSLP #analysis #probability #scheduling

Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.

DATE-2015-KimFPSL #framework #implementation #modelling #platform #verification

Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.

DATE-2014-IvanovPL

Attack-resilient sensor fusion (RI, MP, IL), pp. 1–6.

DATE-2014-KimHPSL #approach #implementation #modelling #testing

A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.

DAC-2010-LeeS #physics

Medical cyber physical systems (IL, OS), pp. 743–748.

DAC-2010-RajkumarLSS #cyber-physical

Cyber-physical systems: the next computing revolution (RR, IL, LS, JAS), pp. 731–736.

AdaEurope-2009-SokolskyLC #algebra #modelling

Process-Algebraic Interpretation of AADL Models (OS, IL, DC), pp. 222–236.

LCTES-2008-AnandL #analysis #embedded #robust #scheduling

Robust and sustainable schedulability analysis of embedded software (MA, IL), pp. 61–70.

TACAS-2006-SokolskyKL #graph #similarity

Simulation-Based Graph Similarity (OS, SK, IL), pp. 426–440.

SCAM-2005-HongLS #abstract interpretation #approach #model checking #slicing

Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking (HSH, IL, OS), pp. 25–34.

ICSE-2003-HongCLSU #data flow #model checking #testing

Data Flow Testing as Model Checking (HSH, SDC, IL, OS, HU), pp. 232–243.

LCTES-2003-AlurIKLS #embedded #generative #hybrid #modelling

Generating embedded software from hierarchical hybrid models (RA, FI, JK, IL, OS), pp. 171–182.

TACAS-2003-SokolskyPLC #analysis #modelling #power management

Modeling and Analysis of Power-Aware Systems (OS, AP, IL, KC), pp. 409–425.

TACAS-2002-HongLSU #generative #logic #test coverage

A Temporal Logic Based Theory of Test Coverage and Generation (HSH, IL, OS, HU), pp. 327–341.

ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation

Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.

FM-v1-1999-AlurEKKL #analysis #case study #coordination #formal method #hybrid #modelling #multi

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (RA, JME, MK, VK, IL), pp. 212–232.

RE-1997-Ben-AbdallahLK #analysis #functional #requirements #specification

Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.

CAV-1996-ClarkeBLXS #analysis #bound #named #realtime #specification #tool support #visual notation

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems (DC, HBA, IL, HlX, OS), pp. 402–405.

ISSTA-1996-KangL #analysis #generative #performance #realtime

An Efficient State Space Generation for Analysis of Real-Time Systems (IK, IL), pp. 4–13.

SEKE-1996-CleavelandLLS #formal method #process #realtime #testing

A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.

ICSE-1995-ClarkeL #algebra #constraints #process #realtime #testing

Testing Real-Time Constraints in a Process Algebraic Setting (DC, IL), pp. 51–60.

CAV-1994-LeeR #algorithm #implementation #parallel #problem #relational

A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation (IL, SR), pp. 404–414.