Perfiles

Sharad Malik

Professor of Electrical Engineering, Princeton University

Dirección de correo verificada de princeton.edu

Citado por 25950

Computer Engineering Electronic Design Automation Computer-Aided Design Formal Verification Hardware Verification

Sofiene Tahar

Concordia University

Dirección de correo verificada de ece.concordia.ca

Citado por 3935

Formal Methods Hardware Verification Reliability Analysis System-on-Chip Analog and Mixed Signal

Kevin D Jones

University of Plymouth

Dirección de correo verificada de plymouth.ac.uk

Citado por 1774

Maritime Security Hardware Verification Formal Methods Computer Security Power Control

Paul Molitor

Professor of Computer Science, Martin-Luther-University Halle-Wittenberg

Dirección de correo verificada de informatik.uni-halle.de

Citado por 1180

eHumanities Text Mining Hardware Verification Logical Circuit Design TSP and QTSP

Otmane AIT MOHAMED

Professor of Computer Engineering, Concordia University

Dirección de correo verificada de concordia.ca

Citado por 856

Hardware Verification Model checking Reliability Analysis high level modeling

Julien Schmaltz

Eindhoven University of Technology

Dirección de correo verificada de tue.nl

Citado por 852

formal methods theorem proving interconnection networks deadlock verification hardware verification

Sela Mador-Haim

Computer Information Science, University of Pennsylvania

Dirección de correo verificada de seas.upenn.edu

Citado por 715

Formal methods Consistency Models Hardware Verification Semantics

Martin Suda

Czech Technical University in Prague

Dirección de correo verificada de cvut.cz

Citado por 686

Automated reasoning Linear temporal logic and symbolic … Hardware verification Automated planning

Amir Nahir

Apple

Dirección de correo verificada de apple.com

Citado por 676

Hardware Verification Post-silicon Validation Cloud Computing Game Theory

Jim Grundy

Apple Computer

Dirección de correo verificada de acm.org

Citado por 665

Hardware Verification Software Verification Automated Reasoning Theorem Proving Programming Languages

1 - 10