JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Seismotectonic study on two strategic infrastructures in Southern Italy

With the entry into force of the latest Italian Building Code (NTC 2008, 2018), innovative criteria were provided, especially for what concerns the seismic verifications of large infrastructures. In particular, for buildings considered as strategic, such as large dams, a seismotectonic study of the site was declared necessary, which involves a re-assessment of the basic seismic hazard. This PhD project fits into this context, being part of the seismic re-evaluation process of large dams launched on a national scale following the O.P.C.M. 3274/2003, D.L. 79/2004. A full seismotectonic study in the region of two large earth dams in Southern Italy was carried out. We identified and characterized the structures that could generate earthquakes in our study area, together with the definition of the local seismic history. This information was used for the reassessment of the basic seismic hazard, using probabilistic seismic hazard assessment approaches. In recent years, fault-based models for the seismic hazard assessment have been proposed all over the world as a new emerging methodology. For this reason, we decided to test the innovative SHERIFS approach on our study area. The occasion of the seismotectonic study gave also the opportunity to focus on the characteristics of the seismic stations that provided the data for the study itself. In the context of the work presented here, we focused on the 10 stations that had been active for the longest time and we carried out a geophysical characterization, the data of which merged into a more general study on the soil-structure interaction at seismic stations and on the ways in which it could affect the SHA. Lastly, an additional experimental study on the two dams and their associated minor structures is also presented, aimed at defining their main dynamic parameters, useful for subsequent dynamic structural and geotechnical studies.

Strength and ductility of corroded strands within the framework of safety assessment of existing bridges

Existing bridges built in the last 50 years face challenges due to states far different than those envisaged when they were designed, due to increased loads, ageing of materials, and poor maintenance. For post-tensioned bridges, the need emerged for reliable engineering tools for the evaluation of their capacity in case of steel corrosion due to lack of mortar injection. This can lead to sudden brittle collapses, highlighting the need for proper maintenance and monitoring. This thesis proposes a peak strength model for corroded strands, introducing a “group coefficient” that aims at considering corrosion variability in the wires constituting the strands. The application of the introduced model in a deterministic approach leads to the proposal of strength curves for corroded strands, which represent useful engineering tools for estimating their maximum strength considering both geometry of the corrosion and steel material parameters. Together with the proposed ultimate displacement curves, constitutive laws of the steel material reduced by the effects of corrosion can be obtained. The effects of corroded strands on post-tensioned beams can be evaluated through the reduced bending moment-curvature diagram accounting for these reduced stress-strain relationships. The application of the introduced model in a probabilistic approach allows to estimate peak strength probability functions and consecutive design-oriented safety factors to consider corrosion effects in safety assessment verifications. Both approaches consider two procedures that are based on the knowledge level of the corrosion in the strands. On the sidelines of this main research line, this thesis also presents a study of a seismic upgrading intervention of a case-study bridge through HDRB isolators providing a simplified procedure for the identification of the correct device. The study also investigates the effects due to the variability of the shear modulus of the rubber material of the HDRB isolators on the structural response of the isolated bridge.

Smart Mirror: remote verification of an identity document holder

Nowadays, some activities, such as subscribing an insurance policy or opening a bank account, are possible by navigating through a web page or a downloadable application. Since the user is often “hidden” behind a monitor or a smartphone, it is necessary a solution able to guarantee about their identity. Companies are often requiring the submission of a “proof-of-identity”, which usually consists in a picture of an identity document of the user, together with a picture or a brief video of themselves. This work describes a system whose purpose is the automation of these kinds of verifications.