E. Cerny

A Test Design Methodology for Protocol Testing

B. Sarikaya, Gregor von Bochmann, E. Cerny · IEEE Transactions on Software Engineering · 1987 · 128 citations

Computing, Computer Science, Formal Methods +16

Multiway Decision Graphs for Automated Hardware Verification

Francisco Corella, Zijian Zhou, X. Song et al. · Formal Methods in System Design · 1997 · 107 citations

Engineering, Computer Engineering, Computer Science +14

Optimization-based multifrequency test generation for analog circuits

A. Abderrahman, Bożena Kamińska, E. Cerny · Journal of Electronic Testing · 1996 · 61 citations

Engineering, Computer Engineering, Electrical Engineering +14

A recursive technique for computing lower-bound performance of schedules

M. Langevin, E. Cerny · ACM Transactions on Design Automation of Electronic Systems · 1996 · 48 citations

Computing, Computer Engineering, Computer Science +15

Simulation of MOS Circuits by Decision Diagrams

E. Cerny, J. Gecsei · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1985 · 41 citations

Engineering, Computer Engineering, Electrical Engineering +17