Methods, systems, and computer readable media for physiology parameter-invariant meal detection. Sanjian Chen, James Erich Weimer, and Insup Lee, U.S. Patent No. 10,792,423, October 6, 2020.

A Modal Specification Theory for Timing Variability. Andrew King, Oleg Sokolsky, and Insup Lee, University of Pennsylvania Department of Computer and Information Science Technical Report, No. MS-CIS-13-11, November 2013.

Verifiable Policy-based Routing with DRIVER, Anduo Wang, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwash Basu, University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-09-12, January 2009.

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, July 2008.

Symbolic weak Bisimulation for Value-Passing Calculi, Hee-Hwan Kwak, Jin-Young Choi, Insup Lee and Anna Philippou, University of Pennsylvania Department of Computer and Information Science Technical Report MS-CIS-98-22, May 1998.

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.

A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee, University of Pennsylvania Department of Computer and Information Science Technical Report MS-CIS-96-04, 1996.

Motivating Time As A First Class Entity, Insup Lee, Susan Davidson, and Victor Wolfe, University of Pennsylvania Department of Computer and Information Science Technical Report MS-CIS-87-54, Aug. 1987. (Revised Oct 1987).

Relevant Publications

• Google Scholar
• DBLP


• PRECISE Publications
• RTG Publications