2 papers
nucl-ex2025
High-spin spectroscopy and the onset of quasicollective structures in Ga
F. E. Idoko, A. D. Ayangeakaa N. Sensharma, C. J. Chiara +30
The intermediate- and high-spin level structure of the odd- Ga nucleus was investigated via the Mg(Ca, ) fusion evaporation reaction at a beam energy…
cs.SE2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…