IDEA - Prisma - Unidad de Bibliometría

Data-centric Computing Research Hub - TIC-258 (IDEA)

Tipo de colectivo: Grupo de investigación
Estado: Grupo definitivo
Ámbito: Andalucía
Instituciones: Universidad de Sevilla
Fecha de creación: 16/12/2019

Investiga en

Tipo Año Título Fuente
Artículo2025 FM fact label SCIENCE OF COMPUTER PROGRAMMING
Editorial2024 2024 Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum: Preface CEUR workshop proceedings
Artículo2024 An ontological knowledge-based method for handling feature model defects due to dead feature ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Ponencia2024 Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT) IX Jornadas Nacionales de Investigación En Ciberseguridad
Artículo2024 Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case Internet of Things (Netherlands)
Artículo2024 BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2024 Data visualization guidance using a software product line approach JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2024 Detección de Spear Phishing basada en métodos de decisión multicriterio IX Jornadas Nacionales de Investigación En Ciberseguridad
Artículo2024 DPGraphJ: A Java package for the implementation of dynamic programming algorithms SoftwareX
Artículo2024 E-SCORE: A web-based tool for security requirements engineering SoftwareX
Artículo2024 Enabling security risk assessment and management for business process models Journal of Information Security and Applications
Capítulo2024 Feature Models: AI-Driven Design, Analysis and Applications SpringerBriefs in Computer Science
Ponencia2024 Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration International Conference on Model-Driven Engineering and Software Development
Ponencia2024 Kconfig metamodel: a first approach ACM International Conference Proceeding Series
Ponencia2024 Open Science principles in software product lines: The case of the UVL ecosystem 28th ACM International Systems and Software Product Line Conference. Dommeldange Luxembourg September 2 - 6, 2024
Ponencia2024 Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool ACM International Conference Proceeding Series
Ponencia2024 SECRET: A New SECurity REquirements SpecificaTion Template Lecture Notes in Networks and Systems
Ponencia2024 Una comparación colaborativa del rendimiento en proyectos de software libre XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024). (2024), pp. 1-4.
Artículo2024 UVLHub: A feature model data repository using UVL and open science principles JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2024 Variability in data transformation: towards data migration product lines ACM International Conference Proceeding Series
Artículo2024 Variability management and software product line knowledge in software companies JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2024 Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT) COMPUTERS & SECURITY
Editorial2024 Welcome Message ACM International Conference Proceeding Series
Artículo2023 A Monte Carlo tree search conceptual framework for feature model analyses JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2023 Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems ACM International Conference Proceeding Series
Ponencia2023 Benchmarking del rendimiento de proyectos software de c´odigo abierto mediante una herramienta colaborativa Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023) (2023).
Capítulo2023 Ciberseguridad cognitiva aplicada al phishing Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023
Editorial2023 Editorial: recent advances in process analytics JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
Artículo2023 ELI: an IoT-aware big data pipeline with data curation and data quality PEERJ COMPUTER SCIENCE
Ponencia2023 FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023
Artículo2023 Feature models to boost the vulnerability management process JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2023 FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models ACM International Conference Proceeding Series
Libro2023 Internet of Things - New Trends, Challenges and Hurdles Internet of Things - New Trends, Challenges and Hurdles
Capítulo2023 Introductory Chapter: An Overview to the Internet of Things Internet of Things - New Trends, Challenges and Hurdles
Ponencia2023 Large Language Models to generate meaningful feature model instances ACM International Conference Proceeding Series
Libro2023 Machine intelligence, big data analytics, and IoT in image processing: practical applications Machine Intelligence, Big Data Analytics, and IoT in Image Processing: Practical Applications
Ponencia2023 Multi-level configuration in smart governance systems CEUR workshop proceedings
Ponencia2023 On Programming Variability with Large Language Model-based Assistant ACM International Conference Proceeding Series
Artículo2023 Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning Internet of Things (Netherlands)
Artículo2023 Paying attention to cyber-attacks: A multi-layer perceptron with self-attention mechanism COMPUTERS & SECURITY
Editorial2023 Preface CEUR workshop proceedings
Editorial2023 Preface Machine Intelligence, Big Data Analytics, and IoT in Image Processing: Practical Applications
Capítulo2023 Principles of software product lines UML-Based Software Product Line Engineering with SMarty
Capítulo2023 Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology Advanced Information Systems Engineering
Ponencia2023 Second Tutorial on the Universal Variability Language ACM International Conference Proceeding Series
Ponencia2023 Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023
Ponencia2023 UVLParser: Extending UVL with Language Levels and Conversion Strategies ACM International Conference Proceeding Series
Artículo2023 When business processes meet complex events in logistics: A systematic mapping study COMPUTERS IN INDUSTRY
Ponencia2022 24th International workshop on configuration (CONFWS'22) 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Artículo2022 A coral-reef approach to extract information from HTML tables APPLIED SOFT COMPUTING
Artículo2022 A domain-specific language for the specification of UCON policies Journal of Information Security and Applications
Artículo2022 A hybrid quantum approach to leveraging data from HTML tables KNOWLEDGE AND INFORMATION SYSTEMS
Ponencia2022 Advances in a DSL to specify smart contracts for application integration processes CIbSE 2022 - XXV Ibero-American Conference on Software Engineering
Capítulo2022 Advisory: Análisis de vulnerabilidades en proyectosde desarrollo software Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao)
Ponencia2022 Advisory: vulnerability analysis in software development project dependencies 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Ponencia2022 Advisory. Una herramienta para identificar los riesgos de seguridad 26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
Artículo2022 An experimental study of neural approaches to multi-hop inference in question answering. International Journal of Neural Systems
Capítulo2022 Automatizando RGPD 2016/679 mediante Procesos de Negocio: El caso del Artículo 32 Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao)
Corrección2022 Correction to: Uniform and scalable sampling of highly configurable systems (Empirical Software Engineering, (2022), 27, 2, (44), 10.1007/s10664-021-10102-5) EMPIRICAL SOFTWARE ENGINEERING
Ponencia2022 Design for the analysis of variability management in the industry 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Ponencia2022 Diseño de un estudio de la gestión de variabilidad en la empresa 26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
Ponencia2022 Dynamic checks of evidence models for assurance projects in eclipse OpenCert Lecture Notes in Computer Science
Artículo2022 Evidentia: gestión de evidencias en trabajos colaborativos usando software libre Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Ponencia2022 Fifth international workshop on languages for modelling variability (MODEVAR@SPLC 2022) 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Ponencia2022 FM fact label: a configurable and interactive visualization of feature model characterizations 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Artículo2022 On exploring data lakes by finding compact, isolated clusters INFORMATION SCIENCES
Artículo2022 On the design of an advanced business rule engine SOFTWARE-PRACTICE & EXPERIENCE
Ponencia2022 On the need to use smart contracts in enterprise application integration CIbSE 2022 - XXV Ibero-American Conference on Software Engineering
Artículo2022 On validating web information extraction proposals EXPERT SYSTEMS WITH APPLICATIONS
Capítulo2022 Process Instance Query Language and the Process Querying Framework Process Querying Methods
Ponencia2022 Prototipo para la generación, prueba y despliegue automático de sitios web con Wordpress usando líneas de producto software (WebSPL) 26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
Artículo2022 Reasoning on the Usage Control Security policies over Data Artifact Business Process Models COMPUTER SCIENCE AND INFORMATION SYSTEMS
Artículo2022 Smart contract languages: a multivocal mapping study ACM COMPUTING SURVEYS
Ponencia2022 Tutorial on the universal variability language 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Ponencia2022 Una línea de productos software para la visualización de datos 26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
Artículo2022 Uniform and scalable sampling of highly configurable systems EMPIRICAL SOFTWARE ENGINEERING
Ponencia2022 Variability in data visualization: a software product line approach 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings
Ponencia2022 Variability-aware data migration tool Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B
Ponencia2021 A cloud-based integration platform for enterprise application integration: a model-driven engineering approach SOFTWARE-PRACTICE & EXPERIENCE
Artículo2021 A clustering approach to extract data from HTML tables INFORMATION PROCESSING & MANAGEMENT
Ponencia2021 A first prototype of a new repository for feature model exchange and knowledge sharing ACM International Conference Proceeding Series
Capítulo2021 A NLP-oriented methodology to enhance event log quality Enterprise, Business-Process and Information Systems Modeling
Ponencia2021 Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance Studies in Computational Intelligence
Artículo2021 Blockchain-based federation of wireless sensor nodes JOURNAL OF SUPERCOMPUTING
Artículo2021 CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems COMPUTERS IN INDUSTRY
Ponencia2021 CC4Spark: distributing event logs and big complex conformance checking problems CEUR workshop proceedings
Artículo2021 Classifying and resolving software product line redundancies using an ontological first-order logic rule based method EXPERT SYSTEMS WITH APPLICATIONS
Artículo2021 Data curation in the Internet of things: a decision model approach Computational and Mathematical Methods
Artículo2021 Decision-making support for input data in business processes according to former instances COMPUTER SCIENCE AND INFORMATION SYSTEMS
Artículo2021 DIRECTDEBUG: A software package for the automated testing and debugging of feature models Software Impacts
Ponencia2021 DIRECTDEBUG: automated testing and debugging of feature models 2021 IEEE/ACM 43rd International Conference on Software Engineering: new ideas and emerging results (ICSE-NIER)
Artículo2021 Discovering configuration workflows from existing logs using process mining EMPIRICAL SOFTWARE ENGINEERING
Artículo2021 DMN4DQ: when data quality meets DMN DECISION SUPPORT SYSTEMS
Artículo2021 Empirical evidence of the usage of programming languages in the educational process IEEE TRANSACTIONS ON EDUCATION
Ponencia2021 Empirical software product line engineering: A systematic literature review: An IST journal publication Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Artículo2021 Empowering conformance checking using Big Data through horizontal decomposition INFORMATION SYSTEMS
Capítulo2021 Enabling Process Mining in Airbus Manufacturing Business Process Management Cases Vol. 2
Artículo2021 Explanations for over-constrained problems using QuickXPlain with speculative executions JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
Ponencia2021 Monte carlo simulations for variability analyses in highly configurable systems CEUR workshop proceedings
Ponencia2021 Monte Carlo tree search for feature model analyses: a general framework for decision-making ACM International Conference Proceeding Series
Artículo2021 Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules EXPERT SYSTEMS WITH APPLICATIONS
Artículo2021 On learning context-aware rules to link RDF datasets Logic Journal of the IGPL
Ponencia2021 Problem generalization for designing recursive algorithms Advances in Intelligent Systems and Computing
Ponencia2021 Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Capítulo2021 Product optimization in stepwise design Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday
Artículo2021 Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing IEEE ACCESS
Artículo2021 TOMATE: a heuristic-based approach to extract data from HTML tables INFORMATION SCIENCES
Ponencia2021 Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Ponencia2021 Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características JISBD 2021: XXV Jornadas de Ingeniería del Software y Bases de Datos (2021).
Ponencia2021 Uniform and Scalable SAT-Sampling for Configurable Systems Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Ponencia2021 Unleashing Constraint Optimisation Problem solving in Big Data environments Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Artículo2021 Using scratch to improve learning programming in college students: a positive experience from a non-weird country ELECTRONICS
Artículo2020 A deep-learning approach to mining conditions KNOWLEDGE-BASED SYSTEMS
Ponencia2020 A parallelized variant of Junker’s QuickXPlain algorithm Lecture Notes in Computer Science
Ponencia2020 A Python framework for the automated analysis of feature models: a first step to integrate community efforts ACM International Conference Proceeding Series
Artículo2020 A scheduler for SCADA-based multi-source fusion systems INFORMATION FUSION
Ponencia2020 AMADEUS: Towards the AutoMAteD secUrity teSting ACM International Conference Proceeding Series
Artículo2020 An encoder–decoder approach to mine conditions for engineering textual data ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE
Artículo2020 Blockchain from the perspective of privacy and anonymisation: a systematic literature review SENSORS
Ponencia2020 Chamaleon: Framework to improve data wrangling with complex data 40th International Conference on Information Systems, ICIS 2019
Libro2020 Data-driven process discovery and analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13–14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, revised selected papers Lecture Notes in Business Information Processing
Ponencia2020 Databases and information systems in the AI era: contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium Communications in Computer and Information Science
Ponencia2020 Definition and verification of security configurations of cyber-physical systems Lecture Notes in Computer Science
Artículo2020 Empirical software product line engineering: A systematic literature review INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2020 Measuring data-centre workflows complexity through process mining: the Google cluster case JOURNAL OF SUPERCOMPUTING
Artículo2020 On extracting data from tables that are encoded using HTML KNOWLEDGE-BASED SYSTEMS
Artículo2020 On the synthesis of metadata tags for HTML files SOFTWARE-PRACTICE & EXPERIENCE
Revisión2020 Open Source Adoption Factors-A Systematic Literature Review IEEE ACCESS
Editorial2020 Preface Lecture Notes in Business Information Processing
Artículo2020 Prognosis of multiple instances in time-aware declarative business process models COMPUTERS IN INDUSTRY
Artículo2020 Recommender systems and scratch: an integrated approach for enhancing computer programming learning IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES
Ponencia2020 Standardizing process-data exploitation by means of a process-instance metamodel Data-driven process discovery and analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13–14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, revised selected papers
Ponencia2020 Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020) ACM International Conference Proceeding Series
Artículo2020 Torii: an aspect-based sentiment analysis system that can mine conditions SOFTWARE-PRACTICE & EXPERIENCE
Ponencia2020 Towards the Detection of Promising Processes by Analysing the Relational Data Communications in Computer and Information Science
Ponencia2020 Uniform and scalable SAT-sampling for configurable systems ACM International Conference Proceeding Series
Artículo2020 Unleashing constraint optimisation problem solving in Big Data environments JOURNAL OF COMPUTATIONAL SCIENCE
Artículo2020 Verifying the manipulation of data objects according to business process and data models KNOWLEDGE AND INFORMATION SYSTEMS
Artículo2019 A framework to secure the development and auditing of SSL pinning in mobile applications: the case of Android devices ENTROPY
Ponencia2019 A general approach to Software Product Line testing Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Ponencia2019 Accessibility variability model: The UTPL MOOC case study SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Automated analysis of feature models: Quo vadis? Computing: archives for scientific computing
Ponencia2019 Automated analysis of feature models: quo vadis? SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Automated analysis of two-layered feature models with feature attributes Journal of Computer Languages
Artículo2019 Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models IEEE ACCESS
Capítulo2019 Constraint-Driven Fault Diagnosis Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Artículo2019 CyberSPL: A framework for the verification of cybersecurity policy compliance of system configurations using software product lines APPLIED SCIENCES-BASEL
Ponencia2019 CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de características Actas de las V Jornadas Nacionales de Ciberseguridad Junio 5-7, 2019, Cáceres
Capítulo2019 Diagnosing Business Processes Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Ponencia2019 DMN for Data Quality Measurement and Assessment Lecture Notes in Business Information Processing
Ponencia2019 Enabling process mining in aircraft manufactures: Extracting event logs and discovering processes from complex data CEUR workshop proceedings
Ponencia2019 First international workshop on languages for modelling variability (MODEVAR 2019) SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 Guidelines towards secure SSL pinning in mobile applications Actas de las V Jornadas Nacionales de Ciberseguridad Junio 5-7, 2019, Cáceres
Capítulo2019 Model-Based Software Debugging Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Artículo2019 Modeling variability in the video domain: language and experience report SOFTWARE QUALITY JOURNAL
Ponencia2019 On mining conditions using encoder-decoder networks ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence
Editorial2019 Preface Lecture Notes in Business Information Processing
Ponencia2019 Process mining to unleash variability management: discovering configuration workflows using logs SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018 IEEE ACCESS
Ponencia2019 RESDEC: Online management tool for implementation components selection in software product lines using recommender systems SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress IEEE ACCESS
Artículo2019 Software room: una experiencia docente para atraer nuevos estudiantes Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Ponencia2019 Towards a new repository for feature model exchange SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Ponencia2019 Variabilidad en visualización de datos: Retos y posibilidades Problema abierto - Investigación en curso Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019
Ponencia2019 Variability management in a software product line unaware company: Towards a real evaluation SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A
Artículo2019 Variability Modelling and Analysis During 30 Years Lecture Notes in Computer Science
Ponencia2018 A hybrid approach to mining conditions HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018)
Ponencia2018 A hybrid genetic-bootstrapping approach to link resources in the web of data HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018)
Ponencia2018 An Architecture for Querying Business Process, Business Process Instances, and Business Data Models BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017)
Ponencia2018 Análisis de los datos y coreografia de múltiples procesos en entornos logísticos JCIS 2018: XIV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2018).
Artículo2018 Anytime diagnosis for reconfiguration JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
Ponencia2018 Automated analysis of feature models. Current state and practices ACM International Conference Proceeding Series
Artículo2018 Business Process Configuration According to Data Dependency Specification APPLIED SCIENCES-BASEL
Capítulo2018 Coordinación de casos prácticos en asignaturas del área de conocimiento "Gestión de la Información" según modelo curricular de informática de la ACM/IEEE 2013 Investigación y práctica en la educación superior
Capítulo2018 FABIOLA: Towards the resolution of constraint optimization problems in big data environment Lecture Notes in Information Systems and Organisation
Editorial2018 Introduction to the joint international BPM 2017 workshops on theory and application of visualizations and human-centric aspects in processes (TAProViz’17), process querying (PQ’17) and process engineering (IWPE’17) Lecture Notes in Business Information Processing
Ponencia2018 MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
Ponencia2018 On feeding business systems with linked resources from the web of data Lecture Notes in Business Information Processing
Ponencia2018 Recommending Exercises in Scratch: An Integrated Approach for Enhancing the Learning of Computer Programming ENGINEERING EDUCATION FOR A SMART SOCIETY
Ponencia2018 RESDEC: un prototipo de herramienta para la selección de configuraciones de despliegue basado en Sistemas de Recomendación Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018
Artículo2018 Selection of deployment configurations using Recommender Systems on Android Revista Iberica de Sistemas e Tecnologias de Informacao
Artículo2018 Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation COMPUTERS IN INDUSTRY
Ponencia2018 VaryLATEX: Learning paper variants that meet constraints ACM International Conference Proceeding Series
Editorial2018 Welcome message ACM International Conference Proceeding Series
Ponencia2017 A model-driven framework for domain specific process design and governance CEUR workshop proceedings
Ponencia2017 Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017
Ponencia2017 Extracting web information using representation patterns HotWeb 2017 - Proceedings of the 5th ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies
Ponencia2017 FABIOLA: Defining the components for constraint optimization problems in big data environment Information Systems Development: Advances in Methods, Tools and Management - Proceedings of the 26th International Conference on Information Systems Development, ISD 2017
Ponencia2017 FABIOLA: herramienta para la optimización de problemas en entornos de Big Data Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017
Artículo2017 FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing SOFTWARE AND SYSTEMS MODELING
Ponencia2017 Fostering a consistent SPL service ecosystem 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Ponencia2017 Governance knowledge management and decision support using fuzzy governance maps Lecture Notes in Business Information Processing
Ponencia2017 Guiding the creation of choreographed processes with multiple instances based on data models Lecture Notes in Business Information Processing
Artículo2017 Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Artículo2017 Mejora de la motivación del alumnado mediante su integración en un proceso de mejora continua Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Capítulo2017 Programación con la herramienta SCRATCH +CARAMBA. Una experiencia de aprendizaje significativo Global Partnerships for Development and Engineering Education: Proceedings of the 15th LACCEI International Multi-Conference for Engineering, Education and Technology,July 19-21, 2017, Boca Raton, FL, United States
Ponencia2017 Programming with the SCRATCH + CARAMBA tool. A significant learning experience Proceedings of the LACCEI international Multi-conference for Engineering, Education and Technology
Artículo2017 Reverse engineering language product lines from existing DSL variants JOURNAL OF SYSTEMS AND SOFTWARE
Editorial2017 Welcome message ACM International Conference Proceeding Series
Ponencia2016 A usage control model extension for the verification of security policies in artifact-centric business process models BUSINESS INFORMATION SYSTEMS (BIS 2016)
Artículo2016 ARIEX: Automated ranking of information extractors KNOWLEDGE-BASED SYSTEMS
Artículo2016 CALA: ClAssifying Links Automatically based on their URL JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2016 Computing alignments with constraint programming: The acyclic case CEUR workshop proceedings
Ponencia2016 El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016
Ponencia2016 Exploiting the enumeration of all feature model configurations: A new perspective with distributed computing ACM International Conference Proceeding Series
Editorial2016 Foreword to the special issue on empirical evidence on software product line engineering EMPIRICAL SOFTWARE ENGINEERING
Ponencia2016 Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016
Artículo2016 Hybrid business process modeling for the optimization of outcome data INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2016 Hybrid diagnosis applied to multiple instances in business processes ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016
Ponencia2016 JPI feature models-Exploring a JPI and FOP symbiosis for software modeling 2015 34TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC)
Revisión2016 Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review COMPUTER LANGUAGES SYSTEMS & STRUCTURES
Artículo2016 Mapping RDF knowledge bases using exchange samples KNOWLEDGE-BASED SYSTEMS
Artículo2016 Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS
Artículo2016 On learning web information extraction rules with TANGO INFORMATION SYSTEMS
Artículo2016 On the design of a maintainable software development kit to implement integration solutions JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2016 OPBUS: A framework for improving the dependability of risk-aware business processes AI COMMUNICATIONS
Ponencia2016 PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia2016 Process Instance Query Language to Include Process Performance Indicators in DMN 2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW)
Ponencia2016 Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS
Ponencia2016 Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS
Artículo2016 Roller: a novel approach to Web information extraction KNOWLEDGE AND INFORMATION SYSTEMS
Artículo2016 Testing variability-intensive systems using automated analysis: an application to Android SOFTWARE QUALITY JOURNAL
Artículo2016 Traceability Analyses between Features and Assets in Software Product Lines ENTROPY
Libro2016 Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection Advances in Intelligent Systems and Computing
Artículo2016 Una Experiencia para Mejorar la Interacción Estudiante-Profesor Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Ponencia2016 Using machine learning to infer constraints for product lines ACM International Conference Proceeding Series
Ponencia2016 Validation, diagnosis and decision-making support of data in business processes Lecture Notes in Business Information Processing
Artículo2015 A methodology to evaluate the maintainability of enterprise application integration frameworks International Journal of Web Engineering and Technology
Ponencia2015 A novel approach to web information extraction Lecture Notes in Business Information Processing
Capítulo2015 A selective mapping from orthogonal variability model to constraint satisfaction problem Advances in Engineering Research
Capítulo2015 A survey on the open source tools for modelling and implementing enterprise application integration solutions Horizons in Computer Science Research
Capítulo2015 A technology proposal to realise enterprise application integration Horizons in Computer Science Research
Artículo2015 An assessment of search-based techniques for reverse engineering feature models JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2015 An open-source proactive security infrastructure for Business Process Management Proceedings of the 26th International Business Information Management Association Conference - Innovation Management and Sustainable Economic Competitive Advantage: From Regional Development to Global Growth, IBIMA 2015
Artículo2015 Automating correctness verification of artifact-centric business process models INFORMATION AND SOFTWARE TECHNOLOGY
Capítulo2015 Characterising enterprise application integration solutions as discrete-event systems Handbook of Research on Computational Simulation and Modeling in Engineering
Artículo2015 Compliance validation and diagnosis of business data constraints in business processes at runtime INFORMATION SYSTEMS
Ponencia2015 Exploring the synergies between join point interfaces and feature-oriented programming Actas de las 20th Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2015
Ponencia2015 Feeding software agents with web information TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION
Artículo2015 Formalization of security patterns as a means to infer security controls in business processes Logic Journal of the IGPL
Capítulo2015 Modelling enterprise application integration solutions Advances in Engineering Research
Artículo2015 MostoDEx: A tool to exchange RDF data using exchange samples JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2015 On extracting information from semi-structured deep web documents Lecture Notes in Business Information Processing
Ponencia2015 On Member Labelling in Social Networks ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II
Artículo2015 Supporting distributed product configuration by integrating heterogeneous variability modeling approaches INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2015 Towards Automatic Integration of Information Security Governance and Management using a BPMS approach Actas de las primeras Jornadas Nacionales de Investigación en Ciberseguridad: León, 14, 15, 16 de septiembre de 2015: I JNIC2015
Ponencia2015 Towards testing variability intensive systems using user reviews 2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC)
Artículo2014 A class of neural-network-based transducers for web information extraction NEUROCOMPUTING
Ponencia2014 A variability-based testing approach for synthesizing video sequences 2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings
Artículo2014 Automated generation of computationally hard feature models using evolutionary algorithms EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2014 Automatic generation of questionnaires for supporting users during the execution of declarative business process models Lecture Notes in Business Information Processing
Artículo2014 CALA: An unsupervised URL-based web page classification system KNOWLEDGE-BASED SYSTEMS
Artículo2014 Conformance checking and diagnosis for declarative business process models in data-aware scenarios EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2014 Data state description for the migration to activity-centric business process model maintaining legacy databases Lecture Notes in Business Information Processing
Capítulo2014 Data-Aware Conformance Checking for Declarative Business Process Models Information system development: improving enterprise communication
Artículo2014 Data-driven bounded-error fault detection INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING
Artículo2014 Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Editorial2014 Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012 INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2014 Evolving feature model configurations in software product lines JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2014 Prognosing the compliance of declarative business processes using event trace robustness ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014 Service level agreement for data quality governed by Iso 8000-1X0 Proceedings of the 19th International Conference on Information Quality, ICIQ 2014
Artículo2014 Trinity: On Using Trinary Trees for Unsupervised Web Data Extraction IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
Artículo2014 Using Constraint Programming in Selection Operators for Constraint Databases EXPERT SYSTEMS WITH APPLICATIONS
Capítulo2014 Variability Management in an Unaware Software Product Line Company: an Experience Report The Eight International Workshop on Variability Modelling of Software-Intensive Systems
Ponencia2014 Variability management in an unaware software product line company. An experience report ACM International Conference Proceeding Series
Ponencia2014 ViViD: A variability-based tool for synthesizing video sequences ACM International Conference Proceeding Series
Ponencia2013 A security pattern-driven approach toward the automation of risk treatment in business processes INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS
Artículo2013 A Survey on Region Extractors from Web Documents IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
Capítulo2013 An architecture to infer business rules from event condition action rules implemented in the persistence layer Uncovering Essential Software Artifacts through Business Process Archeology
Ponencia2013 Automated analysis in feature modelling and product configuration Lecture Notes in Computer Science
Capítulo2013 Automated Analysis In Feature Modelling and Product Line Company: An Experience Report Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013
Capítulo2013 Automated Analysis of Stateful Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Capítulo2013 Automated Reasoning on Feature Models Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE
Artículo2013 Benchmarking Data Exchange among Semantic-Web Ontologies IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
Capítulo2013 Building a cloud-based mobile application testbed IT Policy and Ethics: Concepts, Methodologies, Tools, and Applications
Ponencia2013 CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia2013 CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Artículo2013 Diagnosing correctness of semantic workflow models DATA & KNOWLEDGE ENGINEERING
Artículo2013 Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems AI COMMUNICATIONS
Capítulo2013 El lenguaje QVT: Query/view/transformation Desarrollo de software dirigido por modelos: conceptos, métodos y herramientas
Artículo2013 Exchanging Data amongst Linked Data applications KNOWLEDGE AND INFORMATION SYSTEMS
Ponencia2013 Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis 17TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2013)
Capítulo2013 FaMa Systems and Software Variability Management: Concepts, Tools and Experiences
Ponencia2013 I8K: An implementation of ISO 8000-1X0 Proceedings of the 18th International Conference on Information Quality, ICIQ 2013
Ponencia2013 Integrating heterogeneous variability modeling approaches with invar ACM International Conference Proceeding Series
Capítulo2013 Internet, ¿un derecho universal? La uni en la calle: Libro de textos.
Artículo2013 Minimizing test-point allocation to improve diagnosability in business process models JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2013 MostoDE: A tool to exchange data amongst semantic-web ontologies JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2013 TEX: An efficient and effective unsupervised Web information extractor KNOWLEDGE-BASED SYSTEMS
Ponencia2013 Towards anomaly explanation in feature models CEUR workshop proceedings
Artículo2013 Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach INFORMATION AND SOFTWARE TECHNOLOGY
Libro2013 Trends in Practical Applications of Agents and Multiagent Systems 8th International Conference on Practical Applications of Agents and Multiagent Systems: held at University of Salamanca (Spain) 26-28th April, 2010 Trends in Practical Applications of Agents and Multiagent Systems 8th International Conference on Practical Applications of Agents and Multiagent Systems: held at University of Salamanca (Spain) 26-28th April, 2010
Capítulo2012 FaMa-OVM: a tool for the automated analysis of OVMs 16th International Software Product Line Conference, SPLC´12
Libro2012 16th International Software Product Line Conference, SPLC´12 16th International Software Product Line Conference, SPLC´12
Artículo2012 A bargaining-specific architecture for supporting automated service agreement negotiation systems SCIENCE OF COMPUTER PROGRAMMING
Artículo2012 A proposal to detect errors in Enterprise Application Integration solutions JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2012 A Reference Architecture to Devise Web Information Extractors ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012
Ponencia2012 A software development kit to implement integration solutions Proceedings of the ACM Symposium on Applied Computing
Ponencia2012 A statistical approach to URL-based web page clustering WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion
Ponencia2012 An architecture for efficient web crawling ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012
Ponencia2012 An unsupervised technique to extract information from semi-structured web pages Lecture Notes in Computer Science
Capítulo2012 BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Capítulo2012 Building a cloud-based mobile application testbed Software Testing in the Cloud: Perspectives on an Emerging Discipline
Artículo2012 CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2012 Consistency maintenance for evolving feature models EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2012 Extending BPMN 2.0 for modelling the combination of activities that involve data constraints BUSINESS PROCESS MODEL AND NOTATION, BPMN 2012
Ponencia2012 FaMa-OVM: A tool for the automated analysis of OVMs ACM International Conference Proceeding Series
Artículo2012 FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls COMPUTERS & SECURITY
Artículo2012 Improvement of Optimization Agreements in Business Processes involving Web Services IBIMA Communications
Ponencia2012 Information Extraction Framework TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS
Capítulo2012 Internet, ¿un derecho universal? El traje del emperador: 13 propuestas para desnudar el poder
Ponencia2012 On relational learning for information extraction TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS
Artículo2012 Quality-aware analysis in product line engineering with the orthogonal variability model SOFTWARE QUALITY JOURNAL
Capítulo2012 Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings
Ponencia2012 Reverse engineering feature models with evolutionary algorithms: An exploratory study Lecture Notes in Computer Science
Artículo2012 Software diversity: State of the art and perspectives International Journal on Software Tools for Technology Transfer
Ponencia2012 Towards a method for unsupervised web information extraction Lecture Notes in Computer Science
Ponencia2012 Towards discovering conceptual models behind web sites Lecture Notes in Computer Science
Ponencia2012 Towards discovering ontological models from big RDF data Lecture Notes in Computer Science
Editorial2012 Welcome message ACM International Conference Proceeding Series
Ponencia2011 A Conceptual Framework for Efficient Web Crawling in Virtual Integration Contexts WEB INFORMATION SYSTEMS AND MINING, PT II
Artículo2011 A DOMAIN-SPECIFIC LANGUAGE TO DESIGN ENTERPRISE APPLICATION INTEGRATION SOLUTIONS INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Ponencia2011 A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models 2011 fifth international conference on research challenges in information science
Ponencia2011 A Reference Architecture for Building Semantic-Web Mediators ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS
Ponencia2011 A tool for link-based web page classification ADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2011 A tool for web links prototyping Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011
Ponencia2011 A transducer model for web information extraction Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011
Ponencia2011 An Approach For Optimization Agreements In Business Processes Based On Web Services CREATING GLOBAL COMPETITIVE ECONOMIES: A 360-DEGREE APPROACH, VOLS 1-4
Ponencia2011 An architecture for web information agents International Conference on Intelligent Systems Design and Applications
Ponencia2011 An efficient orchestration engine for the Cloud Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
Ponencia2011 Análisis de distintas metodologías de evaluación en prácticas de laboratorio en asignaturas de Redes de Computadores JENUI 2011: XVIII Jornadas de Enseñanza Universitaria de la Informática (2011)
Ponencia2011 Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas JENUI 2011: XVII Jornadas de Enseñanza Universitaria de la Informática (2011)
Ponencia2011 Automated analysis of feature models 20 years later: A literature review Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Ponencia2011 Automated diagnosis of feature model configurations Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Artículo2011 Automated metamorphic testing on the analyses of feature models INFORMATION AND SOFTWARE TECHNOLOGY
Capítulo2011 Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches 15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany
Ponencia2011 Contract-based test generation for data flow of business processes using constraint programming 2011 fifth international conference on research challenges in information science
Ponencia2011 Error-Detection in Enterprise Application Integration Solutions ENTERPRISE INFORMATION SYSTEMS, PT 2
Artículo2011 Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática Revista de Enseñanza Universitaria
Capítulo2011 Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) 15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany
Artículo2011 Functional testing of feature model analysis tools: a test suite IET SOFTWARE
Ponencia2011 Generating SPARQL Executable Mappings to Integrate Ontologies CONCEPTUAL MODELING - ER 2011
Ponencia2011 Improving the diagnosability of business process management systems using test points BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia2011 Mining Web pages using features of rendering HTML elements in the Web browser TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENTS SYSTEMS
Ponencia2011 Mosto: Generating SPARQL executable mappings between ontologies ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS
Artículo2011 Mutation testing on an object-oriented framework: An experience report INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2011 On a proposal to integrate web sources using semantic-web technologies Proceedings of the 2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011
Ponencia2011 On benchmarking data translation systems for semantic-web ontologies International Conference on Information and Knowledge Management, Proceedings
Ponencia2011 On improving FOIL Algorithm Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011
Ponencia2011 OPBUS: RISK-AWARE FRAMEWORK FOR THE CONFORMANCE OF SECURITY-QUALITY REQUIREMENTS IN BUSINESS PROCESSES SECRYPT 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2011 OPERA: una herramienta de soporte para el aprendizaje basado en proyectos XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011
Ponencia2011 Optimising FOIL by new scoring functions? Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Ponencia2011 Práctica de desarrollo de interfaces hardware/software para el manejo de sensores de redes inalámbricas JENUI 2011: XVIII Jornadas de Enseñanza Universitaria de la Informática (2011),
Ponencia2011 Run-Time Auditing for Business Processes Data Using Constraints BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia2011 USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2
Ponencia2010 A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA)
Artículo2010 A survey using constraints to decision-making for fault tolerance in Business processes International Journal of Software Engineering and Its Applications
Artículo2010 Automated analysis of feature models 20 years later: A literature review INFORMATION SYSTEMS
Artículo2010 Automated diagnosis of feature model configurations JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2010 Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
Artículo2010 Automatic Service Agreement Negotiators in Open Commerce Environments INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE
Artículo2010 Communicating between the kernel and user-space in Linux using Netlink sockets SOFTWARE-PRACTICE & EXPERIENCE
Ponencia2010 Contract-based Diagnosis for Business Process Instances using Business Compliance Rules DX 2010: 21th International Workshop on Principles of Diagnosis (2010).
Ponencia2010 De flujos de navegación a Spring Web Flow. Un primer acercamiento a las transformaciones verticales en MWACSL* Actas de talleres de ingeniería del software y bases de datos
Ponencia2010 Debian packages repositories as software product line models. Towards automated analysis CEUR workshop proceedings
Ponencia2010 Determination of an optimal test points allocation for business process analysis 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010
Ponencia2010 Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones JISBD 2010 : XV Jornadas de Ingeniería del Software y Bases de Datos (2010), pp. 23-34.
Ponencia2010 Fault diagnosis in databases for business processes DX 2010: 21th International Workshop on Principles of Diagnosis held jointly with the Annual Conference of the PHM Society 2010 (2010).
Ponencia2010 Integrating deep-web information sources TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS
Editorial2010 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science
Ponencia2010 On the design of a domain specific language for enterprise application integration solutions CEUR workshop proceedings
Ponencia2010 OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Ponencia2010 Sitemaps from a model driven perspective: A first step for bridging the gap between information architecture and navigation design WEBIST 2010 - Proceedings of the 6th International Conference on Web Information Systems and Technology
Ponencia2010 Towards dependable business processes with fault-tolerance approach Proceedings - 3rd International Conference on Dependability, DEPEND 2010
Artículo2009 Automated reasoning for multi-step feature model configuration problems SPLC '09 Proceedings of the 13th International Software Product Line Conference
Ponencia2009 A constraint-based job-shop scheduling model for software development planning ADIS 2009 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 14th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2009
Ponencia2009 A constraint-based model for multi-objective repair planning ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation
Artículo2009 A heuristic process for local inconsistency diagnosis in firewall rule sets Journal Of Networks
Ponencia2009 A MULTIOBJECTIVE CONSTRAINT OPTIMIZATION MODEL FOR MULTIMODE REPAIR PLANS ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1
Ponencia2009 AFPL2, An Abstract Language for Firewall ACLs with NAT support DEPEND: 2009 SECOND INTERNATIONAL CONFERENCE ON DEPENDABILITY
Ponencia2009 Competitive intelligence based on social networks for decision making ADIS 2009 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 14th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2009
Artículo2009 Demystifying Cluster-Based Fault-Tolerant Firewalls IEEE INTERNET COMPUTING
Artículo2009 Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France
Artículo2009 Developing a labelled object-relational constraint database architecture for the projection operator DATA & KNOWLEDGE ENGINEERING
Ponencia2009 EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2009 Efficient data structures for local inconsistency detection in firewall ACL updates ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Ponencia2009 MDA-based framework for automatic generation of consistent firewall ACLs with NAT COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II
Artículo2009 METAMODELLING AND TRANSFORMING SITEMAPS FOR RECONCILING INFORMATION ARCHITECTURE AND NAVIGATION DESIGN Actas de talleres de ingeniería del software y bases de datos
Artículo2009 Model-Based Development of firewall rule sets: Diagnosing model inconsistencies INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2009 Modelado de sistemas híbridos de energías renovables y su aplicación a una planta termosolar de agua caliente sanitaria (A.C.S.) XXX Jornadas de Automática: Palacio de Congresos Conde Ansúrez, 2-4 de septiembre 2009
Ponencia2009 Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS
Ponencia2008 A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2008 A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS
Ponencia2008 AFPL, an abstract language model for firewall ACLs COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS
Capítulo2008 Automated Diagnosis of Product-line Configuration Errors in Feature Models Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Artículo2008 Automated error analysis for the agilization of feature modeling JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2008 Automated merging of feature models using graph transformations Generative and Transformational Techniques in Software Engineering II
Artículo2008 Automatic extraction of social networks by topics of interest INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY
Ponencia2008 Diagnosing business processes execution using choreography analysis ADIS 2008 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 13th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2008
Artículo2008 Efficient packet filtering in wireless ad hoc networks IEEE COMMUNICATIONS MAGAZINE
Capítulo2008 FAMA Framework Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 FAMA Framework SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
Ponencia2008 Fast algorithms for consistency-based diagnosis of firewall rule sets ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Ponencia2008 Fast algorithms for local inconsistency detection in firewall ACL updates Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia2008 Firewall rule set inconsistency characterization by clustering WOSIS 2008: SECURITY IN INFORMATION SYSTEMS, PROCEEDINGS
Ponencia2008 First international workshop on analyses of software product lines (ASPL'08) www.isa.us.es/asp108 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Capítulo2008 First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08 Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Ponencia2008 Generating domain specific aspect code for navigation from platform specific models in MWACSL JISBD 2008: XIII Jornadas de Ingeniería del Software y Bases de Datos (2008)
Ponencia2008 hFT-FW: hybrid fault-tolerance for cluster-based Stateful Firewalls PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS
Ponencia2008 Introduction to the semantic web Web mining and semantic web: (Minería web y web semántica)
Ponencia2008 Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW COMPUTER SECURITY - ESORIC 2008, PROCEEDINGS
Ponencia2008 Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia2008 Stateful firewalling for wireless mesh networks Proceedings of New Technologies, Mobility and Security Conference and Workshops, NTMS 2008
Artículo2008 Surveying navigation modelling approaches INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY
Ponencia2008 Towards a dependable architecture for highly available Internet services ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Ponencia2008 Towards Automated Service Trading E-BUSINESS AND TELECOMMUNICATION NETWORKS
Capítulo2008 Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008
Artículo2008 Wrapping web data islands JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2007 A compiled model for faults diagnosis based on different techniques AI COMMUNICATIONS
Artículo2007 A top down approach for describing the acquaintace organisation of multiagent systems Scalable Computing
Capítulo2007 Automated Merging of Feature Models Using Graph Transformations Generative and Transformational Techniques in Software Engineering II
Ponencia2007 CSP-Based firewall rule set diagnosis using security policies ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Ponencia2007 El metamodelado de un framework: Spring Web Flow
Capítulo2007 FAMA: hacia el análisis automático de modelos de características Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos
Artículo2007 From wrapping to knowledge IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
Artículo2007 Generating non-conspiratorial executions INFORMATION PROCESSING LETTERS
Ponencia2007 Improving the adaptation of web applications to different versions of software with MDA CEUR workshop proceedings
Capítulo2007 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases Fault Detection, Supervision and Safety of Technical Processes 2006
Ponencia2007 Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones CAEPIA-TTIA 2007: actas
Ponencia2007 Integración de aplicaciones Integración de aplicaciones web para la web semántica :actas del Taller de Trabajo Zoco'07-CAEPIA
Ponencia2007 NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs CAEPIA-TTIA 2007: actas
Artículo2007 SISTEMAS DE INTELIGENCIA WEB BASADOS EN REDES SOCIALES Redes
Artículo2007 Using Aspect-orientation Techniques to Improve Reuse of Metamodels ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Ponencia2006 A conceptual framework for automated negotiation systems INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS
Capítulo2006 A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS) Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers
Ponencia2006 A software framework for automated negotiations of SLAs Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings
Artículo2006 A topological-based method for allocating sensors by using CSP techniques CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2006 An abstract architecture for service trading Fifth International Workshop on Practical Applications of Agents and Multiagent Systems (IWPAAMS'06): October 19-20, 2006, E. U. Informática - Segovia (Spain), U. of Valladolid : proceedings
Ponencia2006 An analysis of service trading architectures Lecture Notes in Computer Science
Artículo2006 Analysis of service trading architectures E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS
Artículo2006 Automated analysis of feature models: Challenges ahead COMMUNICATIONS OF THE ACM
Artículo2006 Diagnosing errors in DbC programs using Constraint Programming CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2006 Diagnosis of a chopper controlled DC motor by boosting INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 2, PROCEEDINGS
Ponencia2006 Distributed model-based diagnosis using object-relational constraint databases 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS
Capítulo2006 Evolución del aprendizaje semipresencial: del e-learning al m-learning La innovación en la enseñanza superior (I): curso 2003-2004
Artículo2006 HACIA UN PROCESO AUTOMATIZADO DE TRADING Novática
Ponencia2006 High Availability support for the design of stateful networking equipments FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Artículo2006 Improving the computational efficiency in symmetrical numeric constraint satisfaction problems CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2006 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases IFAC Proceedings Volumes (IFAC-PapersOnline)
Artículo2006 INTEGRACIÓN DE TÉCNICAS BASADAS EN MODELOS PARA LA DETERMINACIÓN DE LA DIAGNOSIS MÍNIMA DE UN SISTEMA Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia2006 Isolated features detection in feature models CEUR workshop proceedings
Ponencia2006 Modelos de Pruebas para Pruebas del Sistemas CEUR workshop proceedings
Editorial2006 Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Ponencia2006 SESETE: Un algoritmo de clasificación para la diagnosis de sistemas dinámicos VIII Jornadas razonamiento cualitativo y aplicaciones. JARCA '06: Razonamiento cualitativo y aplicaciones. Robótica, economía, diagnosis y clasificación
Ponencia2006 Test models for system testing CEUR workshop proceedings
Ponencia2006 Towards automated service trading ICE-B 2006: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS
Capítulo2006 Using Java CSP Solvers in the Automated Analyses of Feature Models Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers
Ponencia2005 A constraint-based algorithm for planning the substitution of faulty parts PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Artículo2005 A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS) Lecture Notes in Computer Science
Ponencia2005 A model integration of DX an FDI techniques for automatic determination of minimal diagnosis 2nd Workshop on Model-Based Systems (2005), pp. 11-16.
Artículo2005 A study of the similarities between topics COMPUTATIONAL STATISTICS
Capítulo2005 Acercando estrategias docentes entre teoría y práctica en las asignaturas de Ingeniería Informática La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004
Artículo2005 Aclarando la Importancia de la Interacción en la Ingeniería del Software Orientada a Agentes Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo2005 An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Artículo2005 Análisis de Redes Sociales mediante Diagramas Estratégicos y Diagramas Estructurales Redes: Revista hispana para el análisis de redes sociales
Capítulo2005 Análisis de un sistema biometalúrgico con conocimiento intervalar y cuantitativo El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Ponencia2005 Analysis and visualization of scientific communities with information extracted from the web IEEE LATIN AMERICA TRANSACTIONS
Artículo2005 Analysis and visualization of the DX community with information extracted from the web DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2005 Automated reasoning on feature models ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS
Ponencia2005 Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform Second IEEE International Workshop on Mobile Commerce and Services, Proceedings
Ponencia2005 Combining heuristics in assembly sequence planning PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Ponencia2005 Constraint satisfaction techniques for diagnosing errors in Design by Contract software Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005
Ponencia2005 Diagnosis con variables intervalares usando técnicas Max-CSP VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Ponencia2005 Diagnosis of a chopper controlled DC motor by boosting Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet
Ponencia2005 Estrategias eficientes en el nivel de aplicación para el filtrado y balanceo de carga de paquetes Actas IV Congreso Internacional de Auditoria y Seguridad de la Información: CIASI 2005
Artículo2005 Estudio de similitudes entre áreas temáticas REVISTA ESPANOLA DE DOCUMENTACION CIENTIFICA
Ponencia2005 Implicaciones de transformaciones oblicuas en el desarrollo de un framework generador de aplicaciones orientadas a aspectos DSDM'05: [actas del] II taller sobre desarrollo dirigido por modelos. MDA y aplicaciones
Capítulo2005 La Triple Esquizofrenia del investigador en Ingeniería del Software Aspectos filosóficos, psicológicos y metodológicos de la informática
Capítulo2005 Localización de centros atractivos y/ó repulsivos con análisis intervalar El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Ponencia2005 Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Ponencia2005 NIDO: Navegación e interacción con el usuario en el desarrollo de sistemas de información Web: Métodos, Técnicas y Herramientas TIC2003-00369 Jornada de Seguimiento de Proyectos en Tecnologías Informáticas (jspTIN-2005) (2005)
Capítulo2005 ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
Capítulo2005 Planificación de secuencias óptimas de ensamblaje mediante programación con restricciones intervalares El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Capítulo2005 Programación con restricciones intervalares El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Artículo2005 Querying a polynomial object-relational constraint database in model-based diagnosis DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2005 Semiqualitative Methodology to Reasoning about Dynamic Systems Computación y Sistemas
Capítulo2005 Towards a framework for a service-oriented automated negotiation 4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005
Artículo2005 Towards clarifying the importance of interactions in Agent-Oriented Software Engineering Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Capítulo2005 Towards multi-agent trading of web services 4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005
Capítulo2005 Una experiencia en la mejora del proceso de aprendizaje centrado en la formación del profesorado La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004
Ponencia2005 Using constraint programming to reason on feature models 17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005
Ponencia2004 A framework for classifying and comparing web services procurement platforms FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS
Artículo2004 An order-based algorithm for implementing multiparty synchronization CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
Artículo2004 Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis Lecture Notes in Computer Science
Artículo2004 Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis CONSTRAINT DATABASES, PROCEEDINGS
Artículo2004 Applying system families concepts to requirements engineering process definition SOFTWARE PRODUCT-FAMILY ENGINEERING
Editorial2004 Breakthroughs and challenges in software engineering - J.UCS Special Issue JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2004 Components + Aspects : A General Overview Revista Colombiana de Computación - RCC
Ponencia2004 Constraint Databases Technology for Polynomial Models Diagnosis DX 2004: 15th International Workshop on Principles of Diagnosis (2004), pp. 215-..
Artículo2004 Determination of possible minimal conflict sets using constraint databases technology and clustering ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Artículo2004 Editorial: Web and database technologies in business solutions International Journal of Web Engineering and Technology
Ponencia2004 Interval model-based diagnosis using constraint programming SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17
Ponencia2004 La esquizofrenia del docente e investigador en Ingeniería del Software Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Ponencia2004 Modelando aspectos con lenguajes específicos de dominio Segundo Taller de Desarrollo de Software Orientado a Aspectos (DSOA´04) en colaboración con las IX Jornadas de Ingeniería del Software y Bases de Datos (JISBD´04) (2004), pp. 91-97.
Ponencia2004 Modelling Interaction Organisation in Large Multi-Agent Organizations 3rd International workshop on practical applications of agents and multiagent systems : IWPAAMS 2004
Ponencia2004 Separación de conceptos y MDA: Arquitectura de un framework I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) (2004)
Capítulo2004 The navigational aspect in the requirement specification of NDT Proceedings of the IADIS International Conference WWW/INTERNET 2004: Madrid, Spain, October 6-9, 2004
Capítulo2004 Towards a Coordination Specification of Complex Multi-Agent System NTIT : New trends on information technology
Ponencia2004 Towards developing generic solutions with aspects 5th Aspect-Oriented Modeling Workshop, AOM-2004 (2004).
Artículo2003 A genetic algorithm for assembly sequence planning ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Ponencia2003 A knowledge extraction process specification for today's non-semantic Web Proceedings - IEEE/WIC International Conference on Web Intelligence, WI 2003
Artículo2003 A quality-aware approach to web services procurement TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS
Ponencia2003 A scheduling approach to assembly sequence planning PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003)
Ponencia2003 A top down approach for MAS protocol descriptions Proceedings of the ACM Symposium on Applied Computing
Capítulo2003 Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software Métodos de investigación y fundamentos filosóficos en ingeniería del software y sistemas de la información: El Escorial (Madrid), 18 de noviembre de 2002
Ponencia2003 Arquitectura para la consulta a bases de datos restrictivas VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Artículo2003 Aspect-oriented interaction in multi-organisational web-based systems COMPUTER NETWORKS
Artículo2003 Automating the procurement of web services Service-Oriented Computing - ICSOC 2003
Ponencia2003 Concerns vs components for web development IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067.
Artículo2003 Coping with web knowledge ADVANCES IN WEB INTELLIGENCE
Artículo2003 CSP aplicados a la diagnosis basada en modelos Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo2003 CSP y Bases de Datos Restrictivas Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Capítulo2003 El proceso de desarrollo de NDT II Taller de Ingeniería del Software Orientada al Web (Web Engineering)
Artículo2003 Fairness in systems based on multiparty interactions CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
Capítulo2003 Los Servicios Web en el Mundo de los Mercados Electrónicos El comercio electrónico: una visión hispano-lusa
Artículo2003 NDT-Tool: A case tool to deal with requirements in web information systems WEB ENGINEERING, PROCEEDINGS
Artículo2003 On selecting and scheduling assembly plans using constraint programming KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2003 Puentes y emulación de buses: un enfoque sistemático Novática
Ponencia2003 Revisiting requirements in web modelling languages IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067.
Artículo2003 The NDT development process WEB ENGINEERING, PROCEEDINGS
Ponencia2003 Towards a methodology for describing coordination in multi-agent system coordination VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Artículo2003 Towards interaction protocol operations for large multi-agent systems FORMAL APPROACHES TO AGENT-BASED SYSTEMS
Capítulo2003 Un entorno de administración y ejecución de sistemas multiorganizacionales basados en la Web II Taller de Ingeniería del Software Orientada al Web (Web Engineering)
Ponencia2003 Un tratamiento sensible a la calidad para la adquisición de servicios web VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Ponencia2003 Una experiencia práctica reutilizando aspectos Taller de Trabajo de Desarrollo de Software Orientado a Aspectos DSOA-JISBD 2003 (2003).
Artículo2003 UTILIZACIÓN DE NDT Y DE LAS TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES PARA LA GENERACIÓN DE ITINERARIOS CULTURALES. Computación y Sistemas
Artículo2002 A framework for semiqualitative reasoning in engineering applications APPLIED ARTIFICIAL INTELLIGENCE
Ponencia2002 A practical agent-based method to extract semantic information from the web Lecture Notes in Computer Science
Artículo2002 A semiquantitative approach to study semiqualitative systems Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Libro2002 Advances in business solutions Advances in business solutions
Artículo2002 An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactions EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS
Ponencia2002 An automated approach to quality aware web applications ENTERPRISE INFORMATION SYSTEMS IV
Ponencia2002 An automated approach to quality-aware web applications ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems
Ponencia2002 An enablement detection algorithm for open multiparty interactions Proceedings of the ACM Symposium on Applied Computing
Artículo2002 An order-based, distributed algorithm for implementing multiparty interactions COORDINATION MODELS AND LANGUAGES, PROCEEDINGS
Artículo2002 Analysing the navegational aspect Forschungsbericht. Institut für Informatik III
Capítulo2002 Arquitectura de un Crawler para extraer las estructuras y contenidos de recursos electrónicos VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Capítulo2002 Assisting the Requirements Verifier with XML Technology VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Automatic extraction of semantically-meaningful information from the web Lecture Notes in Computer Science
Ponencia2002 Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 Diagnosis de Software usando técnicas Max-CSP VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Diagnosis progresiva en el tiempo de sistemas dinámicos IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 Enhancing Win-Win to Automate the Detection of Conflicts in Quality Requirements VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Artículo2002 Extracción automática de información con semántica de la Web Novática
Ponencia2002 La navegación y la separación de conceptos II Jornadas de trabajo DOLMEN (Distributed Objects, Languages, Models and Environments) (2002), pp. 187-196.
Ponencia2002 Localización de centros públicos atractivos y /o repulsivos IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 Los servicios web en el mundo de los mercados electrónicos Avances en comercio electrónico
Artículo2002 Max-CSP approach for software diagnosis Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Ponencia2002 Metodología para la representación gráfica de relaciones cualitativas entre tópicos de interés IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo2002 Multi-party coordination in the context of MOWS PROGRAMMING AND COMPUTER SOFTWARE
Capítulo2002 Object-Oriented Business Solutions Object-Oriented Technology : Ecoop 2001 Workshop Reader : Ecoop 2001 Workshops, panels, and posters : Budapest, Hungary, June 2001
Artículo2002 Qualitative comparison of temporal series. QSI TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Ponencia2002 Qualitative reasonig for software development project by constraint programming ENTERPRISE INFORMATION SYSTEMS III
Capítulo2002 Quality of Service Variability in Systems Families Based on Web Services (SFWS) Simposio de Informática y Telecomunicaciones
Artículo2002 Repairing syntax errors in LR parsers ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Ponencia2002 Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Ponencia2002 Separating the navigational aspect 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS
Capítulo2002 Servicios Web: Hacia una nueva era en el desarrollo de aplicaciones para Internet VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Libro2002 Simposio de Informática y Telecomunicaciones Simposio de Informática y Telecomunicaciones
Ponencia2002 Supporting requirements verification using XSLT IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS
Artículo2002 UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia2002 Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 ZOCO: Métodos y herramientas para el desarrollo de aplicaciones de comercio electrónico VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2001 A framework for aspect-oriented multiparty coordination IFIP International Federation for Information Processing
Ponencia2001 Aplicación de la programación con restricciones a la elaboración automática de itinerarios culturales en Andalucía TuriTec 2001: turismo y tecnologías de la información y las comunicaciones
Ponencia2001 Automated support for quality requirements in Web-service-based systems EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS
Ponencia2001 Especificación de requisitos de calidad en sistemas multiorganizacionales basados en servicios web JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real)
Ponencia2001 Metodología para el análisis visual de la evolución de conceptos en bases de datos textuales JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real)
Ponencia2001 Orientando a aspectos la captura de datos de Internet para activar reglas de decisión en agentes web JISBD'2001 : jornadas de ingeniería del software y bases de datos : 21 y 23 de noviembre de 2001, Almagro (Ciudad Real)
Ponencia2001 Qualitative reasonig for software development project by constraint programming ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems
Ponencia2001 Requisitos de almacenamiento de información e identificación de actores para una biblioteca digital de bienes muebles JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real)
Artículo2001 Sincronización Multiproceso en Programas Concurrentes: Selección Completamente k-Justa de Interacciones Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
Ponencia2001 Structural constraint-based modeling and reasoning with basic configuration cells Lecture Notes in Computer Science
Ponencia2001 Valoración del marco docente de la Informática en la Ingeniería Técnica Industrial: propuesta de una nueva metodología VII Jornadas de Enseñanza Universitaria de la Informática, JENUI 2001: Palma de Mallorca, del 16 al 18 de julio de 2001
Artículo2000 A multiparty coordination aspect language ACM SIGPLAN NOTICES
Capítulo2000 Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico TuriTec 2000: turismo y tecnologías de la información y comunicaciones: nuevas tecnologías y patrimonio
Artículo2000 Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico Estudios Turísticos
Artículo2000 Aprendizaje de la Similitud entre Casos con Valores Discretos y Numericos (Premio Accésit Jose Cuena) Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo2000 Avances en la coordinación de Objetos Activos Novática
Capítulo2000 Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Ponencia2000 Implementación automática de fragmentos arquitectónicos en el contexto del lenguaje ALFA Libro de actas: Simposio Español de Informática Distribuida, Ourense 25-27 de septiembre de 2000
Artículo2000 INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS. Novática
Capítulo2000 Optimización en modelos que integran conocimiento cualitativo y cuantitativo Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo2000 Resolución de problemas de localización-producción con aritmética intervalar Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo2000 Semiqualitative Temporal Patterns in Time-Series Databases Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Ponencia2000 Un algoritmo descentralizado de selección justa de interacciones entre múltiples participantes Libro de actas: Simposio Español de Informática Distribuida, Ourense 25-27 de septiembre de 2000
Capítulo2000 Una aproximación al desarrollo de software basada en prototipado arquitectónico ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000
Capítulo2000 Using constraint programming framework for Semiqualitative Reasoning Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Otros2000 Visión General de la Programación Orientada a Aspectos null
Artículo1999 A distributed solution to synchronous multiparty interaction Recent Advances in Signal Processing and Communications
Capítulo1999 Implementación de interacciones entre múltiples participantes sobre una máquina virtual en red SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas
Ponencia1999 Implementing multiparty interactions on a network computer Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium
Ponencia1999 Object Oriented Specification based on Restrictions: Participation and Interaction CSCC 1999: 3rd World Multiconference on Circuits, Systems, Communications and Computers (IEEE/WSES/IMACS) (1999), pp. 6441-6445.
Artículo1999 UNA PROPUESTA PARA ELABORAR EL CATÁLOGO DE REQUISITOS EN METRICA V2.1. Novática
Capítulo1999 Weak-fairness in the context of constraint-based multiparty interactions SEID'99: Simposio Español de Informática Distribuida : Santiago de Compostela, 24-26 de febrero de 1999 : actas
Ponencia1998 Automatic semiqualitative analysis: Application to a biometallurgical system Lecture Notes in Computer Science
Capítulo1998 Comunicación y sincronización de procesos en sistemas distribuidos y reactivos mediante el uso de restricciones Innovaciones en informática electrónica y automática
Capítulo1998 Construcción automática de árboles de sintaxis abstracta en C++ Innovaciones en informática electrónica y automática
Ponencia1998 Including qualitative knowledge in semiqualitative dynamical systems Lecture Notes in Computer Science
Capítulo1998 Un depurador simbólico de código portable Innovaciones en informática electrónica y automática
Ponencia1997 Abstracta/C++: una herramienta orientada a objetos para la construcción de compiladores en C++ III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic]
Ponencia1997 Automatización del análisis y simulación de modelos cualitativos mediante restricciones CAEPIA'97: actas
Artículo1995 Casale I 1.0.B: un lenguaje de simulación discreta basado en objetos I Jornadas de informática, Puerto de la Cruz, 17-21 de julio de 1995: actas
Ponencia1995 Razonamiento en orden de magnitud usando conocimiento cualitativo y cuantitativo VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95 : actas : Alicante, 15, 16 y 17 de Noviembre de 1995
Ponencia1984 Aplicación de estrategias innovadoras en un sistema de investigación científica II Jornadas de estudio sobre la investigación en la escuela (1984)

Proyectos de Investigación

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
01/09/2023 31/08/2026 Líneas de productos software intensivas en datos (PID2022-138486OB-I00) Ministerio de Ciencia e Innovación (Nacional) 115.375,00 €
01/04/2023 30/06/2025 AqualA - Sistema de programación de riego deficitario para cultivos Grupo Operativo (Funcionamiento) (GOPG-SE-23-0011) Junta de Andalucía (Autonómico) 92.999,00 €
01/12/2022 30/09/2025 Mejora de la ciberseguridAd y su sostenibiLidad en Beneficio de la sociedad y de las personAs (TED2021-130355B-C32) Ministerio de Ciencia e Innovación (Nacional) 223.330,00 €
01/01/2022 31/05/2023 METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico) 90.000,00 €
05/10/2021 31/12/2022 COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico) 164.100,00 €
01/01/2021 31/08/2025 Aether-US: Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44) Ministerio de Ciencia e Innovación (Nacional) 221.672,00 €
01/01/2020 31/12/2022 MARTITA: Ingeniería de Datos Aplicada a la Extracción, Semantización, Refinamiento y Explotación de Grafos de Conocimiento a Escala Web (P18-RT-1060) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico) 116.042,00 €
01/01/2019 30/09/2022 Optimización de Servicios Basados en Conocimiento Usando Aplicaciones Basadas en Servicios (RTI2018-101204-B-C22) Ministerio de Ciencia, Innovación y Universidades (Nacional) 147.136,00 €
01/01/2019 30/06/2021 Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33) Ministerio de Ciencia, Innovación y Universidades (Nacional) 96.558,00 €
01/04/2018 31/10/2023 Centro de Innovación Universitario de Andalucía, Alentejo y Algarve (0754_CIU3A_5_E) Comisión Europea (Europeo) 15.311.333,33 €
30/12/2016 29/12/2020 Herramientas para la Ciencia de los Datos de la Web (TIN2016-75394-R) Ministerio de Economía y Competitividad (Nacional) 92.202,00 €
01/01/2016 31/12/2019 Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional) 123.178,00 €
01/01/2016 31/12/2018 Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R) Ministerio de Economía y Competitividad (Nacional) 68.002,00 €
01/05/2015 30/04/2019 Propelling Business Process Management by Research and Innovation Staff Exchante (RISE_BPM) (H2020-645751) Comisión Europea (Europeo) 80.010,00 €
30/01/2014 16/02/2019 Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico) 297.571,00 €
01/01/2014 31/12/2017 Semantización y Publicación de datos Abiertos para la Integración de Servicios Electrónicos (TIN2013-40848-R) Ministerio de Economía y Competitividad (Nacional) 142.375,86 €
01/01/2013 31/12/2015 Tecnologías Avanzadas para Procesos como Servicios (TIN2012-32273) Ministerio de Economía y Competitividad (Nacional) 209.547,00 €
15/05/2011 31/12/2013 Plataforma de gestión y distribución de contenidos educativos en la nube Agora-Cloud (TSI-090100-2011-104) Ministerio de Industria, Turismo y Comercio (Nacional) 18.592,00 €
15/03/2011 30/04/2016 Tecnologías Habilitadoras para Ecosistemas Software (Theos) (P10-TIC-5906) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 260.621,24 €
01/01/2011 31/12/2013 Integración de Aplicaciones y Datos en la Web (TIN2010-21744-C02-01) Ministerio de Ciencia e Innovación (Nacional) 80.828,00 €
01/01/2010 31/12/2014 Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714) Ministerio de Ciencia e Innovación (Nacional) 156.090,00 €
01/01/2010 30/06/2013 reSearching on intElligent Tools for the internet of services (TIN2009-07366) Ministerio de Ciencia e Innovación (Nacional) 176.902,00 €
13/01/2009 31/07/2011 Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 131.023,68 €
31/01/2008 31/12/2012 Metodología y Herramientas para la Integración de Islas de Datos Amigables en la Web (P07-TIC-02602) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 332.668,32 €
31/01/2008 31/12/2012 Isabel: Ingeniería de Sistemas Abiertos Basada en Líneas de Productos (P07-TIC-02533) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico) 410.421,92 €
01/10/2007 30/09/2011 Calidad predecible y gestionada mediante simulación y técnicas de pruebas en etapas tempranas. (QSimTest) (TIN2007-67843-C06-03) Ministerio de Educación y Ciencia (Nacional) 121.000,00 €
01/10/2007 30/04/2011 Metodología y herramientas para la integración de las islas de datos amigables en la Web (TIN2007-64119) Ministerio de Educación y Ciencia (Nacional) 49.610,00 €
01/10/2006 30/09/2009 Fábricas de software para sistemas con arquitectura orientada a servicios Web (TIN2006-00472) Ministerio de Educación y Ciencia (Nacional) 229.900,00 €
01/10/2006 30/09/2009 Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01) Ministerio de Educación y Ciencia (Nacional) 114.950,00 €
01/10/2006 30/09/2007 Desarrollo de software dirigido por modelos y separación de conceptos en la interacción con el usuario (TIN2006-04652) Ministerio de Educación y Ciencia (Nacional) 10.890,00 €
15/11/2003 30/05/2007 Desarrollo de aplicaciones basadas en servicios web (TIC2003-02737-C02-01) Ministerio de Ciencia y Tecnología (Nacional) 255.880,00 €
15/11/2003 15/11/2006 Navegación e interacción con el usuario en el desarrollo de sistemas de información Web: métodos, técnicas y herramientas (TIC2003-00369) Ministerio de Ciencia y Tecnología (Nacional) 45.080,00 €
15/11/2003 15/11/2006 Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01) Ministerio de Ciencia y Tecnología (Nacional) 103.500,00 €
24/04/2003 31/12/2003 Desarrollo de un sistema de generación automática de itinerarios culturales en Andalucía basado en sistemas de información geográfica (FIT-150500-2003-588) Ministerio de Ciencia y Tecnología (Nacional) 9.100,00 €
28/12/2000 27/12/2003 Nuevos métodos y herramientas para la automatización del desarrollo de aplicaciones de comercio electrónico (TIC2000-1106-C02-01) Ministerio de Ciencia y Tecnología (Nacional) 40.388,01 €
28/12/2000 27/12/2003 Desarrollo de herramientas basadas en modelos semicualitativos para el análisis de sistemas dinámicos. Aplicación a la supervisión, control y predicción de comportamientos (DPI2000-0666-C02-02) Ministerio de Ciencia y Tecnología (Nacional) 57.216,35 €
28/12/2000 27/12/2003 Metodologías y arquitecturas para la difusión electrónica de información en la red (TIC2000-1673-C06-03) Ministerio de Ciencia y Tecnología (Nacional) 87.507,36 €

Contratos

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
31/08/2024 31/12/2025 CÁTEDRA DE INTELIGENCIA ARTIFICIAL US - GOOGLE (TSI-100930-2023-2) Ministerio de Asuntos Económicos y Transformación Digital (Local)
22/04/2024 31/10/2024 Organización conjunta de la novena jornada de investigación en ciberseguridad (JNIC) (5117/2062) S.M.E. INSTITUTO NACIONAL DE CIBERSEGURIDAD DE ESPAÑA (INCIBE) M.P., S.A. (Desconocido)
01/01/2023 30/09/2024 MIDAS: Monitorización Inteligente y Digitalización Avanzada de Servicios de Marketing. (P007-23/E00) Consultoría Informática Acofi (Desconocido)
09/09/2019 31/12/2020 Clean Sky 2: A-24 One Step Beyond Onautomated Testing Technologies (P036-19/E08) Airbus Defence and Space S.A. (Desconocido)
01/06/2019 01/09/2019 Gestión de la evolución del Software Timing & Scoring acuático en los Juegos Panamericanos Lima 2019 (P021-19/E00) Feviag Logic S.L. (Desconocido)
31/05/2019 31/03/2021 Troubleshooting para Sistemas Ciberfísicos (P033-19/E08) Airtificial Aerospace & Defense Engineering, SAU (Desconocido)
07/03/2018 31/12/2018 Clean Sky 2: A-24 ONE STEP BEYOND ON AUTOMATED TESTING TECHNOLOGIES (P011-18/E08) Airbus Defence and Space S.A. (Desconocido)
14/07/2017 31/01/2018 Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P020-17/E08) Airbus Defence and Space S.A. (Desconocido)
01/10/2016 31/12/2016 Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08) Airbus Defence and Space S.A. (Desconocido)
01/02/2016 01/04/2016 Extensión de Wonder: Módulo para la generación de etiquetas virtuales de manera segura. (P084-16/E08) On Time Transporte Y Logistica, S.L. (Desconocido)
30/06/2015 31/10/2016 SMART RETAIL OMNICHANNELUX (P030-15/E10) Dinamic Area Software, S.L. (Desconocido)
10/06/2015 31/12/2017 e-FÁBRICA. Desarrollo de una metodología de Gestión por Procesos y Gestión Documental para empresas manufactureras contrapedido con alto nivel de adap (P028-15/E10 P029-15/E10) Mac Puar, S.A. (Sevilla); Tier1, S.L. (Desconocido)
05/02/2015 04/02/2016 Proyecto de Desarrollo la Tecnología de Integración Guaraná (P007-15/E10) Intelligent Integratíon Factory S.L. (Desconocido)
02/01/2015 30/07/2015 WONDER: Diseño y Desarrollo de Plataforma ciega intermodal de reposición de incidencias y reasignación de envíos para el sector logístico. (P001-15/E08) On Time Transporte Y Logistica, S.L. (Desconocido)
04/07/2014 04/09/2014 Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08) Clever Tecnología S.L. (Desconocido)
05/04/2013 04/01/2015 Paradigmas de Innovación, Social y Colaborativo Aplicados a Ingeniería del Software (PISCIS) (P033-13/E10) 04INNOVA24H, S.L.; Indra Software Labs, S.L. (Indra Soft.Lab) (Desconocido)
01/01/2012 01/11/2014 Soluciones Avanzadas de Eficiencia Energética y Económica en el Mercado Eléctrico (P096-11/E10) Sadiel, S.A. (Desconocido)
01/01/2012 31/07/2012 INNTECH, Inteligencia Empresarial Mediante Técnicas Heurísticas (P010-12/E10) Plan3 Planificación Estratégica y Tecnológica (Desconocido)
01/01/2012 28/06/2012 Módulo de Registro y Procesamiento de datos - Sistema de Control y Monitorización de Señales para la Generación de Alarmas Preventivas (P008-12/E08) Clever Tecnología S.L. (Desconocido)
30/09/2011 30/11/2011 Proyecto de Desarrollo de la Tecnología de Integración Guaraná (P047-11/E10) Intelligent Integratíon Factory S.L. (Desconocido)
01/06/2011 30/08/2014 Archivo Interoperable Mediante Datos en Abierto Enlazados (P036-11/E08) Emergya Ingeniería, S.L. (Desconocido)
18/05/2011 18/10/2011 VICTOR: Visual Interface ConTrol of Objects and Rules (P031-11/E08) Clever Tecnología S.L. (Desconocido)
10/11/2010 09/02/2011 AGECTA - Gestión de Datos de fuentes heterogéneas y Aplicación para la gestión de Expedientes de CTA (P039-10/E08) Corporación Tecnológica de Andalucía (Desconocido)
20/11/2009 19/03/2010 AGECTA III Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P051-09/E08) Instituto Andaluz de Tecnología (Desconocido)
01/04/2009 01/12/2009 Estudio de viabilidad para la creación y diseño de la arquitectura de un sistema interactivo de formación. (P014-09/E10) Grupo Neteman, S.L (Desconocido)
27/01/2009 27/07/2009 Sistemas de Gestión de Incidencias Geolocalizadas (SGIG) (0328/0197) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)
02/01/2009 30/04/2010 ENTRETODOS: Conocimiento y redes sociales en la estructura de la empresa. (P026-08/E10) Sadiel, S.A. (Desconocido)
21/07/2008 13/10/2008 AGECTA Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P021-08/E08) Corporación Tecnológica de Andalucía (Desconocido)
18/02/2008 16/02/2009 AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08) Sadiel, S.A. (Desconocido)
15/01/2008 15/07/2008 Infraestructura para el desarrollo turístico en Andalucía (OG-006/08) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)
05/01/2008 05/01/2009 Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08) EADS - Construcciones Aeronáuticas, S.A. (Desconocido)
01/09/2003 30/06/2005 FAMILIES. Quality-aware system families (PRO-045) Telvent Interactiva, S.A. (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
24/09/2011 22/12/2011 Estancia: Hasso Plattner Institut (Postdam - Alemania), 90 días (PP2011-05-084) Universidad de Sevilla (Local) 2.220,00 €
04/04/2011 03/07/2011 Estancia en la School of Industrial Engineering (Eindhoven University of Technology), Holanda (PP2010-05-115) Universidad de Sevilla (Local) 2.580,00 €
04/04/2011 15/05/2011 Estancia: Faculty of Computer Science (University of Vienna) Austria, 42 días (PP2011-05-013) Universidad de Sevilla (Local) 1.944,00 €
09/11/2009 13/11/2009 XIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA) Jornadas de Transferencia Tecnológica Artificial (TTIA) (PP2009-01-053) Universidad de Sevilla (Local) 4.000,00 €
01/09/2009 01/09/2010 XIII Conferencia de la asociación española para la inteligencia artificial (TIN2009-06766-E) Ministerio de Ciencia e Innovación (Nacional) 15.000,00 €
01/04/2009 30/09/2010 Red de investigación sobre integración de aplicaciones e información empresarial (TIN2008-04718-E) Ministerio de Ciencia e Innovación (Nacional) 12.000,00 €
28/01/2009 30/01/2009 Third International Workshop on Variability Modelling of Software-Intensive Systems (Vamos 09) (PP2009-01-038) Universidad de Sevilla (Local) 2.000,00 €
31/03/2008 - The European Native Language University (ENLU) (OTRI/08-FCIE11) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 4.000,00 €
30/08/2007 30/11/2007 Colaboración con la Plataforma Tecnológica Española de software y servicios y con la Plataforma Tecnológica Española de sistemas con inteligencia integrada (OTRI/06-PC24) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 2.500,00 €
25/01/2007 25/07/2007 Hub de integración de historiales clínicos conforme a estándares (OTRI/06-PC02) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 2.500,00 €
25/01/2007 25/07/2007 IV Jornadas Imaginática (OTRI/06-0E01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 3.500,00 €
01/05/2006 31/12/2006 Zoco: desarrollo y mantenimiento agil de aplicaciones basadas en servicios web (TIN2005-24794-E) Ministerio de Educación y Ciencia (Nacional) 4.000,00 €
06/03/2006 06/08/2006 Colaboración con el Constrain Computation Centre de Cork (Irlanda). Colaboración con la NASA Goddard Space Flight Center (USA). Elaboración de propuestas CENIT conjuntas con empresas TIC. (OTRI/05-PC01) Universidad de Sevilla(Oficina de Transferencia de Resultados de Investigación) (Local) 2.800,00 €
19/06/2002 18/06/2003 ZOCO: Reunión de trabajo sobre métodos y herramientas para el desarrollo de aplicaciones de comercio electrónico (TIC2001-4504-E) Ministerio de Ciencia y Tecnología (Nacional) 1.200,00 €
19/06/2002 18/06/2003 Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E) Ministerio de Ciencia y Tecnología (Nacional) 6.000,00 €

Transferencia de Conocimiento

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
01/02/2020 31/07/2021 SocietySoft-Transferencia de herramientas, políticas y principios para la creación de software de calidad para la sociedad digital (AT17_5904_USE) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico) 72.489,03 €

Redes de Investigación

Fecha de inicio Fecha de fin Denominación Agencia financiadora Importe concedido
01/06/2023 31/05/2025 TASOVA PLUS - Red en nuevas Tendencias en Arquitectura Software y Variabilidad (RED2022-134337-T) Ministerio de Ciencia e Innovación (Nacional) 14.500,00 €
El colectivo no tiene ningún resultado de investigación asociado