Jonathan Julian Huerta y Munive
Jonathan Julian Huerta y Munive
Verified email at sheffield.ac.uk
Title
Cited by
Cited by
Year
Verifying hybrid systems with modal Kleene algebra
JJH y Munive, G Struth
International Conference on Relational and Algebraic Methods in Computer …, 2018
182018
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
S Foster, JJH y Munive, G Struth
International Conference on Relational and Algebraic Methods in Computer …, 2020
162020
Verification components for hybrid systems
JJH y Munive
Archive of Formal Proofs, 2019
62019
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving
S Mitsch, JJH y Munive, X Jin, B Zhan, S Wang, N Zhan
ARCH20, 141-161, 2019
42019
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification
JJH y Munive
International Conference on Software Engineering and Formal Methods, 77-92, 2020
22020
Matrices for ODEs
JJH y Munive
Archive of Formal Proofs, 2020
22020
Predicate Transformer Semantics for Hybrid Systems
JJH y Munive, G Struth
arXiv preprint arXiv:1909.05618, 2019
2019
Una Introducción a la Teoría de Modelos
JJ Huerta, D Munive, IM Ruiz
The system can't perform the operation now. Try again later.
Articles 1–8