| 2024 | FM | Accurate Static Data Race Detection for C. | Emerson Sales, Omar Inverso, Emilio Tuosto |
| 2024 | ISoLA | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. | Luca Di Stefano, Omar Inverso |
| 2024 | PADS | Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES. | Omar Inverso |
| 2023 | EUMAS | Verifying Programs by Bounded Tree-Width Behavior Graphs. | Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco |
| 2022 | ISoLA | Modelling Flocks of Birds from the Bottom Up. | Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani |
| 2022 | TACAS | A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). | Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto |
| 2021 | SEFM | Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. | Stella Simic, Omar Inverso, Mirco Tribastone |
| 2021 | SPLC | Automated model-based performance analysis of software product lines under uncertainty. | Paolo Arcaini, Omar Inverso, Catia Trubiani |
| 2020 | CONCUR | Probabilistic Analysis of Binary Sessions. | Omar Inverso, Hernn C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto |
| 2020 | IFM | Tight Error Analysis in Fixed-Point Arithmetic. | Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone |
| 2020 | ISoLA | Abstractions for Collective Adaptive Systems. | Omar Inverso, Catia Trubiani, Emilio Tuosto |
| 2020 | ISoLA | Verifying AbC Specifications via Emulation. | Rocco De Nicola, Tan Duong, Omar Inverso |
| 2020 | PPoPP | Parallel and distributed bounded model checking of multi-threaded programs. | Omar Inverso, Catia Trubiani |
| 2019 | SAC | Identification of credulous users on Twitter. | Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani |
| 2017 | Coordination | AErlang: Empowering Erlang with Attribute-Based Communication. | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2017 | SOFSEM | AErlang at Work. | Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani |
| 2017 | TACAS | Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). | Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | FMCAD | Lazy sequentialization for TSO and PSO via shared memory abstractions. | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2016 | TACAS | MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2015 | TACAS | Verifying Concurrent Programs by Memory Unwinding. | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | CAV | Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | TACAS | Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). | Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2014 | TACAS | MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). | Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato |
| 2013 | TACAS | CSeq: A Sequentialization Tool for C - (Competition Contribution). | Bernd Fischer, Omar Inverso, Gennaro Parlato |