Vac - Verifier of Administrative Role-Based Access Control Policies. - Anna Lisa Ferrara; P. Madhusudan; Truc L. Nguyen; Gennaro Parlato (CAV, 2014)

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. - Omar Inverso; Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2015)

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2015)

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ATVA, 2016)

Lazy sequentialization for TSO and PSO via shared memory abstractions. - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (FMCAD, 2016)

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). - Ermenegildo Tomasco; Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS, 2016)

Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems. - Anna Lisa Ferrara; Anna Cinzia Squicciarini; Cong Liao; Truc L. Nguyen (DBSec, 2017)

Parallel bug-finding in concurrent programs via reduced interleaving instances. - Truc L. Nguyen; Peter Schrammel; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (ASE, 2017)

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. - Truc L. Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (NETYS, 2017)

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models. - Ermenegildo Tomasco; Truc Lam Nguyen; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (SEFM, 2017)

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). - Truc L. Nguyen; Omar Inverso; Bernd Fischer 002; Salvatore La Torre; Gennaro Parlato (TACAS (2), 2017)