1 citations · 1 across the 3 of their papers we have counts for
3 papers
physics.ins-det2025
Hybrid RIS-Enhanced ISAC Secure Systems: Joint Optimization in the Presence of an Extended Target
Yu Yao, Junhao Zhang, Pu Miao +4
Unlike the conventional fully-passive and fully-active reconfigurable intelligent surfaces (RISs), a hybrid RIS consisting of active and passive reflection units has recently been…
cs.SE2024
Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
Jianyu Zhang, Long Zhang, Yixuan Wu +2
Unmanned Aerial Systems (UAS) are currently widely used in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and…
cs.SE2024★ 1 cited
An Agile Formal Specification Language Design Based on K Framework
Jianyu Zhang, Long Zhang, Yixuan Wu +1
Formal Methods (FMs) are currently essential for verifying the safety and reliability of software systems. However, the specification writing in formal methods tends to be complex…