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 | 1 | 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 | | |