Papers from 2001
Efficient dynamic simulation of robotic systems with hierarchy, Joel M. Esposito and R. Vijay Kumar
Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky
Multi-Modal Control of Systems with Constraints, T. John Koo, George J. Pappas, and Shankar Sastry
A Family of Resource-Bound Real-Time Process Algebras, Insup Lee, Jin-Young Choi, Hee Hwan Kwak, Anna Philippou, and Oleg Sokolsky
Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky
Hierarchies of Stabilizability Preserving Linear Systems, George J. Pappas and Gerardo Lafferriere
Hiding Resources that Can Fail, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott A. Smolka
Abstractions of Hamiltonian Control Systems, Paulo Tabuada and George J. Pappas
Compositional Abstractions of Hybrid Control Systems, Paulo Tabuada, George J. Pappas, and Pedro Lima
Feasible Formations of Multi-Agent Systems, Paulo Tabuada, George J. Pappas, and Pedro Lima
Papers from 2000
Discrete Abstractions of Hybrid Systems, Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, and George J. Pappas
Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan
An Efficient State Space Generation for the Analysis of Real-Time Systems, Inhye Kang, Insup Lee, and Young-Si Kim
Hierarchically Consistent Control Systems, George J. Pappas, Gerardo Lafferriere, and Shankar Sastry
Papers from 1999
Distributed Spatial Control and Global Monitoring of Mobile Agents, Diana Gordon, William Spears, Insup Lee, and Oleg Sokolsky
Formally Specified Monitoring of Temporal Properties, Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Runtime Assurance Based On Formal Specifications, Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, and Mahesh Viswanathan
Papers from 1998
Ordered Choice Diagrams for Symbolic Analysis, Rajeev Alur
Timed Automata, Rajeev Alur
Alternating-time Temporal Logic, Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman
Symbolic Exploration of Transition Hierarchies, Rajeev Alur, Thomas A. Henzinger, and Sriram K. Rajamani
Membership Questions for Timed and Hybrid Automata, Rajeev Alur, R. P. Kurshan, and M. Viswanathan
Deciding Global Partial-Order Properties, Rajeev Alur, Ken McMillan, and Doron Peled
MaC: A Framework for Run-time Correctness Assurance of Real-Time Systems, Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee, and Oleg Sokolsky
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP, Hee-Hwan Kwak, Insup Lee, and Oleg Sokolsky
A Monitoring and Checking Framework for Run-time Correctness Assurance, Insup Lee, Hanene Ben-Abdallah, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, and Mahesh Viswanathan
Papers from 1996
A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee
Papers from 1995
GCSR: A Graphical Language with Algebraic Semantics for the Specification of Real-Time Systems, Hanene Ben-Abdallah, Insup Lee, and Jin Young Choi
A Process Algebra of Communicating Shared Resources with Dense Time and Priorities, Patrice Brémond-Grégoire and Insup Lee
VERSA: Verification, Execution and Rewrite System for ASCR, Duncan Clarke
Papers from 1994
An Efficient Generation of the Timed Reachability Graph for the Analysis of Real-Time Systems, Inhye Kang and Insup Lee
State Minimization for Concurrent System Analysis Based on State Space Exploration , Inhye Kang and Insup Lee
Papers from 1993
The Soundness and Completeness of ACSR (Algebra of Communicating Shared Resources), Patrice Brémond-Grégoire, Jin-Young Choi, and Insup Lee
VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee, and Hong-liang Xie
GRASP NEWS: Volume 9, Number 1, Faculty & Graduate Students
A State Minimization Algorithm for Communicating State Machines with Arbitrary Data Space, Inhye Kang and Insup Lee
A Process Algebraic Approach To The Specification and Analysis of Resource-Bound Real-time Systems, Insup Lee, Patrice Brémond-Grégoire, and Richard Gerber
Fast Parallel Deterministic and Randomized Algorithms for Model Checking, Insup Lee and Sanguthevar Rajasekaran
Parallel Algorithms for Relational Coarsest Partition Problems, Sanguthevar Rajasekaran and Insup Lee
Papers from 1992
Proving Properties of Real-Time Distributed Systems: A Comparison of Three Approaches, Patrice Brémond-Grégoire, Susan B. Davidson, and Insup Lee
A Resource-Based Prioritized Bisimulation for Real-Time Systems, Richard Gerber and Insup Lee
GRASP News, Volume 8, Number 1, Faculty & Graduate Students
Papers from 1991
Timed Atomic Commitment, Susan B. Davidson, Insup Lee, and Victor Wolfe
Specification and Analysis of Resource-Bound Real-Time Systems, Richard Gerber and Insup Lee
GRASP NEWS: Volume 7, Number 1, Faculty & Graduate Students
Equational and Rule-Based Programming: Visualization, Reliability, and Knowledge Base Generation, Jee-In Kim
Communicating Shared Resources: A Paradigm For Integrating Real-Time Specification And Implementation, Insup Lee, Susan B. Davidson, and Richard Gerber
RTC: Language Support For Real-Time Concurrency, Victor Wolfe, Susan B. Davidson, and Insup Lee
RTC: Language Support for Real-Time Concurrency, Victor Wolfe, Susan B. Davidson, and Insup Lee
Papers from 1990
A Resource-Based Prioritized Bisimulation for Real-Time Systems, Richard Gerber and Insup Lee
CCSR: A Calculus for Communicating Shared Resources, Richard Gerber and Insup Lee
GRASP News, Volume 6, Number 1, Faculty & Graduate Students
Design, Implementation, and Evaluation of a Distributed Real-Time Kernel for Distributed Robotics (Dissertation Proposal), Robert B. King
A Performance Analysis of Timed Synchronous Communication Primitives, Insup Lee and Susan B. Davidson
Papers from 1989
Timed Atomic Commitment, Susan B. Davidson, Insup Lee, and Victor Wolfe
Communicating Shared Resources: A Model for Distributed Real-Time Systems, Richard Gerber and Insup Lee
Language Constructs for Distributed Real-Time Consistency, Victor Wolfe, Susan Davidson, and Insup Lee
A Two-Arm Exploratory System for Identifying Moving and Removable Parts, Xiaoping Yan, Robert King, Insup Lee, and R. Vijay Kumar
Papers from 1988
Partial Computation in Real-Time Database Systems: A Research Plan, Susan B. Davidson and Insup Lee
A Complete Axiomatization of Real-Time Processes, Richard Gerber, Insup Lee, and Amy E. Zwarico
Formally Integrating Real-Time Specification: A Research Proposal, Insup Lee, Susan B. Davidson, and Richard Gerber
RK: A Real-Time Kernel for a Distributed System With Predictable Response, Insup Lee, Robert King, and Richard Paul
Reverse Software Engineering, Noah S. Prywes, X. Ge, Insup Lee, and M. Song
Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks, David Smitley and Insup Lee
Comparative Analysis of Hill Climbing Mapping Algorithms, David L. Smitley and Insup Lee
Modeling Reliable Distributed Real-time Programs, Victor Wolfe, Susan B. Davidson, and Insup Lee
Papers from 1987
Adding Time to Synchronous Process Communications, Insup Lee and Susan B. Davidson
Motivating Time as a First Class Entity, Insup Lee, Susan B. Davidson, and Victor Fay-Wolfe
Papers from 1985
Language Constructs for Distributed Real-Time Programming, Insup Lee and Vijay Gehlot
Papers from 1984
A Programming System for Distributed Real-Time Applications, Insup Lee