Follow
ermenegildo tomasco
Title
Cited by
Cited by
Year
Bounded model checking of multi-threaded C programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
International Conference on Computer Aided Verification, 585-602, 2014
922014
Verifying concurrent programs by memory unwinding
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
482015
Lazy-CSeq: a lazy sequentialization tool for C
O Inverso, E Tomasco, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
452014
Lazy sequentialization for TSO and PSO via shared memory abstractions
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
2016 Formal Methods in Computer-Aided Design (FMCAD), 193-200, 2016
332016
MU-CSeq: sequentialization of C programs by shared memory unwindings
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2014
202014
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
172016
Using shared memory abstractions to design eager sequentializations for weak memory models
E Tomasco, TL Nguyen, B Fischer, S La Torre, G Parlato
International Conference on Software Engineering and Formal Methods, 185-202, 2017
132017
MU-CSeq 0.3: sequentialization by read-implicit and coarse-grained memory unwindings
E Tomasco, O Inverso, B Fischer, SL Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
112015
Embedding weak memory models within eager sequentialization
E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato
University of Southampton, 2016
62016
Bounded verification of multi-threaded programs via lazy sequentialization
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (1), 1-50, 2021
42021
Lazy-CSeq 0.6 c: An improved lazy sequentialization tool for C (competition contribution)
O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato
University of Southampton, 2014
32014
Separating computation from communication: a design approach for concurrent program verification
E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato
University of Southampton, 2016
12016
Lazy-CSeq 1.0:(Competition Contribution)
O Inverso, T Nguyen, E Tomasco, B Fischer, S La Torre, G Parlato
University of Southampton, 2015
12015
Separating computation from communication:: a design approach for concurrent bug finding
E Tomasco
University of Southampton, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–14