Research author

Waldir Junior

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Waldir Junior

Jul 9, 2026
cs.CL

Detecting Ladder Logic Bombs in IEC 61131-3 PLC Programs using ESBMC-PLC+: A Formal Verification Approach with Trigger Synthesis

Pierre Dantas, Lucas Cordeiro, Waldir Junior

Waldir Junior — AI Research Papers | One9Founders