المؤلفون: Lima, Leonardo, Huerta y Munive, Jonathan Julián, Traytel, Dmitriy

المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 288-307 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031572456 9783031572463

الاتاحة: http://dx.doi.org/10.1007/978-3-031-57246-3_16
https://link.springer.com/content/pdf/10.1007/978-3-031-57246-3_16

المؤلفون: Huerta y Munive, Jonathan Julián, Foster, Simon, Gleirscher, Mario, Struth, Georg, Pardillo Laursen, Christian, Hickman, Thomas

المصدر: Journal of Automated Reasoning; Dec2024, Vol. 68 Issue 4, p1-50, 50p

المؤلفون: Basin, David, id_orcid:0 000-0003-2952-939X, Dardinier, Thibault, id_orcid:0 000-0003-2719-4856, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, id_orcid:0 000-0001-8253-4513, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila

المساهمون: Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S.

المصدر: Lecture Notes in Computer Science, 13572 ; Theoretical Aspects of Computing – ICTAC 2022

وصف الملف: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-17715-6; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-17714-9; info:eu-repo/grantAgreement/SNF/NFP 75: Gesuch/167162; http://hdl.handle.net/20.500.11850/585331; urn:isbn:978-3-031-17715-6; urn:isbn:978-3-031-17714-9

الاتاحة: https://hdl.handle.net/20.500.11850/585331
https://doi.org/10.3929/ethz-b-000585331

المؤلفون: Finkbeiner, Bernd, Kovács, Laura, Lima, Leonardo, Huerta y Munive, Jonathan Julián, Traytel, Dmitriy

المصدر: Lima , L , Huerta y Munive , J J & Traytel , D 2024 , Explainable Online Monitoring of Metric First-Order Temporal Logic . in B Finkbeiner & L Kovács (eds) , Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 14570 LNCS , pp. 288-307 , 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 , Luxembourg City , Luxembourg , 06/04/2024 .

مصطلحات الفهرس: contributionToPeriodical

URL: https://curis.ku.dk/portal/da/publications/explainable-online-monitoring-of-metric-firstorder-temporal-logic(6bc14535-b25b-4378-b1fa-bca2c8214824).html
https://doi.org/10.1007/978-3-031-57246-3_16
https://curis.ku.dk/ws/files/392211820/Explainable_Online.pdf

المؤلفون: Basin, David, Dardinier, Thibault, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila

المساهمون: Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S.

المصدر: Basin , D , Dardinier , T , Hauser , N , Heimes , L , Huerta y Munive , J J , Kaletsch , N , Krstić , S , Marsicano , E , Raszyk , M , Schneider , J , Tirore , D L , Traytel , D & Zingg , S 2022 , VeriMon : A Formally Verified Monitoring Tool . in H Seidl , Z Liu & C S Pasareanu (eds) , Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings . Springer , Lecture Notes in Computer Science (including subseries ....

وصف الملف: application/pdf

الاتاحة: https://curis.ku.dk/portal/da/publications/verimon(c9d1d1a8-e016-4a72-9a07-4914bcc9c003).html
https://doi.org/10.1007/978-3-031-17715-6_1
https://curis.ku.dk/ws/files/380421159/VeriMon_A_Formally_Verified_Monitoring_Tool_2_6.pdf

المؤلفون: Mitsch, Stefan, Zhan, Bohua, Sheng, Huanhuan, Bentkamp, Alexander, Jin, Xiangyu, Wang, Shuling, Foster, Simon, Laursen, Christian Pardillo, Huerta Y Munive, Jonathan Julián

المصدر: Mitsch , S , Zhan , B , Sheng , H , Bentkamp , A , Jin , X , Wang , S , Foster , S , Laursen , C P & Huerta Y Munive , J J 2022 , ' ARCH-COMP22 Category Report : Hybrid Systems Theorem Proving ' , EPiC Series in Computing , vol. 90 , pp. 185-203 . https://doi.org/10.29007/4lxf

وصف الملف: application/pdf

الاتاحة: https://researchprofiles.ku.dk/da/publications/archcomp22-category-report(692da116-1a57-4a6b-9bb0-11f4c42c6df9).html
https://doi.org/10.29007/4lxf
https://curis.ku.dk/ws/files/344323973/ARCH_COMP22_Category_Report_Hybrid_Systems_Theorem_Proving.pdf

المؤلفون: Huerta y Munive, Jonathan Julián, Struth, Georg

المصدر: Huerta y Munive , J J & Struth , G 2022 , ' Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL ' , Journal of Automated Reasoning , vol. 66 , no. 1 , pp. 93-139 . https://doi.org/10.1007/s10817-021-09607-x

مصطلحات موضوعية: Hybrid program verification, Hybrid systems, Interactive theorem proving, Modal Kleene algebra, Predicate transformers

وصف الملف: application/pdf

الاتاحة: https://curis.ku.dk/portal/da/publications/predicate-transformer-semantics-for-hybrid-systems(a3093d76-2974-43db-b287-40a329e48148).html
https://doi.org/10.1007/s10817-021-09607-x
https://curis.ku.dk/ws/files/301360283/Predicate_Transformer_Semantics_for_Hybrid_Systems.pdf
http://www.scopus.com/inward/record.url?scp=85118291083&partnerID=8YFLogxK

المؤلفون: Huerta y Munive, Jonathan Julián

المصدر: Huerta y Munive , J J 2022 , Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables . in International Conference on Runtime Verification . https://doi.org/10.1007/978-3-031-17196-3_3

Relation: https://vbn.aau.dk/da/publications/5e30e8ea-e389-4338-b630-109847739e51

الاتاحة: https://vbn.aau.dk/da/publications/5e30e8ea-e389-4338-b630-109847739e51
https://doi.org/10.1007/978-3-031-17196-3_3

المؤلفون: Dang, Thao, Stolz, Volker, Huerta y Munive, Jonathan Julián

المصدر: Huerta y Munive , J J 2022 , Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables . in T Dang & V Stolz (eds) , Runtime Verification - 22nd International Conference, RV 2022, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13498 LNCS , pp. 45-66 , 22nd International Conference on Runtime Verification, RV 2022 , Tbilsi , Georgia , 28/09/2022 .

مصطلحات الفهرس: Relational algebra, Runtime verification, Safety relaxation, contributionToPeriodical

URL: https://curis.ku.dk/portal/da/publications/relaxing-safety-formetric-firstorder-temporal-logic-viadynamic-free-variables(e9ca40fb-7188-425b-a297-bdd98fd0bb59).html
https://doi.org/10.1007/978-3-031-17196-3_3
https://curis.ku.dk/ws/files/324689780/Relaxing_safety_for_metric_first_order.pdf
http://www.scopus.com/inward/record.url?scp=85140462518&partnerID=8YFLogxK

المؤلفون: Seidl, Helmut, Liu, Zhiming, Pasareanu, Corina S., Basin, David, Dardinier, Thibault, Hauser, Nico, Heimes, Lukas, Huerta y Munive, Jonathan Julián, Kaletsch, Nicolas, Krstić, Srđan, Marsicano, Emanuele, Raszyk, Martin, Schneider, Joshua, Tirore, Dawit Legesse, Traytel, Dmitriy, Zingg, Sheila

المصدر: Basin , D , Dardinier , T , Hauser , N , Heimes , L , Huerta y Munive , J J , Kaletsch , N , Krstić , S , Marsicano , E , Raszyk , M , Schneider , J , Tirore , D L , Traytel , D & Zingg , S 2022 , VeriMon : A Formally Verified Monitoring Tool . in H Seidl , Z Liu & C S Pasareanu (eds) , Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13572 LNCS , pp. 1-6 , 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 , Tbilisi , Georgia , 27/09/2022 .

مصطلحات الفهرس: contributionToPeriodical

URL: https://curis.ku.dk/portal/da/publications/verimon(c9d1d1a8-e016-4a72-9a07-4914bcc9c003).html
https://doi.org/10.1007/978-3-031-17715-6_1
https://curis.ku.dk/ws/files/380421159/VeriMon_A_Formally_Verified_Monitoring_Tool_2_6.pdf

المؤلفون: Foster, Simon, Huerta y Munive, Jonathan Julián, Gleirscher, Mario, Struth, Georg

المصدر: Formal Methods ; Lecture Notes in Computer Science ; page 367-386 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030908690 9783030908706

الاتاحة: http://dx.doi.org/10.1007/978-3-030-90870-6_20
https://link.springer.com/content/pdf/10.1007/978-3-030-90870-6_20

المؤلفون: Huerta y Munive, Jonathan Julián

المصدر: Software Engineering and Formal Methods ; Lecture Notes in Computer Science ; page 77-92 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030587673 9783030587680

الاتاحة: http://dx.doi.org/10.1007/978-3-030-58768-0_5
http://link.springer.com/content/pdf/10.1007/978-3-030-58768-0_5

المؤلفون: Huisman, Marieke, Păsăreanu, Corina, Zhan, Naijun, Foster, Simon, Huerta y Munive, Jonathan Julián, Gleirscher, Mario, Struth, Georg

المصدر: Foster , S , Huerta y Munive , J J , Gleirscher , M & Struth , G 2021 , Hybrid Systems Verification with Isabelle/HOL : Simpler Syntax, Better Models, Faster Proofs . in M Huisman , C Păsăreanu & N Zhan (eds) , Formal Methods - 24th International Symposium, FM 2021, Proceedings . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 13047 LNCS , pp. 367-386 , 24th International Symposium on Formal Methods, FM 2021 , Virtual, Online , 20/11/2021 .

مصطلحات الفهرس: contributionToPeriodical

URL: https://curis.ku.dk/portal/da/publications/hybrid-systems-verification-with-isabellehol(e8115273-4991-49d4-b89b-b07439115ca5).html
https://doi.org/10.1007/978-3-030-90870-6_20
https://curis.ku.dk/ws/files/313776278/2106.05987.pdf

المؤلفون: Huerta y Munive, Jonathan Julian

وصف الملف: text

Relation: https://etheses.whiterose.ac.uk/28886/1/Thesis.pdf; Huerta y Munive, Jonathan Julian orcid:0000-0003-3279-3685 (2020) Algebraic verification of hybrid systems in Isabelle/HOL. PhD thesis, University of Sheffield.

الاتاحة: https://etheses.whiterose.ac.uk/28886/
https://etheses.whiterose.ac.uk/28886/1/Thesis.pdf

المؤلفون: Huerta y Munive, Jonathan Julián, Struth, Georg

المصدر: Relational and Algebraic Methods in Computer Science ; Lecture Notes in Computer Science ; page 225-243 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030021481 9783030021498

الاتاحة: http://dx.doi.org/10.1007/978-3-030-02149-8_14
http://link.springer.com/content/pdf/10.1007/978-3-030-02149-8_14

المؤلفون: Huerta y Munive, Jonathan Julián, Struth, Georg

المصدر: Journal of Automated Reasoning; Feb2022, Vol. 66 Issue 1, p93-139, 47p

مصطلحات موضوعية: HYBRID systems, INVARIANT sets, VECTOR fields, MATHEMATICAL models, MATHEMATICAL analysis

المؤلفون: Huerta y Munive, Jonathan Julián

المساهمون: Martínez Ruíz, Iván

مصطلحات موضوعية: CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA, Notación matemática, Lógica simbólica y matemática, Teoría de conjuntos, Matemáticas--Filosofía, Semántica

وصف الملف: pdf; application/pdf

Relation: https://hdl.handle.net/20.500.12371/12838

الاتاحة: https://hdl.handle.net/20.500.12371/12838