Daniel Dunbar

According to our database, Daniel Dunbar authored at least 9 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

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., July, 2023

Use of Natural Language Processing in Digital Engineering Context to Aid Tagging of Model.

Daniel Dunbar, Maximilian Vierlboeck, Mark R. Blackburn

Proceedings of the IEEE International Systems Conference, 2023

2022

Natural Language Processing to Extract Contextual Structure from Requirements.

Maximilian Vierlboeck, Daniel Dunbar, Roshanak Nilchiani

Proceedings of the IEEE International Systems Conference, 2022

Use of Semantic Web Technologies to Enable System Level Verification in Multi-Disciplinary Models.

Daniel Dunbar, Thomas J. Hagedorn, Mark R. Blackburn, Dinesh Verma

Proceedings of the Transdisciplinarity and the Future of Engineering, 2022

2021

Themed Entertainment in the Age of Coronavirus.

Daniel Dunbar, Mo Mansouri

Proceedings of the IEEE International Systems Conference, 2021

2008

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cristian Cadar, Daniel Dunbar, Dawson R. Engler

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007

Under-constrained execution: making automatic code destruction easy and scalable.

Dawson R. Engler, Daniel Dunbar

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2006

A spatial data structure for fast Poisson-disk sample generation.

Daniel Dunbar, Greg Humphreys

ACM Trans. Graph., 2006