| 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 | 122 | 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 | 50 | 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 | 49 | 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 | 36 | 2016 |
| MU-CSeq: Sequentialization of C Programs by Shared 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: 20th …, 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 | 18 | 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 | 17 | 2017 |
| 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 | 15 | 2021 |
| 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 |
| Embedding weak memory models within eager sequentialization E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato University of Southampton, 2016 | 5 | 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 |
| Verifying Programs by Bounded Tree-Width Behavior Graphs O Inverso, S La Torre, G Parlato, E Tomasco European Conference on Multi-Agent Systems, 116-132, 2023 | 1 | 2023 |
| 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 |
