Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. - Iulia Dragomir; Simon Iosti; Marius Bozga; Saddek Bensalem (ISoLA (3), 2018)

Control Synthesis Through Deep Learning. - Doron Peled; Simon Iosti; Saddek Bensalem (From Reactive Systems to Cyber-Physical Systems, 2019)

Eventually Safe Languages. - Simon Iosti; Denis Kuperberg (DLT, 2019)

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. - Simon Iosti; Doron Peled; Khen Aharon; Saddek Bensalem; Yoav Goldberg (ISoLA (2), 2020)

Positive and Monotone Fragments of FO and LTL. - Simon Iosti; Denis Kuperberg; Quentin Moreau (ICALP, 2025)