share record
persistent URL:
Takumi Ito , Riku Funada , Shunsuke Mochida , Takahiro Kawagoe , Tatsuya Ibuki , Mitsuji Sampei : Design and experimental verification of a hoverable quadrotor composed of only clockwise rotors. Adv. Robotics 37 (10 ) : 667-678 (2023 )export record
dblp key:
journals/automatica/BarcelosB23 share record
persistent URL:
Raphael Julio Barcelos , João Carlos Basilio : Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability. Autom. 148 : 110769 (2023 )export record
dblp key:
journals/bioinformatics/VolkelLHTKT23 share record
persistent URL:
Kevin Volkel , Kevin N. Lin , Paul W. Hook , Winston Timp , Albert J. Keung , James M. Tuck : FrameD: framework for DNA-based data storage design, verification, and validation. Bioinform. 39 (10 ) (2023 )share record
persistent URL:
Zhi-Chang Qin , Ying Xin : Data-driven H∞ vibration control design and verification for an active suspension system with unknown pseudo-drift dynamics. Commun. Nonlinear Sci. Numer. Simul. 125 : 107397 (2023 )export record
dblp key:
journals/compsec/TanXHWL23 share record
persistent URL:
Xiao Tan , Qi Xie , Lidong Han , Shengbao Wang , Wenhao Liu : Proof of retrievability with flexible designated verification for cloud storage. Comput. Secur. 135 : 103486 (2023 )export record
dblp key:
journals/computer/SchoeberlP23 share record
persistent URL:
Martin Schoeberl , Luca Pezzarossa : Chip Design and Verification in a Computer Engineering Education. Computer 56 (11 ) : 20-29 (2023 )share record
persistent URL:
Zhenjiang Qian , Rui Xia , Gaofei Sun , Xiaoshuang Xing , Kaijian Xia : A measurable refinement method of design and verification for micro-kernel operating systems in communication network. Digit. Commun. Networks 9 (5 ) : 1070-1079 (2023 )share record
persistent URL:
Rémi Parrot , Mikaël Briday , Olivier H. Roux : Design and verification of pipelined circuits with Timed Petri Nets. Discret. Event Dyn. Syst. 33 (1 ) : 1-24 (2023 )share record
persistent URL:
Benedikt Riegler , Klaus Krischan , Michael Hartmann , Markus Reichhartinger : GriDConv - control, design, and experimental verification of a lab-scale high-voltage DC-DC converter. Elektrotech. Informationstechnik 140 (1 ) : 45-56 (2023 )share record
persistent URL:
Guidong Zhang , Zexiang Chen , Samson S. Yu : Design and experimental verification of a simplified controller for high-order converters. Int. J. Circuit Theory Appl. 51 (6 ) : 2716-2728 (2023 )share record
persistent URL:
Li Ye , Xueyan Zhou , Simin Yang , Yongxin Hang : Serious game design and learning effect verification supporting traditional pattern learning. Interact. Learn. Environ. 31 (10 ) : 6573-6587 (2023 )share record
persistent URL:
Babak Falsafi : What's Missing in Agile Hardware Design? Verification! J. Comput. Sci. Technol. 38 (4 ) : 735-736 (2023 )export record
dblp key:
journals/jimaging/EaglesonJ23 share record
persistent URL:
Roy Eagleson , Leo Joskowicz : Verification, Evaluation, and Validation: Which, How & Why, in Medical Augmented Reality System Design. J. Imaging 9 (2 ) : 20 (2023 )export record
dblp key:
journals/mam/DobisLDPRTALS23 share record
persistent URL:
Andrew Dobis , Kevin Laeufer , Hans Jakob Damsgaard , Tjark Petersen , Kasper Juul Hesse Rasmussen , Enrico Tolotto , Simon Thye Andersen , Richard Lin , Martin Schoeberl : Verification of Chisel Hardware Designs with ChiselVerify. Microprocess. Microsystems 96 : 104737 (2023 )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 )