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)

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)

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)

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. - Ermenegildo Tomasco; Truc Lam Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (SEFM, 2017)

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)

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