Concepedia

Alberto Griggio

AG

23

Publications

1.3K

Citations

18

H-Index

2009

Active since

Affiliations

Fondazione Bruno Kessler(Current)

University of Trento

A. Alikhanyan National Laboratory

Istituto Nazionale di Fisica Nucleare, Sezione di Bologna

Istituto Nazionale di Fisica Nucleare, Sezione di Padova

Alberto Griggio is an author at Fondazione Bruno Kessler specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProgram AnalysisSoftware AnalysisSatisfiabilitySoftware Testing

Publications per year

2009–2024

23

Publications

23

Performance of the CMS Level-1 trigger in proton-proton collisions at √<i>s</i> = 13 TeV

A. M. Sirunyan, A. Tumasyan, W. Adam et al. · Journal of Instrumentation · 2020 · 293 citations · Full text

Software model checking via large-block encoding

Dirk Beyer, Alessandro Cimatti, Alberto Griggio et al. · 2009 · 146 citations · Full text

Program Checking, Engineering, Verification +18

Development of the CMS detector for the CERN LHC Run 3

A. Hayrapetyan, A. Tumasyan, W. Adam et al. · Journal of Instrumentation · 2024 · 110 citations · Full text

Collider Physic, Engineering, Cern Lhc +17

Software Model Checking via Large-Block Encoding

Dirk Beyer, Alessandro Cimatti, Alberto Griggio et al. · ArXiv.org · 2009 · 88 citations · Full text

Program Checking, Engineering, Reachability Problem +20

Efficient generation of craig interpolants in satisfiability modulo theories

Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani · ACM Transactions on Computational Logic · 2010 · 62 citations

Mathematical Programming, Decision Procedure, Craig Interpolants +14

Rows per page

1–5 of 23