New Horizons for Metamorphic Relationships in Formal Verification

von Asteasuain, Fernando
Veröffentlicht in CACIC (28. : 2022 : La Rioja) Computer Science - CACIC 2022 (2023)

A Sound and Correct Formalism to Specify, Verify and Synthesize Behavior in BIG DATA Systems

von Asteasuain, Fernando
Veröffentlicht in CACIC (27. : 2021 : Online) Computer science - CACIC 2021 (2022)

Exploiting Anti-scenarios for the Non Realizability Problem

von Asteasuain, Fernando
Veröffentlicht in Argentine Congress of Computer Science (25. : 2019 : Río Cuarto) Computer Science - CACIC 2019 (2020)