Ermenegildo Tomasco

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

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer et al. · ePrints Soton (University of Southampton) · 2014 · 25 citations · Full text

Computing, Computer Science, Computer Systems +11

Lazy sequentialization for TSO and PSO via shared memory abstractions

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso et al. · 2016 · 23 citations

Computing, Computer Engineering, Computer Science +17

Lazy sequentialization for TSO and PSO via shared memory abstractions

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso et al. · ePrints Soton (University of Southampton) · 2016 · 19 citations

Computing, Computer Engineering, Computer Science +17

Bounded Verification of Multi-threaded Programs via Lazy Sequentialization

Omar Inverso, Ermenegildo Tomasco, Bernd Fischer et al. · ACM Transactions on Programming Languages and Systems · 2021 · 16 citations · Full text

Computing, Computer Science, Formal Methods +13

MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution)

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer et al. · ePrints Soton (University of Southampton) · 2014 · 10 citations · Full text

Computing, Computer Engineering, Computer Science +17