81 citations · 823 across the 35 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
Lidia Losavio, Marco Paganoni, Carlo A. Furia
Lightweight validation technique, such as those based on random testing, are sometimes practical alternatives to full formal verification -- providing valuable benefits, such as fi…
physics.ins-det2025★ 9 cited
The CMS Barrel Timing Layer: test beam confirmation of module timing performance
F. Addesa, P. Akrap, A. Albert +127
First of its kind, the barrel section of the MIP Timing Detector is a large area timing detector based on LYSO:Ce crystals and SiPMs which are required to operate in an unprecedent…