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
422015
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
282016
Vac-verifier of administrative role-based access control policies
AL Ferrara, P Madhusudan, TL Nguyen, G Parlato
International Conference on Computer Aided Verification, 184-191, 2014
192014
Lazy sequentialization for the safety verification of unbounded concurrent programs
TL Nguyen, B Fischer, S La Torre, G Parlato
International Symposium on Automated Technology for Verification and …, 2016
172016
Unbounded lazy-cseq: a lazy sequentialization tool for c programs with unbounded context switches
TL Nguyen, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2015
142015
MU-CSeq 0.4: individual memory location unwindings
E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2016
132016
Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation
TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato
International Conference on Tools and Algorithms for the Construction and …, 2017
102017
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
82017
Using shared memory abstractions to design eager sequentializations for weak memory models
E Tomasco, TL Nguyen, B Fischer, S La Torre, G Parlato
International Conference on Software Engineering and Formal Methods, 185-202, 2017
72017
Concurrent program verification with lazy sequentialization and interval analysis
TL Nguyen, B Fischer, S La Torre, G Parlato
International Conference on Networked Systems, 255-271, 2017
62017
Embedding weak memory models within eager sequentialization
E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato
University of Southampton, 2016
52016
Toward group-based user-attribute policies in azure-like access control systems
AL Ferrara, A Squicciarini, C Liao, TL Nguyen
IFIP Annual Conference on Data and Applications Security and Privacy, 349-361, 2017
12017
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
MU-CSeq 0.4: Individual Memory Location Unwindings
T Ermenegildo, TL Nguyen, I Omar, F Bernd, S La Torre, G Parlato
Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2016
2016
Understanding and constructing shared spaces for supporting informal interaction at a distance
TLT Nguyen, BK Tan
CUMINCAD, 2011
2011
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