Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:G.Parlato S.L.Torre B.Fischer A.L.Ferrara P.Madhusudan O.Inverso P.Schrammel B.F.0002
Talks about:program (3) lazi (3) unbound (2) context (2) tool (2) seq (2) interleav (1) contribut (1) administr (1) sequenti (1)
Person: Truc L. Nguyen
DBLP: Nguyen:Truc_L=
Contributed to:
2015
2014
20152017Wrote 4 papers:
- TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code
- Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
- CAV-2014-FerraraMNP #data access #named #policy #verification
- Vac — Verifier of Administrative Role-Based Access Control Policies (ALF, PM, TLN, GP), pp. 184–191.
- ASE-2015-InversoN0TP #bound #concurrent #model checking #multi #named #thread
- Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs (OI, TLN, BF, SLT, GP), pp. 807–812.
- ASE-2017-NguyenS0TP #concurrent #parallel #source code
- Parallel bug-finding in concurrent programs via reduced interleaving instances (TLN, PS, BF0, SLT, GP), pp. 753–764.