Refereed Publications

• Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors
  with Insik Shin and Insup Lee, (to appear) Euromicro Conference on Real-Time Systems (ECRTS 2008), July 2-4, Prague, Czech Republic

• Interface Algebra for Analysis of Hierarchical Real-Time Systems
  with Insup Lee and Oleg Sokolsky, International Workshop on Foundations in Interface Technology (FIT 2008), April 5, Budapest, Hungary

• Compositional Feasibility Analysis of Conditional Real-Time Task Models
  with Madhukar Anand, Sebastian Fischmeister, and Insup Lee, International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), May 5-7, Florida, USA

• Compositional Analysis Framework using EDP Resource Models
  with Madhukar Anand and Insup Lee, IEEE Real-Time Systems Symposium (RTSS 2007), Dec 3-6, Tucson, Arizona, USA

• Compositional Schedulability Analysis of Hierarchical Real-Time Systems
  with Insup Lee, Insik Shin, and Oleg Sokolsky, International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), May 7-9, Santorini Island, Greece

• Incremental Schedulability Analysis of Hierarchical Real-Time Components
  with Insik Shin, Oleg Sokolsky, and Insup Lee, International ACM & IEEE Conference on Embedded Software (EMSOFT 2006), October 22-25, Seoul, South Korea

• Steering of Discrete Event Systems: Control Theory Approach
  with Sampath Kannan and Oleg Sokolsky, International Workshop on Runtime Verification (RV 2005), July 12, Edinburgh, Scotland

• Simulation of Simultaneous Events in Regular Expressions
  with Usa Sammapun, Insup Lee, and Oleg Sokolsky, International Workshop on Runtime Verification (RV 2004), April 3, Barcelona, Spain

Submissions

• On the Complexity of Generating Optimal Interfaces for Hierarchical Systems
  with Madhukar Anand, Insup Lee, and Oleg Sokolsky

• Incremental Schedulability Analysis of Hierarchical Real-Time Systems
  with Insik Shin, Insup Lee, and Oleg Sokolsky

Under Preparation

• Optimal Multiprocessor Scheduling Algorithm for Explicit Deadline Periodic Task Sets
  with Insik Shin and Insup Lee

Technical Reports

• Fundamental Issues in Compositional Schedulability Analysis
  Dissertation Proposal

• Associative Composition of Hierarchical Real-Time Systems
  with Insik Shin, Oleg Sokolsky, and Insup Lee, University of Pennsylvania, Technical Report: MS-CIS-06-06, 2006

• Bounding Preemptions under EDF and RM Schedulers
  with Insik Shin, Insup Lee, and Oleg Sokolsky, University of Pennsylvania, Technical Report: MS-CIS-06-07, 2006

• Inferring Automata and its Application to Compositional Verification
  PhD Qualifying Exam (WPE II)

• Verification and Testing of Natural Language Policy Documents
  with David Arney, Nikhil Dinesh, and Insup Lee, University of Pennsylvania, Technical Report: MS-CIS-05-25, 2005

• Optimal Control of Software ensuring Safety and Functionality
  with Sampath Kannan and Insup Lee, University of Pennsylvania, Technical Report: MS-CIS-05-20, 2005

Presentations

• Interface Algebra for Analysis of Hierarchical Real-Time Systems
  International Workshop on Foundations in Interface Technology (FIT 2008), April 5, Budapest, Hungary

• Fundamental Issues in Compositional Schedulability Analysis
  Dissertation Proposal Defense, Dec 13 2007, University of Pennsylvania, Philadelphia, USA

• Compositional Schedulability Analysis for Cyber-Physical Systems
  IEEE Real-Time Systems Symposium, PhD Forum (RTSS 2007), Dec 3-6, Tucson, Arizona, USA

• Compositional Analysis Framework using EDP Resource Models
  IEEE Real-Time Systems Symposium (RTSS 2007), Dec 3-6, Tucson, Arizona, USA

• Compositional Schedulability Analysis (Paper by Giuseppe Lipari and Enrico Bini)
  Systems Lunch, University of Pennsylvania, November 2007

• Incremental Schedulability Analysis of Hierarchical Real-Time Components
  International ACM & IEEE Conference on Embedded Software (EMSOFT 2006), Oct 22-25, Seoul, South Korea

• Inferring Automata and its Application to Compositional Verification
  PhD Qualifying Exam (WPE II), February 2006, University of Pennsylvania

• Optimal Control of Software ensuring Safety and Functionality
  ONR-MURI Meeting, August 2005,University of Wyoming, Laramie

• Steering of Discrete Event Systems: Control Theory Approach
  International Workshop on Runtime Verification RV'05, July 12 2005, Edinburgh, Scotland

• TinyOS : Operating System for Sensor Networks
  CIS 640 : Embedded Systems Seminar, Spring 2004, University of Pennsylvania