Ti Zhou

25 papers A* 1C 2Misc 3Journal 12Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations.
SOSP
Zihao Zhang, Ti Zhou, Christa Jenkins, Omar Chowdhury, Shuai Mu
2025 J jnl
Data-Driven Software-Based Power Estimation for Embedded Devices.
IEEE Trans. Sustain. Comput.
Haoyu Wang, Xinyi Li, Ti Zhou, Man Lin
2025 J jnl
Energy-Efficient Computation With DVFS Using Deep Reinforcement Learning for Multi-Task Systems in Edge Computing.
IEEE Trans. Sustain. Comput.
Xinyi Li, Ti Zhou, Haoyu Wang, Man Lin
2024 J jnl
Data-driven Software-based Power Estimation for Embedded Devices.
CoRR
Haoyu Wang, Xinyi Li, Ti Zhou, Man Lin
2024 J jnl
Energy-Efficient Computation with DVFS using Deep Reinforcement Learning for Multi-Task Systems in Edge Computing.
CoRR
Xinyi Li, Ti Zhou, Haoyu Wang, Man Lin
2023 J jnl
A Novel Pipeline Corrosion Monitoring Method Based on Piezoelectric Active Sensing and CNN.
Sensors
Dan Yang, Xinyi Zhang, Ti Zhou, Tao Wang, Jiahui Li
2023 J jnl
CPU frequency scheduling of real-time applications on embedded devices with temporal encoding-based deep reinforcement learning.
CoRR
Ti Zhou, Man Lin
2023 J jnl
CPU frequency scheduling of real-time applications on embedded devices with temporal encoding-based deep reinforcement learning.
J. Syst. Archit.
Ti Zhou, Man Lin
2023 J jnl
Energy-Efficient Computation Offloading With DVFS Using Deep Reinforcement Learning for Time-Critical IoT Applications in Edge Computing.
IEEE Internet Things J.
Saroj Kumar Panda, Man Lin, Ti Zhou
2022 J jnl
Deadline-Aware Deep-Recurrent-Q-Network Governor for Smart Energy Saving.
IEEE Trans. Netw. Sci. Eng.
Ti Zhou, Man Lin
2021 J jnl
Multi-scale visualization based on sketch interaction for massive surveillance video data.
Pers. Ubiquitous Comput.
Zhengming Zhang, Ran Zuo, Rui Guo, Yanfeng Li, Ti Zhou, Han Xue, Cuixia Ma, Hongan Wang
2020 — conf
A Formal Method for Safety Time Series Simulation of Aerospace.
ICAIS (1)
Ti Zhou, Jinying Wang, Yi Miao
2019 J jnl
Impact of Managerial Commitment on Risk Taking with Dynamic Fund Flows.
Manag. Sci.
Ron Kaniel, Stathis Tompaidis, Ti Zhou
2018 — conf
Anomaly Detection of Target Dynamics Based on Clustering.
I-SPAN
Jian Zhang, Qing Ye, Ti Zhou
2017 J jnl
Efficient Anonymous Authenticated Key Agreement Scheme for Wireless Body Area Networks.
Secur. Commun. Networks
Tong Li, Yuhui Zheng, Ti Zhou
2016 — conf
Interactive Animation Editing Based on Sketch Interaction.
Monterey Workshop
Yan Huang, Ti Zhou, Yanfeng Li, Yan Zhang, Cuixia Ma
2014 C conf
Estimation of evapotranspiration over heterogeneous surface based on HJ-1B satellite.
IGARSS
Jingjun Jiao, Xiaozhou Xin, Jing Zhao, Li Li, Ti Zhou, Zhiqing Peng
2008 — conf
A Novel Derivation Framework For Definite Logic Program.
FICS
Mengjun Li, Zhoujun Li, Huowang Chen, Ti Zhou
2008 Misc conf
Constraint Abstraction in Verification of Security Protocols.
FAW
Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen
2008 — conf
Local abstract verification and refinement of security protocols.
FMSE
Ti Zhou, Mengjun Li, Zhoujun Li
2008 — conf
Modeling and Verifying Time Sensitive Security Protocols with Constraints.
FICS
Ti Zhou, Mengjun Li, Zhoujun Li, Huowang Chen
2008 Misc conf
SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.
Inscrypt
Mengjun Li, Ti Zhou, Zhoujun Li
2008 C conf
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic.
SEKE
Feng Liu, Zhoujun Li, Ti Zhou, Mengjun Li
2007 — conf
An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.
ASIAN
Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen
2007 Misc conf
Constraints Solution for Time Sensitive Security Protocols.
FAW
Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen