Demo: a design studio for verification tools. - Tamás Kecskés; Patrik Meijer; Taylor T. Johnson; Marcus Lucas (DESTION@CPSIoTWeek, 2019)

Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entry. - Stephen A. Rees; Tamás Kecskés; Patrik Meijer; Taylor T. Johnson; Katie Dey; Paulo Tabuada; Marcus Lucas (ICCPS, 2019)

Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices. - Matthew Chan; Nathaniel Snyder; Marcus Lucas; Luis Garcia 001; Oleg Sokolsky; James Weimer; Insup Lee 001; Paulo Tabuada; Saman A. Zonouz; Mani B. Srivastava (CoRR, 2022)

Model-Free Control for Constrained Mechanical Systems. - Marcus Lucas (CDC, 2023)