Papers from 2011
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
Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
ToMaTo: A Trustworthy Code Mashup Development Tool, Jian Chang, Krishna Venkatasubramanian, Andrew G. West, Sampath Kannan, Oleg Sokolsky, Myuhng Joo Kim, and Insup Lee
Removing Abstraction Overhead in the Composition of Hierarchical Real-Time System, Sanjian Chen, Linh T.X. Phan, Jaewoo Lee, Insup Lee, and Oleg Sokolsky
Video Quality Driven Buffer Sizing via Frame Drops, Deepak Gangadharan, Linh T.X. Phan, Samarjit Chakraborty, Roger Zimmermann, and Insup Lee
Modeling Cardiac Pacemaker Malfunctions with the Virtual Heart Model, Zhihao Jiang and Rahul Mangharam
Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam
Model-based Closed-loop Testing of Implantable Pacemakers, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam
Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam
Safety-Assured Development of the GPCA Infusion Pump Software, BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley
Dual Periodic Resource Model, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Realizing Compositional Scheduling through Virtualization, Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T.X. Phan, Chris Gill, Insup Lee, Chenyang Lu, and Oleg Sokolsky
Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?, Sela Mador-Haim, Rajeev Alur, and Milo Martin
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
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
Topological Conditions for Wireless Control Networks, Miroslav Pajic, Shreyas Sundaram, George J. Pappas, and Rahul Mangharam
The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
Towards a Compositional Multi-Modal Framework for Adaptive Cyber-Physical Systems, Linh T.X. Phan and Insup Lee
Compositional Analysis of Real-Time Embedded Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
A Semantic Framework for Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
Reputation-based Networked Control with Data-Corrupting Channels, Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, and George Pappas
Autonomous Link Spam Detection in Purely Collaborative Environments, Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, and Insup Lee
Link Spamming Wikipedia for Profit, Andrew G. West, Jian Chang, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee
Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence, Andrew G. West and Insup Lee
Towards the Effective Temporal Association Mining of Spam Blacklists, Andrew G. West and Insup Lee
What Wikipedia Deletes: Characterizing Dangerous Collaborative Content, Andrew G. West and Insup Lee
Papers from 2010
Generating Reliable Code from Hybrid-Systems Models, Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, and Insup Lee
Model-based Programming of Modular Robots, David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, and Mark Yim
Toward Patient Safety in Closed-Loop Medical Device Systems, David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky
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
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
Permission to Speak: A Logic for Access Control and Conformance, Nikhil Dinesh, Aravind Joshi, Insup Lee, and Oleg Sokolsky
Automated Test Coverage Measurement for Reactor Protection System Software implemented in Function Block Diagram, Eunkyoung Jee, Suin Kim, Sungdeok Cha, and Insup Lee
A Safety-Assured Development Approach for Real-Time Software, Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, and Insup Lee
Prototyping Closed Loop Physiologic Control with the Medical Device Coordination Framework, Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Procter
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
Medical Cyber Physical Systems, Insup Lee and Oleg Sokolsky
Improving Resource Utilization for Compositional Scheduling using DPRM Interfaces, Jaewoo Lee, Linh T.X. Phan, Sanjian Chen, Oleg Sokolsky, and Insup Lee
Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks, Jerome Le Ny and George J. Pappas
Adaptive Robot Deployment Algorithms, Jerome LE NY and George J. Pappas
Geometric Programming and Mechanism Design for Air Traffic Conflict Resolution, Jerome Le Ny and George J. Pappas
Joint Metering and Conflict Resolution in Air Traffic Control, Jerome Le Ny and George J. Pappas
Plug and Play Components for the Exploration of Memory Consistency Models, Sela Mador-Haim, Rajeev Alur, and Milo Martin
Generating Litmus Tests for Contrasting Memory Consistency Models - Extended Version, Sela Mador-Haim, Rajeev Alur, and Milo M.K. Martin
Spatio-Temporal Techniques for Anti-Jamming in Embedded Wireless Networks, Rahul Mangharam and Miroslav Pajic
A Framework for Validation of Implantable Medical Devices, Miroslav Pajic, Zhihao Jiang, Allison Connolly, and Rahul Mangharam
The Wireless Control Network: Synthesis and Robustness, Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, and Rahul Mangharam
The Wireless Control Network: A New Approach for Control over Networks, Miroslav Pajic, Shreyas Sundaram, George Pappas, and Rahul Mangharam
Compositional Analysis of Multi-Mode Systems, Linh T.X. Phan, Insup Lee, and Oleg Sokolsky
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
Modeling Buffers with Data Refresh Semantics in Automotive Architectures, Linh T.X. Phan, Reinhard Schneider, Samarjit Chakraborty, and Insup Lee
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
Real-time MapReduce Scheduling, Linh T.X. Phan, Zhuoyao Zhang, Boon Thau Loo, and Insup Lee
A Process Algebraic Framework for Modeling Resource Demand and Supply, Anna Philippou, Insup Lee, Oleg Sokolsky, and Jin-Young Choi
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
Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee
The Wireless Control Network: Monitoring for Malicious Behavior, Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, and George J. Pappas
Formal Analysis of Network Protocols, Anduo Wang
Mitigating Spam Using Spatio-Temporal Reputation, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee
Spam Mitigation using Spatio-Temporal Reputations from Blacklist History, Andrew G. West, Adam J. Aviv, Jian Chang, and Insup Lee
Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee
Spatio-Temporal Analysis of Wikipedia Metadata and the STiki Anti-Vandalism Tool, Andrew G. West, Sampath Kannan, and Insup Lee
STiki: An Anti-Vandalism Tool for Wikipedia using Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Sampath Kannan, and Insup Lee
Detecting Wikipedia Vandalism via Spatio-Temporal Analysis of Revision Metadata, Andrew G. West, Insup Lee, and Sampath Kannan
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
Fault Management in Distributed Systems, Wenchao Zhou
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
Multi-vehicle path planning in dynamically changing environments, Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, and George J. Pappas
Resource Scopes: Toward Language Support for Compositional Determinism, Madhukar Anand, Sebastian Fischmeister, and Insup Lee
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
Plug-and-Play for Medical Devices: Experiences from a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth
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
Dynamic Trust Management, Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, and Wenke Lee
RETCON: Transactional Repair without Replay, Colin Blundell, Arun Raghavan, and Milo Martin
Model-Based Testing of GUI-Driven Applications, Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, and Paul L. Jones
A Compositional Framework for Avionics (ARINC-653) Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal
A Compositional Scheduling Framework for Digital Avionics Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal
Hardware Acceleration for Conditional State-Based Communication Scheduling on Real-Time Ethernet, Sebastian Fischmeister, Robert Trausmuth, and Insup Lee
Approximations of Stochastic Hybrid Systems, A Agung Julius and George J. Pappas
Trajectory Based Verification Using Local Finite-Time Invariance, A. Agung Julius and George J. Pappas
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
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
Genetic network identification using convex programming, A Julius, Michael Zavlanos, S Boyd, and George J. Pappas
Multiprocessor Real-Time Scheduling Considering Concurrency and Urgency, Jinkyu Lee, Arvind Easwaran, Insik Shin, and Insup Lee
Embedded Virtual Machines for Robust Wireless Control Systems., Rahul Mangharam and Miroslav Pajic
Demo Abstract: Embedded Virtual Machines for Wiress Industrial Automation, Rahul Mangharam, Miroslav Pajic, and Shivakumar Sastry
Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Stephan A. Zdancewic
Strong and Weak Policy Relations, Michael J. May, Carl A. Gunter, Insup Lee, and Steve Zdancewic
Maintaining Connectivity in Mobile Robot Networks, Nathan Michael, Michael M. Zavlanos, Vijay Kumar, and George J. Pappas
Vision-Based, Distributed Control Laws for Motion Coordination of Nonholonomic Robots, Nima Moshtagh, Nathan D. Michael, Ali Jadbabaie, and Kostas Daniilidis
Anti-Jamming for Embedded Wireless Networks, Miroslav Pajic
Embedded Virtual Machines for Wireless Industrial Automation (Demo), Miroslav Pajic and Rahul Mangharam
Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems, Linh T.X. Phan, Samarjit Chakraborty, and Insup Lee
Process-Algebraic Interpretation of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke
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
An Evaluation Framework for Reputation Management Systems, Andrew G. West, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Papers from 2008
Elastic Multi-Particle Systems for Bounded-Curvature Path Planning, Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar
First-Order and Temporal Logics for Nested Words, Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil Immerman, and Leonid Libkin
Algorithmic Analysis of Array-Accessing Programs, Rajeev Alur, Pavol Cerný, and Scott Weinstein
Compositional Feasibility Analysis for Conditional Real-Time Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee