| 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 | 71 | 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 | 36 | 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 | 36 | 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 | 31 | 2016 |
| 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 | 28 | 2017 |
| 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 | 21 | 2015 |
| MU-CSeq 0.4: Individual Memory Location Unwindings: (Competition Contribution) E Tomasco, TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2016 | 19 | 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 | 17 | 2017 |
| Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation: (Competition Contribution) TL Nguyen, O Inverso, B Fischer, S La Torre, G Parlato International Conference on Tools and Algorithms for the Construction and …, 2017 | 12 | 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 | 10 | 2017 |
| Embedding weak memory models within eager sequentialization E Tomasco, T Nguyen Lam, B Fischer, S La Torre, G Parlato University of Southampton, 2016 | 5 | 2016 |
| 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 | 4 | 2011 |
| 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 | 2 | 2017 |
| Understanding and constructing shared spaces for supporting informal interaction at a distance TLT Nguyen, BK Tan | 2 | 2011 |
| 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 |
| 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 | | |
