A technique to deskew differential PCB traces. - Amer H. Atrash; Brian Butka (ISCAS (2), 2004)

Software Tools for Safety-Critical Systems According to DO-254. - Andrew J. Kornecki; Brian Butka; Janusz Zalewski (Computer, 2008)

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. - Brian Butka; Janusz Zalewski; Andrew J. Kornecki (SAFECOMP, 2009)

Semantic Validation and Interpretability of Object Detection. - Sarah A. Reynolds; Abigail Butka; Brian Butka (ICSC, 2023)

Leveraging Prompt Engineering on ChatGPT for Enhanced Learning in CEC330: Digital System Design in Aerospace. - Alessia Tripaldelli; George Pozek; Brian Butka (EDUCON, 2024)