arrow
I

Ignacio García‐Rodríguez de Guzmán

Universidad de Castilla-La Mancha
H-index:22
Citation Count:1,524
Views:0

Biography

No content for now.

Education

No content for now.

Work Experience

No content for now.

Honors & Awards

No content for now.

Generating Property-Based Tests for Quantum Algorithms

为量子算法生成基于属性的测试

2026-01-010
PRE
Pypen: Code instrumentation tool for dynamic analysis and energy efficiency evaluation

Pypen:用于动态分析和能效评估的代码插桩工具

2025-05-270
PRE
Generation of Quantum Software From Truth Tables

从真值表生成量子软件

2025-04-300
PRE
Service engineering for quantum computing: Ensuring high-quality quantum services
2025-03-011
PRE
Let?s do it right the first time: Survey on security concerns in the way to quantum software engineering

让我们第一次做对: 量子软件工程中的安全问题调查

2023-06-018
OAAI
FEETINGS: Framework for Energy Efficiency Testing to Improve Environmental Goal of the Software

FEETINGS: 提高软件环境目标的能效测试框架

2021-06-0119
PRE
Is software sustainability considered in the CSR of software industry?

软件行业的企业社会责任是否考虑了软件可持续性?

2019-03-2617
PREAI
Evaluating GSD-Aware: A Serious Game for Discovering Global Software Development Challenges
2019-01-0723
OAAI
Software Refactoring for System Modernization
2018-11-017
PREAI
A Governance and Management Framework for Green IT

绿色IT的治理和管理框架

2017-09-2924
OAAI
An architecture for automatically developing secure OLAP applications from models
2015-03-016
OAAI
An integrated approach based on execution measures for the continuous improvement of business processes realized by services
2014-02-0140
PREAI
A family of case studies on business process mining using MARBLE
2012-06-0110
PREAI
SOFTWARE TECHNOLOGY Reengineering Technologies
2011-11-019
PRE
Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems
2011-11-0174
PREAI
Business process archeology using MARBLE
2011-10-0129
PREAI
Generating event logs from non-process-aware systems enabling business process mining
2011-08-0145
PREAI
Semi-formal transformation of secure business processes into analysis class and use case models: An MDA approach
2010-09-0162
PREAI