Follow

Submissions from 2017

PDF

Relaxed decidability and the robust semantics of Metric Temporal Logic, Houssam Abbas, Matthew O'Kelly, and Rahul Mangharam

PDF

Data Predictive Control for building energy management, Achin Jain, Madhur Behl, and Rahul Mangharam

PDF

Extensible Energy Planning Framework for Preemptive Tasks, Jin Hyun Kim, Deepak Gangadharan, Oleg Sokolsky, Axel Legay, and Insup Lee

PDF

Technical Report: Control Using the Smooth Robustness of Temporal Logic, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Automatic Verification of Finite Precision Implementations of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, and Insup Lee

PDF

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data, Sangdon Park, James Weimer, and Insup Lee

PDF

vCAT: Dynamic Cache Management Using CAT Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, and Insup Lee

Submissions from 2016

PDF

Towards Model Checking of Implantable Cardioverter Defibrillators, Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, and Rahul Mangharam

PDF

High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam

PDF

Data-Driven Modeling, Control and Tools for Cyber-Physical Energy Systems, Madhur Behl, Achin Jain, and Rahul Mangharam

PDF

Representation of Confidence in Assurance Cases Using the Beta Distribution, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee

PDF

Platform-based Plug and Play of Automotive Safety Features - Challenges and Directions, Deepak Gangadharan, Jin Hyun Kim, Insup Lee, Oleg Sokolsky, BaekGyu Kim, and Shin'ichi Shiraishi

PDF

Data Predictive Control for Peak Power Reduction, Achin Jain, Madhur Behl, and Rahul Mangharam

PDF

Design Principles for a Family of Direct-Drive Legged Robots, Gavin Kenneally, Avik De, and D. E. Koditschek

PDF

APEX: Autonomous Vehicle Plan Verification and Execution, Matthew O'Kelly, Houssam Abbas, Sicun Gao, Shin'ichi Shiraishi, Shinpei Kato, and Rahul Mangharam

PDF

Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Tech Report: Robust Model Predictive Control for Non-Linear Systems with Input and State Constraints Via Feedback Linearization, Yash Vardhan Pant, Houssam Abbas, and Rahul Mangharam

PDF

Scalable Verification of Linear Controller Software, Junkil Park, Miroslav Pajic, Insup Lee, and Oleg Sokolsky

PDF

Monitoring Assumptions in Assume-Guarantee Contracts, Oleg Sokolsky, Teng Zhang, Insup Lee, and Michael McDougall

PDF

Analysis and Implementation of Global Preemptive Fixed-Priority Scheduling with Dynamic Cache Allocation, Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, and Insup Lee

PDF

SMEDL: Combining Synchronous and Asynchronous Monitoring, Teng Zhang, Peter Gebhard, and Oleg Sokolsky

Submissions from 2015

PDF

Sometimes, Money Does Grow On Trees: Data-Driven Demand Response with DR-Advisor, Madhur Behl and Rahul Mangharam

PDF

Fault Tolerance and the Five-Second Rule, Ang Chen, Hanjun Xiao, Andreas Haeberlen, and Linh T.X. Phan

PDF

Controller Synthesis for Autonomous Systems Interacting With Human Operators, Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu

PDF

Robust Localization Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, Insup Lee, and George Pappas

PDF

Robust Estimation Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, George Pappas, and Insup Lee

PDF

Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

The Challenges of High-Confidence Medical Device Software, Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam

PDF

High-Confidence Medical Device Software Development, Zhihao Jiang and Rahul Mangharam

PDF

Platform-Specific Timing Verification Framework in Model-Based Implementation, BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, and Insup Lee

PDF

Platform-Specific Code Generation from Platform-Independent Timed Models, BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Optimizing the Resource Requirements of Hierarchical Scheduling Systems, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, and Jin-Young Choi

PDF

Towards Compositional Mixed-Criticality Real-Time Scheduling in Open Systems, Jaewoo Lee, Hoon Sung Chwa, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Verified ROS-Based Deployment of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, and Insup Lee

PDF

Scalable Scheduling of Energy Control Systems, Truong X. Nghiem and Rahul Mangharam

PDF

Automatic Verification of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, and Oleg Sokolsky

PDF

Attack-Resilient State Estimation in the Presence of Noise, Miroslav Pajic, Paulo Tabuada, Insup Lee, and George Pappas

PDF

Co-Design of Anytime Computation and Robust Control, Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong Nghiem, Joesph Deveitti, and Rahul Mangharam

PDF

Co-design of Anytime Computation and Robust Control (Supplemental), Yash Vardhan Pant, Kartik Mohta, Houssam Abbas, Truong X Nghiem, Joesph Deveitti, and Rahul Mangharam

PDF

Cache-aware Interfaces for Compositional Real-Time Systems, Linh T.X. Phan, Meng Xu, and Insup Lee

PDF

Mixed-Criticality Scheduling on Multiprocessors using Task Grouping, Jiankang Ren and Linh T.X. Phan

PDF

A drift-diffusion model for robotic obstacle avoidance, Paul B. Reverdy, B. Deniz Ilhan, and Daniel E. Koditschek

PDF

A Hybrid Approach to Causality Analysis, Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

RT-OpenStack: CPU Resource Management for Real-Time Cloud Computing, Sisu Xi, Chong Li, Chenyang Lu, Christopher D. Gill, Meng Xu, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms, Meng Xu, Linh T.X. Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher Gill, and Insup Lee

PDF

Executing Model-Based Tests on Platform-Specific Implementations, Dongjiang You, Sanjai Rayadurgam, Mats Heimdahl, John Komp, BaekGyu Kim, and Oleg Sokolsky

Papers from 2014

PDF

Detecting Covert Timing Channels with Time-Deterministic Replay, Ang Chen, W. Brad Moore, Hanjun Xiao, Andreas Haeberlen, Linh T.X. Phan, Micah Sherr, and Wenchao Zhou

PDF

Partitioned Scheduling of Multi-Modal Mixed-Criticality Real-Time Systems on Multiprocessor Platforms, Dionisio de Niz and Linh T.X. Phan

PDF

Attack-Resilient Sensor Fusion, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Resilient Multidimensional Sensor Fusion Using Measurement History, Radoslav Ivanov, Miroslav Pajic, and Insup Lee

PDF

Requirement-Guided Model Refinement, Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam

PDF

A Layered Approach for Testing Timing in the Model-Based Implementation, BaekGyu Kim, Hyeon I. Hwang, Taejoon Park, Sang H. Son, and Insup Lee

PDF

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems With OpenFlow, Andrew L. King, Sanjian Chen, and Insup Lee

PDF

MC-Fluid: Fluid Model-Based Mixed-Criticality Scheduling on Multiprocessors, Jaewoo Lee, Kieu-My Phan, Xiaozhe Gu, Jiyeon Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

From Requirements to Code: Model Based Development of a Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, and Insup Lee

PDF

Linking Abstract Analysis to Concrete Design: A Hierarchical Approach to Verify Medical CPS Safety, Anitha Murugesan, Oleg Sokolsky, Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl, and Insup Lee

PDF

Robust Model Predictive Control with Anytime Estimation, Truong X Nghiem, Yash Vardhan Pant, and Rahul Mangharam

PDF

Robustness of Attack-Resilient State Estimators, Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George Pappas

PDF

Architecture-Centric Software Development for Cyber-Physical Systems, Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee

PDF

Attack-Resilient Minimum Mean-Squared Error Estimation, James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup Lee

PDF

Towards Assurance Cases for Resilient Control Systems, James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee

Link

Real-Time Multi-Core Virtual Machine Scheduling in Xen, Sisu Xi, Meng Xu, Chenyang Lu, Linh T.X. Phan, Christopher Gill, Oleg Sokolsky, and Insup Lee

Papers from 2013

PDF

Regular Functions and Cost Register Automata, Rajeev Alur, Loris D'Antoni, Jyotirmoy Deshmukh, Mukund Raghothaman, and Yifei Yuan

PDF

A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-Time Systems, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Assessing the Overall Sufficiency of Safety Arguments, Anaheed Ayoub, Jian Chang, Oleg Sokolsky, and Insup Lee

PDF

Platform-Dependent Code Generation for Embedded Real-Time Software, BaekGyu Kim, Linh T.X. Phan, Oleg Sokolsky, and Insup Lee

PDF

Social Learning and Adoption of New Behavior in a Virtual Agent Society, Benjamin D. Nye and Barry G. Silverman

PDF

Towards Synthesis of Platform-Aware Attack-Resilient Control Systems: Extended Abstract, Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee

PDF

Overhead-Aware Compositional Analysis of Real-Time Systems, Linh T.X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, and Oleg Sokolsky

PDF

Co-design of Control and Platform With Dropped Signals, Damoon Soudbakhsh, Linh T.X. Phan, Oleg Sokolsky, Insup Lee, and Anuradha Annaswamy

PDF

Contract-Based Blame Assignment by Trace Analysis, Shaohui Wang, Anaheed Ayoub, Radoslav Ivanov, Oleg Sokolsky, and Insup Lee

PDF

A Causality Analysis Framework for Component-Based Real-Time Systems, Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms, Meng Xu, Linh T.X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, and Christopher Gill

Papers from 2012

PDF

Streaming Tree Transducers, Rajeev Alur and Loris D'Antoni

PDF

Protocol Design With Concolic Snippets, Rajeev Alur, Jyotirmoy Deshmukh, Sela Mador-Haim, Milo Martin, Arun Raghavan, and Abhishek Udupa

PDF

Regular Transformations of Infinite Strings, Rajeev Alur, Emmanuel Filiot, and Ashutosh Trivedi

PDF

A Safety Case Pattern for Model-Based Development Approach, Anaheed Ayoub, BaekGyu Kim, Insup Lee, and Oleg Sokolsky

PDF

A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Anaheed Ayoub, Baekgyu Kim, Insup Lee, and Oleg Sokolsky

PDF

HMM-Based Characterization of Channel Behavior for Networked Control Systems, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Shreyas Sundaram, George J. Pappas, and Insup Lee

PDF

Extending Task-level to Job-level Fixed Priority Assignment and Schedulability Analysis Using Pseudo-deadlines, Hoon Sung Chwa, Hyoungbu Back, Sanjian Chen, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam

PDF

A Model-Based I/O Interface Synthesis Framework for the Cross-Platform Software Modeling, BaekGyu Kim, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

Realizing Compositional Scheduling Through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky

PDF

An Axiomatic Memory Model for POWER Multiprocessors, Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo Martin, Peter Sewell, and Derek Williams

PDF

PADS: An Approach to Modeling Resource Demand and Supply for the Formal Analysis of Hierarchical Scheduling, Anna Philippou, Insup Lee, and Oleg Sokolsky

PDF

Introduction to the Special Issue on Runtime Verification, Oleg Sokolsky and Grigore Roşu

Papers from 2011

PDF

Nondeterministic Streaming String Transducers, Rajeev Alur and Jyotirmoy Deshmukh

PDF

ToMaTo: A Trustworthy Code Mashup Development Tool, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee

PDF

Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky

PDF

Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee

PDF

Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?, Sela Mador-Haim, Rajeev Alur, and Milo Martin

PDF

Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee

PDF

Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems, Linh T.X. Phan and Insup Lee

PDF

Compositional Analysis of Real-Time Embedded Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

A Semantic Framework for Mode Change Protocols, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

An Empirical Analysis of Scheduling Techniques for Real-Time Cloud-Based Data Processing, Linh T.X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, and Insup Lee

PDF

Reputation-Based Networked Control With Data-Corrupting Channels, Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, and George Pappas

PDF

Runtime Verification of Traces Under Recording Uncertainty, Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, and Insup Lee

Papers from 2010

PDF

Expressiveness of Streaming String Transducers, Rajeev Alur

PDF

Temporal Reasoning for Procedural Programs, Rajeev Alur and Swarat Chaudhuri