Carlos Ignacio Isasa Martin

According to our database, Carlos Ignacio Isasa Martin authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Reachability analysis of FMI models using data-driven dynamic sensitivity.

Sergiy Bogomolov, Cláudio Gomes, Carlos Ignacio Isasa Martin, Sadegh Soudjani, Paulius Stankaitis, Thomas Wright

Simul., 2025

2024

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service.

Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, 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, Lars Bernd Vosteen, Thomas Wright

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024

2023

State of the Art Report: Verified Computation.

Jim Woodcock, 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