Truc L. Nguyen

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 7

Top Topics

Interval Analysis

Concurrent Programs

Access Control Systems

Top Venues

Publications

Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Parallel bug-finding in concurrent programs via reduced interleaving instances. ASE (2017)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. NETYS (2017)
Anna Lisa Ferrara, Anna Cinzia Squicciarini, Cong Liao, Truc L. Nguyen
Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems. DBSec (2017)
Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy sequentialization for TSO and PSO via shared memory abstractions. FMCAD (2016)
Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution). TACAS (2016)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs. ATVA (2016)
Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution). TACAS (2015)
Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs. ASE (2015)
Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato
Vac - Verifier of Administrative Role-Based Access Control Policies. CAV (2014)