K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs

A Survey of Compiler Testing

(2020) Junjie Chen et al.   ACM COMPUTING SURVEYS

Safety Verification of IEC 61131-3 Structured Text Programs

(2020) Jiawen Xiong et al.   IEEE Transactions on Industrial Informatics

Application of formal verification and falsification to large-scale chemical plant automation systems

(2018) Blake C. Rawlings et al.   COMPUTERS & CHEMICAL ENGINEERING

The 2015 Ukraine Blackout: Implications for False Data Injection Attacks

(2017) Gaoqi Liang et al.   IEEE TRANSACTIONS ON POWER SYSTEMS

Semantics-based program verifiers for all languages

(2016) Andrei Stefănescu et al.   ACM SIGPLAN NOTICES

Applying Model Checking to Industrial-Sized PLC Programs

(2015) Borja Fernandez Adiego et al.   IEEE Transactions on Industrial Informatics

Runtime-Monitoring for Industrial Control Systems

(2015) Helge Janicke et al.   Electronics

Compiler validation via equivalence modulo inputs

(2014) Vu Le et al.   ACM SIGPLAN NOTICES

An overview of model checking practices on verification of PLC software

(2014) Tolga Ovatman et al.   Software and Systems Modeling

An executable formal semantics of C with applications

(2012) Chucky Ellison et al.   ACM SIGPLAN NOTICES

Stuxnet: Dissecting a Cyberwarfare Weapon

(2011) Ralph Langner   IEEE SECURITY & PRIVACY