| Bounded model checking of multi-threaded C programs via lazy sequentialization O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 104 | 2014 |
| Verifying concurrent programs by memory unwinding E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 48 | 2015 |
| Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution) O Inverso, E Tomasco, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 46 | 2014 |
| 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 | 34 | 2016 |
| MU-CSeq: Sequentialization of C programs by shared memory unwindings E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato TACAS, 402-404, 2014 | 20 | 2014 |
| MU-CSeq 0.4: Individual Memory Location Unwindings: (Competition Contribution) E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 17 | 2016 |
| Using shared memory abstractions to design eager sequentializations for weak memory models E Tomasco, TL Nguyen, B Fischer, S La Torre, G Parlato Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 15 | 2017 |
| MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings: (Competition Contribution) E Tomasco, O Inverso, B Fischer, S La Torre, G Parlato Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 10 | 2015 |
| 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 | 8 | 2021 |
| Embedding weak memory models within eager sequentialization E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato University of Southampton, 2016 | 6 | 2016 |
| 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 | 3 | 2014 |
| 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 | 1 | 2016 |
| Lazy-CSeq 1.0:(Competition Contribution) O Inverso, T Nguyen, E Tomasco, B Fischer, S La Torre, G Parlato University of Southampton, 2015 | 1 | 2015 |
| Separating computation from communication:: a design approach for concurrent bug finding E Tomasco University of Southampton, 2017 | | 2017 |
