Jonathan Julián Huerta y Munive

24 papers B 3C 3Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs.
FormaliSE
Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
2025 J jnl
Verifying Numerical Methods with Isabelle/HOL.
CoRR
Dustin Bryant, Jonathan Julián Huerta y Munive, Simon Foster
2024 J jnl
A Verified Proof Checker for Metric First-Order Temporal Logic.
Arch. Formal Proofs
Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel
2024 — conf
Explainable Online Monitoring of Metric First-Order Temporal Logic.
TACAS (1)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
2024 J jnl
IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale.
J. Autom. Reason.
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024 J jnl
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.
CoRR
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
2024 — conf
WhyMon: A Runtime Monitoring Tool with Explanations as Verdicts.
ATVA (2)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
2023 — conf
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.
ARCH
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
2022 — conf
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.
ARCH@SAFECOMP
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
2022 J jnl
Predicate Transformer Semantics for Hybrid Systems.
J. Autom. Reason.
Jonathan Julián Huerta y Munive, Georg Struth
2022 B conf
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables.
RV
Jonathan Julián Huerta y Munive
2022 J jnl
Relaxing safety for metric first-order temporal logic via dynamic free variables.
CoRR
Jonathan Julián Huerta y Munive
2022 C conf
VeriMon: A Formally Verified Monitoring Tool.
ICTAC
David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julián Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg
2021 B conf
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
FM
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2021 J jnl
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.
CoRR
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
2020 — conf
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.
ARCH
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
2020 B conf
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification.
SEFM
Jonathan Julián Huerta y Munive
2020 — —
Algebraic verification of hybrid systems in Isabelle/HOL
Jonathan Julián Huerta y Munive
2020 C conf
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.
RAMiCS
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
2020 J jnl
Matrices for ODEs.
Arch. Formal Proofs
Jonathan Julián Huerta y Munive
2019 J jnl
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.
CoRR
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
2019 J jnl
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL.
CoRR
Jonathan Julián Huerta y Munive, Georg Struth
2019 J jnl
Verification Components for Hybrid Systems.
Arch. Formal Proofs
Jonathan Julián Huerta y Munive
2018 C conf
Verifying Hybrid Systems with Modal Kleene Algebra.
RAMiCS
Jonathan Julián Huerta y Munive, Georg Struth