50 citations · 53 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 3 cited
DesCert: Design for Certification
Natarajan Shankar, Devesh Bhatt, Michael Ernst +8
The goal of the DARPA Automated Rapid Certification Of Software (ARCOS) program is to "automate the evaluation of software assurance evidence to enable certifiers to determine rapi…
hep-ex2016★ 50 cited
A measurement of the calorimeter response to single hadrons and determination of the jet energy scale uncertainty using LHC Run-1 -collision data with the ATLAS detector
ATLAS Collaboration
A measurement of the calorimeter response to isolated charged hadrons in the ATLAS detector at the LHC is presented. This measurement is performed with 3.2 nb of proton--pro…