Dario Romano

Learn More
A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a mathematical way to specify and analyze the behavior of a system, together with the related support tools can successfully be applied in the formal proof that a system is safe. However, the complexity of real(More)
In this paper we describe an industrial application of formal methods. We have used model checking techniques to model and formally verify a rather complex software, i.e. part of the “safety logic” of a railway interlocking system. The formal model is structured to retain the reusability and scalability properties of the system being modelled. Part of it is(More)
To analyze the prospectively collected data in a series of patients treated with single- or multilevel ACDF with a stand-alone, zero-profile device, focusing on clinico-radiological outcome, complications and technical hints, and to review the literature on such new devices. Eighty-five patients harboring symptomatic DDD underwent ACDF with the Zero-P(More)
Distance learning and internet-based delivery of educational content are becoming very popular as an alternative to real face-to-face delivery. Clinical-based discussions still remain greatly face-to-face despite the advancement of remote communication and internet sharing technology. In this study we have compared three communication modalities between a(More)
BACKGROUND The advent of computer-based technology has led to innovative epidemiological research methods to exploit the advantages of computer-mediated communications. The aim of the present study was to develop and evaluate a self-administered electronic questionnaire for acquiring information on cardiovascular health, knowledge and behaviours in a(More)
Recently, it has been shown that by using a single-site catalytic system having titanium as a metallic center, it is possible to tailor the entanglement density in the amorphous region of a semi-crystalline ultra-high molecular weight polyethylene (UHMWPE). This route provides the possibility to make high-modulus, high-strength uniaxially and biaxially(More)
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the(More)
  • 1