Brian Butka

According to our database, Brian Butka authored at least 5 papers between 2004 and 2024.

Collaborative distances:

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

2024

Leveraging Prompt Engineering on ChatGPT for Enhanced Learning in CEC330: Digital System Design in Aerospace.

Alessia Tripaldelli, George Pozek, Brian Butka

Proceedings of the IEEE Global Engineering Education Conference, 2024

2023

Semantic Validation and Interpretability of Object Detection.

Sarah A. Reynolds, Abigail Butka, Brian Butka

Proceedings of the 17th IEEE International Conference on Semantic Computing, 2023

2009

Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do.

Brian Butka, Janusz Zalewski, Andrew J. Kornecki

Proceedings of the Computer Safety, 2009

2008

Software Tools for Safety-Critical Systems According to DO-254.

Andrew J. Kornecki, Brian Butka, Janusz Zalewski

Computer, 2008

2004

A technique to deskew differential PCB traces.

Amer H. Atrash, Brian Butka

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004