| 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 | 30 | 2020 |
| Verifying hybrid systems with modal Kleene algebra JJ Huerta y Munive, G Struth Relational and Algebraic Methods in Computer Science: 17th International …, 2018 | 24 | 2018 |
| 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 | 18 | 2021 |
| Predicate Transformer Semantics for Hybrid Systems JJH y Munive, G Struth arXiv preprint arXiv:1909.05618, 2019 | 14 | 2019 |
| 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 | 13 | 2019 |
| Affine systems of ODEs in Isabelle/HOL for hybrid-program verification JJ Huerta y Munive Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020 | 11 | 2020 |
| Verification components for hybrid systems JJH y Munive Archive of Formal Proofs, 2019 | 11 | 2019 |
| 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 | 7 | 2022 |
| Algebraic verification of hybrid systems in Isabelle/HOL JJ Huerta y Munive University of Sheffield, 2020 | 7 | 2020 |
| 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 | 6 | 2022 |
| Matrices for ODEs JJH y Munive Archive of Formal Proofs, 2020 | 5 | 2020 |
| Relaxing safety for metric first-order temporal logic via dynamic free variables JJ Huerta y Munive International Conference on Runtime Verification, 45-66, 2022 | 4 | 2022 |
| 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 | 3 | 2022 |
| 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 …, 2024 | | 2024 |
| 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 | | |
