Visible to the public Biblio

Filters: First Letter Of Title is F  [Clear All Filters]
2018-06-04
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.
Elefteriadou, Lily.  2008.  Final Report to the Florida Department of Transportation Roadway Design Office on Project" Field Data Collection and Analysis for Freeway Work Zone Capacity Estimation".
Elefteriadou, Lily, Heaslip, Kevin.  2008.  Field Data Collection and Analysis for Freeway Work Zone Capacity Estimation.
2018-05-27
Matthew Chan, Daniel Ricketts, Sorin Lerner,, Gregory Malecha.  2016.  Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.
Qifen Dong, Li Yu, WenZhan Song, Junjie Yang, Yuan Wu, Jun Qi.  2016.  Fast Distributed Demand Response Algorithm in Smart Grid. IEEE/CAA Journal of Automatica Sinica.
Shuchin Aeron, Manqi Zhao, Venkatesh Saligrama.  2008.  Fundamental Limits on Sensing Capacity for Sensor Networks and Compressed Sensing. CoRR. abs/0804.3439
J. Mike McHugh, Janusz Konrad, Venkatesh Saligrama, Pierre{-}Marc Jodoin.  2009.  Foreground-Adaptive Background Subtraction. {IEEE} Signal Process. Lett.. 16:390–393.
Feng Nan, Joseph Wang, Kirill Trapeznikov, Venkatesh Saligrama.  2014.  Fast margin-based cost-sensitive classification. {IEEE} International Conference on Acoustics, Speech and Signal Processing, {ICASSP} 2014, Florence, Italy, May 4-9, 2014. :2952–2956.
Zafar Takhirov, Joseph Wang, Marcia S. Louis, Venkatesh Saligrama, Ajay Joshi.  2017.  Field of Groves: An Energy-Efficient Random Forest. CoRR. abs/1704.02978
Minor, Bryan, Cook, Diane J.  2016.  Forecasting occurrences of activities. Pervasive and Mobile Computing.
Herbert, Sylvia L, Chen, Mo, Han, SooJean, Bansal, Somil, Fisac, Jaime F, Tomlin, Claire J.  2017.  FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning. arXiv preprint arXiv:1703.07373.
Ames, Aaron D, Tabuada, Paulo, Schürmann, Bastian, Ma, Wen-Loong, Kolathaya, Shishir, Rungger, Matthias, Grizzle, Jessy W.  2015.  First steps toward formal controller synthesis for bipedal robots. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. :209–218.
Postoyan, Romain, Tabuada, Paulo, Nesic, Dragan, Anta, Adolfo.  2015.  A framework for the event-triggered stabilization of nonlinear systems. IEEE Transactions on Automatic Control. 60:982–996.
Ames, Aaron D, Tabuada, Paulo, Jones, Austin, Ma, Wen-Loong, Rungger, Matthias, Schürmann, Bastian, Kolathaya, Shishir, Grizzle, Jessy W.  2017.  First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems.
Aditya, Somak, Yang, Yezhou, Baral, Chitta, Fermuller, Cornelia, Aloimonos, Yiannis.  2015.  From images to sentences through scene description graphs using commonsense reasoning and knowledge. arXiv preprint arXiv:1511.03292.
Luan, Wentao, Yang, Yezhou, Fermuller, Cornelia, Baras, John S.  2017.  Fast task-specific target detection via graph based constraints representation and checking. Robotics and Automation (ICRA), 2017 IEEE International Conference on. :3984–3991.
Ahmed, Elhattab, Uddin, Nasim, Wang, Yang, OBrien, Eugene.  2017.  Field Verification for Drive-by Bridge Monitoring using Non-specialized Inspection Vehicle. ASNT 26th Research Symposium Proceeding.
2018-05-25
da Silva, Rafael Rodrigues, Wu, Bo, Lin, Hai.  2016.  Formal design of robot integrated task and motion planning. Decision and Control (CDC), 2016 IEEE 55th Conference on. :6589–6594.
Wu, Bo, Lemmon, Michael D, Lin, Hai.  2017.  Formal methods for stability analysis of networked control systems with ieee 802.15. 4 protocol. IEEE Transactions on Control Systems Technology.
Roberto Rojas-Cessa, Haim Grebel, Zhengqi Jiang, Camila Fukuda, Henrique Pita, Tazima S. Chowdhury, Ziqian Dong, Yu Wan.  2017.  FEW: Integration of alternative energy sources into digital micro-grids. Environmental Progress and Sustainable Energy. 99
S. Munir, J. A. Stankovic.  2014.  FailureSense: Detecting Sensor Failure Using Electrical Appliances in the Home. 2014 IEEE 11th International Conference on Mobile Ad Hoc and Sensor Systems. :73-81.
2018-05-23
Ruben Mayer, Harshit Gupta, Enrique Saurez, Umakishore Ramachandran.  2017.  FogStore: Toward a Distributed Data Store for Fog Computing. Fog World Congress (FWC 2017).
Mayer, Ruben, Gupta, Harshit, Saurez, Enrique, Ramachandran, Umakishore.  2017.  The Fog Makes Sense: Enabling Social Sensing Services with Limited Internet Connectivity. Proceedings of the 2Nd International Workshop on Social Sensing. :61–66.
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.
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.