share record
persistent URL:
Chin-Teng Lin , Yuhling Wang , Sheng-Fu Chen , Kuan-Chih Huang , Lun-De Liao : Design and verification of a wearable wireless 64-channel high-resolution EEG acquisition system with wi-fi transmission. Medical Biol. Eng. Comput. 61 (11 ) : 3003-3019 (2023 )share record
persistent URL:
Mingshi Li , Zhenyu Yin , Yue Ma , Chunxiao Wang , Anying Chai , Mengjia Lian : Design and verification of secure communication scheme for industrial IoT intelligent production line system with multi-path redundancy and collaboration. Neural Comput. Appl. 35 (19 ) : 13879-13893 (2023 )export record
dblp key:
journals/network/WangLNEPHX23 share record
persistent URL:
Shuai Wang , Chengyang Li , Derrick Wing Kwan Ng , Yonina C. Eldar , H. Vincent Poor , Qi Hao , Cheng-Zhong Xu : Federated Deep Learning Meets Autonomous Vehicle Perception: Design and Verification. IEEE Netw. 37 (3 ) : 16-25 (2023 )share record
persistent URL:
Zhuo Ma , Haofeng Zhang , Siyang Zuo , Jianbin Liu : Design and Verification of Lockable Upper-Limb Exoskeleton Based on Jamming and Engagement Mechanisms. IEEE Robotics Autom. Lett. 8 (3 ) : 1359-1366 (2023 )share record
persistent URL:
Majun Song , Weihai Chen , Sheng Guo , Zhongyi Li , John Rasmussen , Shaoping Bai : Design, Simulation and Kinematic Verification of a Multi-Loop Ankle-Foot Prosthetic Mechanism. IEEE Robotics Autom. Lett. 8 (9 ) : 5767-5774 (2023 )share record
persistent URL:
Jungwook Suh , Wontae Choi : Design and Verification of Parallelogram Mechanism With Geared Unit Rolling Joints for Reliable Wiring. IEEE Robotics Autom. Lett. 8 (6 ) : 3756-3763 (2023 )share record
persistent URL:
Bence Graics , Vince Molnár , István Majzik : Component-based specification, design and verification of adaptive systems. Syst. Eng. 26 (5 ) : 567-589 (2023 )export record
dblp key:
journals/sensors/ChenWCWW23 share record
persistent URL:
Hua-Pin Chen , I-Chyn Wey , Liang-Yen Chen , Cheng-Yueh Wu , San-Fu Wang : Design and Verification of a New Universal Active Filter Based on the Current Feedback Operational Amplifier and Commercial AD844 Integrated Circuit. Sensors 23 (19 ) : 8258 (2023 )export record
dblp key:
journals/sensors/ChenYYQ23 share record
persistent URL:
Xiangzi Chen , Ziping Yun , Ting You , Xiangqian Quan : Structural Design and Verification of an Effective-Area Measurement Device Detection System. Sensors 23 (19 ) : 8215 (2023 )export record
dblp key:
journals/sensors/JiangZWLWTWH23 share record
persistent URL:
Chunmeng Jiang , Hongrui Zhang , Lei Wan , Jinhua Lv , Jianguo Wang , Jian Tang , Gongxing Wu , Bin He : Design and Verification of Deep Submergence Rescue Vehicle Motion Control System. Sensors 23 (15 ) : 6772 (2023 )export record
dblp key:
journals/sensors/SchiksCLDHHL23 share record
persistent URL:
Luuk A. H. Schiks , Maura Cook , Laurentius R. Lipman , Arjan P. van Dijke , Kim Hutchinson , Paul van den Hoven , Arjo J. Loeve : Contactless Size Reference in Forensic Photography - Design and Verification of the Novel FreeRef-1 System. Sensors 23 (8 ) : 3790 (2023 )export record
dblp key:
journals/sensors/ShiLZW23 share record
persistent URL:
Hu Shi , Zhixin Liang , Boyang Zhang , Haitao Wang : Design and Performance Verification of a Novel RCM Mechanism for a Minimally Invasive Surgical Robot. Sensors 23 (4 ) : 2361 (2023 )export record
dblp key:
journals/tc/RestucciaMKO23 share record
persistent URL:
Francesco Restuccia , Andres Meza , Ryan Kastner , Jason Oberg : A Framework for Design, Verification, and Management of SoC Access Control Systems. IEEE Trans. Computers 72 (2 ) : 386-400 (2023 )export record
dblp key:
journals/tcad/YanLCHNGW23 share record
persistent URL:
Aibin Yan , Zhixing Li , Jie Cui , Zhengfeng Huang , Tianming Ni , Patrick Girard , Xiaoqing Wen : LDAVPM: A Latch Design and Algorithm-Based Verification Protected Against Multiple-Node-Upsets in Harsh Radiation Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (6 ) : 2069-2073 (2023 )share record
persistent URL:
Xiangyang Wang , Sheng Guo , Bojian Qu , Shaoping Bai : Design and Experimental Verification of a Hip Exoskeleton Based on Human-Machine Dynamics for Walking Assistance. IEEE Trans. Hum. Mach. Syst. 53 (1 ) : 85-97 (2023 )share record
persistent URL:
Zhaowei Liu , Yong Li , Huanyu Yang , Na Duan , Zhengyou He : An Accurate Model of Magnetic Energy Harvester in the Saturated Region for Harvesting Maximum Power: Analysis, Design, and Experimental Verification. IEEE Trans. Ind. Electron. 70 (1 ) : 276-285 (2023 )share record
persistent URL:
Nan Wang , Yifan Zhao , Chengfeng Li , Peng Wang , Changming Zhang : Design, Manufacture, and Experimental Verification of Contactless Power Supply Coupler for Rotary Wireless Sensor Node of Water-Lubricated Bearing. IEEE Trans. Instrum. Meas. 72 : 1-11 (2023 )share record
persistent URL:
Zhenjiang Qian , Shan Zhong , Gaofei Sun , Xiaoshuang Xing , Yong Jin : A Formal Approach to Design and Security Verification of Operating Systems for Intelligent Transportation Systems Based on Object Model. IEEE Trans. Intell. Transp. Syst. 24 (12 ) : 15459-15467 (2023 )share record
persistent URL:
Sourav Das , Sayandeep Sanyal , Aritra Hazra , Pallab Dasgupta : CoVerPlan: A Comprehensive Verification Planning Framework Leveraging PSS Specifications. ACM Trans. Design Autom. Electr. Syst. 28 (1 ) : 9:1-9:32 (2023 )share record
persistent URL:
Huaixi Lu , Yue Xing , Aarti Gupta , Sharad Malik : SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications. ACM Trans. Design Autom. Electr. Syst. 28 (6 ) : 89:1-89:24 (2023 )share record
persistent URL:
Zhiqiang Zhao , Zhuo Feng : A Multilevel Spectral Framework for Scalable Vectorless Power/Thermal Integrity Verification. ACM Trans. Design Autom. Electr. Syst. 28 (1 ) : 11:1-11:25 (2023 )export record
dblp key:
conf/IEEEssd/AbdelNasserES23 share record
persistent URL:
Mohammed Abdel-Nasser , Muhammad Esmat , Abdul-Wahid A. Saif : Simulation of a 2-R Robot Model Based on SolidWorks Design and Matlab/Simulink Trajectory Verification. SSD 2023 : 177-183 share record
persistent URL:
Haipeng Qu , Yaojun Hou , Rongqian Zhou : Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover. ACM TUR-C 2023 : 94-95 share record
persistent URL:
Chinmay Vilas Samak , Tanmay Vilas Samak , Venkat Krovi : Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles. AIM 2023 : 1208-1213 export record
dblp key:
conf/allerton/ZhuLHCZWLF23 share record
persistent URL:
Qi Zhu , Wenchao Li , Chao Huang , Xin Chen , Weichao Zhou , Yixuan Wang , Jiajun Li , Feisi Fu : Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. Allerton 2023 : 1-8 share record
persistent URL:
Keng-Hwa Liu , Kai-Yun Hong , Juinn-Horng Deng : Design and Verification of High-Order QAM Transceiver Systems for mmWave SDRs under Large Delay Multipath and High Frequency Offset Effects. APWCS 2023 : 1-4 share record
persistent URL:
Xiang Wu , Rajit Manohar : Verification-Driven Design for Asynchronous VLSI. ASYNC 2023 : 78-88 share record
persistent URL:
Tao Sun , Fuze Tian , Hua Jiang , Qinglin Zhao , Bin Hu : Design and Verification of an Aromatherapy Feedback System for Mental Fatigue Based on Physiological Signals. BIBM 2023 : 4140-4147 share record
persistent URL:
Anila Kommineni , Manoj Kumar Gundu , Youngsoo Kim , Shrikant Jadhav : Design & Verification of AMBA AHB-Lite Memory Controller. CCWC 2023 : 1307-1312 share record
persistent URL:
Jianlu Wu , Qingwang Li : Design and application adaptation verification of time-sensitive network end system network card based on FPGA. CNML 2023 : 244-247