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]
F
Michalopoulos, Panos, Hourdakis, John, Sinha, Prasoon.  2005.  Future TMC Operations System Prototype and Testing Facility: Phase II.
J. Khalife, S. Ragothaman, K. Shamaei, J. Morales, Z. Kassas.  2017.  Fusing lidar and cellular signals for robust ground and aerial autonomous navigation. Proceedings of Southern California Robotics Symposium.
Shuchin Aeron, Manqi Zhao, Venkatesh Saligrama.  2008.  Fundamental Limits on Sensing Capacity for Sensor Networks and Compressed Sensing. CoRR. abs/0804.3439
Lee, Edward A..  2016.  Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems. 1:26.
Cumhur Erkan Tuncali, Shakiba Yaghoubi, Theodore P. Pavlic, Georgios Fainekos.  2017.  Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.
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.
[Anonymous].  2014.  From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. 8415
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.
Adel Dokhanchi.  2017.  From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems.
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.
Dirks, Peter, Liu, Zhejun, Hourdos, John.  2017.  Freeway Traffic Queue-Warning System: Deployment and First Impressions.
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.
Lehrke, Derek, Hourdos, John.  2017.  Framework and Guidelines for the Development of a Twin Cities Mesoscopic DTA Model.
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}

Yan, J., Wan, Y., Chen, C., Hua, C., Guan, X..  2016.  Formation control of Teleoperating Cyber-Physical System subject to time delay and actuator saturation constraints. 2016 IEEE 55th Conference on Decision and Control, CDC 2016.
Yan, Jing, Wan, Yan, Luo, Xiaoyuan, Chen, Cailian, Hua, Changchun, Guan, Xinping.  2017.  Formation Control of Teleoperating Cyber-Physical Syste With Time Delay and Actuator Saturation. IEEE Transactions on Control Systems Technology. :1–10.
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.
Alur, Rajeev.  2011.  Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
[Anonymous].  2017.  Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. Lecture Notes in Computer Science. 10321
Bardh Hoxha.  2017.  Formal Requirements-Driven Analysis of Cyber Physical Systems.
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos.  2017.  Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (Accepted).
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.