Showing results 1 to 20 of 20
A design framework for real-time embedded systems with code size and energy constraints Lee, Sheayun; Shin, Insik; Kim, Woonseok; Lee, Insup; Min, Sang Lyul, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.7, no.2, 2008 |
A Retrospective Look at the Monitoring and Checking (MaC) Framework Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, 19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM), pp.1 - 14, Runtime Verification Inc., 2019-10-09 |
Compositional real-time scheduling framework with periodic model Shin, Insik; Lee, Insup, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.7, no.3, 2008 |
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26 |
Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines Shin, Insik; Chwa, Hoon Sung; Back, Hyoungbu; Chen, Sanjian; Lee, Insup; Lee, Jinkyu; Easwaran, Arvind, 33rd IEEE Real-Time Systems Symposium, IEEE TCRTS, 2012-12-05 |
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
Formal synthesis of application and platform behaviors of embedded software systems Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05 |
Formally Specified Monitoring of Temporal Properties Kim, Moonzoo; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09 |
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors Shin, Insik; Easwaran, Arvind; Lee, Insup, IEEE Euromicro Conference on Real-Time Systems conference (ECRTS '08), v.0, no.0, pp.181 - 190, IEEE, 2008-07 |
MC-ADAPT: Adaptive Task Dropping in Mixed-Criticality Scheduling Lee, Jaewoo; Chwa, Hoon Sung; Phan, Linh T. X.; Shin, Insik; Lee, Insup, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, v.16, no.5s, 2017-10 |
MC-Fluid: Fluid Model-based Mixed-Criticality Scheduling on Multiprocessors Lee, Jaewoo; Phan, Kieu-My; Gu, Xiaozhe; Lee, Jiyeon; Arvind Easwaran; Shin, In-Sik; Lee, Insup, the 35th IEEE Real-Time Systems Symposium, IEEE Computer Society, 2014-12-03 |
MC-Fluid: Multi-Core Fluid-Based Mixed-Criticality Scheduling Lee, Jaewoo; Ramanathan, Saravanan; Kieu-My Phan; Easwaran, Arvind; Shin, Insik; Lee, Insup, IEEE TRANSACTIONS ON COMPUTERS, v.67, no.4, pp.469 - 483, 2018-04 |
Monitoring, Checking, and Steering of Real-time Systems Kim, Moonzoo; Lee, Insup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111, Run-time Verification, 2002-07-26 |
Optimal virtual cluster-based multiprocessor scheduling Easwaran, Arvind; Shin, Insik; Lee, Insup, REAL-TIME SYSTEMS, v.43, pp.25 - 59, 2009-09 |
PacJam: Securing Dependencies Continuously via Package-Oriented Debloating Pashakhanloo, Pardis; Machiry, Aravind; Choi, Hyonyoung; Canino, Anthony; Heo, Kihong; Lee, Insup; Naik, Mayur, 17th ACM ASIA Conference on Computer and Communications Security 2022, ASIA CCS 2022, pp.903 - 916, Association for Computing Machinery, Inc, 2022-05-30 |
Run-time Monitoring and Steering based on Formal Specifications Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Modeling Software System Structures in a Fastly Moving Scenario, Modeling Software System Structures in a Fastly Moving Scenario, 2000-06 |
Runtime Assurance Based On Formal Specifications Lee, Insup; Kannan, Sampath; Kim, Moonzoo; Sokolsky, Oleg; Viswanathan, Mahesh, International Conference on Parallel and Distributed Processing Techniques and Applications, pp.279 - 287, PDPTA', 1999-07-01 |
Steering of Real-Time Systems Based on Monitoring and Checking Sokolsky, Oleg; Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh, Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999. , pp.11 - 18, International Workshop on Object-Oriented Real-Time Dependable Systems, 1999-03-23 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonzoo; Lee, Insup; Obradovic, Davor, International Symposium on Software Testing and Analysis, pp.2 - 13, ACM, 2000-08-01 |
Verisim: Formal Analysis of Network Simulations Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18 |
Discover