Concepedia

Anton Dahbura

AD

22

Publications

2.2K

Citations

18

H-Index

1985

Active since

Affiliations

AT&T (United States)(Current)

Motorola (United States)

Carnegie Mellon University

Texas A&M University

Nokia (United States)

Anton Dahbura is an author at AT&T (United States) specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringSoftware TestingSoftware AnalysisSystems EngineeringProgram AnalysisVerificationFormal VerificationFormal Methods

Publications per year

1985–2021

22

Publications

22

On self-diagnosable multiprocessor systems: diagnosis by the comparison approach

Abhijit Sengupta, Anton Dahbura · IEEE Transactions on Computers · 1992 · 434 citations

Engineering, Software Systems, Diagnosis +20

An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

Alfred V. Aho, Anton Dahbura, D. Lee et al. · IEEE Transactions on Communications · 1991 · 421 citations

Engineering, Verification, Test Data Generation +25

A protocol test generation procedure

Krishan Sabnani, Anton Dahbura · Computer Networks and ISDN Systems · 1988 · 416 citations

Engineering, Program Analysis, Software Testing +9

Governing AI safety through independent audits

Gregory Falco, Ben Shneiderman, Julia Badger et al. · Nature Machine Intelligence · 2021 · 197 citations

Auditing, Responsible Ai, Accounting +8

Protocol conformance testing using multiple UIO sequences

Y.-N. Shen, Fabrizio Lombardi, Anton Dahbura · IEEE Transactions on Communications · 1992 · 104 citations

Engineering, Verification, Computer-aided Verification +22

Rows per page

1–5 of 22