VLDB 2026 Research / reviewers in the wild / expert
José A. Cruz-Lemus
dblp:10/2388 · also José Antonio Cruz-Lemus
· DBLP profile ↗
19ranked-venue papers
5as first author
3since 2021 · last 2026
0000-0002-0470-609XORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 15 · 4 first-author · 3 since 2021Databases, data management, data science and information retrieval · 2 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 first-authorHuman-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Validation of an analyzability model for quantum software: a family of experiments
Ana Díaz-Muñoz, José A. Cruz-Lemus, Moisés Rodríguez 0001, Maria Teresa Baldassarre, Mario Piattini |
Empir. Softw. Eng. | 2 |
| 2024 | Automata-Based Quantum Circuit Design Patterns Identification: A Novel Approach and Experimental VerificationabstractThis paper introduces a strategy for identifying design patterns in quantum circuits. The foundation of this approach relies on using the information procured from both the segmentation and the analysis of these circuits as primary data. The approach of the methodology is based on the novel interpretation of quantum circuit components through the lens of an automaton. Additionally, the method entails the generation of input symbols for this finite automaton. The symbols are derived from the matching process between design patterns and components of quantum circuits. Two tool prototypes, QPainter and QCDPDTool, have been developed to represent quantum circuits graphically and automatically detect quantum patterns. Using them, the primary reasoning process is carried out by an automaton that can manage representations of quantum circuit components. A suite of experiments on a set of quantum circuit sequences reveals promising results and offers empirical support for our approach. Furthermore, we explore how these experimental findings can be leveraged to improve the efficacy of design pattern identification in quantum circuits. Francisco P. Romero 0001, José A. Cruz-Lemus, Sergio Jiménez-Fernández, Mario Piattini |
Int. J. Softw. Eng. Knowl. Eng. | 2 |
| 2024 | BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoningabstractData quality should be at the core of many Artificial Intelligence initiatives from the very first moment in which data is required for a successful analysis. Measurement and evaluation of the level of quality are crucial to determining whether data can be used for the tasks at hand. Conscientious of this importance, industry and academia have proposed several data quality measurements and assessment frameworks over the last two decades. Unfortunately, there is no common and shared vocabulary for data quality terms. Thus, it is difficult and time-consuming to integrate data quality analysis within a (Big) Data workflow for performing Artificial Intelligence tasks. One of the main reasons is that, except for a reduced number of proposals, the presented vocabularies are neither machine-readable nor processable, needing human processing to be incorporated. This paper proposes a unified data quality measurement and assessment information model. This model can be used in different environments and contexts to describe data quality measurement and evaluation concerns. The model has been developed as an ontology to make it interoperable and machine-readable. For better interoperability and applicability, this ontology, BIGOWL4DQ, has been developed as an extension of a previously developed ontology for describing knowledge management in Big Data analytics. This extended ontology provides a data quality measurement and assessment framework required when designing Artificial Intelligence workflows and integrated reasoning capacities. Thus, BIGOWL4DQ can be used to describe Big Data analysis and assess the data quality before the analysis. Our proposal has been validated with two use cases. First, the semantic proposal has been assessed using an academic use case. And second, a real-world case study within an Artificial Intelligence workflow has been conducted to endorse our work. Cristóbal Barba-González, Ismael Caballero 0001, Angel Jesus Varela-Vaca, José A. Cruz-Lemus, María Teresa Gómez-López, Ismael Navas-Delgado |
Inf. Softw. Technol. | 4 |
| 2019 | An Empirical Investigation on the Benefits of Gamification in Programming CoursesabstractContext: Programming courses are compulsory for most engineering degrees, but students’ performance on these courses is often not as good as expected. Programming is difficult for students to learn, given that it includes a lot of new, complex, and abstract topics. All of this has led experts to the conclusion that new teaching techniques are required if students are to be motivated and engaged in learning on programming courses. Gamification has come to be an effective technique in education in general, and is especially useful in programming courses. This motivated us to develop an open source gamified platform, called UDPiler, for use in a programming course. Objective: The main goal of this article is to obtain empirical evidence on the improvement of students’ learning performance when using UDPiler in comparison to a non-gamified compiler. Method: A quasi-experiment was performed with two groups of first-year engineering students at Diego Portales University in Chile, using a non-gamified compiler and a gamified platform, respectively. Results: The results reveal that the students obtained better marks when the gamified platform was used to learn C programming. In addition, there is statistical significance in favor of there being a positive effect on the learning performance of those students who used the gamified platform. Conclusions: The results allow us to conclude that gamification is an encouraging approach with which to teach C programming, a finding that is aligned with previous empirical studies concerning gamification on programming courses, carried out in academic contexts. Nonetheless, we are aware that further validation is also required to corroborate and strengthen the findings obtained and to investigate whether the kind of gamified elements (mechanics, dynamics, and aesthetics) used have any influence on students’ performance, among other issues that deserve further investigation and that are explained throughout this article. Beatriz Marín, Jonathan Frez, José A. Cruz-Lemus, Marcela Genero |
ACM Trans. Comput. Educ. | 3 |
| 2018 | Learning Analytics to identify dropout factors of Computer Science studies through Bayesian networksabstractStudent dropout in Engineering Education is an important problem which has been studied from different perspectives, as well as using different techniques. This manuscript describes the methodology used in order to address this question in the context of learning analytics. Bayesian networks (BNs) have been used as they provide adequate methods for the representation, interpretation and contextualisation of data. The proposed approach is illustrated through a case study about Computer Science (CS) dropout at the University of Castilla-La Mancha (Spain), which is close to 40%. To that end, several BNs were obtained from a database which contained 383 records representing both academic and social data of the students enrolled in the CS degree during four courses. Then, these probabilistic models were interpreted and evaluated. The results obtained revealed that the best model that fits the data is provided by the K2 algorithm although the great heterogeneity of the data studied did not permit the adjustment of the dropout profile of the student too accurately. Nonetheless, the methodology described here can be taken as a reference for future works. Carmen Lacave, Ana I. Molina, José A. Cruz-Lemus |
Behav. Inf. Technol. | 3 |
| 2018 | Do software models based on the UML aid in source-code comprehensibility? Aggregating evidence from 12 controlled experiments
Giuseppe Scanniello, Carmine Gravino, Marcela Genero, José A. Cruz-Lemus, Genny Tortora, Michele Risi, Gabriella Dodero |
Empir. Softw. Eng. | 4 |
| 2015 | Studying the Effect of UML-Based Models on Source-Code Comprehensibility: Results from a Long-Term Investigation
Giuseppe Scanniello, Carmine Gravino, Genny Tortora, Marcela Genero, Michele Risi, José A. Cruz-Lemus, Gabriella Dodero |
PROFES | 6 |
| 2015 | A fine-grained analysis of the support provided by UML class diagrams and ER diagrams during data model maintenance
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genny Tortora, Marcela Genero, José A. Cruz-Lemus |
Softw. Syst. Model. | 7 |
| 2014 | On the impact of UML analysis models on source-code comprehensibility and modifiabilityabstractWe carried out a family of experiments to investigate whether the use of UML models produced in the requirements analysis process helps in the comprehensibility and modifiability of source code. The family consists of a controlled experiment and 3 external replications carried out with students and professionals from Italy and Spain. 86 participants with different abilities and levels of experience with UML took part. The results of the experiments were integrated through the use of meta-analysis. The results of both the individual experiments and meta-analysis indicate that UML models produced in the requirements analysis process influence neither the comprehensibility of source code nor its modifiability. Giuseppe Scanniello, Carmine Gravino, Marcela Genero, José A. Cruz-Lemus, Genny Tortora |
ACM Trans. Softw. Eng. Methodol. | 4 |
| 2012 | A family of case studies on business process mining using MARBLE
Ricardo Pérez-Castillo, José A. Cruz-Lemus, Ignacio García Rodríguez de Guzmán, Mario Piattini |
J. Syst. Softw. | 2 |
| 2011 | Identifying the Weaknesses of UML Class Diagrams during Data Model Comprehension
Gabriele Bavota, Carmine Gravino, Rocco Oliveto, Andrea De Lucia, Genny Tortora, Marcela Genero, José A. Cruz-Lemus |
MoDELS | 7 |
| 2011 | Assessing the influence of stereotypes on the comprehension of UML sequence diagrams: A family of experiments
José A. Cruz-Lemus, Marcela Genero, Danilo Caivano, Silvia Abrahão, Emilio Insfrán, José A. Carsí |
Inf. Softw. Technol. | 1 |
| 2010 | The impact of structural complexity on the understandability of UML statechart diagrams
José A. Cruz-Lemus, Ann Maes, Marcela Genero, Geert Poels, Mario Piattini |
Inf. Sci. | 1 |
| 2009 | Assessing the understandability of UML statechart diagrams with composite states - A family of empirical studies
José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Sandro Morasca, Mario Piattini |
Empir. Softw. Eng. | 1 |
| 2008 | Does the use of stereotypes improve the comprehension of UML sequence diagrams?abstractThis paper reports on a controlled experiment that investigates the influence of stereotypes in UML sequence diagrams. The comprehension of UML sequence diagrams with and without stereotypes is analyzed from three different perspectives: semantic comprehension, retention and transfer. The experiment was carried out with 77 undergraduate students of Computer Science from the University of Bari in Italy. The results obtained show a slight tendency in favor of the use of stereotypes in facilitating the comprehension of UML sequence diagrams. Further replications are needed to obtain more conclusive results. Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Abrahão, Emilio Insfrán, José A. Carsí |
ESEM | 2 |
| 2008 | Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment
Marcela Genero, José A. Cruz-Lemus, Danilo Caivano, Silvia Abrahão, Emilio Insfrán, José A. Carsí |
MoDELS | 2 |
| 2007 | Using Controlled Experiments for Validating UML Statechart Diagrams Measures
José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
IWSM/Mensura | 1 |
| 2007 | Managing software process measurement: A metamodel-based approach
Félix García 0001, Manuel A. Serrano, José A. Cruz-Lemus, Francisco Ruiz 0001, Mario Piattini |
Inf. Sci. | 3 |
| 2004 | Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques
José A. Cruz-Lemus, Marcela Genero, José Angel Olivas, Francisco P. Romero 0001, Mario Piattini |
SEKE | 1 |