| 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 | 53 | 2015 |
| 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 | 32 | 2016 |
| 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 | 24 | 2014 |
| 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 | 23 | 2016 |
| Unbounded lazy-CSeq: A lazy sequentialization tool for C programs with unbounded context switches TL Nguyen, B Fischer, SL Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2015 | 18 | 2015 |
| 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 | 16 | 2017 |
| MU-CSeq 0.4: individual memory location unwindings E Tomasco, TL Nguyen, O Inverso, B Fischer, SL Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2016 | 16 | 2016 |
| 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 | 12 | 2017 |
| 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 | 11 | 2017 |
| 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 | 7 | 2017 |
| Embedding weak memory models within eager sequentialization E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato University of Southampton, 2016 | 6 | 2016 |
| 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 | 1 | 2017 |
| 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 | 1 | 2016 |
| Lazy-CSeq 1.0:(Competition Contribution) O Inverso, T Nguyen, E Tomasco, B Fischer, S La Torre, G Parlato University of Southampton, 2015 | 1 | 2015 |
| Understanding Shared Space for Informal Interaction among Geographically Distributed Teams TLT Nguyen, TB Kiang CUMINCAD, 2011 | 1 | 2011 |
| 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 |
| 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 | | |
