Visible to the public Biblio

Filters: First Letter Of Title is L  [Clear All Filters]
2018-03-29
2018-05-10
2018-05-11
Giraldo, Jairo, Cardenas, Alvaro, Kantarcioglu, Murat.  2017.  Leveraging Unique CPS Properties to Design Better Privacy-Enhancing Algorithms. Proceedings of the Hot Topics in Science of Security: Symposium and Bootcamp. :1–12.
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu.  2017.  Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
2018-05-14
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
Georgios Giantamidis, Stavros Tripakis.  2016.  Learning Moore Machines from Input-Output Traces. {FM} 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :291–309.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos, Davis, Gary.  2008.  The less-than-perfect driver: a model of collision-inclusive car-following behavior. Transportation Research Record: Journal of the Transportation Research Board. :126–137.
Z. Kassas, J. Morales, K. Shamaei, J. Khalife.  2017.  LTE steers UAV. GPS World Magazine. 28:18–25.
A. Pourhabib, R. Tuo, S. He, Y. Ding,, J.Z. Huang.  2017.  Local calibration of computer experiments. Journal of the American Statistical Association. revised and re-submitted
2018-05-15
Melissaris, Themis, Shaw, Kelly, Martonosi, Margaret.  2017.  Locomotive: Optimizing mobile web traffic using selective compression. A World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2017 IEEE 18th International Symposium on. :1–4.
Saeed, Ahmed, Harras, Khaled, Zegura, Ellen, Ammar, Mostafa.  Submitted.  Local and Low-cost Whitespace Detection. Proc. IEEE International Conference on Distributed Computing Systems}, issue date = {June 20017.
Osama Ennasr, Xiaobo Tan.  2015.  Leader-follower tracking for a network of gliding robotic fish using dynamic feedback linearization. Proceedings of the 54th IEEE Conference on Decision and Control. :227-233.
Shakiba Yaghoubi, Georgios Fainekos.  2017.  Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.
2018-05-16
Yang, Shan, Liang, Junbang, Lin, Ming C..  2017.  Learning-Based Cloth Material Recovery From Video. The IEEE International Conference on Computer Vision (ICCV).