40 citations · 185 across the 7 of their papers we have counts for
7 papers
Towards Automatic Model Completion: from Requirements to SysML State Machines
Maria Stella de Biase, Stefano Marrone, Angelo Palladino
Even if model-driven techniques have been enabled the centrality of the models in automated development processes, the majority of the industrial settings does not embrace such a p…
Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols
Mariapia Raimondo, Stefano Marrone, Angelo Palladino
Even if the verification of authentication protocols can be achieved by means of formal analysis, the modelling of such an activity is an error-prone task due to the lack of automa…
Measurement and analysis of the Am-243 neutron capture cross section at the n_TOF facility at CERN
TOF Collaboration, E. Mendoza, D. Cano-Ott +129
Background:The design of new nuclear reactors and transmutation devices requires to reduce the present neutron cross section uncertainties of minor actinides. Purpose: Reduce the $…
Ni() and Ni() cross sections measured at n_TOF/CERN
C. Lederer, C. Massimi, E. Berthoumieux +112
The cross section of the Ni() reaction was measured with the time-of-flight technique at the neutron time-of-flight facility n_TOF at CERN. Capture kernels of 42 resona…
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
Francesco Flammini, Stefano Marrone, Nicola Mazzocca +1
A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to…
Measurement of the radiative neutron capture cross section of 206Pb and its astrophysical implications
TOF Collaboration, C. Domingo-Pardo
The (n, gamma) cross section of 206Pb has been measured at the CERN n_TOF facility with high resolution in the energy range from 1 eV to 600 keV by using two optimized C6D6 detecto…