Follow

Papers from 2008

PDF

Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee

PDF

A Default Temporal Logic for Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

PDF

Checking Traces for Regulatory Conformance, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

PDF

Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

PDF

Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, and Oleg Sokolsky

PDF

Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, Sebastian Fischmeister, Insup Lee, and Robert Trausmuth

PDF

From Discrete to Continuous and Back: Abstractions and Mesoscopic Phenomena in Cells, Ádám M. Halász, A. Agung Julius, George J. Pappas, and R. Vijay Kumar

PDF

Metabolic Networks Analysis using Convex Optimization, A. Agung Julius, Marcin Imielinski, and George J. Pappas

PDF

Probabilistic Testing for Stochastic Hybrid Systems, A. Agung Julius and George J. Pappas

PDF

Recycling controllers, Hadas Kress-Gazit, Nora Ayanian, George J. Pappas, and Vijay Kumar

PDF

Courteous Cars: Decentralized Multiagent Traffic Coordination, Hadas Kress-Gazit, David C. Connor, Howie Choset, Alfred A. Rizzi, and George J. Pappas

PDF

Automatically synthesizing a planning and control subsystem for the DARPA urban challenge, Hadas Kress-Gazit and George J. Pappas

PDF

Mixed Reality, Now a Reality Network Virtualization for Real-Time Automotive-CPS Networks, Rahul Mangharam

PDF

Real-Time Traffic Congestion Prediction, Rahul Mangharam, Insup Lee, and Oleg Sokolsky

PDF

WisperNet: Anti-Jamming for Wireless Sensor Networks, Miroslav Pajic and Rahul Mangharam

PDF

MEERA: Cross-Layer Methodology for Energy Efficient Resource Allocation in Wireless Networks, Sofie Pollin, Rahul Mangharam, Bruno Bougard, Liesbet Van der Perre, Ingrid Moerman, Ragunathan Rajkumar, and Francky Catthoor

PDF

Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors, Insik Shin, Arvind Easwaran, and Insup Lee

PDF

Approximate Reduction of Dynamical Systems, Paulo Tabuada, Aaron D. Ames, Agung Julius, and George J. Pappas

PDF

Identification of stable genetic networks using convex programming, Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, and George J. Pappas

PDF

Distributed Connectivity Control of Mobile Networks, Michael M. Zavlanos and George J. Pappas

PDF

A Distributed Auction Algorithm for the Assignment Problem, Michael M. Zavlanos, Leonid Spesivtsev, and George J. Pappas

PDF

Distributed Topology Control of Dynamic Networks, Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas

PDF

Dynamic Assignment in Distributed Motion Planning With Local Coordination, Michael Zavlanos and George J. Pappas

Papers from 2007

PDF

A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems, Luis Almeida, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Composition Techniques for Tree Communication Schedules, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project, David Arney, Raoul Jetley, Paul Jones, Insup Lee, and Oleg Sokolsky

PDF

Symbolic Control and Planning of Robotic Motion [Grand Challenges of Robotics], Calin Belta, Antonio Bicci, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, and George J. Pappas

PDF

Logic-based Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky

PDF

Compositional Analysis Framework using EDP Resource Models, Arvind Easwaran, Madhukar Anand, and Insup Lee

PDF

Compositional Schedulability Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, Insik Shin, and Oleg Sokolsky

PDF

Schedulability Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee

PDF

Robust Sampling for MITL Specifications, Georgios E. Fainekos and George J. Pappas

PDF

A Verifiable Language for Programming Real-Time Communication Schedules, Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee

PDF

Approximate Bisimulation Relations for Constrained Linear Systems, Antoine Girard and George J. Pappas

PDF

Approximation Metrics for Discrete and Continuous Systems, Antoine Girard and George J. Pappas

PDF

Robust Test Generation and Coverage for Hybrid Systems, Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George Pappas

PDF

Controlling Biological Systems: The Lactose Regulation System of Escherichia Coli, Anak Agung Julius, Ádam Halasz, Vijay Kumar, and George Pappas

PDF

Resources in process algebra, Insup Lee, Anna Philippou, and Oleg Sokolsky

PDF

Bounded-Latency Alerts in Vehicular Networks, Rahul Mangharam, Raj Rajkumar, Mark Hamilton, Priyantha Mudalige, and Fan Bai

PDF

Learning Plans for Safety and Reachability Goals with Partial Observability, Wonhong Nam and Rajeev Alur

PDF

Special Issue on the Grand Challenges of Robotics, James Ostrowski, Adriana Tapus, and Mark Yim

PDF

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates, Stephen Prajna, Ali Jadbabaie, and George J. Pappas

PDF

Statistical Runtime Checking of Probabilistic Properties, Usa Sammapun, Insup Lee, Oleg Sokolsky, and John Regehr

PDF

Flocking in Fixed and Switching Networks, Herbert G. Tanner, Ali Jadbabaie, and George J. Pappas

PDF

Potential Fields for Maintaining Connectivity of Mobile Networks, Michael M. Zavlanos and George J. Pappas

Papers from 2006

PDF

Preserving Secrecy under Refinement, Rajeev Alur, Pavol Cerný, and Stephan A. Zdancewic

PDF

Languages of Nested Trees, Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan

PDF

Compositional modeling for refinement for heirarchical hybrid systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky

PDF

Adding Nesting Structure to Words, Rajeev Alur and P. Madhusudan

PDF

Sensor Network Security: More Interesting Than You Think, Madhukar Anand, Eric Cronin, Micah Sherr, Matthew A. Blaze, Zachary G. Ives, and Insup Lee

PDF

Formal Modeling and Analysis of AFDX Frame Management Design, Madhukar Anand, Samar Dajani-Brown, Steve Vestal, and Insup Lee

PDF

An Analysis Framework for Network-Code Programs, Madhukar Anand, Sebastian Fischmeister, and Insup Lee

PDF

Generating Sound and Resource-Aware Code from Hybrid System Models, Madhukar Anand, Jesung Kim, Sebastian Fischmeister, and Insup Lee

PDF

Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON, Madhukar Anand, Insup Lee, George Pappas, and Oleg Sokolsky

PDF

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study, Sebastian Burckhardt, Rajeev Alur, and Milo Martin

PDF

Incremental Schedulability Analysis of Hierarchical Real-Time Components, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee

PDF

Special Section on Symbolic Methods for Complex Control Systems, Magnus B. Egerstedt, Emilio Fazzoli, and George J. Pappas

PDF

Temporal Logic Verification Using Simulation, Georgios E. Fainekos, Antoine Girard, and George J. Pappas

PDF

Network-Code Machine: Programmable Real-Time Communication Schedules, Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee

PDF

Network-Code Machine: Programmable Real-Time Communication Schedules (Supplemental Material), Sebastian Fischmeister, Oleg Sokolsky, and Insup Lee

PDF

Cooperative Air and Ground Surveillance, Ben Grocholsky, James Keller, R. Vijay Kumar, and George J. Pappas

PDF

Cooperative Air and Ground Survaillance, Ben Grocholsky, James Keller, Vijay Kumar, and George J. Pappas

PDF

Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli, Agung Julius, Ádám Halász, R. Vijay Kumar, and George J. Pappas

PDF

R-Charon, a Modeling Language for Reconfigurable Hybrid Systems , Fabian Kratz, Oleg Sokolsky, George Pappas, and Insup Lee

PDF

High-Confidence Medical Device Software and Systems, Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha

PDF

MAX: A Maximal Transmission Concurrency MAC for Wireless Networks with Regular Structure, Rahul Mangharam and Raj Rajkumar

PDF

RT-Link: A Time-Synchronized Link Protocol for Energy-Constrained Multi-hop Wireless Networks, Rahul Mangharam, Anthoney Rowe, and Raj Rajkumar

PDF

Voice Over Sensor Networks, Rahul Mangharam, Anthony Rowe, Raj Rajkumar, and Ryohei Suzuki

PDF

GrooveNet: A Hybrid Simulator for Vehicle-to-Vehicle Networks, Rahul Mangharam, Daniel Walker, Raj Rajkumar, Priyantha Mudalige, and Fan Bai

PDF

Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies, Michael J. May, Carl A. Gunter, and Insup Lee

PDF

Securing the Drop-Box Architecture for Assisted Living, Michael J. May, Wook Shin, Carl A. Gunter, and Insup Lee

PDF

Process-Algebraic Analysis of Timing and Schedulability Properties, Anna Philippou and Oleg Sokolsky

PDF

Simulation-Based Graph Similarity, Oleg Sokolsky, Sampath Kannan, and Insup Lee

PDF

Schedulability Analysis of AADL models, Oleg Sokolsky, Insup Lee, and Duncan Clark

PDF

Linear Time Logic Control of Discrete-Time Linear Systems, Paulo Tabuada and George J. Pappas

Papers from 2005

PDF

Synthesis of Interface Specifications for Java Classes, Rajeev Alur, Pavol Cerný, P. Madhusudan, and Wonhong Nam

PDF

Dispatch Sequences for Embedded Control Models, Rajeev Alur and Arun Chandrashekharapuram

PDF

Compression of Partially Ordered Strings, Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, and Mihalis Yannakakis

PDF

On-the-fly Reachability and Cycle Detection for Recursive State Machines, Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, and P. Madhusudan

PDF

Realizability and verification of MSC graphs, Rajeev Alur, Kousha Etessami, and Mihalis Yannakakis

PDF

Congruences for Visibly Pushdown Languages, Rajeev Alur, Viraj Kumar, P. Madhusudan, and Mahesh Viswanathan

PDF

Perturbed Timed Automata, Rajeev Alur, Salvatore La Torre, and P. Madhusudan

PDF

Symbolic Compositional Verification by Learning Assumptions, Rajeev Alur, P. Madhusudan, and Wonhong Nam

PDF

Symbolic Computational Techniques for Solving Games, Rajeev Alur, P. Madhusudan, and Wonhong Nam

PDF

Distributed-Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems, Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee

PDF

Quantifying Eavesdropping Vulnerability in Sensor Networks, Madhukar Anand, Zachary G. Ives, and Insup Lee

PDF

Code Generation from Hybrid Systems Models for Distributed Embedded Systems, Madhukar Anand, Jesung Kim, and Insup Lee

PDF

Sound Code Generation from Hybrid System Models: Some Theoretical Results, Madhukar Anand, Jesung Kim, and Insup Lee

PDF

Observability of Switched Linear Systems in Continuous Time, Mohamed Babaali and George J. Pappas

PDF

Computational Techniques for Analysis of Genetic Network Dynamics, Calin Belta, Joel M. Esposito, Jongwoo Kim, and R. Vijay Kumar

PDF

Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments, Calin Belta, Volkan Isler, and George J. Pappas

PDF

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement, Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin

PDF

PolyAML: A Polymorphic Aspect-Oriented Functional Programming Language (Extended Version), Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie C. Weirich

PDF

Optimal Control of Software Ensuring Safety and Functionality, Arvind Easwaran, Sampath Kannan, and Insup Lee

PDF

Steering of Discrete Event Systems: Control Theory Approach, Arvind Easwaran, Sampath Kannan, and Oleg Sokolsky

PDF

Hybrid Controllers for Path Planning: A Temporal Logic Approach, Geogios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas

PDF

Temporal Logic Motion Planning for Mobile Robots, Geogios E. Fainekos, Hadas Kress-Gazit, and George J. Pappas

PDF

An Introduction to Multi-Valued Model Checking, Georgios E. Fainekos

PDF

Approximate Bisimulation Relations for Constrained Linear Systems, Antoine Girard and George J. Pappas

PDF

Approximate Bisimulations for Nonlinear Dynamical Systems, Antoine Girard and George J. Pappas