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
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1132014
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
492015
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
472014
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: (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
202014
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
172016
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
152017
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
102015
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
92021
Embedding weak memory models within eager sequentialization
E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato
University of Southampton, 2016
52016
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
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
2023
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–15