Jonathan Julián Huerta y Munive

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Theorem Proving

Top Venues

Arch. Formal Proofs

Publications

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL. CoRR (2024)
Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel
A Verified Proof Checker for Metric First-Order Temporal Logic. Arch. Formal Proofs 2024 (2024)
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Explainable Online Monitoring of Metric First-Order Temporal Logic. TACAS (1) (2024)
Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive
ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. ARCH (2023)
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. ARCH@SAFECOMP (2022)
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
VeriMon: A Formally Verified Monitoring Tool. ICTAC (2022)
Jonathan Julián Huerta y Munive
Relaxing safety for metric first-order temporal logic via dynamic free variables. CoRR (2022)
Jonathan Julián Huerta y Munive
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. RV (2022)
Jonathan Julián Huerta y Munive, Georg Struth
Predicate Transformer Semantics for Hybrid Systems. J. Autom. Reason. 66 (1) (2022)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. CoRR (2021)
Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs. FM (2021)
Jonathan Julián Huerta y Munive
Matrices for ODEs. Arch. Formal Proofs 2020 (2020)
Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan
ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving. ARCH (2020)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. RAMiCS (2020)
Jonathan Julián Huerta y Munive
Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification. SEFM (2020)
Jonathan Julián Huerta y Munive
Verification Components for Hybrid Systems. Arch. Formal Proofs 2019 (2019)
Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. CoRR (2019)
Jonathan Julián Huerta y Munive, Georg Struth
Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL. CoRR (2019)
Jonathan Julián Huerta y Munive, Georg Struth
Verifying Hybrid Systems with Modal Kleene Algebra. RAMiCS (2018)