Follow
Truc Lam Nguyen
Truc Lam Nguyen
Verified email at soton.ac.uk - Homepage
Title
Cited by
Cited by
Year
Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programs
O Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
602015
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
Vac - Verifier of Administrative Role-Based Access Control Policies
AL Ferrara, P Madhusudan, TL Nguyen, G Parlato
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
282014
Lazy sequentialization for the safety verification of unbounded concurrent programs
TL Nguyen, B Fischer, S La Torre, G Parlato
Automated Technology for Verification and Analysis: 14th International …, 2016
252016
Parallel bug-finding in concurrent programs via reduced interleaving instances
TL Nguyen, P Schrammel, B Fischer, S La Torre, G Parlato
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
202017
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches: (Competition Contribution)
TL Nguyen, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
202015
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
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: (Competition Contribution)
TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
122017
Concurrent program verification with lazy sequentialization and interval analysis
TL Nguyen, B Fischer, S La Torre, G Parlato
Networked Systems: 5th International Conference, NETYS 2017, Marrakech …, 2017
82017
Embedding weak memory models within eager sequentialization
E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato
University of Southampton, 2016
52016
Shared space at a distance: A model of integrated shared space for supporting informal interaction at a distance
NTL Truc, TAN Beng-Kiang
Proceedings of the CAAD Futures, 41-54, 2011
42011
Toward group-based user-attribute policies in azure-like access control systems
AL Ferrara, A Squicciarini, C Liao, TL Nguyen
Data and Applications Security and Privacy XXXI: 31st Annual IFIP WG 11.3 …, 2017
22017
Understanding and constructing shared spaces for supporting informal interaction at a distance
TLT Nguyen, BK Tan
22011
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
A Pragmatic Verification Approach for Concurrent Programs
TL Nguyen
Original typescript, 2017
2017
A pragmatic verification approach for concurrent programs
T Nguyen Lam
University of Southampton, 2017
2017
SHARED SPACE AT A DISTANCE
TLT NGUYEN, TAN Beng-Kiang
Green ICT-(JT) 2L
J Verame, J Zaynal, L Alhassan, N Pham, T Nguyen Lam
The system can't perform the operation now. Try again later.
Articles 1–20