Visible to the public Biblio

Filters: Keyword is Software  [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]
C
B. Zheng, C. W. Lin, H. Yu, H. Liang, Q. Zhu.  2016.  CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles. 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). :1-8.
P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, P. Tabuada.  2015.  Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
N
B. Zheng, H. Liang, Q. Zhu, H. Yu, C. W. Lin.  2016.  Next Generation Automotive Architecture Modeling and Exploration for Autonomous Driving. 2016 IEEE Computer Society Annual Symposium on VLSI (ISVLSI). :53-58.
M. Rungger, P. Tabuada.  2015.  A Notion of Robustness for Cyber-Physical Systems. IEEE Transactions on Automatic Control. PP:1-1.