Truc L. Nguyen

Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs

Omar Inverso, Truc L. Nguyen, Bernd Fischer et al. · 2015 · 48 citations

Computing, Computer Engineering, Computer Science +17

Parallel bug-finding in concurrent programs via reduced interleaving instances

Truc L. Nguyen, Peter Schrammel, Bernd Fischer et al. · 2017 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +16

Lazy sequentialization for TSO and PSO via shared memory abstractions

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso et al. · 2016 · 23 citations

Computing, Computer Engineering, Computer Science +17

Lazy sequentialization for TSO and PSO via shared memory abstractions

Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso et al. · ePrints Soton (University of Southampton) · 2016 · 19 citations

Computing, Computer Engineering, Computer Science +17