List of works - Peng Cheng - Paulina

List of works by Peng Cheng

Deception-Resistant Stochastic Manufacturing for Automated Production Lines

scientific article published on 29 September 2024

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language

scientific article published on 20 May 2024

SePanner: Analyzing Semantics of Controller Variables in Industrial Control Systems based on Network Traffic

scientific article published on 02 December 2023

SmartDS: Middle-Tier-centric SmartNIC Enabling Application-aware Message Split for Disaggregated Block Storage

scientific article published on 16 June 2023

TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development

scientific article published on 11 September 2024

Paulina is supported by:

About Paulina

Help