Jonathan Julián Huerta y Munive

From MaRDI portal
Person:832720

Available identifiers

zbMath Open huerta-y-munive.jonathan-julianMaRDI QIDQ832720

List of research outcomes





PublicationDate of PublicationType
IsaVODEs: Interactive verification of cyber-physical systems at scale2024-12-16Paper
VeriMon: a formally verified monitoring tool2023-07-28Paper
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL2022-08-30Paper
Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL2022-03-25Paper
Affine systems of ODEs in Isabelle/HOL for hybrid-program verification2021-07-08Paper
Verifying hybrid systems with modal Kleene algebra2018-11-08Paper

Research outcomes over time

This page was built for person: Jonathan Julián Huerta y Munive

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832720&oldid=7837491"
Powered by MediaWiki