12 citations · 16 across the 2 of their papers we have counts for
4 papers
TESS photometry and CAOS spectroscopy of six eclipsing binaries with Am components
G. Catanzaro, A. Frasca, J. Alonso-Santiago +1
In this paper, we present the results of a comprehensive study of six eclipsing binaries whose components are confirmed or suspected Am stars. By combining long-term high-resolutio…
Runtime Verification for Trustworthy Computing
Robert Abela, Christian Colombo, Axel Curmi +3
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniqu…
Comprehensive Monitor-Oriented Compensation Programming
Christian Colombo, Gordon J. Pace
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activit…
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
Christian Colombo, Mark Micallef, Mark Scerri
One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rat…