The simplest statistical-mechanical model of crystalline formation ~or alloy formation! that includes electronic degrees of freedom is solved exactly in the limit of large spatial dimensions and infinite interaction strength. The solutions contain both second-order phase transitions and first-order phase transitions ~that involve phase separation or segregation! which are likely to illustrate t...

Subverting runtime data flow is common in many current software attacks. Data Flow Integrity (DFI) is a policy whose satisfaction can prevent such attacks. This paper develops a formal foundation on DFI specification, and characteristics of its enforcement techniques with formulations of hypotheses and guarantees. Enforcement techniques are based on static analysis and program monitoring at run...

We discuss the principles of static analysis by abstract interpretation and report on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, paralle...

Despite the availability of static analysis methods to achieve a correct-by-construction design for different systems in terms of timing behavior, violations of timing constraints can still occur at run-time due to different reasons. The aim of monitoring of system performance with respect to the timing constraints is to detect the violations of timing specifications, or to predict them based o...

Given the complementary nature of static and dynamic analysis, there has been much work on identifying means of combining the two. In particular, the use of static analysis as a means of alleviating the overheads induced by dynamic analysis, typically by trying to prove parts of the properties, which would then not need to be verified at runtime. In this paper, we propose a novel framework whic...

The objective of this study was to investigate the effect of equine chorionic gonadotropin (eCG) on ovarian follicles at three stages of development (emergence, dominance and early static phases) during the first follicular wave (FFW) in Holstein heifers. Heifers (n=20) were randomly assigned into four experimental groups (n=5 in each group). Heifers received eCG (500 IU; Folligon®; Intervet, H...