The following publications are possibly variants of this publication:
- MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution)Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2015: 436-438 [doi]
- MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution)Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2016: 938-941 [doi]
- CSeq: A Sequentialization Tool for C - (Competition Contribution)Bernd Fischer 0002, Omar Inverso, Gennaro Parlato. TACAS 2013: 616-618 [doi]
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution)Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2015: 461-463 [doi]
- Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution)Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2014: 398-401 [doi]
- Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution)Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. TACAS 2017: 375-379 [doi]