| 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 | 61 | 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 Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 32 | 2014 |
| 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 | 27 | 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 | 23 | 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 | 20 | 2015 |
| 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 | 18 | 2016 |
| 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 | 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 Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 12 | 2017 |
| 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 | 9 | 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 Data and Applications Security and Privacy XXXI: 31st Annual IFIP WG 11.3 …, 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 | | |
