Omar Inverso

Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 2024

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper).

[BibT_eX]

[DOI]

Cosimo Perini Brogi

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

Accurate Static Data Race Detection for C.

[BibT_eX]

[DOI]

Emerson Sales

Emilio Tuosto

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Modelling flocks of birds and colonies of ants from the bottom up.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., December, 2023

Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021.

[BibT_eX]

[DOI]

Giorgio Audrito

Hugo Torres Vieira

Sci. Comput. Program., 2023

Verifying Programs by Bounded Tree-Width Behavior Graphs.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Verification of Distributed Systems via Sequential Emulation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2022

Automated replication of tuple spaces via static analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Tight Error Analysis in Fixed-point Arithmetic.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2022

A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Modelling Flocks of Birds from the Bottom Up.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Process Algebras and Flocks of Birds.

[BibT_eX]

[DOI]

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation.

[BibT_eX]

[DOI]

Dataset, September, 2021

Preface for the special issue on tool papers of the 21st International Conference on Coordination Models and Languages, COORDINATION 2019.

[BibT_eX]

[DOI]

Hugo Torres Vieira

Sci. Comput. Program., 2021

Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic.

[BibT_eX]

[DOI]

Stella Simic

Mirco Tribastone

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Automated Replication of Tuple Spaces via Static Analysis.

[BibT_eX]

[DOI]

Aline Uwimbabazi

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Multi-agent systems with virtual stigmergy.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Automated model-based performance analysis of software product lines under uncertainty.

[BibT_eX]

[DOI]

Paolo Arcaini

Inf. Softw. Technol., 2020

Parallel and distributed bounded model checking of multi-threaded programs.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Verifying AbC Specifications via Emulation.

[BibT_eX]

[DOI]

Tan Duong

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Abstractions for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Probabilistic Analysis of Binary Sessions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Identification of credulous users on Twitter.

[BibT_eX]

[DOI]

Alessandro Balestrucci

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Building International Doctoral Schools in Computer Science in Italy, De Nicola's Way.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

AErlang: Empowering Erlang with attribute-based communication.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

[BibT_eX]

[DOI]

Frontiers Robotics AI, 2018

Towards formal models and languages for verifiable Multi-Robot Systems.

[BibT_eX]

[DOI]

CoRR, 2018

SAT-based synthesis of spoofing attacks in cyber-physical control systems.

[BibT_eX]

[DOI]

Alberto Bemporad

Mirco Tribastone

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

AErlang at Work.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2017: Theory and Practice of Computer Science, 2017

Verifying Properties of Systems Relying on Attribute-Based Communication.

[BibT_eX]

[DOI]

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Lazy sequentialization for TSO and PSO via shared memory abstractions.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Bounded model checking of multi-threaded programs via sequentialization.

[BibT_eX]

[DOI]

PhD thesis, 2015

Verifying Concurrent Programs by Memory Unwinding.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

On the Path-Width of Integer Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

CSeq: A Sequentialization Tool for C - (Competition Contribution).

[BibT_eX]

[DOI]

Bernd Fischer

Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

CSeq: A concurrency pre-processor for sequential C verification tools.

[BibT_eX]

[DOI]

Bernd Fischer