Parameterized model counting for string and numeric constraints. - Abdulbaki Aydin; William Eiers; Lucas Bang; Tegan Brennan; Miroslav Gavrilov; Tevfik Bultan; Fang Yu 001 (ESEC/SIGSOFT FSE, 2018)

Attack Synthesis for Strings using Meta-Heuristics. - Seemanta Saha; Ismet Burak Kadron; William Eiers; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Subformula Caching for Model Counting and Quantitative Program Analysis. - William Eiers; Seemanta Saha; Tegan Brennan; Tevfik Bultan (ASE, 2019)

Incremental Adaptive Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (CoRR, 2019)

Incremental Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 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)

Quantifying Permissiveness of Access Control Policies. - William Eiers; Ganesh Sankaran; Albert Li; Emily O'Mahony; Benjamin Prince; Tevfik Bultan (ICSE, 2022)

Quacky: Quantitative Access Control Permissiveness Analyzer✱. - William Eiers; Ganesh Sankaran; Albert Li; Emily O'Mahony; Benjamin Prince; Tevfik Bultan (ASE, 2022)

Quantitative Policy Repair for Access Control on the Cloud. - William Eiers; Ganesh Sankaran; Tevfik Bultan (ISSTA, 2023)

Quantitative Access Control Policy Analysis and Repair Using Model Counting - William Eiers (2023)

Quantitative Symbolic Robustness Verification for Quantized Neural Networks. - Mara Downing; William Eiers; Erin DeLong; Anushka Lodha; Brian Ozawa Burns; Ismet Burak Kadron; Tevfik Bultan (ICFEM, 2024)

Synthesizing Access Control Policies Using Large Language Models. - Adarsh Vatsa; Pratyush Patel; William Eiers (NLBSE@ICSE, 2025)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification. - Balaji Rao; William Eiers; Carlo Lipizzi (CoRR, 2025)