2008

• [FLT08]
  Hardware Acceleration for Verifiable, Adaptive Real-Time Communication, Sebastian Fischmeister, Insup Lee, and Robert Trausmuth, (To Appear) Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Hamburg, Germany, September 2008
  Abstract - PDF
• [SoCh08]
  Analysis of AADL Models Using Real-Time Calculus with Applications to Wireless Architectures, Oleg Sokolsky and Alexander Chernoguzov, University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-08-25, 23 July 2008
  Abstract - PDF
• [DJL08]
  Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky, Proceedings of the Ninth International Conference on Deontic Logic in Computer Science (DEON'08), Luxembourg, July 15-18, 2008
  Abstract - PDF
• [SEL08]
  Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors, Insik Shin, Arvind Easwaran, Insup Lee, Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS 08), Prague, Czech Republic, July 2-4, 2008
  Abstract - PDF
• [AnLe08]
  Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee, Proceedings of the ACM SIGPLAN/SIGBED 2008 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2008), Tucson, AZ, Jun 12-13, 2008
  Abstract - PDF
• [AEF08]
  Compositional Feasibility Analysis for Conditional Task Models, Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, and Insup Lee, Proceedings of the 11th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2008), Orlando, Florida, May 5-7, 2008
  Abstract - PDF
• [ShLe08]
  Compositional Real-Time Scheduling Framework with Periodic Model, Insik Shin and Insup Lee, ACM Transactions on Embedded Computing Systems (TECS), vol 7, no 3, April 2008 Abstract - PDF
• [ELS08]
  Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, Proceedings of the Foundations of Interface Technologies (FIT'08), Satellite workshop of ETAPS'08, Budapest, Hungary, April 5, 2008 Abstract - PDF
• [DJL08]
  Checking Traces for Regulatory Conformance, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky, Proceedings of the Eighth Workshop on Runtime Verification (RV'08), Satellite workshop of ETAPS'08, Budapest, Hungary, March 30, 2008 Abstract - PDF
• [LSK08]
  A design framework for real-time embedded systems with code size and energy constraints, Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang L. Min, ACM Transactions on Embedded Computing Systems (TECS), vol 7, no 2, February 2008 Abstract - PDF

2007

• [PS07]
  Process-Algebraic Analysis of Timing and Schedulability Properties, A. Philippou and O. Sokolsky, Handbook of Real-Time and Embedded Systems, Chapman and Hall/CRC, 2007
  Abstract - PDF
• [EAL07]
  Compositional Analysis Framework using EDP Resource Models, Arvind Easwaran, Madhukar Anand, and Insup Lee, RTSS 2007, Tucson, Arizona, December 3-6, 2007
  Abstract - PDF
• [FSL07]
  A Verifiable Language for Programming Communication Schedules, S. Fischmeister, O. Sokolsky, and I. Lee, IEEE Transactions on Computers, Vol. 56, pp. 1505-1519, November 2007
  Abstract - PDF
• [AAF07]
  A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems, L. Almeida, M. Anand, S. Fischmeister, and I. Lee, Proceedings of the 7th Annual ACM Conference on Embedded Software (emSoft '07), Salzburg, Austria, October 2007
  Abstract - PDF
• [AFL07]
  Composition Techniques for Tree Communication Schedules, M. Anand and S. Fischmeister and I. Lee, Proceedings of the 19th Euromicro Conference on Real-Time Systems (ECRTS 2007), Pisa, Italy, July 2007, pp. 235-246
  Abstract - PDF
• [AJJ07]
  Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project, David Arney, Raoul Jetley, Paul Jones, Insup Lee, Oleg Sokolsky, Proceedings of 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, Boston, MA, June 25-27, 2007
  Abstract - PDF
• [LPS07]
  Resources in process algebra, Insup Lee, Anna Philippou, Oleg Sokolsky, Journal of Logic and Algebraic Programming, Vol. 72, pp. 98-122, May/June 2007
  Abstract - PDF
• [JFA07]
  Robust Test Generation and Coverage for Hybrid Systems, A Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George Pappas, Proceedings of 10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007), Pisa, Italy, April 2007, pp. 329-342
  Abstract - PDF
• [SLS07]
  Statistical Runtime Checking of Probabilistic Properties, U. Sammapun, I. Lee, O. Sokolsky, and John Regehr, Proceedings of the 7th Workshop on Run-time Verification, LNCS 4839, pp. 164-175, Vancouver, B.C., Canada, March 13, 2007
  Abstract - PDF

2006

• [AGL06]
  Compositional modeling for refinement for hierarchical hybrid systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky, The Journal of Logic and Algebraic Programming, Volume 68, Issue 1-2, 2006, pp. 105-128
  Abstract - PDF
• [MSG06]
  Securing the Drop-Box Architecture for Assisted Living, Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee, Proceedings of the 4th ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2006), George Mason University, Fairfax, Virginia, November 3, 2006
  Abstract - PDF
• [AFL06]
  An Analysis Framework for Network-Code Programs, Madhukar Anand, Sebastian Fischmeister, and Insup Lee, Proceedings of the 6th ACM International Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006
  Abstract - PDF
• [ESS06]
  Incremental Schedulability Analysis of Hierarchical Real-Time Components, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee, Proceedings of the 6th ACM International Conference on Embedded Software (EMSOFT 2006), Seoul, South Korea, October 22-25, 2006
  Abstract - PDF
• [ALS06]
  Unit & Dynamic Typing in Hybrid Systems Modeling with CHARON, Madhukar Anand, Insup Lee, Oleg Sokolsky, and George Pappas, Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2006), Technische Universitet Munchen, Munich, Germany, October 4-6, 2006
  Abstract - PDF
• [ACS06]
  Sensor Network Security: More Interesting Than You Think, Madhukar Anand, Eric Cronin, Micah Sherr, Matt Blaze, Zachary Ives and Insup Lee, Proceedings of the 1st USENIX Workshop on Hot Topics in Security (HotSec 2006), Vancouver, B.C. Canada, July 31, 2006
  Abstract - PDF
• [MGL06]
  Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies, Michael J. May, Carl A. Gunter, and Insup Lee, Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW 2006), Venice, Italy, July 5-7, 2006
  Abstract - PDF
• [LPC06]
  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, IEEE Computer, Volume 39, Issue 4, April 2006, pages 33-38
  Abstract - PDF
• [SLC06]
  Schedulability Analysis of AADL Models, Oleg Sokolsky, Insup Lee, and Duncan Clarke, 14th International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), Island of Rhodes, Greece, April 25-26, 2006
  Abstract - PDF
• [ADV06]
  Formal Modeling and Analysis of AFDX Frame Management Design, Madhukar Anand, Samar Dajani-Brown, Steve Vestal, and Insup Lee, Proceedings of the 9th IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2006), Gyeongiu, Korea, April 24-26, 2006
  Abstract - PDF
• [FSL06]
  Network-Code Machine: Programmable Real-Time Communication Schedules, Sebastian Fischmeister, and Oleg Sokolsky, and Insup Lee, Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), SanJose, California, April 5-7, 2006
  Abstract - PDF - Supplemental Material
• [KSP06]
  R-Charon, a Modeling Language for Reconfigurable Hybrid Systems, Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee, Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006) , Santa Barbara, CA, USA, March 29-31, 2006, LNCS3927, pages 392-406
  Abstract - PDF
• [SKL06]
  Simulation-Based Graph Similarity, Oleg Sokolsky, Sampath Kannan, and Insup Lee, Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), Vienna, Austria, March 27-30, 2006, LNCS3920, pages 426-440
  Abstract - PDF
• [AKF06]
  Generating Sound and Resource-Aware Code from Hybrid System Models, Madhukar Anand, Jesung Kim, Sebastian Fischmeister, and Insup Lee, Proceedings of the 2nd Workshop on Advanced Automotive Software and Systems Development (ASWSD 2006), University of California, San Diego, March 15-17, 2006
  Abstract - PDF

2005

• [SLS05a]
  Checking Correctness At Runtime using Real-Time Java, Usa Sammapun, Insup Lee and Oleg Sokolsky, Proceedings of the 3rd Workshop on Java Technologies for Real-time and Embedded Systems (JTRES'05), San Diego, CA, October 17, 2005
  Abstract - PDF
• [SLM05]
  Opportunities and obligations for physical computing systems, John A. Stankovic, Insup Lee, Aloysius Mok, and Raj Rajkumar, Computer, Volume 38, Issue 11, November 2005, pages 23-31
  Abstract - PDF
• [HLS05]
  Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking, Hyoung Seok Hong, Insup Lee, and Oleg Sokolsky, 5th International Workshop on Source Code Analysis and Manipulation (SCAM), Budapest, Hungary, Sept 30-Oct 1, 2005
  Abstract - PDF
• [AFK05]
  Distributed Code Generation from Hybrid Systems Models for Timedelayed Multirate Systems, Madhukar Anand, Sebastian Fischmeister, Jesung Kim, and Insup Lee, Proceedings of EMSOFT'05, Jersey City, New Jersey, USA, September 19-22, 2005
  Abstract - PDF
• [AIL05]
  Quantifying Eavesdropping Vulnerability in Sensor Networks, Madhukar Anand, Zachary G. Ives, and Insup Lee, Proceedings of the 2nd International VLDB Workshop on Data Management for Sensor Networks, DMSN'05, Trondheim, Norway, August 29, 2005
  Abstract - PDF
• [SLS05b]
  RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee and Oleg Sokolsky, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA'05, Hong Kong, August 17-19, 2005
  Abstract - PDF
• [SSL05]
  Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim, Proceedings of the Fifth Workshop on Runtime Verification, RV'05, The University of Edinburgh, Scotland, UK, July 12, 2005
  Abstract - PDF
• [EKS05]
  Steering of Discrete Event Systems: Control Theory Approach , Arvind Easwaran, Sampath Kannan, and Oleg Sokolsky, Proceedings of the Fifth Workshop on Runtime Verification, RV'05, The University of Edinburgh, Scotland, UK, July 12, 2005
  Abstract - PDF
• [KLC05]
  End-to-end Application Performance Impact on Scheduler in CDMA-1XRTT Wireless System, Bong Ho Kim, Insup Lee, and Kelvin Chu, IEEE 61st Vehicular Technology Conference. VTC2005 - Spring , Volume 5, pages 2770-2774 Stockholm, Sweden, May 30 - June 1, 2005
  Abstract - PDF
• [AKL05]
  Code Generation from Hybrid Systems Models for Distributed Embedded System, Madhukar Anand, Jesung Kim, and Insup Lee, Proceedings of the 8th IEEE International Symposium on Object-oriented Real-time distributed Computing, ISORC'05, Seattle, Washington, May 18-20, 2005
  Abstract - PDF

2004

• [SL04]
  Compositional Real-Time Scheduling Framework, Insik Shin, Insup Lee, Proceedings of the 25th IEEE Real-Time Systems Symposium, RTSS 2004, Lisbon, Portugal, December 6-8, 2004
  Abstract - PDF
• [TKS04]
  Model-based Testing and Monitoring for Hybrid Embedded Systems, Li Tan, Jesung Kim, Oleg Sokolsky, and Insup Lee, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI - 2004), Las Vegas, Nevada, USA, November 8-10, 2004
  Abstract - PDF
• [TSL04]
  Specification-based Testing with Linear Temporal Logic, Li Tan, Oleg Sokolsky, and Insup Lee, Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration (IRI - 2004), Las Vegas, Nevada, USA, November 8-10, 2004
  Abstract - PDF
• [SP04]
  Platform-Independent Autonomy Modeling, Oleg Sokolsky and George Pappas, Proceedings of the 4th International Conference on Intelligent Systems Design and Applications (ISDA 2004), Budapest, Hungary, August 26-28, 2004.
  Abstract - PDF
• [SLM04]
  A Design Approach for Real-Time Embedded Systems with Energy and Code Size Constraints, Insik Shin, Insup Lee, and Sang Lyul Min Proceedings of the 10th Real-time and Embedded Computing Systems and Applications Conference, RTCSA 2004, Gothenburg, Sweden, August 25-27, 2004
  Abstract - PDF File
• [Sok04]
  Resource Modeling for Embedded Systems Design, Oleg Sokolsky Proceedings of the Workshop on Software Technologies for Future Embedded and Ubiquitous Computing (WSTFEUS 2004), Vienna, Austria, May 11-12, 2004
  Abstract - PDF
• [KKLSV04]
  Java-MaC: a Rigorous Run-time Assurance Tool for Java Programs, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan Formal Methods in Systems Design, Vol 24, No 2, March 2004
  Abstract - PDF File
• [SELS04]
  Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification, Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky, Proceeding of Runtime Verification Workshop (RV'04), Barcelona, Spain, April 3, 2004
  Abstract - PDF File
• [AAG04]
  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, Jiaxiang Zhou International Journal in Software Tools for Technology Transfer (2004) 4: 1-12
  Abstract - PDF File
• [HSCC04]
  Sound Code Generation from Communicating Hybrid Models, Yerang Hur, Jesung Kim, Insup Lee, and Jin-Young Choi, Proceedings of Hybrid Systems: Computation and Control (HSCC04), Philadelphia, Pennsylvania, March 25-27, 2004, LNCS 2939, pp. 432-447, 2004
  Abstract - PDF File

2003

• [SS03]
  Regular Expressions for Run-Time Verification, Usa Sammapun, Oleg Sokolsky, Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taipei, Taiwan, December 10-12, 2003
  Abstract - PDF File
• [RTSS03]
  Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee,   Proceeding of the 24th IEEE Real-Time Systems Symposium, RTSS 2003 Cancun, Mexico, December 3-5, 2003
  Awarded as the Best Paper of RTSS 2003.
  Abstract - PDF File
• [TKL03]
  Testing and Monitoring Model-based Generated Program, Li Tan, Jesung Kim, and Insup Lee,   Proceeding of Runtime Verification Workshop (RV'03), Boulder, Colorado, July 13, 2003
  Abstract - PDF File
• [LCTES03]
  Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee and Oleg Sokolsky, Proceeding of ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, California, June 11-13, 2003
  Abstract - PDF File
• [RTAS03]
  Modular Code Generation from Hybrid Automata based on Data Dependency, Jesung Kim and Insup Lee, Proceedings of The 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), Washington, DC, May 27-30, 2003
  Abstract - PDF File
• [HC03]
  Data Flow Testing as Model Checking, Hyoung Seok Hong, Sung Deok Сha, Insup Lee, Oleg Sokolsky, and Hasan Ural,  Proceedings of ICSE'03, Portland, Oregon, May 3-10, 2003
  Abstract - PDF File
• [SPL03]
  Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou,  Proceedings of TACAS'03, Warsaw, Poland, April 7-11, 2003, LNCS 2619, pp. 409-425
  Abstract - PDF File
• [ADE03]
  Hierarchical Modeling and Analysis of Embedded Systems, Rajeev Alur, Thao Dang, Joel Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, and Oleg Sokolsky,  Proceedings of IEEE, Vol. 91, No 1, January 2003, pp. 11-28
  Abstract - PDF File

2002

• [LPS02a]
  Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky,  Computing and Control Engineering Journal, Vol 13, Number 4, pp. 180-188
  Abstract - PDF File
• [ABI02]
  Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks, Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, and Jonathan Webb Proceedings of the 9th International Conference on High Performance Computing (HiPC 2002) , Bangalore, India, December 18-21, 2002
  LNCS2552, pages 702-712 Abstract - PDF File
• [SLM02]
  Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements, Insik Shin, Insup Lee, Sang Lyul Min,  Proceedings of the 23rd IEEE Real-Time Systems Symposium, RTSS 2002, Austin, TX, December 2-5, 2002
  Abstract - PDF File
• [LPS02b]
  A General Resource Framework for Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky,  Proceedings of the Monterey Workshop, Venice, Italy, October 8-11, 2002
  Abstract - PDF File
• [KKL02]
  Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan,  2nd International Workshop on Run-time Verification. Copenhagen, Denmark, July 26, 2002;Electronic Notes in Theoretical Computer Science 70 No. 4
  Abstract - PDF File
• [KLS02]
  Monitoring, Checking, and Steering of Real-Time Systems, Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky,  2nd International Workshop on Run-time Verification. Copenhagen, Denmark, July 26, 2002; Electronic Notes in Theoretical Computer Science 70 No. 4
  Abstract - PDF File
• [HL02]
  Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur, Insup Lee,  IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC), Crystal City, Virginia, USA, April 29-May 1, 2002
  Abstract - PDF File
• [HLS02]
  A Temporal Logic Based Theory of Test Coverage and Generation, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, and Hasan Ural,  International  Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002), Grenoble, France, April 8 - 11, 2002
  Abstract - PDF File
• [BGK02]
  Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky,  and Mahesh Viswanathan,  IEEE Transactions on Software Engineering, Vol. 28, No. 2, Feb 2002, pp. 129-145.  (Special Issue on Selected Papers from International  Symposium on  Sotware Testing and Analysis, 2000.)
  Abstract - PDF File

2001

• [AKL01]
  Fair Real-time Traffic Scheduling over A Wireless LAN, Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou, Proceedings of the 22nd IEEE Real-Time Systems Symposium, RTSS 2001, London, UK, December 3-6, 2001
  Abstract - PDF File
• [LPS01]
  Formal Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky, Proceedings of IEEE/IEE Workshop on Real-Time Embedded Systems (RTES'2001), London, UK, December 3, 2001
  Abstract - PDF File
• [KKL01]
  Java-MaC: a Run-time Assurance Tool for Java, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, 1st International Workshop on Run-time Verification. Paris, France, July 23, 2001;  Electronic Notes in Theoretical Computer Science 55 No. 2 (2001)
  Abstract - Full Postscript File - PDF File
• [PSL01]
  Hiding Resources that Can Fail, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott Smolka, Information Processing Letters Volume 80, Issue 1, Oct 2001
  Abstract - PDF File
• [ADE01]
  Hierarchical Hybrid Modeling of Embedded Systems,  Rajeev Alur, Thao Dang, Joel Esposito, R. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, and Oleg Sokolsky, Proceedings of EMSOFT'01: First Workshop on Embedded Software, Tahoe City, California, USA, Oct 8 - 10, 2001.
  Abstract - Full Postscript File - PDF File
• [SL01]
  Characterizing Non-Zenoness on Real-Time Processes,  Jitka Stribrna and Insup Lee, Proceedings of Model for Time-Critical Systems (MTCS'01), Aalborg, Denmark, Aug 25, 2001.
  Abstract - Full Postscript File - PDF File
• [LCK01]
  A Family of Resource-Bound Real-time Process Algebras,  Insup Lee, Jin-Young Choi, Hee-Hwan Kwak,  Anna Philippou, and Oleg Sokolsky, Proceedings of 21st International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), Cheju Island, Korea, August 2001.
  Abstract - PDF File
• [HLS01]
  Automatic Test Generation from Statecharts Using Model Checking, Hyoung Seok Hong, Insup Lee, Oleg Sokolsky and Sung Deok Сha,   Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, August 2001. BRICS Notes Series, NS-01-4, pp. 15-30.
  Abstract - PDF File
• [SH01]
  Qualitative Modeling of Hybrid Systems, Oleg Sokolsky and Hyoung Seok Hong,   Proceedings of the Monterey Workshop, June 2001
  Abstract - PDF File
• [AGL01]
  Compositional Refinement for Hierarchical Hybrid Systems, Rajeev Alur, Radu Grosu, Insup Lee, and Oleg Sokolsky,   Hybrid Systems: Computation and Control, LNCS 2034, pp. 33-48, March 2001
  Abstract - Full Postscript File - PDF File

2000

• [AGH00]
  Modular specifications of hybrid systems in CHARON, Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, and Insup Lee,   Hybrid Systems: Computation and Control, LNCS 1790, pp. 6-19, 2000
  Abstract - Full Postscript File - PDF File
• [ADE00]
  A framework and architecture for multirobot coordination, Rajeev Alur, A. Das, Joel Esposito, R. Fierro, Yerang Hur, G. Grudic, Vijay Kumar, Insup Lee, J. Ostrowski, George Pappas, J. Southall, J. Spletzer, and C. Taylor,  Seventh International Symposium on Experimental Robotics-ISER00, Honolulu, Hawaii, Dec. 10-13, 2000
  Abstract - Full Postscript File - PDF File
• [PLS00]
  Weak Bisimulation for Probabilistic Systems, Anna Philippou, Insup Lee, and Oleg Sokolsky,  Proceedings of CONCUR'00, August 2000.
  Abstract - Full Postscript File - PDF File
• [BGK00]
  Verisim: Formal Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan,  Proceedings of the International Symposium on Software Testing and Analysis, August 2000.
  Abstract - PDF File
• [KLK00]
  An Efficient State Space Generation for the Analysis of Real-time Systems, Inhye Kang, Insup Lee, and Young Si Kim, IEEE Transactions of Software Engineering, Vol. 26, No. 5, 2000.
  Abstract - PDF File

1999

• [SLB99]
  Specification and Analysis of Real-Time Systems with PARAGON, Oleg Sokolsky,  Insup Lee, and Hanêne Ben-Abdallah,  Annals of Software Engineering, Vol. 7, 1999.
  Abstract - Full Postscript File - PDF File
• [GSL99]
  Distributed Spatial Control and Global Monitoring of Mobile Agents, Diana Gordon, William Spears, Insup Lee, and Oleg Sokolsky, Proceedings. 1999 International Conference on Information, Intelligence, and Systems,, November 1999, pages 681-688.
  Abstract - PDF File
• [AEK99]
  Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination, Rajeev Alur, Joel Esposito, Moonjoo Kim, Vijay Kumar and Insup Lee, Proceedings of FM'99 Toulouse, France, 20 - 24 September, 1999.
  Abstract - Full Postscript File - PDF File
• [LKK99]
  Runtime Assurance Based On Formal Specifications, Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan, Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 28-July1, 1999.
  Abstract - PDF File
• [KVL99]
  Formally Specified Monitoring of Temporal Properties, Moonjoo Kim, Mahesh Viswanathan, Insup Lee, Hanêne Ben-Abdellah, Sampath Kannan, and Oleg Sokolsky, Proceedings of the European Conference on Real-Time Systems, York, UK, June 9-11, 1999
  Abstract - PDF File

1998

• [BeLe98]
  A Graphical Language for Specifying and Analyzing Real-Time Systems, Hanêne Ben-Abdallah and Insup Lee, Special Issue of Integrated Computer-Aided Engineering on Real-time Engineering Systems, Vol 5, No 4, 1998.
  Abstract - Full Postscript File - PDF File
• [BCC98]
  A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems, Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee and Hong-Liang Xie, Real-Time Systems, Vol 15, 1998.
  Abstract- Full Postscript File - PDF File
• [KLP98]
  Symbolic Schedulability Analysis of Real-time Systems, Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi and Oleg Sokolsky, IEEE Real-Time Systems Symposium, December 1998.
  Abstract - Full Postscript File - PDF File
• [KLS98]
  Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP, Hee-Hwan Kwak, Insup Lee, and Oleg Sokolsky, Proceedings 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, Camel-By-The-Sea, CA, Oct 27-29, 1998
  Abstract - PDF File
• [LBK98]
  A Monitoring and Checking Framework for Run-time Correctness Assurance, Insup Lee, Hanêne Ben-Abdellah, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan, Proceedings 1998 Korea-U.S. Technical Conference on Strategic Technologies, Vienna, VA, Oct 22-24, 1998
  Abstract - PDF File
• [PCL98]
  Probabilistic Resource Failure in Real-Time Process Algebra, Anna Philippou, Rance Cleaveland, Insup Lee, Scott Smolka, and Oleg Sokolsky, CONCUR '98, September 1998.
  Abstract - Full Postscript File - PDF File
• [RaLe98]
  Parallel Algorithms for Relational Coarsest Partition Problems, S. Rajasekaran and Insup Lee, IEEE Transactions on Parallel and Distributed Systems, Vol 9, No 7, July 1998
  Abstract - Full Postscript File - PDF File
• [PSL98]
  Specifying Failures and Recoveries in PACSR, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott Smolka, Proceedings of Workshop on Probabilistic Methods in Verification, Jun 1998.
  Abstract - Full Postscript File - PDF File
• [SYL98]
  Verification of the Redundancy Management System for Space Launch Vehicle, Oleg Sokolsky, Mohamed Younis, Insup Lee, Hee-Hwan Kwak, and Jeff Zhou, Proceedings of RTAS '98, Jun 1998.
  Abstract - Full Postscript File - PDF File
• [KCL98]
  Symbolic weak Bisimulation for Value-Passing Calculi, Hee-Hwan Kwak, Jin-Young Choi, Insup Lee and Anna Philippou, Technical Report MS-CIS-98-22, Department of Computer and Information Science, University of Pennsylvania, May 1998.
  Abstract - Full Postscript File - PDF File

1997

• [BrLe97]
  A Process Algebra of Communicating Shared Resources with Dense Time and Priorities, Patrice  Bremond-Gregoire and Insup Lee, Theoretical Computer Science , 189 1997.
  Abstract - Full Postscript File - PDF File
• [BCL97b]
  A Complete Axiomatization of Finite-state (ACSR) Processes, Patrice  Bremond-Gregoire, Jin-Young Choi and Insup Lee, Information and Computation, Nov 1997.
  Abstract - Full Postscript File - PDF File
• [LeSo97]
  A Graphical Property Specification Language, Insup Lee and Oleg Sokolsky, Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering, Aug 1997.
  Abstract - Full Postscript File - PDF File
• [BLS97]
  Operational Semantics for Visual Simulation in PARAGON, Hanêne Ben-Abdallah, Insup Lee and Oleg Sokolsky, Proceedings of IEEE National Aerospace and Electronics Conference, Jul 1997.
  Abstract - Full Postscript File - PDF File
• [ClLe97b]
  Automatic Test Generation for the Analysis of a Real-Time System: Case Study, Duncan Clarke and Insup Lee, Proceedings of 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97), Jun 1997.
  Abstract - Full Postscript File - PDF File
• [ClLe97a]
  Automatic Generation of Tests for Timing Constraints from Requirements, Duncan Clarke and Insup Lee, Proceedings of WORDS '97: IEEE 3rd International Workshop on Object-oriented Real-time Dependable Systems, Feb 1997.
  Abstract - Full Postscript File - PDF File
• [BCL97a]
  PARAGON: A Paradigm for the Specification, Verification, and Testing of Real-Time Systems, Hanêne Ben-Abdallah and Duncan Clarke and Insup Lee and Oleg Sokolsky, IEEE Aerospace Conference, Feb 1997.
  Abstract - Full Postscript File - PDF File
• [BLK97]
  The Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements, Hanêne Ben-Abdallah, Insup Lee and Young Si Kim, Proceedings of the International Symposium on Requirements Engineering, Anapolis, MD, Jan 1997.
  Abstract - Full Postscript File - PDF File

1996

• [Ben96]
  GCSR: A Graphical Language for the Specification, Refinementt, and Analysis of Real-Time Systems, Hanêne Ben-Abdallah, PhD Dissertation, Department of Computer and Information Science, University of Pennsylvania, Aug 1996.
  Abstract - Full Postscript File - PDF File
• [BBL96]
  Ordering Processes in a Real-Time Process Algebra, Patrice  Bremond-Gregoire, Hanêne Ben-Abdallah and Insup Lee, Proceedings of AMAST 3rd International Workshop on Real-Time Systems, 1996.
  Abstract - Full Postscript File - PDF File
• [BKL96]
  Schedulability and Safety Analysis in the Graphical Communicating Shared Resources, Hanêne Ben-Abdallah, Young Si Kim and Insup Lee, Proceedings of IEEE Workshop on Object-Oriented Real-Time and Dependable Systems, Laguna Beach, CA, Feb 1996.
  Abstract - Full Postscript File - PDF File
• [LBC96]
  A Process Algebraic Method for Real-Time Systems. Insup Lee, Hanêne Ben-Abdallah, and Jin-Young Choi, Formal Methods for Real-Time Computing C. Heitmeyer and D. Mandrioli (eds.), John Wiley & Sons Ltd, 1996
  Abstract - Full Postscript File - PDF File
• [ClLe96]
  A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee, Technical Report MS-CIS-96-04, 1996.
  Abstract - PDF
• [KaLe96]
  An Efficient State Space Generation for the Analysis of Real-time Systems, Inhye Kang and Insup Lee, Proceedings of International Symposium on Software Testing and Analysis, 1996.
  Abstract - Full Postscript File - PDF File

1995

• [CLX95a]
  VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee and Hong-Liang Xie, Journal of Computer Software Engineering, 3(2) 1995.
  Abstract - Full Postscript File - PDF File
• [BLC95]
  A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems, Hanêne Ben-Abdallah, Insup Lee, and Jin-Young Choi, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.
  Abstract - Full Postscript File - PDF File
• [CLX95b]
  The Specification and Schedulability Analysis of Real-Time Systems using ACSR, Jin-Young Choi, Insup Lee and Hong-Liang Xie, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.
  Abstract - Full Postscript File - PDF File
• [ClLe95]
  Testing Real-Time Constraints in a Process Algebraic Setting, Duncan Clarke and Insup Lee,
  Proceedings of the 17th International Conference on Software Engineering, 1995.
  Abstract - Full Postscript File - PDF File

1994

• [CLK94]
  Timing Analysis of Superscalar Processor Programs Using ACSR, Jin-Young Choi, Insup Lee, and Inhye Kang, 11th IEEE Workshop on Real-Time Operating Systems and Software, 1994.
  Abstract - Full Postscript File - PDF File
• [ChKa94]
  Translation of Modechart Specification to Algebra of Communicating Shared Resources, Jin-Young Choi and Inhye Kang, Proceedings of the First International Workshop on Real-Time Computing Systems and Applications, 1994.
  Abstract - Full Postscript File - PDF File
• [LBG94]
  A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems, Insup Lee, Patrice  Bremond-Gregoire and Richard Gerber, Proceedings of the IEEE, Special Issue on Real-Time Systems Jan. 1994.
  Abstract - Full Postscript File - PDF File - IEEE Version
• [Cla94]
  VERSA: Verification, Execution and Rewrite System for ACSR, Real-Time Group Report Duncan Clarke, Technical Report, 1994.
  Abstract - Full Postscript File - PDF File
• [KaLe94]
  State Minimization for Concurrent System Analysis Based on State Space Exploration, Inhye Kang and Insup Lee, Proceedings of Conference on Computer Assurance, 1994.
  Abstract - Full Postscript File - PDF File

Selected Papers before 1994

• [WDL93]
  RTC: Language Support for Real-Time Concurrency, Victor Wolfe, Susan Davidson and Insup Lee, Real-Time Systems, Volume 5, Number 1, 1993, pp. 63-87
  Abstract - PDF
• [DLW91]
  Timed Atomic Commitment, Susan B. Davidson, Insup Lee, Victor Wolfe, IEEE TRANSACTIONS ON COMPUTERS, VOL. 40, NO. 5, MAY 1991
  Abstract - IEEE Version
• [LeDa90]
  A Performance Analysis of Timed Synchronous Comunication Primitives, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. 39, NO. 9, SEPTEMBER 1990
  Abstract - IEEE Version
• [LDW87]
  Motivating Time As A First Class Entity, Insup Lee, Susan Davidson, and Victor Wolfe, MS-CIS-87-54, Dept. of Comp. and Infor. Science, Univ. of Penn., Aug. 1987. (Revised Oct 1987)
  Abstract - PDF
• [LeDa87]
  Adding Time to Synchronous Process Communications, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. C-36, NO. 8, August 1987
  Abstract - IEEE Version
• [LeGe85]
  Language Constructs for Distributed Real-Time Programming, Insup Lee and Vijay Gehlot, Proceedings of 6th Real-Time Systems Symposium (RTSS85), San Diego, California, Dec. 1985
  Abstract - PDF