Visible to the public Biblio

Filters: Author is Pappas, George J.  [Clear All Filters]
2018-05-25
Lin, Shan, Miao, Fei, Zhang, Jingbin, Zhou, Gang, Gu, Lin, He, Tian, Stankovic, John A., Son, Sang, Pappas, George J..  2016.  ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks. ACM Trans. Sen. Netw.. 12:6:1–6:31.
Miao, Fei, Lin, Shan, Munir, Sirajum, Stankovic, John A., Huang, Hua, Zhang, Desheng, He, Tian, Pappas, George J..  2015.  Taxi Dispatch with Real-time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :100–109.
2018-05-16
Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg.  2015.  Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.