Brian Butka

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 2

Top Topics

Mechanical Engineering

Object Detection

Active Participation

Semantic Knowledge

Top Venues

Publications

Alessia Tripaldelli, George Pozek, Brian Butka
Leveraging Prompt Engineering on ChatGPT for Enhanced Learning in CEC330: Digital System Design in Aerospace. EDUCON (2024)
Sarah Reynolds, Abigail Butka, Brian Butka
Semantic Validation and Interpretability of Object Detection. ICSC (2023)
Brian Butka, Janusz Zalewski, Andrew J. Kornecki
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do. SAFECOMP (2009)
Andrew J. Kornecki, Brian Butka, Janusz Zalewski
Software Tools for Safety-Critical Systems According to DO-254. Computer 41 (12) (2008)
Amer H. Atrash, Brian Butka
A technique to deskew differential PCB traces. ISCAS (2) (2004)