Follow
Jonathan Julian Huerta y Munive
Jonathan Julian Huerta y Munive
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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 íK, 2020
302020
Verifying hybrid systems with modal Kleene algebra
JJ Huerta y Munive, G Struth
Relational and Algebraic Methods in Computer Science: 17th International íK, 2018
242018
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs
S Foster, JJ Huerta y Munive, M Gleirscher, G Struth
International Symposium on Formal Methods, 367-386, 2021
182021
Predicate Transformer Semantics for Hybrid Systems
JJH y Munive, G Struth
arXiv preprint arXiv:1909.05618, 2019
142019
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
132019
Affine systems of ODEs in Isabelle/HOL for hybrid-program verification
JJ Huerta y Munive
Software Engineering and Formal Methods: 18th International Conference, SEFM íK, 2020
112020
Verification components for hybrid systems
JJH y Munive
Archive of Formal Proofs, 2019
112019
Predicate transformer semantics for hybrid systems: verification components for Isabelle/HOL
JJ Huerta y Munive, G Struth
Journal of Automated Reasoning 66 (1), 93-139, 2022
72022
Algebraic verification of hybrid systems in Isabelle/HOL
JJ Huerta y Munive
University of Sheffield, 2020
72020
VeriMon: A Formally Verified Monitoring Tool
D Basin, T Dardinier, N Hauser, L Heimes, JJ Huerta y Munive, ...
International Colloquium on Theoretical Aspects of Computing, 1-6, 2022
62022
Matrices for ODEs
JJH y Munive
Archive of Formal Proofs, 2020
52020
Relaxing safety for metric first-order temporal logic via dynamic free variables
JJ Huerta y Munive
International Conference on Runtime Verification, 45-66, 2022
42022
ARCH-COMP22 category report: Hybrid systems theorem proving
S Mitsch, B Zhan, H Sheng, A Bentkamp, X Jin, S Wang, S Foster, ...
ARCH22 90, 185-203, 2022
32022
Explainable Online Monitoring of Metric First-Order Temporal Logic
L Lima, JJ Huerta y Munive, D Traytel
International Conference on Tools and Algorithms for the Construction and íK, 2024
12024
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
JJH y Munive, S Foster, M Gleirscher, G Struth, CP Laursen, T Hickman
2024
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving
S Mitsch, H Sheng, B Zhan, S Wang, S Foster, JJHY Munive
Proceedings of 10th International Workshop on Applied 96, 170-188, 2023
2023
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–17