VLDB 2026 Research / reviewers in the wild / expert
Simon Iosti
dblp:228/8650
· DBLP profile ↗
4ranked-venue papers
3as first author
1since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-authorTheory of computation · 2 · 2 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Positive and Monotone Fragments of FO and LTL
Simon Iosti, Denis Kuperberg, Quentin Moreau |
ICALP | 1 |
| 2020 | Synthesizing Control for a System with Black Box Environment, Based on Deep Learning
Simon Iosti, Doron A. Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg |
ISoLA (2) | 1 |
| 2019 | Eventually Safe Languages
Simon Iosti, Denis Kuperberg |
DLT | 1 |
| 2018 | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |
ISoLA (3) | 2 |