Daniel Dunbar

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 7

Top Topics

Natural Language Processing

False Acceptance Rate

Semantic Integration

Multi Disciplinary

Top Venues

Publications

Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma
A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures. Syst. 12 (1) (2024)
Daniel Dunbar, Maximilian Vierlboeck, Mark R. Blackburn
Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model. SysCon (2023)
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, John E. Dzielski, Steven Hespelt, Benjamin Kruse, Dinesh Verma, Zhongyuan Yu
Driving digital engineering integration and interoperability through semantic integration of models with ontologies. Syst. Eng. 26 (4) (2023)
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, John E. Dzielski, Steven Hespelt, Benjamin Kruse, Dinesh Verma, Zhongyuan Yu
Driving Digital Engineering Integration and Interoperability Through Semantic Integration of Models with Ontologies. CoRR (2022)
Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma
Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models. TE (2022)
Maximilian Vierlboeck, Daniel Dunbar, Roshanak Nilchiani
Natural Language Processing to Extract Contextual Structure from Requirements. SysCon (2022)
Daniel Dunbar, Mo Mansouri
Themed Entertainment in the Age of Coronavirus. SysCon (2021)
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI (2008)
Dawson R. Engler, Daniel Dunbar
Under-constrained execution: making automatic code destruction easy and scalable. ISSTA (2007)
Daniel Dunbar, Greg Humphreys
A spatial data structure for fast Poisson-disk sample generation. ACM Trans. Graph. 25 (3) (2006)