• Compositional Schedulability Analysis
• Run-time Monitoring and Checking (a la Runtime Verification)
• Process Algebras for Real-Time and Probabilistic Systems
• Hybrid Systems
• Real-Time and Embedded Systems Programming
• Model-driven Test Generation
• Network Code Machine
• Design and Analysis of Real-Time Embedded System and Software
• Policy modeling
• Medical Devices Related
• Wireless Networks and Security
• Miscellaneous
• Position Papers

Compositional Schedulability Analysis

• 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)
• 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)
• 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)
• Interface Algebra for Analysis of Hierarchical Real-Time Systems, Arvind Easwaran, Insup Lee, Oleg Sokolsky, Proceedings of the Foundations of Interface Technologies (FIT'08), Satelite workshop of ETAPS'08,Budapest, Hungary, April 5, 2008. (Abstract - PDF)
• Compositional Analysis Framework using EDP Resource Models, Arvind Easwaran, Madhukar Anand, and Insup Lee, RTSS 2007, Tucson, Arizona, December 3-6, 2007. (Abstract - PDF)
• Incremental Schedulability Analysis of Hierarchical Real-Time Components, Arvind Easwaran, Insik Shin, Oleg Sokolsky, and Insup Lee, ACM EMSOFT, Seoul, South Korea, October 22-25, 2006. (Abstract - PDF)
• Compositional Real-Time Scheduling Framework, Insik Shin, Insup Lee, IEEE RTSS, Lisbon, Portugal, December 6-8, 2004. (Abstract - PDF)
• Periodic Resource Model for Compositional Real-Time Guarantees, Insik Shin and Insup Lee,   IEEE RTSS, Cancun, Mexico, December 3-5, 2003. (The Best Paper Award) (Abstract - PDF)

Run-time Monitoring and Checking (a la Runtime Verification)

• 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)
• Statistical Runtime Checking of Probabilistic Properties, Usa Sammapun, Insup Lee, Oleg 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)
• 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)
• RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties, Usa Sammapun, Insup Lee, and Oleg Sokolsky, IEEE RTCSA, Hong Kong, August 17-19, 2005. (Abstract - PDF)
• Run-Time Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun, Insup Lee, and Jesung Kim, Runtime Verification (RV), The University of Edinburgh, Scotland, UK, July 12, 2005. (Abstract - PDF)
• 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)
• 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 (RV), Copenhagen, Denmark, July 26, 2002; Electronic Notes in Theoretical Computer Science 70 No. 4. (Abstract - PDF)
• 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)
• 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 - PS - PDF)
• 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 (ISSTA), August 2000. (Abstract - PDF)
• Distributed Spatial Control and Global Monitoring of Mobile Agents, Diana Gordon, William Spears, Insup Lee, and Oleg Sokolsky, International Conference on Information, Intelligence, and Systems,, Nov 1999, pages 681-688. (Abstract - PDF)
• 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)
• 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 (ECRTS), York, UK, June 9-11, 1999. (Abstract - PDF)
• 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)

Resource-Based Process Algebras for Real-Time and Probabilistic Systems

• Resources in process algebra, Insup Lee, Anna Philippou, and Oleg Sokolsky, Journal of Logic and Algebraic Programming, Vol. 72, pp. 98-122, May/June 2007. (Abstract - PDF)
• 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)
• Modeling and Analysis of Power-Aware Systems, Oleg Sokolsky, Anna Philippou, Insup Lee, and Kyriakos Christou,  TACAS'03, Warsaw, Poland, April 7-11, 2003, LNCS 2619, pp. 409-425. (Abstract - PDF)
• 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)
• 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)
• 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)
• 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)
• A Family of Resource-Bound Real-time Process Algebras,  Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, and Oleg Sokolsky, FORTE, Cheju Island, Korea, August 2001. (Abstract - PDF)
• 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 - PS - PDF)
• Weak Bisimulation for Probabilistic Systems, Anna Philippou, Insup Lee, and Oleg Sokolsky,  Proceedings of CONCUR'00, August 2000. (Abstract - PS - PDF)
• 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 - PS - PDF)
• A Graphical Language for Specifying and Analyzing Real-Time Systems, Hanêne Ben-Abdallah and Insup Lee, Integrated Computer-Aided Engineering (Special Issue on Real-time Engineering Systems), Vol 5, No 4, 1998. (Abstract - PS - PDF )
• 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- PS - PDF)
• Symbolic Schedulability Analysis of Real-time Systems, Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, and Oleg Sokolsky, IEEE RTSS, Dec 1998. (Abstract - PS - PDF )
• Probabilistic Resource Failure in Real-Time Process Algebra, Anna Philippou, Rance Cleaveland, Insup Lee, Scott Smolka, and Oleg Sokolsky, CONCUR '98, Sep 1998. (Abstract - PS - PDF)
• 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 - PS - PDF)
• A Process Algebra of Communicating Shared Resources with Dense Time and Priorities, Patrice  Bremond-Gregoire and Insup Lee, Theoretical Computer Science , 189, 1997. (Abstract - PS - PDF)
• A Complete Axiomatization of Finite-state (ACSR) Processes, Patrice  Bremond-Gregoire, Jin-Young Choi and Insup Lee, Information and Computation, Nov 1997. (Abstract - PS - PDF)
• A Graphical Property Specification Language, Insup Lee and Oleg Sokolsky, Proceedings of 2nd IEEE Workshop on High-Assurance Systems Engineering, Aug 1997. (Abstract - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF - IEEE Version)

Hybrid Systems

• 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, pages 105-128. (Abstract - PDF)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)

Real-Time and Embedded Systems Programming

• Robust and Sustainable Schedulability Analysis of Embedded Software, Madhukar Anand and Insup Lee, Proceedings of the 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)
• 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. (PDF)
• Timed Atomic Commitment, Susan B. Davidson, Insup Lee, Victor Wolfe, IEEE TRANSACTIONS ON COMPUTERS, VOL. 40, NO. 5, MAY 1991. (IEEE Version)
• A Performance Analysis of Timed Synchronous Comunication Primitives, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. 39, NO. 9, SEPTEMBER 1990. (IEEE Version)
• 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). (PDF)
• Adding Time to Synchronous Process Communications, Insup Lee, Susan B. Davidson, IEEE TRANSACTIONS ON COMPUTERS, VOL. C-36, NO. 8, August 1987. (IEEE Version)
• 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. (PDF)
• A Programming System for Distributed Real-Time Applications, Insup Lee, Proceedings of 5th IEEE Real-Time Systems Symposium (RTSS84), Austin, Texas, December 1984. (PDF)

Model-driven Test Generation

• 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, pgs 329-342. (Abstract - PDF)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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)
• [ 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 - PS - PDF)

Network Code Machine

• 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)
• 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)
• 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)
• 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), pp.235-246, Pisa, Italy, July 2007. (Abstract - PDF)
• 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)
• 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)

Design and Analysis of Real-Time Embedded System and Software

• 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)
• 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)
• 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)
• 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)
• 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)
• 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 - PS - PDF)
• 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 - PS - PDF)
• 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 - PS - PDF)
• State Minimization for Concurrent System Analysis Based on State Space Exploration, Inhye Kang and Insup Lee, Proceedings of Conference on Computer Assurance, 1994. (Abstract - PS - PDF)

Policy modeling

• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking, Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky, Ninth International Conference on Deontic Logic in Computer Science (DEON'08), Luxembourg, July 15-18, 2008. (Abstract - PDF)
• 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)

Medical Devices Related

• 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)
• 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, USA, November 3, 2006. (Abstract - 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, IEEE Computer, Volume 39, Issue 4, April 2006, pages 33-38. (Abstract - PDF)
• 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)

Wireless Networks and Security

• 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)
• Quantifying Eavesdropping Vulnerability in Sensor Network, 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)
• 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)
• 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)

Miscellaneous

• 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)
• 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 - PS - PDF)

Position Papers

• 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)