Simon Iosti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICALP | Positive and Monotone Fragments of FO and LTL. | Simon Iosti, Denis Kuperberg, Quentin Moreau |
| 2020 | ISoLA | Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. | Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg |
| 2019 | DLT | Eventually Safe Languages. | Simon Iosti, Denis Kuperberg |
| 2018 | ISoLA | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. | Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |