Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Aalborg Universitets forskningsportal Hjem
Dansk
English
Hjem
Profiler
Projekter
Publikationer
Aktiviteter
Forskningsenheder
Faciliteter
Presse/medier
Priser
Forskningsdatasæt
Impacts
Søg efter ekspertise, navn eller tilknytning
Jonathan Julian Huerta y Munive
Adjunct
Tenure Track Adjunkt
,
Institut for Datalogi
Adjunkt
,
Institut for Datalogi
Tenure Track Adjunkt
,
Det Tekniske Fakultet for IT og Design
Adjunkt
,
Det Tekniske Fakultet for IT og Design
Tenure Track Adjunkt
,
Distributed, Embedded and Intelligent Systems
Adjunkt
,
Distributed, Embedded and Intelligent Systems
https://orcid.org/0000-0003-3279-3685
E-mail
jjhymuni
cs.aau
dk
2018
2024
Publikationer pr. år
Vis
Fingerprint
Netværk
Publikationer
(9)
Lignende profiler
(6)
Publikationer
Publikationer pr. år
2018
2022
2024
2024
6
Bidrag til bog/antologi
2
Preprint
1
Tidsskriftartikel
Publikationer pr. år
Publikationer pr. år
2 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Filter
Preprint
Søgeresultater
2024
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
Munive, J. J. H. Y.
,
Foster, S.
,
Gleirscher, M.
,
Struth, G.
,
Laursen, C. P.
&
Hickman, T.
,
22 jan. 2024
.
Publikation
:
Working paper/Preprint
›
Preprint
Fil
Cyber Physical Systems
100%
Formalization
100%
Specification Language
50%
Unique Solution
50%
Engineering Workflow
33%
34
Downloads (Pure)
2022
Relaxing safety for metric first-order temporal logic via dynamic free variables
Huerta y Munive, J. J.
,
17 jun. 2022
.
Publikation
:
Working paper/Preprint
›
Preprint
Fil
Free Variables
100%
First-order Temporal Logic
100%
Temporal Logic
100%
Free Variable
100%
Logic Formulas
50%
13
Downloads (Pure)