A spatial data structure for fast Poisson-disk sample generation. - Daniel Dunbar; Greg Humphreys (ACM Trans. Graph., 2006)

Under-constrained execution: making automatic code destruction easy and scalable. - Dawson R. Engler; Daniel Dunbar (ISSTA, 2007)

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. - Cristian Cadar; Daniel Dunbar; Dawson R. Engler (OSDI, 2008)

Themed Entertainment in the Age of Coronavirus. - Daniel Dunbar; Mo Mansouri (SysCon, 2021)

Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; Dinesh Verma (TE, 2022)

Natural Language Processing to Extract Contextual Structure from Requirements. - Maximilian Vierlboeck; Daniel Dunbar; Roshanak Nilchiani (SysCon, 2022)

Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model. - Daniel Dunbar; Maximilian Vierlboeck; Mark R. Blackburn (SysCon, 2023)

Driving digital engineering integration and interoperability through semantic integration of models with ontologies. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; John E. Dzielski; Steven Hespelt; Benjamin Kruse; Dinesh Verma; Zhongyuan Yu (Syst. Eng., 2023)

A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures. - Daniel Dunbar; Thomas J. Hagedorn; Mark R. Blackburn; Dinesh Verma (Syst., 2024)