Garmendia Jorge, Antonio antonio.garmendia@urjc.es

Publications

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

10.1145/3620668 View at source

  • 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 View at source

  • 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

10.1145/3688856 View at source

  • 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 View at source

  • 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 View at source

  • 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
... View more Collapse

Software and Systems Modeling (p. 1229-1261) - 1/9/2020

10.1007/s10270-020-00776-8 View at source

  • 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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN 01641212

This researcher has no books.

This researcher has no book chapters.

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 View at source

  • 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

10.1145/3550356.3561597 View at source

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 View at source

  • 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

10.1109/q-se52541.2021.00010 View at source

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 View at source

  • 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

10.1109/models50736.2021.00017 View at source

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 View at source

  • ISBN 978-1-4503-9317-1/22

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 View at source

  • 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 View at source

  • 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 View at source

  • ISSN 19460759

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

Last data update: 5/14/26 10:20 AM