Follow

Papers from 2011

PDF

Wikipedia Vandalism Detection: Combining Natural Language, Metadata, and Reputation Features, B. Thomas Adler, Luca de Alfaro, Santiago M. Mola-Velasco, Paolo Rosso, and Andrew G. West

PDF

Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

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

Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model, Zhihao Jiang and Rahul Mangharam

PDF

Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

Model-based Closed-loop Testing of Implantable Pacemakers, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

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

PDF

Safety-Assured Development of the GPCA Infusion Pump Software, BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley

PDF

Dual Periodic Resource Model, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee

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

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

PDF

On Effective Testing of Health Care Simulation Software, Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbraino, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil

PDF

On Effective Testing of Health Care Simulation Software, Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil

PDF

Topological Conditions for Wireless Control Networks, Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam

PDF

The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

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

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

PDF

Autonomous Link Spam Detection in Purely Collaborative Environments, Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, and Insup Lee

PDF

Link Spamming Wikipedia for Profit, Andrew G. West, Jian Chang, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

PDF

Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence, Andrew G. West and Insup Lee

PDF

Towards the Effective Temporal Association Mining of Spam Blacklists, Andrew G. West and Insup Lee

PDF

What Wikipedia Deletes: Characterizing Dangerous Collaborative Content, Andrew G. West and Insup Lee

Papers from 2010

PDF

Generating Reliable Code from Hybrid-Systems Models, Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee

PDF

Model-based Programming of Modular Robots, David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim

PDF

Toward Patient Safety in Closed-Loop Medical Device Systems, David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky

PDF

AS-CRED: Reputation Service for Trustworthy Inter-domain Routing, Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, and Oleg Sokolsky

PDF

AS-TRUST: A Trust Characterization Scheme for Autonomous Systems in BGP, Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, and Insup Lee

PDF

Permission to Speak: A Logic for Access Control and Conformance, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky

PDF

Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram, Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee

PDF

A Safety-Assured Development Approach for Real-Time Software, Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee

PDF

Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework, Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Procter

PDF

GSA: A Framework for Rapid Prototyping of Smart Alarm Systems, Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, C. William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, and Insup Lee

PDF

Medical Cyber Physical Systems, Insup Lee and Oleg Sokolsky

PDF

Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee

PDF

Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks, Jerome Le Ny and George J. Pappas

PDF

Adaptive Robot Deployment Algorithms, Jerome LE NY and George J. Pappas

PDF

Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution, Jerome Le Ny and George J. Pappas

PDF

Joint Metering and Conflict Resolution in Air Traffic Control, Jerome Le Ny and George J. Pappas

PDF

Plug and Play Components for the Exploration of Memory Consistency Models, Sela Mador-Haim, Rajeev Alur, and Milo Martin

PDF

Generating Litmus Tests for Contrasting Memory Consistency Models - Extended Version, Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin

PDF

Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks, Rahul Mangharam and Miroslav Pajic

PDF

A Framework for Validation of Implantable Medical Devices, Miroslav Pajic, Zhihao Jiang, Allison Connolly, and Rahul Mangharam

PDF

The Wireless Control Network: Synthesis and Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam

PDF

The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam

PDF

Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky

PDF

CARTS: A Tool for Compositional Analysis of Real-Time Systems, Linh T.X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, and Oleg Sokolsky

PDF

Modeling Buffers with Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee

PDF

Cost-based Dynamic Job Rescheduling: A Case Study of the Intel Distributed Computing Platform, Linh T.X. Phan, Zhuoyao Zhang, Saumya Jain, Godfrey Tan, Boon Thau Loo, and Insup Lee

PDF

Real-time MapReduce Scheduling, Linh T.X. Phan, Zhuoyao Zhang, Boon Thau Loo, and Insup Lee

PDF

A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi

PDF

Single Cell Manipulation using Ferromagnetic Composite Microtransporters, Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, Min Jun Kim, George J. Pappas, and Vijay Kumar

PDF

Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee

PDF

The Wireless Control Network: Monitoring for Malicious Behavior, Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas

PDF

Formal Analysis of Network Protocols, Anduo Wang

PDF

Mitigating Spam Using Spatio-Temporal Reputation, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee

PDF

Spam Mitigation using Spatio-Temporal Reputations from Blacklist History, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee

PDF

Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee

PDF

Spatio-Temporal Analysis of Wikipedia Metadata and the STiki Anti-Vandalism Tool, Andrew G. West, Sampath Kannan, and Insup Lee

PDF

STiki: An Anti-Vandalism Tool for Wikipedia using Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee

PDF

Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Insup Lee, and Sampath Kannan

PDF

On the Feasibility of Dynamic Rescheduling on the Intel Distributed Computing Platform, Zhuoyao Zhang, Linh T.X. Phan, Godfrey Tan, Saumya Jain, Harrison Duong, Boon Thau Loo, and Insup Lee

PDF

Fault Management in Distributed Systems, Wenchao Zhou

PDF

Towards Secure Cloud Data Management, Wenchao Zhou, William R. Marczak, Tao Tao, Zhuoyao Zhang, Micah Sherr, Boon Thau Loo, and Insup Lee

Papers from 2009

PDF

Multi-vehicle path planning in dynamically changing environments, Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, and George J. Pappas

PDF

Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0, David E. Arney, Raoul Jetley, Paul Jones, Insup Lee, Arnab Ray, Oleg Sokolsky, and Yi Zhang

Link

Plug-and-Play for Medical Devices: Experiences from a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth

PDF

Synchronizing an X-ray and Anesthesia Machine Ventilator: A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead, and Insup Lee

PDF

Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, and Wenke Lee

PDF

RETCON: Transactional Repair without Replay, Colin Blundell, Arun Raghavan, and Milo Martin

PDF

Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones

PDF

A Compositional Framework for Avionics (ARINC-653) Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal

PDF

A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal

PDF

Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee

PDF

Approximations of Stochastic Hybrid Systems, A Agung Julius and George J. Pappas

PDF

Trajectory Based Verification Using Local Finite-Time Invariance, A. Agung Julius and George J. Pappas

PDF

Harnessing bacterial power in microscale actuation, A. Agung Julius, M. Selman Sakar, Edward Steager, U Kei Cheang, MinJun Kim, Vijay Kumar, and George J. Pappas

PDF

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli, Agung Julius, Ádám Halász, M Selman Sakar, Harvey Rubin, Vijay Kumar, and George J. Pappas

PDF

Genetic network identification using convex programming, A Julius, Michael Zavlanos, S Boyd, and George J. Pappas

PDF

Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee

PDF

Embedded Virtual Machines for Robust Wireless Control Systems., Rahul Mangharam and Miroslav Pajic

PDF

Demo Abstract: Embedded Virtual Machines for Wiress Industrial Automation, Rahul Mangharam, Miroslav Pajic, and Shivakumar Sastry

PDF

Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Stephan A. Zdancewic

PDF

Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic

PDF

Maintaining Connectivity in Mobile Robot Networks, Nathan Michael, Michael M. Zavlanos, Vijay Kumar, and George J. Pappas

PDF

Vision-Based, Distributed Control Laws for Motion Coordination of Nonholonomic Robots, Nima Moshtagh, Nathan D. Michael, Ali Jadbabaie, and Kostas Daniilidis

PDF

Anti-Jamming for Embedded Wireless Networks, Miroslav Pajic

PDF

Embedded Virtual Machines for Wireless Industrial Automation (Demo), Miroslav Pajic and Rahul Mangharam

PDF

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee

PDF

Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke

PDF

QuanTM: A Quantitative Trust Management System, Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matthew A. Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, and Oleg Sokolsky

PDF

An Evaluation Framework for Reputation Management Systems, Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky

Papers from 2008

PDF

Elastic Multi-Particle Systems for Bounded-Curvature Path Planning, Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar

PDF

First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin

PDF

Algorithmic Analysis of Array-Accessing Programs, Rajeev Alur, Pavol Cerný, and Scott Weinstein

PDF

Compositional Feasibility Analysis for Conditional Real-Time Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee