CSeq: A concurrency pre-processor for sequential C verification tools. - Bernd Fischer 002; Omar Inverso; Gennaro Parlato (ASE, 2013)

CSeq: A Sequentialization Tool for C - (Competition Contribution). - Bernd Fischer 002; Omar Inverso; Gennaro Parlato (TACAS, 2013)

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (CAV, 2014)

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2014)

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2014)

On the Path-Width of Integer Linear Programming. - Constantin Enea; Peter Habermehl; Omar Inverso; Gennaro Parlato (GandALF, 2014)

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. - Omar Inverso; Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2015)

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

Verifying Concurrent Programs by Memory Unwinding. - Ermenegildo Tomasco; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

Bounded model checking of multi-threaded programs via sequentialization. - Omar Inverso (2015)

Lazy sequentialization for TSO and PSO via shared memory abstractions. - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (FMCAD, 2016)

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2016)

Verifying Properties of Systems Relying on Attribute-Based Communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (ModelEd, TestEd, TrustEd, 2017)

AErlang at Work. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (SOFSEM, 2017)

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). - Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS (2), 2017)

SAT-based synthesis of spoofing attacks in cyber-physical control systems. - Omar Inverso; Alberto Bemporad; Mirco Tribastone (ICCPS, 2018)

Towards formal models and languages for verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (CoRR, 2018)

Toward Formal Models and Languages for Verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Frontiers Robotics AI, 2018)

AErlang: Empowering Erlang with attribute-based communication. - Rocco De Nicola; Tan Duong; Omar Inverso; Catia Trubiani (Sci. Comput. Program., 2018)

Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way. - Luca Aceto; Gianlorenzo D'Angelo; Michele Flammini; Omar Inverso; Ludovico Iovino; Catia Trubiani (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. - Rocco De Nicola; Tan Duong; Omar Inverso; Franco Mazzanti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Identification of credulous users on Twitter. - Alessandro Balestrucci; Rocco De Nicola; Omar Inverso; Catia Trubiani (SAC, 2019)

Probabilistic Analysis of Binary Sessions. - Omar Inverso; Hernán C. Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto (CONCUR, 2020)

Abstractions for Collective Adaptive Systems. - Omar Inverso; Catia Trubiani; Emilio Tuosto (ISoLA (2), 2020)

Verifying AbC Specifications via Emulation. - Rocco De Nicola; Tan Duong; Omar Inverso (ISoLA (2), 2020)

Parallel and distributed bounded model checking of multi-threaded programs. - Omar Inverso; Catia Trubiani (PPoPP, 2020)

Automated model-based performance analysis of software product lines under uncertainty. - Paolo Arcaini; Omar Inverso; Catia Trubiani (Inf. Softw. Technol., 2020)

Multi-agent systems with virtual stigmergy. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Sci. Comput. Program., 2020)

Automated Replication of Tuple Spaces via Static Analysis. - Aline Uwimbabazi; Omar Inverso; Rocco De Nicola (FSEN, 2021)

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic. - Stella Simic; Omar Inverso; Mirco Tribastone (SEFM, 2021)

Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019. - Omar Inverso; Hugo Torres Vieira (Sci. Comput. Program., 2021)

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (Zenodo, 2021)

Process Algebras and Flocks of Birds. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Modelling Flocks of Birds from the Bottom Up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (ISoLA (3), 2022)

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution). - Alex Coto; Omar Inverso; Emerson Sales; Emilio Tuosto (TACAS (2), 2022)

Tight Error Analysis in Fixed-point Arithmetic. - Stella Simic; Alberto Bemporad; Omar Inverso; Mirco Tribastone (Formal Aspects Comput., 2022)

Automated replication of tuple spaces via static analysis. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Aline Uwimbabazi (Sci. Comput. Program., 2022)

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. - Omar Inverso; Ermenegildo Tomasco; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ACM Trans. Program. Lang. Syst., 2022)

Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (ACM Trans. Softw. Eng. Methodol., 2022)

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (CMSB, 2023)

Verifying Programs by Bounded Tree-Width Behavior Graphs. - Omar Inverso; Salvatore La Torre; Gennaro Parlato; Ermenegildo Tomasco (EUMAS, 2023)

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. - Giorgio Audrito; Omar Inverso; Hugo Torres Vieira (Sci. Comput. Program., 2023)

Modelling flocks of birds and colonies of ants from the bottom up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (Int. J. Softw. Tools Technol. Transf., 2023)

Accurate Static Data Race Detection for C. - Emerson Sales; Omar Inverso; Emilio Tuosto (FM (1), 2024)

Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper). - Cosimo Perini Brogi; Rocco De Nicola; Omar Inverso (ICTCS, 2024)

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. - Luca Di Stefano 001; Omar Inverso (ISoLA (1), 2024)

Reproducibility Report for the Paper: Follow the Leader: Alternating CPU/GPU Computations in PDES. - Omar Inverso (SIGSIM-PADS, 2024)

Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems. - Pablo Krupa; Omar Inverso; Mirco Tribastone; Alberto Bemporad (Autom., 2024)