Insup Lee - Concepedia

Author

Insup Lee

University of Pennsylvania ORCID

Also Known As

I. Lee, INSUP LEE, In-Sup Lee, In-sup Lee, Insup LEE, Insup Lee, Jin-Young Choi, Lee, Insup, Marcus, H.L, Marcus, H.L.

764

Publications

13.8K

Citations

H-Index

398

Concepts

All Affiliations

University of Pennsylvania California University of Pennsylvania Jeonbuk National University North Carolina State University Philadelphia University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	55	202	9.1K
2	Business	16	20	898
3	Arts	6	6	121
4	Education	2	2	32
5	Health Sciences	2	2	144

Insup Lee

262

Publications

11K

Citations

H-Index

Page 1

	Year	Citations
Periodic resource model for compositional real-time guarantees Insik Shin, Insup Lee Mathematical ProgrammingEngineeringComputer ArchitecturePeriodic Resource AllocationPeriodic Resource Model	2004	505
Robustness of attack-resilient state estimators Miroslav Pajić, James Weimer, Nicola Bezzo, State EstimationAttack SimulationEngineeringInformation SecurityComputer Engineering	2014	236
Java-MaC: A Run-Time Assurance Approach for Java Programs Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Formal Methods in System Design Software MaintenanceJava ProgramsEngineeringRuntime VerificationProgram Analysis	2004	218
Verisig Radoslav Ivanov, James Weimer, Rajeev Alur, Artificial IntelligenceReachability AnalysisEngineeringReachability ProblemNeural Network	2019	216
Compositional real-time scheduling framework with periodic model Insik Shin, Insup Lee ACM Transactions on Embedded Computing Systems Mathematical ProgrammingEngineeringSystematic AbstractionComputer ArchitectureOperations Research	2008	202
Attack-Resilient State Estimation for Noisy Dynamical Systems Miroslav Pajić, Insup Lee, George J. Pappas IEEE Transactions on Control of Network Systems EngineeringInformation SecurityResilient Control SystemAutonomous SystemsState Estimation	2016	185
Medical cyber physical systems Insup Lee, Oleg Sokolsky Body Area NetworkEngineeringRemote Patient MonitoringMedical TechnologyDiagnostic Systems	2010	179
Runtime Assurance Based On Formal Specifications Insup Lee, Sampath Kannan, Moonjoo Kim, ScholarlyCommons (University of Pennsylvania)	1999	163
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors Insik Shin, Arvind Easwaran, Insup Lee Cluster ComputingEngineeringComputer ArchitectureCluster TechnologyProcessor Cluster	2008	162
A Framework and Architecture for Multi-Robot Coordination Rafael Fierro, Aveek Das, John Spletzer, The International Journal of Robotics Research Multi-robot TeamEngineeringNetwork RoboticsAutomationField Robotics	2002	158

Page 1