Visible to the public Biblio

Filters: First Letter Of Title is F  [Clear All Filters]
A B C D E [F] G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Lee, Edward A..  2016.  Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems. 1:26.
Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee.  2014.  Functional Alarms for Systems of Interoperable Medical Devices. 15th International {IEEE} Symposium on High-Assurance Systems Engineering ({HASE} 2014). :247–248.
Pajic, M., Zhihao Jiang, Insup Lee, Sokolsky, O., Mangharam, R..  2012.  From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha.  2016.  From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). :1-11.
Anitha Murugesan, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, Insup Lee.  2014.  From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
Deka, Bhaswati, Gerdes, Ryan M, Li, Ming, Heaslip, Kevin.  2014.  Friendly jamming for secure localization in vehicular transportation. International Conference on Security and Privacy in Communication Systems. :212–221.
Abraham Vinod, Baisravan HomChaudhuri, Meeko Oishi.  2017.  Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms. Hybrid Systems: Computation and Control. :35–44.

\textbf{Best Student Paper Award}

Alur, Rajeev.  2011.  Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
Houssam Abbas, Hans Mittelmann, Georgios Fainekos.  2014.  Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.