Garmendia Jorge, Antonio antonio.garmendia@urjc.es
Actividades
- Artículos 9
- Libros 0
- Capítulos de libro 0
- Congresos 18
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
Quantum Combinatorial Optimization in the NISQ Era: A Systematic Mapping Study
- Gemeinhardt, Felix
- Garmendia, Antonio
- Wimmer, Manuel
- Weder, Benjamin
- Leymann, Frank
Acm Computing Surveys - 1/3/2024
- ISSN 03600300
A language-parametric test coverage framework for executable domain-specific languages
- Khorram, Faezeh
- Bousse, Erwan
- Garmendia, Antonio
- Mottu, Jean-Marie
- Sunye, Gerson
- Wimmer, Manuel
JOURNAL OF SYSTEMS AND SOFTWARE - 8/2/2024
10.1016/j.jss.2024.111977 Ver en origen
- ISSN 01641212
A Model-Driven Framework for Composition-Based Quantum Circuit Design
- Gemeinhardt, Felix
- Garmendia, Antonio
- Wimmer, Manuel
- Wille, Robert
Acm Transactions On Quantum Computing - 1/10/2024
- ISSN 26436809
GRuM — A flexible model-driven runtime monitoring framework and its application to automated aerial and ground vehicles
- Vierhauser, Michael
- Garmendia, Antonio
- Stadler, Marco
- Wimmer, Manuel
- Cleland-Huang, Jane
Journal Of Systems And Software - 1/9/2023
10.1016/j.jss.2023.111733 Ver en origen
- ISSN 01641212
Lifted structural invariant analysis of Petri net product lines
- Gomez-Martinez, Elena
- Guerra, Esther
- de Lara, Juan
- Garmendia, Antonio
Journal Of Logical And Algebraic Methods In Programming - 1/1/2023
10.1016/j.jlamp.2022.100824 Ver en origen
- ISSN 15678326
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
- Gomez, Abel
- Mendialdua, Xabier
- Barmpis, Konstantinos
- Bergmann, Gabor
- Cabot, Jordi
- de Carlos, Xabier
- Debreceni, Csaba
- Garmendia, Antonio
- Kolovos, Dimitrios S
- de Lara, Juan
Software and Systems Modeling (p. 1229-1261) - 1/9/2020
10.1007/s10270-020-00776-8 Ver en origen
- ISSN 16191366
An example is worth a thousand words: Creating graphical modelling environments by example
- Lopez-Fernandez, Jesus J
- Garmendia, Antonio
- Guerra, Esther
- de Lara, Juan
Software and Systems Modeling (p. 1-33) - 4/4/2019
10.1007/s10270-017-0632-7 Ver en origen
- ISSN 16191366
Scaling-up domain-specific modelling languages through modularity services
- Garmendia, Antonio
- Guerra, Esther
- de Lara, Juan
- Garcia-Dominguez, Antonio
- Kolovos, Dimitris
INFORMATION AND SOFTWARE TECHNOLOGY (p. 97-118) - 1/11/2019
10.1016/j.infsof.2019.05.010 Ver en origen
- ISSN 09505849
Scalable model exploration for model-driven engineering
- Jimenez-Pastor, Antonio
- Garmendia, Antonio
- de Lara, Juan
Journal Of Systems And Software (p. 204-225) - 1/10/2017
10.1016/j.jss.2017.07.011 Ver en origen
- ISSN 01641212
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
- Khorram, Faezeh
- Bousse, Erwan
- Garmendia, Antonio
- Mottu, Jean-Marie
- Sunye, Gerson
- Wimmer, Manuel
Sle 2022: Proceedings Of The 15th Acm Sigplan International Conference On Software Language Engineering (p. 235-248) - 1/12/2022
10.1145/3567512.3567532 Ver en origen
- ISBN 978-1-4503-9919-7
Towards blended modeling and simulation of DevOps processes: the Keptn case study
- Colantoni, Alessandro
- Berardinelli, Luca
- Garmendia, Antonio
- Braeuer, Johannes
Models '22: Proceedings Of The 25th International Conference On Model Driven Engineering Languages And Systems: Companion Proceedings (p. 784-792) - 9/11/2022
Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical Systems
- Stadler, Marco
- Vierhauser, Michael
- Garmendia, Antonio
- Wimmer, Manuel
- Cleland-Huang, Jane
Proceedings - International Conference On Software Engineering (p. 350-351) - 1/1/2022
10.1109/icse-companion55297.2022.9793768 Ver en origen
- ISSN 02705257
Towards Model-Driven Quantum Software Engineering
- Gemeinhardt, Felix
- Garmendia, Antonio
- Wimmer, Manuel
Proceedings - 2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering, Q-SE 2021 (p. 13-15) - 1/6/2021
Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study
- Colantoni, Alessandro
- Garmendia, Antonio
- Berardinelli, Luca
- Wimmer, Manuel
- Braeuer, Johannes
2021 Acm/Ieee 24th International Conference On Model Driven Engineering Languages And Systems (Models) (p. 250-260) - 1/1/2021
10.1109/models50736.2021.00033 Ver en origen
- ISBN 978-1-6654-3495-9
Towards Reinforcement Learning for In-Place Model Transformations
- Eisenberg, Martin
- Pichler, Hans-Peter
- Garmendia, Antonio
- Wimmer, Manuel
2021 Acm/Ieee 24th International Conference On Model Driven Engineering Languages And Systems (Models) (p. 82-88) - 1/1/2021
Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems
- Vierhauser, Michael
- Marah, Hussein
- Garmendia, Antonio
- Cleland-Huang, Jane
- Wimmer, Manuel
2021 Ieee/Acm 43rd International Conference On Software Engineering: New Ideas And Emerging Results (Icse-Nier) (p. 96-100) - 1/1/2021
10.1109/icse-nier52604.2021.00028 Ver en origen
- ISBN 978-1-4503-9317-1/22
- iMarina
- iMarina
A Model-based Execution Framework for Interpreting Control Software
- Wiesmayr, Bianca
- Zoitl, Alois
- Garmendia, Antonio
- Wimmer, Manuel
Ieee International Conference On Emerging Technologies And Factory Automation, Etfa - 1/1/2021
10.1109/etfa45728.2021.9613716 Ver en origen
- ISSN 19460759
Towards Flexible Evolution of Digital Twins with Fluent APIs
- Lehner, Daniel
- Garmendia, Antonio
- Wimmer, Manuel
Ieee International Conference On Emerging Technologies And Factory Automation, Etfa - 1/1/2021
10.1109/etfa45728.2021.9613222 Ver en origen
- ISBN 978-1-7281-2989-1
- ISSN 19460759
Modelling Production System Families with AutomationML
- Garmendia, Antonio
- Wimmer, Manuel
- Mazak-Huemer, Alexandra
- Guerra, Esther
- de Lara, Juan
Ieee International Conference On Emerging Technologies And Factory Automation, Etfa (p. 1057-1060) - 1/9/2020
10.1109/etfa46521.2020.9211894 Ver en origen
- ISSN 19460759
- iMarina
- iMarina
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Perfiles de investigador/a
-
ORCID