Author

E. Russo

h-index 11 View on Semantic Scholar

We have 2 of 36 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures

A runtime verification framework that monitors air traffic control procedures by checking controller-pilot exchanges, surveillance data, and onboard observations, and identifies the same procedural deviations documented by the investigators.

Roberto Luvini, G. Longo, Alessandro Armando et al. · 0 citations

Review Jul 2026

TRACE-CTI: Auditable Post-Extraction Governance of TTP Claims with Knowledge Graphs

TRACE-CTI supports explicit, auditable governance of extracted TTP claims; the observed corroboration trajectory is descriptive and does not establish statistical independence or a causal model-family effect.

Federico Valletta, G. Longo, E. Russo et al. · arXiv.org · 1 citation