Truc L. Nguyen

According to our database, Truc L. Nguyen authored at least 11 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).

Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models.

Ermenegildo Tomasco, Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis.

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Networked Systems - 5th International Conference, 2017

Parallel bug-finding in concurrent programs via reduced interleaving instances.

Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems.

Anna Lisa Ferrara, Anna Cinzia Squicciarini, Cong Liao, Truc L. Nguyen

Proceedings of the Data and Applications Security and Privacy XXXI, 2017

2016

MU-CSeq 0.4: Individual Memory Location Unwindings - (Competition Contribution).

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Lazy sequentialization for TSO and PSO via shared memory abstractions.

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).

Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.

Omar Inverso, Truc L. Nguyen, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Vac - Verifier of Administrative Role-Based Access Control Policies.

Anna Lisa Ferrara, P. Madhusudan, Truc L. Nguyen, Gennaro Parlato

Proceedings of the Computer Aided Verification - 26th International Conference, 2014