Jonathan Julián Huerta y Munive

According to our database, Jonathan Julián Huerta y Munive authored at least 13 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL.

Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, Thomas Hickman

CoRR, 2024

Explainable Online Monitoring of Metric First-Order Temporal Logic.

Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2022

Predicate Transformer Semantics for Hybrid Systems.

Jonathan Julián Huerta y Munive, Georg Struth

J. Autom. Reason., 2022

Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables.

Jonathan Julián Huerta y Munive

Proceedings of the Runtime Verification - 22nd International Conference, 2022

VeriMon: A Formally Verified Monitoring Tool.

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs.

Simon Foster, Jonathan Julián Huerta y Munive, Mario Gleirscher, Georg Struth

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Matrices for ODEs.

Jonathan Julián Huerta y Munive

Arch. Formal Proofs, 2020

Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification.

Jonathan Julián Huerta y Munive

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Jonathan Julián Huerta y Munive, Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL.

Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Predicate Transformer Semantics for Hybrid Systems: Verification Components for Isabelle/HOL.

Jonathan Julián Huerta y Munive, Georg Struth

CoRR, 2019

Verification Components for Hybrid Systems.

Jonathan Julián Huerta y Munive

Arch. Formal Proofs, 2019

2018

Verifying Hybrid Systems with Modal Kleene Algebra.

Jonathan Julián Huerta y Munive, Georg Struth

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018