Randal Bryant

Randal Bryant

Carnegie Mellon University
E-mail confirmado em cs.cmu.edu
Citado por 33201
Formal verification binary decision diagrams
Sean Reed

Sean Reed

Örebro University
E-mail confirmado em oru.se
Citado por 439
Discrete event simulation Binary Decision Diagrams Digital Twins K-Terminal Network Reliability System & Survival Signatures
Stelios Neophytou

Stelios Neophytou

Associate Professor at Computer Engineering, University of Nicosia
E-mail confirmado em unic.ac.cy
Citado por 322
VLSI Testing Binary Decision Diagrams Algorithms for Testing of Digital Integrated …
Marc Bury (né Gillé)

Marc Bury (né Gillé)

Universität Dortmund
E-mail confirmado em tu-dortmund.de
Citado por 318
computational complexity Binary Decision Diagrams implicit algorithms streaming algorithms
Robert Meolic

Robert Meolic

Head of IT at Operato
E-mail confirmado em meolic.com
Citado por 233
Binary Decision Diagrams Model checking Temporal logic Algorithms
Dr M Mohamed Raseen

Dr M Mohamed Raseen

Citado por 136
Binary Decision Diagrams Genetic Algorithms Cryptography E-Health
Tobias Heß

Tobias Heß

PhD Student, University of Ulm
E-mail confirmado em uni-ulm.de
Citado por 132
Binary Decision Diagrams SAT Software Product Lines
Graham David Price

Graham David Price

University of Colorado at Boulder
E-mail confirmado em colorado.edu
Citado por 44
Binary Decision Diagrams Program Analysis Software Verification Data Analysis
Andrew Jackson

Andrew Jackson

Research Associate
Citado por 17
Resilience Engineering Risk Assessment Methodologies Petri Nets Binary Decision Diagrams Fault