Concepedia

Marco Benedetti

MB

11

Publications

316

Citations

10

H-Index

1997

Active since

Affiliations

University of Toronto(Current)

Université d'Orléans

Sapienza University of Rome

École Normale Supérieure - PSL

Marco Benedetti is an author at University of Toronto specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisHardware SecurityDesign For TestingFormal VerificationComputer EngineeringComputer Architecture

Publications per year

1997–2024

11

Publications

11

QBF-Based Formal Verification: Experience and Perspectives

Marco Benedetti, Hratch Mangassarian · Journal on Satisfiability Boolean Modeling and Computation · 2008 · 75 citations · Full text

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test

Hratch Mangassarian, Andreas Veneris, Sean Safarpour et al. · International Conference on Computer Aided Design · 2007 · 45 citations

Hardware Modeling, Engineering, Hardware Verification Language +19

QCSP made practical by virtue of restricted quantification

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard · 2007 · 38 citations

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test

Hratch Mangassarian, Andreas Veneris, Marco Benedetti · IEEE Transactions on Computers · 2010 · 35 citations

Circuit Complexity, Sequential Behavior, Engineering +19

Extracting certificates from quantified boolean formulas

Marco Benedetti · 2005 · 26 citations

Rows per page

1–5 of 11