81 citations · 823 across the 35 of their papers we have counts for
35 papers
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…
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…
Exploring Scintillators and Cherenkov Radiators for MIP Timing Detectors
R. Cala', L. Martinazzoli, N. Kratochwil +14
This article presents the timing performance of materials with fast light emission, tested as Minimum Ionizing Particle detectors using 150 GeV hadron beams in Monte Carlo simulati…
Optimization of LYSO crystals and SiPM parameters for the CMS MIP timing detector
F. Addesa, T. Anderson, P. Barria +68
For the High-Luminosity (HL-LHC) phase, the upgrade of the Compact Muon Solenoid (CMS) experiment at CERN will include a novel MIP Timing Detector (MTD). The central part of MTD, t…
Verifying Functional Correctness Properties At the Level of Java Bytecode
Marco Paganoni, Carlo A. Furia
The breakneck evolution of modern programming languages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language feat…
Reasoning About Exceptional Behavior At the Level of Java Bytecode
Marco Paganoni, Carlo A. Furia
A program's exceptional behavior can substantially complicate its control flow, and hence accurately reasoning about the program's correctness. On the other hand, formally verifyin…
Test beam characterization of sensor prototypes for the CMS Barrel MIP Timing Detector
R. Abbott, A. Abreu, F. Addesa +196
The MIP Timing Detector will provide additional timing capabilities for detection of minimum ionizing particles (MIPs) at CMS during the High Luminosity LHC era, improving event re…
Characterization studies of Silicon Photomultipliers and crystals matrices for a novel time of flight PET detector
Etiennette Auffray, Faraah Ben Mimoun Bel Hadj, Daniele Cortinovis +10
This paper describes the characterization of crystal matrices and silicon photomultiplier arrays for a novel Positron Emission Tomography (PET) detector, namely the external plate…
Study of the Dependence of Direct Soft Photon Production on the Jet Characteristics in Hadronic Z^0 Decays
DELPHI Collaboration, J. Abdallah
An analysis of the direct soft photon production rate as a function of the parent jet characteristics is presented, based on hadronic events collected by the DELPHI experiment at L…
Measurements of CP-conserving Trilinear Gauge Boson Couplings WWV (V = gamma,Z) in e+e- Collisions at LEP2
The DELPHI Collaboration, J. Abdallah
The data taken by DELPHI at centre-of-mass energies between 189 and 209 GeV are used to place limits on the CP-conserving trilinear gauge boson couplings Delta_g1z, lambda_gamma an…
Radiation hardness qualification of PbWO4 scintillation crystals for the CMS Electromagnetic Calorimeter
The CMS Electromagnetic Calorimeter Group, P. Adzic, N. Almeida +267
Ensuring the radiation hardness of PbWO4 crystals was one of the main priorities during the construction of the electromagnetic calorimeter of the CMS experiment at CERN. The produ…
Large-angle production of charged pions by 3 GeV/c - 12 GeV/c protons on carbon, copper and tin targets
HARP Collaboration
A measurement of the double-differential production cross-section in proton--carbon, proton--copper and proton--tin collisions in the range of pion momentum $100 \MeVc \l…
Measurement of the production of charged pions by protons on a tantalum target
HARP Collaboration, M. G. Catanesi
A measurement of the double-differential cross-section for the production of charged pions in proton--tantalum collisions emitted at large angles from the incoming beam direction i…
Measurement of the production cross-section of positive pions in the collision of 8.9 GeV/c protons on beryllium
HARP Collaboration
The double-differential production cross-section of positive pions, , measured in the HARP experiment is presented. The incident particles are 8.9 GeV/c protons…
Measurement of the production cross-section of positive pions in p-Al collisions at 12.9 GeV/c
HARP Collaboration
A precision measurement of the double-differential production cross-section, , for pions of positive charge, performed in the HARP experiment is presented.…
Search for single top production via FCNC at LEP at sqrt(s) = 189-208 GeV
The DELPHI Collaboration, J. Abdallah
A search for single top production (e+e- -> t cbar) via Flavour Changing Neutral Currents (FCNC) was performed using the data taken by the DELPHI detector at LEP2. The data analyse…
Search for B0_s - anti-B0_s oscillations in DELPHI using high-p_t leptons
The DELPHI Collaboration, J. Abdallah
Oscillations in the B0_s - anti-B0_s system were studied in events selected from about 4.3 million hadronic Z^0 decays registered by DELPHI between 1992 and 2000. This paper presen…
Determination of |Vub|/|Vcb| with DELPHI at LEP
The DELPHI Collaboration, P. Abreu
The ratio of the CKM quark-mixing matrix elements |Vub|/|Vcb| has been measured using B hadron semileptonic decays. The analysis uses the reconstructed mass M_X of the secondary ha…
Rapidity-Rank Structure of p pbar Pairs in Hadronic Z0 Decays
The DELPHI Collaboration, P. Abreu
The rapidity-rank structure of p pbar pairs is used to analyze the mechanism of baryon production in hadronic Z0 decay. The relative occurrence of the rapidity-ordered configuratio…
Measurement of V_{cb} from the decay process \bar{B^0} -> D^{*+} \ell^- \barν
The DELPHI Collaboration, P. Abreu
A new precise measurement of |V_{cb}| and of the branching ratio BR(\bar{B^0} -> D^{*+} \ell^- \bar{ν_\ell}) has been performed using a sample of about 5000 semileptonic decays \ba…
Search for charginos in e+e- interactions at sqrt(s) = 189 GeV
The DELPHI Collaboration, P. Abreu
An update of the searches for charginos and gravitinos is presented, based on a data sample corresponding to the 158 pb^{-1} recorded by the DELPHI detector in 1998, at a centre-of…
Search for Heavy Stable and Long-Lived Particles in e+e- Collisions at sqrt(s)=189 GeV
The DELPHI Collaboration, P. Abreu
A search for stable and long-lived heavy charged particles was performed using the data taken by the DELPHI experiment at an energy of 189 GeV. The Cherenkov light detected in the…
Measurement and Interpretation of Fermion-Pair Production at LEP Energies of 183 and 189 GeV
The DELPHI Collaboration, P. Abreu
An analysis of the data collected in 1997 and 1998 with the DELPHI detector at e+e- collision energies close to 183 and 189 GeV was performed in order to extract the hadronic and l…
Hadronization properties of b quarks compared to light quarks in e+e- -> q qbar from 183 to 200 GeV
The DELPHI Collaboration, P. Abreu
The DELPHI detector at LEP has collected 54 pb^{-1} of data at a centre-of-mass energy around 183 GeV during 1997, 158 pb^{-1} around 189 GeV during 1998, and 187 pb^{-1} between 1…