Items where authors include "Munive, Jonathan Huerta y"

Article

Munive, Jonathan Huerta y, Foster, Simon David orcid.org/0000-0002-9889-9514, Gleirscher, Mario orcid.org/0000-0002-9445-6863 et al. (3 more authors) (2024) IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning. 68. ISSN 0168-7433

Proceedings Paper

Munive, Jonathan Huerta y, Struth, Georg and Foster, Simon David orcid.org/0000-0002-9889-9514 (2020) Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. In: 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). UNSPECIFIED. Lecture Notes in Computer Science . Springer .