Romulo Meira Goes

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 4

Top Topics

Probabilistic Automata

Data Acquisition

Critical Infrastructure

Top Venues

Publications

Changjian Zhang, Parv Kapoor, Romulo Meira Goes, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar
Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations. CoRR (2023)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR (2020)
Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. ACC (2019)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Stealthy deception attacks for cyber-physical systems. CDC (2017)