State of the Art Report: Verified Computation. - Jim Woodcock 001; Mikkel Schmidt Andersen; Diego F. Aranha; Stefan Hallerstede; Simon Thrane Hansen; Nikolaj Kuhne Jakobsen; Tomas Kulik; Peter Gorm Larsen; Hugo Daniel Macedo; Carlos Ignacio Isasa Martin; Victor Alexander Mtsimbe Norrild (CoRR, 2023)

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. - Morten Haahr Kristensen; Alberto Bonizzi; Cláudio Gomes 001; Simon Thrane Hansen; Carlos Ignacio Isasa Martin; Hannes Iven; Eduard Kamburjan; Peter Gorm Larsen; Martin Leucker; Prasad Talasila; Valdemar Trøjgård Tang; Stefano Tonetta; et al. (ACSOS-C, 2024)

Reachability analysis of FMI models using data-driven dynamic sensitivity. - Sergiy Bogomolov; Cláudio Gomes 001; Carlos Ignacio Isasa Martin; Sadegh Soudjani; Paulius Stankaitis; Thomas Wright (Simul., 2025)