Y. Liu

6 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Spec2RTL-Agent: Automated Hardware Code Generation from Complex Specifications Using LLM Agent Systems

Z. Yu and others (2025) · IEEE

A tri-level optimization model for power grid defense with the consideration of post-allocated DGs against coordinated cyber-physical attacks

H. He and others (2021) · Elsevier BV

Silicon Demonstration of Hardware Trojan Design and Detection in Wireless Cryptographic ICs

Y. Liu and others (2017) · Institute of Electrical and Electronics Engineers (IEEE)

Skyfire: Data-Driven Seed Generation for Fuzzing

J. Wang and others (2017) · IEEE

State space reduction for asynchronous micropipelines

C. Tofts and others (1996) · BCS-FACS Northern Formal Methods Workshop

AMULET1: Specification and Verification in CCS

Y. Liu (1995)