Ermenegildo Tomasco

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Bounded Tree Width

Parallel Execution

Bounded Model Checking

Top Venues

Publications

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco
Verifying Programs by Bounded Tree-Width Behavior Graphs. EUMAS (2023)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. SEFM (2017)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Verifying Concurrent Programs by Memory Unwinding. TACAS (2015)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution). TACAS (2015)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization. CAV (2014)
Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution). TACAS (2014)
Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution). TACAS (2014)