Omar Inverso

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 41

Top Venues

TACAS

Sci. Comput. Program.

CoRR

ISoLA (2)

University of Southampton, UK (PHD)

Education History

University of Southampton, UK

PHD

Publications

Omar Inverso
Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES. SIGSIM-PADS (2024)
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. Autom. 159 (2024)
Giorgio Audrito, Omar Inverso, Hugo Torres Vieira
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. Sci. Comput. Program. 225 (2023)
Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Pablo Krupa, Omar Inverso, Mirco Tribastone, Alberto Bemporad
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. CoRR (2023)
Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto
A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). TACAS (2) (2022)
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-point Arithmetic. Formal Aspects Comput. 34 (1) (2022)
Luca Di Stefano, Rocco De Nicola, Omar Inverso
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223 (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) (2022)
Stella Simic, Omar Inverso, Mirco Tribastone
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. SEFM (2021)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) (2021)
Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
Automated Replication of Tuple Spaces via Static Analysis. FSEN (2021)
Omar Inverso, Hugo Torres Vieira
Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. Sci. Comput. Program. 204 (2021)
Paolo Arcaini, Omar Inverso, Catia Trubiani
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127 (2020)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CoRR (2020)
Omar Inverso, Catia Trubiani, Emilio Tuosto
Abstractions for Collective Adaptive Systems. ISoLA (2) (2020)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187 (2020)
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
Probabilistic Analysis of Binary Sessions. CONCUR (2020)
Rocco De Nicola, Tan Duong, Omar Inverso
Verifying AbC Specifications via Emulation. ISoLA (2) (2020)
Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone
Tight Error Analysis in Fixed-Point Arithmetic. IFM (2020)
Omar Inverso, Catia Trubiani
Parallel and distributed bounded model checking of multi-threaded programs. PPoPP (2020)
Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani
Identification of credulous users on Twitter. SAC (2019)
Luca Aceto, Gianlorenzo D'Angelo, Michele Flammini, Omar Inverso, Ludovico Iovino, Catia Trubiani
Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5 (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent Systems with Virtual Stigmergy. STAF Workshops (2018)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168 (2018)
Omar Inverso, Alberto Bemporad, Mirco Tribastone
SAT-based synthesis of spoofing attacks in cyber-physical control systems. ICCPS (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR (2018)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd (2017)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION (2017)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang at Work. SOFSEM (2017)
Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the path-width of integer linear programming. Inf. Comput. 253 (2017)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Verifying Concurrent Programs by Memory Unwinding. TACAS (2015)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS (2015)
Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE (2015)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV (2014)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS (2014)
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato
On the Path-Width of Integer Linear Programming. GandALF (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS (2014)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A concurrency pre-processor for sequential C verification tools. ASE (2013)
Bernd Fischer, Omar Inverso, Gennaro Parlato
CSeq: A Sequentialization Tool for C - (Competition Contribution). TACAS (2013)

Omar Inverso.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Omar Inverso