Ermenegildo Tomasco

According to our database, Ermenegildo Tomasco authored at least 10 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verifying Programs by Bounded Tree-Width Behavior Graphs.

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco

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

2022

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

ACM Trans. Program. Lang. Syst., 2022

2017

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.

Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

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

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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

Lazy sequentialization for TSO and PSO via shared memory abstractions.

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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

2015

Verifying Concurrent Programs by Memory Unwinding.

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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).

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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

2014

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

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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

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

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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.

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

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