Omar Inverso

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

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