Supporting Public Administration with an Integrated BPR Environment. - Aaron Ciaghi; Adolfo Villafiorita; Komminist Weldemariam; Andrea Mattioli 001; Quoc-Sang Phan (AFRICOM, 2009)

Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. - Alberto Griggio; Quoc-Sang Phan; Roberto Sebastiani; Silvia Tomasi (FroCoS, 2011)

Symbolic quantitative information flow. - Quoc-Sang Phan; Pasquale Malacaria; Oksana Tkachuk; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2012)

Self-composition by Symbolic Execution. - Quoc-Sang Phan (ICCSW, 2013)

Abstract model counting: a novel approach for quantification of information leaks. - Quoc-Sang Phan; Pasquale Malacaria (AsiaCCS, 2014)

Symbolic Execution as DPLL Modulo Theories. - Quoc-Sang Phan (ICCSW, 2014)

Quantifying information leaks using reliability analysis. - Quoc-Sang Phan; Pasquale Malacaria; Corina S. Pasareanu; Marcelo d'Amorim (SPIN, 2014)

All-Solution Satisfiability Modulo Theories: Applications, Algorithms and Benchmarks. - Quoc-Sang Phan; Pasquale Malacaria (ARES, 2015)

Model Counting Modulo Theories. - Quoc-Sang Phan (CoRR, 2015)

Concurrent Bounded Model Checking. - Quoc-Sang Phan; Pasquale Malacaria; Corina S. Pasareanu (ACM SIGSOFT Softw. Eng. Notes, 2015)

Model Counting Modulo Theories. - Quoc-Sang Phan (2015)

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. - Corina S. Pasareanu; Quoc-Sang Phan; Pasquale Malacaria (CSF, 2016)

String analysis for side channels with segmented oracles. - Lucas Bang; Abdulbaki Aydin; Quoc-Sang Phan; Corina S. Pasareanu; Tevfik Bultan (SIGSOFT FSE, 2016)

Model-counting Approaches For Nonlinear Numerical Constraints. - Mateus Borges; Quoc-Sang Phan; Antonio Filieri; Corina S. Pasareanu (IACR Cryptol. ePrint Arch., 2017)

Synthesis of Adaptive Side-Channel Attacks. - Quoc-Sang Phan; Lucas Bang; Corina S. Pasareanu; Pasquale Malacaria; Tevfik Bultan (IACR Cryptol. ePrint Arch., 2017)

Testing heap-based programs with Java StarFinder. - Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun 001; Shengchao Qin (ICSE (Companion Volume), 2018)

Symbolic Side-Channel Analysis for Probabilistic Programs. - Pasquale Malacaria; M. H. R. Khouzani; Corina S. Pasareanu; Quoc-Sang Phan; Kasper Søe Luckow (IACR Cryptol. ePrint Arch., 2018)

Test input generation using separati logic. - Quoc-Sang Phan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Automatic Data Structure Repair usingSeparation Logic. - Guolong Zheng; Quang Loc Le; ThanhVu Nguyen; Quoc-Sang Phan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. - Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun 001; Shengchao Qin (ATVA, 2019)

Concolic Testing Heap-Manipulating Programs. - Long H. Pham; Quang Loc Le; Quoc-Sang Phan; Jun Sun 001 (FM, 2019)

Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. - Corina S. Pasareanu; Rody Kersten; Kasper Søe Luckow; Quoc-Sang Phan (Adv. Comput., 2019)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Analyzing the CMake Build System. - KimHao Nguyen; ThanhVu Nguyen; Quoc-Sang Phan (ICSE (SEIP), 2022)

The Challenges of Shift Left Static Analysis. - Quoc-Sang Phan; KimHao Nguyen; ThanhVu Nguyen (ICSE-SEIP, 2023)