Papers from 2005
Approximation Metrics for Discrete and Continuous Systems, Antoine Girard and George J. Pappas
Information Driven Coordinated Air-Ground Proactive Sensing, Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar, and George J. Pappas
Bisimulation relations for dynamical, control, and hybrid systems, Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas
End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System, Bong Ho Kim, Insup Lee, and Kelvin Chu
Optimal Fixed and Scalable Energy Management for Wireless Networks, Rahul Mangharam, Sofie Pollin, Bruno Bougard, Ragunathan Rajkumar, Francky Catthoor, Liesbet Van der Perre, and Ingrid Moerman
Formal Verification and its Impact on the Snooping versus Directory Protocol Debate, Milo Martin
Optimizing Transmission and Shutdown for Energy-Efficient Real-Time Packet Scheduling in Clustered Ad Hoc Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Francky Catthoor, Ingrid Moerman, Ragunathan Rajkumar, and Liesbet Van der Perre
Optimizing Transmission and Shutdown for Energy-Efficient Packet Scheduling in Sensor Networks, Sofie Pollin, Bruno Bougard, Rahul Mangharam, Liesbet Van der Perre, Francky Catthoor, Ragunathan Rajkumar, and Ingrid Moerman
Checking Correctness At Runtime using Real-Time Java, Usa Sammapun, Insup Lee, and Oleg Sokolsky
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee, and Oleg Sokolsky
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky
Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim
Opportunities and obligations for physical computing systems, John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar
Hierarchical trajectory refinement for a class of nonlinear systems, Paulo Tabuada and George J. Pappas
Quotients of fully nonlinear control systems, Paulo Tabuada and George J. Pappas
Controlling Connectivity of Dynamic Graphs, Michael M. Zavlanos and George J. Pappas
Papers from 2004
Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System, Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, and Jiaxiang Zhou
Optimal Reachability for Weighted Timed Games, Rajeev Alur, Mikhail Bernadsky, and P. Madhusudan
A Temporal Logic of Nested Calls and Returns , Rajeev Alur, Kousha Etessami, and P. Madhusudan
Optimal paths in weighted timed automata, Rajeev Alur, Salvatore La Torre, and George J. Pappas
Visibly Pushdown Languages, Rajeev Alur and P. Madhusudan
Decision Problems for Timed Automata : A Survey, Rajeev Alur and Madhusudan Parthasarathy
Hybrid Modeling and Experimental Cooperative Control of Multiple Unmanned Aerial Vehicles, Selcuk Bayraktar, Georgios E. Fainekos, and George J. Pappas
Discrete Abstractions for Robot Motion Planning and Control in Polygonal Environments, Calin Belta, Volkan Isler, and George J. Pappas
Structured Modeling of Concurrent Stochastic Hybrid Systems, Mikhail Bernadsky, Raman Sharykin, and Rajeev Alur
A Mechanism for Dynamic Coordination of Multiple Robots, Luiz Chaimowicz, R. Vijay Kumar, and Mario F. M. Campos
Synergies in Feature Localization by Air-Ground Robot Teams, Ben Grocholsky, Selcuk Bayraktar, R. Vijay Kumar, Camillo J. Taylor, and George J. Pappas
Sound Code Generation from Communicating Hybrid Models, Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi
Hybrid Control for Visibility-Based Pursuit-Evasion Games, Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas
Java-MaC: A Run-time Assurance Approach for Java Programs, Moonjoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Size Matters: Size-based Scheduling for MPEG-4 over Wireless Channels, Rahul Mangharam, Mustafa Demirhan, Ragunathan Rajkumar, and Dipankar Raychaudhuri
A Model-Based Approach to Integrating Security Policies for Embedded Devices, Michael McDougall, Rajeev Alur, and Carl A. Gunter
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, and Oleg Sokolsky
Compositional Real-Time Scheduling Framework, Insik Shin and Insup Lee
A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min
Resource Modeling for Embedded Systems Design, Oleg Sokolsky
Platform-Independent Autonomy Modeling, Oleg Sokolsky and George J. Pappas
Bisimilar control affine systems, Paulo Tabuada and George J. Pappas
Compositional abstractions of hybrid control systems, Paulo Tabuada, George J. Pappas, and Pedro Lima
Model-Based Testing and Monitoring for Hybrid Embedded Systems, Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee
Specification-Based Testing with Linear Temporal Logic, Li Tan, Oleg Sokolsky, and Insup Lee
Leader-to-Formation Stability, Herbert G. Tanner, George J. Pappas, and R. Vijay Kumar
Leader-to-Formation Stability, Herbert G. Tanner, George J. Pappas, and Vijay Kumar
Variable Reuse for Efficient Image Computation, Zijiang Yang and Rajeev Alur
Geometric Programming Relaxations for Linear System Reachability, Hakan Yazarel and George J. Pappas
Papers from 2003
Hierarchical Modeling and Analysis of Embedded Systems, Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, R. Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, and Oleg Sokolsky
Counter-Example Guided Predicate Abstraction of Hybrid Systems, Rajeev Alur, Thao Dang, and Franjo Invancic
Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic
Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, and Oleg Sokolsky
Modular Strategies for Infinite Games on Recursive Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan
Modular Strategies for Recursive Game Graphs, Rajeev Alur, Salvatore La Torre, and P. Madhusudan
Playing Games with Boxes and Diamonds, Rajeev Alur, Salvatore La Torre, and P. Madhusudan
Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, and Hasan Ural
Coordination of Groups of Mobile Autonomous Agents Using Nearest Neighbor Rules, Ali Jadbabaie, Jie Lin, and A. Stephen Morse
Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee
Formalizing Java-MaC , Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, and Stephan A. Zdancewic
Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee
Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou
Abstractions of Hamiltonian control systems, Paulo Tabuada and George J. Pappas
Finite Bisimulations of Controllable Linear Systems, Paulo Tabuada and George J. Pappas
From Discrete Specifications to Hybrid Control, Paulo Tabuada and George J. Pappas
From Nonlinear to Hamiltonian via Feedback, Paulo Tabuada and George J. Pappas
Hierarchical Trajectory Generation for a Class of Nonlinear Systems, Paulo Tabuada and George J. Pappas
Model checking LTL over controllable linear systems is decidable, Paulo Tabuada and George J. Pappas
Testing and Monitoring Model-based Generated Program, Li Tan, Jesung Kim, and Insup Lee
Stable Flocking of Mobile Agents, Part I: Fixed Topology, Herbert G. Tanner, Ali Jadbabaie, and George J. Pappas
Stable Flocking of Mobile Agents, Part II: Dynamic Topology, Herbert G. Tanner, Ali Jadbabaie, and George J. Pappas
Abstractions of Constrained Linear Systems, Herbert G. Tanner and George J. Pappas
Papers from 2002
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks, Rajeev Alur, Calin Belta, Franjo Ivancic, R. Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, and Jonathan Webb
Modeling and Analyzing Biomolecular Networks, Rajeev Alur, Calin Belta, R. Vijay Kumar, Max L. Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug
Modeling and Analyzing Biomolecular Networks, Rajeev Alur, Calin Belta, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug
Reachability Analysis of Hybrid Systems via Predicate Abstraction, Rajeev Alur, Thao Dang, and Franjo Ivancic
A Framework and Architecture for Multirobot Coordination, Rajeev Alur, Aveek J. Das, Joel Esposito, Rafael Fierro, Gregory Grudic, Yerang Hur, R. Vijay Kumar, Insup Lee, James Ostrowski, George J. Pappas, B. Southall, John R. Spletzer, and Camillo J. Taylor
Exploiting Behavioral Hierarchy for Efficient Model Checking, Rajeev Alur, Michael McDougall, and Zijiang Yang
Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan
Predictable Programs in Barcodes, Alwyn Goodloe, Michael McDougall, Carl A. Gunter, and Rajeev Alur
Testing the Electronic Throttle Control, Hyoung Seok Hong, Insup Lee, Na Young Lee, Martin Leucker, and Oleg Sokolsky
A Temporal Logic Based Theory of Test Coverage and Generation, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural
Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur and Insup Lee
Computational Analysis of Run-time Monitoring: Fundamentals of Java-MaC, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, and Mahesh Viswanathan
Monitoring, Checking, and Steering of Real-Time Systems, Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, and Oleg Sokolsky
A General Resource Framework for Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky
Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky
Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky
Flying Hot Potatoes, Pradyumna Mishra and George J. Pappas
Consistent Abstractions of Affine Control Systems, George J. Pappas and Slobodan Simic
Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements, Insik Shin, Insup Lee, and Sang Lyul Min
Bisimilar Control Affine Systems, Paulo Tabuada and George J. Pappas
Discrete synchronization of hybrid systems, Paulo Tabuada and George J. Pappas
From Nonlinear to Hamiltonian via Feedback, Paulo Tabuada and George J. Pappas
Composing Abstractions of Hybrid Systems, Paulo Tabuada, George J. Pappas, and Pedro Lima
The Effect of Feedback and Feedforward on Formation ISS, Herbert G. Tanner, R. Vijay Kumar, and George J. Pappas
Input-to-state Stability on Formation Graphs, Herbert G. Tanner, George J. Pappas, and R. Vijay Kumar
Simulation relations for discrete-time linear systems, Herbert Tanner and George J. Pappas
Papers from 2001
Fair Real-time Traffic Scheduling over a Wireless LAN, Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, and Shiyu Zhou
Coherency of Shared Memory in Ad-hoc Networks, Rajeev Alur
Shared Variables Interaction Diagrams, Rajeev Alur and Radu Grosu
Deterministic Generators and Games for LTL Fragments , Rajeev Alur and Salvatore La Torre
Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, Calin Belta, Jonathan Schug, Thao Dang, R. Vijay Kumar, George J. Pappas, Harvey Rubin, and Paul Dunlap
Multi-Agent Hybrid System Simulation, Joel Esposito, R. Vijay Kumar, and George J. Pappas