Artículo | 2025 |
FM fact label
|
SCIENCE OF COMPUTER PROGRAMMING |
Editorial | 2024 |
2024 Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum: Preface
|
CEUR workshop proceedings |
Artículo | 2024 |
An ontological knowledge-based method for handling feature model defects due to dead feature
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Ponencia | 2024 |
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ículo | 2024 |
Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case
|
Internet of Things (Netherlands) |
Artículo | 2024 |
BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2024 |
Data visualization guidance using a software product line approach
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2024 |
Detección de Spear Phishing basada en métodos de decisión multicriterio
|
IX Jornadas Nacionales de Investigación En Ciberseguridad |
Artículo | 2024 |
DPGraphJ: A Java package for the implementation of dynamic programming algorithms
|
SoftwareX |
Artículo | 2024 |
E-SCORE: A web-based tool for security requirements engineering
|
SoftwareX |
Artículo | 2024 |
Enabling security risk assessment and management for business process models
|
Journal of Information Security and Applications |
Capítulo | 2024 |
Feature Models: AI-Driven Design, Analysis and Applications
|
SpringerBriefs in Computer Science |
Ponencia | 2024 |
Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration
|
International Conference on Model-Driven Engineering and Software Development |
Ponencia | 2024 |
Kconfig metamodel: a first approach
|
ACM International Conference Proceeding Series |
Ponencia | 2024 |
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 |
Ponencia | 2024 |
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
|
ACM International Conference Proceeding Series |
Ponencia | 2024 |
SECRET: A New SECurity REquirements SpecificaTion Template
|
Lecture Notes in Networks and Systems |
Ponencia | 2024 |
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ículo | 2024 |
UVLHub: A feature model data repository using UVL and open science principles
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2024 |
Variability in data transformation: towards data migration product lines
|
ACM International Conference Proceeding Series |
Artículo | 2024 |
Variability management and software product line knowledge in software companies
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2024 |
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT)
|
COMPUTERS & SECURITY |
Editorial | 2024 |
Welcome Message
|
ACM International Conference Proceeding Series |
Artículo | 2023 |
A Monte Carlo tree search conceptual framework for feature model analyses
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2023 |
Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems
|
ACM International Conference Proceeding Series |
Ponencia | 2023 |
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ítulo | 2023 |
Ciberseguridad cognitiva aplicada al phishing
|
Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 |
Editorial | 2023 |
Editorial: recent advances in process analytics
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
Artículo | 2023 |
ELI: an IoT-aware big data pipeline with data curation and data quality
|
PEERJ COMPUTER SCIENCE |
Ponencia | 2023 |
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis
|
Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023 |
Artículo | 2023 |
Feature models to boost the vulnerability management process
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2023 |
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models
|
ACM International Conference Proceeding Series |
Libro | 2023 |
Internet of Things - New Trends, Challenges and Hurdles
|
Internet of Things - New Trends, Challenges and Hurdles |
Capítulo | 2023 |
Introductory Chapter: An Overview to the Internet of Things
|
Internet of Things - New Trends, Challenges and Hurdles |
Ponencia | 2023 |
Large Language Models to generate meaningful feature model instances
|
ACM International Conference Proceeding Series |
Libro | 2023 |
Machine intelligence, big data analytics, and IoT in image processing: practical applications
|
Machine Intelligence, Big Data Analytics, and IoT in Image Processing: Practical Applications |
Ponencia | 2023 |
Multi-level configuration in smart governance systems
|
CEUR workshop proceedings |
Ponencia | 2023 |
On Programming Variability with Large Language Model-based Assistant
|
ACM International Conference Proceeding Series |
Artículo | 2023 |
Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning
|
Internet of Things (Netherlands) |
Artículo | 2023 |
Paying attention to cyber-attacks: A multi-layer perceptron with self-attention mechanism
|
COMPUTERS & SECURITY |
Editorial | 2023 |
Preface
|
CEUR workshop proceedings |
Editorial | 2023 |
Preface
|
Machine Intelligence, Big Data Analytics, and IoT in Image Processing: Practical Applications |
Capítulo | 2023 |
Principles of software product lines
|
UML-Based Software Product Line Engineering with SMarty |
Capítulo | 2023 |
Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology
|
Advanced Information Systems Engineering |
Ponencia | 2023 |
Second Tutorial on the Universal Variability Language
|
ACM International Conference Proceeding Series |
Ponencia | 2023 |
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 |
Ponencia | 2023 |
UVLParser: Extending UVL with Language Levels and Conversion Strategies
|
ACM International Conference Proceeding Series |
Artículo | 2023 |
When business processes meet complex events in logistics: A systematic mapping study
|
COMPUTERS IN INDUSTRY |
Ponencia | 2022 |
24th International workshop on configuration (CONFWS'22)
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Artículo | 2022 |
A coral-reef approach to extract information from HTML tables
|
APPLIED SOFT COMPUTING |
Artículo | 2022 |
A domain-specific language for the specification of UCON policies
|
Journal of Information Security and Applications |
Artículo | 2022 |
A hybrid quantum approach to leveraging data from HTML tables
|
KNOWLEDGE AND INFORMATION SYSTEMS |
Ponencia | 2022 |
Advances in a DSL to specify smart contracts for application integration processes
|
CIbSE 2022 - XXV Ibero-American Conference on Software Engineering |
Capítulo | 2022 |
Advisory: Análisis de vulnerabilidades en proyectosde desarrollo software
|
Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao) |
Ponencia | 2022 |
Advisory: vulnerability analysis in software development project dependencies
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Ponencia | 2022 |
Advisory. Una herramienta para identificar los riesgos de seguridad
|
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022 |
Artículo | 2022 |
An experimental study of neural approaches to multi-hop inference in question answering.
|
International Journal of Neural Systems |
Capítulo | 2022 |
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ón | 2022 |
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 |
Ponencia | 2022 |
Design for the analysis of variability management in the industry
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Ponencia | 2022 |
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 |
Ponencia | 2022 |
Dynamic checks of evidence models for assurance projects in eclipse OpenCert
|
Lecture Notes in Computer Science |
Artículo | 2022 |
Evidentia: gestión de evidencias en trabajos colaborativos usando software libre
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2022 |
Fifth international workshop on languages for modelling variability (MODEVAR@SPLC 2022)
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Ponencia | 2022 |
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ículo | 2022 |
On exploring data lakes by finding compact, isolated clusters
|
INFORMATION SCIENCES |
Artículo | 2022 |
On the design of an advanced business rule engine
|
SOFTWARE-PRACTICE & EXPERIENCE |
Ponencia | 2022 |
On the need to use smart contracts in enterprise application integration
|
CIbSE 2022 - XXV Ibero-American Conference on Software Engineering |
Artículo | 2022 |
On validating web information extraction proposals
|
EXPERT SYSTEMS WITH APPLICATIONS |
Capítulo | 2022 |
Process Instance Query Language and the Process Querying Framework
|
Process Querying Methods |
Ponencia | 2022 |
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ículo | 2022 |
Reasoning on the Usage Control Security policies over Data Artifact Business Process Models
|
COMPUTER SCIENCE AND INFORMATION SYSTEMS |
Artículo | 2022 |
Smart contract languages: a multivocal mapping study
|
ACM COMPUTING SURVEYS |
Ponencia | 2022 |
Tutorial on the universal variability language
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Ponencia | 2022 |
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ículo | 2022 |
Uniform and scalable sampling of highly configurable systems
|
EMPIRICAL SOFTWARE ENGINEERING |
Ponencia | 2022 |
Variability in data visualization: a software product line approach
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
Ponencia | 2022 |
Variability-aware data migration tool
|
Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B |
Ponencia | 2021 |
A cloud-based integration platform for enterprise application integration: a model-driven engineering approach
|
SOFTWARE-PRACTICE & EXPERIENCE |
Artículo | 2021 |
A clustering approach to extract data from HTML tables
|
INFORMATION PROCESSING & MANAGEMENT |
Ponencia | 2021 |
A first prototype of a new repository for feature model exchange and knowledge sharing
|
ACM International Conference Proceeding Series |
Capítulo | 2021 |
A NLP-oriented methodology to enhance event log quality
|
Enterprise, Business-Process and Information Systems Modeling |
Ponencia | 2021 |
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
|
Studies in Computational Intelligence |
Artículo | 2021 |
Blockchain-based federation of wireless sensor nodes
|
JOURNAL OF SUPERCOMPUTING |
Artículo | 2021 |
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
|
COMPUTERS IN INDUSTRY |
Ponencia | 2021 |
CC4Spark: distributing event logs and big complex conformance checking problems
|
CEUR workshop proceedings |
Artículo | 2021 |
Classifying and resolving software product line redundancies using an ontological first-order logic rule based method
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2021 |
Data curation in the Internet of things: a decision model approach
|
Computational and Mathematical Methods |
Artículo | 2021 |
Decision-making support for input data in business processes according to former instances
|
COMPUTER SCIENCE AND INFORMATION SYSTEMS |
Artículo | 2021 |
DIRECTDEBUG: A software package for the automated testing and debugging of feature models
|
Software Impacts |
Ponencia | 2021 |
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ículo | 2021 |
Discovering configuration workflows from existing logs using process mining
|
EMPIRICAL SOFTWARE ENGINEERING |
Artículo | 2021 |
DMN4DQ: when data quality meets DMN
|
DECISION SUPPORT SYSTEMS |
Artículo | 2021 |
Empirical evidence of the usage of programming languages in the educational process
|
IEEE TRANSACTIONS ON EDUCATION |
Ponencia | 2021 |
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ículo | 2021 |
Empowering conformance checking using Big Data through horizontal decomposition
|
INFORMATION SYSTEMS |
Capítulo | 2021 |
Enabling Process Mining in Airbus Manufacturing
|
Business Process Management Cases Vol. 2 |
Artículo | 2021 |
Explanations for over-constrained problems using QuickXPlain with speculative executions
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
Ponencia | 2021 |
Monte carlo simulations for variability analyses in highly configurable systems
|
CEUR workshop proceedings |
Ponencia | 2021 |
Monte Carlo tree search for feature model analyses: a general framework for decision-making
|
ACM International Conference Proceeding Series |
Artículo | 2021 |
Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
Artículo | 2021 |
On learning context-aware rules to link RDF datasets
|
Logic Journal of the IGPL |
Ponencia | 2021 |
Problem generalization for designing recursive algorithms
|
Advances in Intelligent Systems and Computing |
Ponencia | 2021 |
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ítulo | 2021 |
Product optimization in stepwise design
|
Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday |
Artículo | 2021 |
Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing
|
IEEE ACCESS |
Artículo | 2021 |
TOMATE: a heuristic-based approach to extract data from HTML tables
|
INFORMATION SCIENCES |
Ponencia | 2021 |
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] |
Ponencia | 2021 |
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). |
Ponencia | 2021 |
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] |
Ponencia | 2021 |
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ículo | 2021 |
Using scratch to improve learning programming in college students: a positive experience from a non-weird country
|
ELECTRONICS |
Artículo | 2020 |
A deep-learning approach to mining conditions
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2020 |
A parallelized variant of Junker’s QuickXPlain algorithm
|
Lecture Notes in Computer Science |
Ponencia | 2020 |
A Python framework for the automated analysis of feature models: a first step to integrate community efforts
|
ACM International Conference Proceeding Series |
Artículo | 2020 |
A scheduler for SCADA-based multi-source fusion systems
|
INFORMATION FUSION |
Ponencia | 2020 |
AMADEUS: Towards the AutoMAteD secUrity teSting
|
ACM International Conference Proceeding Series |
Artículo | 2020 |
An encoder–decoder approach to mine conditions for engineering textual data
|
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE |
Artículo | 2020 |
Blockchain from the perspective of privacy and anonymisation: a systematic literature review
|
SENSORS |
Ponencia | 2020 |
Chamaleon: Framework to improve data wrangling with complex data
|
40th International Conference on Information Systems, ICIS 2019 |
Libro | 2020 |
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 |
Ponencia | 2020 |
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 |
Ponencia | 2020 |
Definition and verification of security configurations of cyber-physical systems
|
Lecture Notes in Computer Science |
Artículo | 2020 |
Empirical software product line engineering: A systematic literature review
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2020 |
Measuring data-centre workflows complexity through process mining: the Google cluster case
|
JOURNAL OF SUPERCOMPUTING |
Artículo | 2020 |
On extracting data from tables that are encoded using HTML
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2020 |
On the synthesis of metadata tags for HTML files
|
SOFTWARE-PRACTICE & EXPERIENCE |
Revisión | 2020 |
Open Source Adoption Factors-A Systematic Literature Review
|
IEEE ACCESS |
Editorial | 2020 |
Preface
|
Lecture Notes in Business Information Processing |
Artículo | 2020 |
Prognosis of multiple instances in time-aware declarative business process models
|
COMPUTERS IN INDUSTRY |
Artículo | 2020 |
Recommender systems and scratch: an integrated approach for enhancing computer programming learning
|
IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES |
Ponencia | 2020 |
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 |
Ponencia | 2020 |
Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020)
|
ACM International Conference Proceeding Series |
Artículo | 2020 |
Torii: an aspect-based sentiment analysis system that can mine conditions
|
SOFTWARE-PRACTICE & EXPERIENCE |
Ponencia | 2020 |
Towards the Detection of Promising Processes by Analysing the Relational Data
|
Communications in Computer and Information Science |
Ponencia | 2020 |
Uniform and scalable SAT-sampling for configurable systems
|
ACM International Conference Proceeding Series |
Artículo | 2020 |
Unleashing constraint optimisation problem solving in Big Data environments
|
JOURNAL OF COMPUTATIONAL SCIENCE |
Artículo | 2020 |
Verifying the manipulation of data objects according to business process and data models
|
KNOWLEDGE AND INFORMATION SYSTEMS |
Artículo | 2019 |
A framework to secure the development and auditing of SSL pinning in mobile applications: the case of Android devices
|
ENTROPY |
Ponencia | 2019 |
A general approach to Software Product Line testing
|
Actas de las 24th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2019 |
Ponencia | 2019 |
Accessibility variability model: The UTPL MOOC case study
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Artículo | 2019 |
Automated analysis of feature models: Quo vadis?
|
Computing: archives for scientific computing |
Ponencia | 2019 |
Automated analysis of feature models: quo vadis?
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Artículo | 2019 |
Automated analysis of two-layered feature models with feature attributes
|
Journal of Computer Languages |
Artículo | 2019 |
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
|
IEEE ACCESS |
Capítulo | 2019 |
Constraint-Driven Fault Diagnosis
|
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches |
Artículo | 2019 |
CyberSPL: A framework for the verification of cybersecurity policy compliance of system configurations using software product lines
|
APPLIED SCIENCES-BASEL |
Ponencia | 2019 |
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ítulo | 2019 |
Diagnosing Business Processes
|
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches |
Ponencia | 2019 |
DMN for Data Quality Measurement and Assessment
|
Lecture Notes in Business Information Processing |
Ponencia | 2019 |
Enabling process mining in aircraft manufactures: Extracting event logs and discovering processes from complex data
|
CEUR workshop proceedings |
Ponencia | 2019 |
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 |
Ponencia | 2019 |
Guidelines towards secure SSL pinning in mobile applications
|
Actas de las V Jornadas Nacionales de Ciberseguridad Junio 5-7, 2019, Cáceres |
Capítulo | 2019 |
Model-Based Software Debugging
|
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches |
Artículo | 2019 |
Modeling variability in the video domain: language and experience report
|
SOFTWARE QUALITY JOURNAL |
Ponencia | 2019 |
On mining conditions using encoder-decoder networks
|
ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence |
Editorial | 2019 |
Preface
|
Lecture Notes in Business Information Processing |
Ponencia | 2019 |
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ículo | 2019 |
Replication of studies in empirical software engineering: a systematic mapping study from 2013 to 2018
|
IEEE ACCESS |
Ponencia | 2019 |
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ículo | 2019 |
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress
|
IEEE ACCESS |
Artículo | 2019 |
Software room: una experiencia docente para atraer nuevos estudiantes
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2019 |
Towards a new repository for feature model exchange
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
Ponencia | 2019 |
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 |
Ponencia | 2019 |
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ículo | 2019 |
Variability Modelling and Analysis During 30 Years
|
Lecture Notes in Computer Science |
Ponencia | 2018 |
A hybrid approach to mining conditions
|
HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018) |
Ponencia | 2018 |
A hybrid genetic-bootstrapping approach to link resources in the web of data
|
HYBRID ARTIFICIAL INTELLIGENT SYSTEMS (HAIS 2018) |
Ponencia | 2018 |
An Architecture for Querying Business Process, Business Process Instances, and Business Data Models
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017) |
Ponencia | 2018 |
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ículo | 2018 |
Anytime diagnosis for reconfiguration
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
Ponencia | 2018 |
Automated analysis of feature models. Current state and practices
|
ACM International Conference Proceeding Series |
Artículo | 2018 |
Business Process Configuration According to Data Dependency Specification
|
APPLIED SCIENCES-BASEL |
Capítulo | 2018 |
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ítulo | 2018 |
FABIOLA: Towards the resolution of constraint optimization problems in big data environment
|
Lecture Notes in Information Systems and Organisation |
Editorial | 2018 |
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 |
Ponencia | 2018 |
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 |
Ponencia | 2018 |
On feeding business systems with linked resources from the web of data
|
Lecture Notes in Business Information Processing |
Ponencia | 2018 |
Recommending Exercises in Scratch: An Integrated Approach for Enhancing the Learning of Computer Programming
|
ENGINEERING EDUCATION FOR A SMART SOCIETY |
Ponencia | 2018 |
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ículo | 2018 |
Selection of deployment configurations using Recommender Systems on Android
|
Revista Iberica de Sistemas e Tecnologias de Informacao |
Artículo | 2018 |
Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation
|
COMPUTERS IN INDUSTRY |
Ponencia | 2018 |
VaryLATEX: Learning paper variants that meet constraints
|
ACM International Conference Proceeding Series |
Editorial | 2018 |
Welcome message
|
ACM International Conference Proceeding Series |
Ponencia | 2017 |
A model-driven framework for domain specific process design and governance
|
CEUR workshop proceedings |
Ponencia | 2017 |
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 |
Ponencia | 2017 |
Extracting web information using representation patterns
|
HotWeb 2017 - Proceedings of the 5th ACM/IEEE Workshop on Hot Topics in Web Systems and Technologies |
Ponencia | 2017 |
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 |
Ponencia | 2017 |
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ículo | 2017 |
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
|
SOFTWARE AND SYSTEMS MODELING |
Ponencia | 2017 |
Fostering a consistent SPL service ecosystem
|
21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1 |
Ponencia | 2017 |
Governance knowledge management and decision support using fuzzy governance maps
|
Lecture Notes in Business Information Processing |
Ponencia | 2017 |
Guiding the creation of choreographed processes with multiple instances based on data models
|
Lecture Notes in Business Information Processing |
Artículo | 2017 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE |
Artículo | 2017 |
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ítulo | 2017 |
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 |
Ponencia | 2017 |
Programming with the SCRATCH + CARAMBA tool. A significant learning experience
|
Proceedings of the LACCEI international Multi-conference for Engineering, Education and Technology |
Artículo | 2017 |
Reverse engineering language product lines from existing DSL variants
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Editorial | 2017 |
Welcome message
|
ACM International Conference Proceeding Series |
Ponencia | 2016 |
A usage control model extension for the verification of security policies in artifact-centric business process models
|
BUSINESS INFORMATION SYSTEMS (BIS 2016) |
Artículo | 2016 |
ARIEX: Automated ranking of information extractors
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2016 |
CALA: ClAssifying Links Automatically based on their URL
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2016 |
Computing alignments with constraint programming: The acyclic case
|
CEUR workshop proceedings |
Ponencia | 2016 |
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 |
Ponencia | 2016 |
Exploiting the enumeration of all feature model configurations: A new perspective with distributed computing
|
ACM International Conference Proceeding Series |
Editorial | 2016 |
Foreword to the special issue on empirical evidence on software product line engineering
|
EMPIRICAL SOFTWARE ENGINEERING |
Ponencia | 2016 |
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ículo | 2016 |
Hybrid business process modeling for the optimization of outcome data
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2016 |
Hybrid diagnosis applied to multiple instances in business processes
|
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016 |
Ponencia | 2016 |
JPI feature models-Exploring a JPI and FOP symbiosis for software modeling
|
2015 34TH INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY (SCCC) |
Revisión | 2016 |
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review
|
COMPUTER LANGUAGES SYSTEMS & STRUCTURES |
Artículo | 2016 |
Mapping RDF knowledge bases using exchange samples
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2016 |
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line
|
EAI ENDORSED TRANSACTIONS ON SCALABLE INFORMATION SYSTEMS |
Artículo | 2016 |
On learning web information extraction rules with TANGO
|
INFORMATION SYSTEMS |
Artículo | 2016 |
On the design of a maintainable software development kit to implement integration solutions
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2016 |
OPBUS: A framework for improving the dependability of risk-aware business processes
|
AI COMMUNICATIONS |
Ponencia | 2016 |
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) |
Ponencia | 2016 |
Process Instance Query Language to Include Process Performance Indicators in DMN
|
2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW) |
Ponencia | 2016 |
Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs
|
SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS |
Ponencia | 2016 |
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages
|
SOFTWARE REUSE: BRIDGING WITH SOCIAL-AWARENESS |
Artículo | 2016 |
Roller: a novel approach to Web information extraction
|
KNOWLEDGE AND INFORMATION SYSTEMS |
Artículo | 2016 |
Testing variability-intensive systems using automated analysis: an application to Android
|
SOFTWARE QUALITY JOURNAL |
Artículo | 2016 |
Traceability Analyses between Features and Assets in Software Product Lines
|
ENTROPY |
Libro | 2016 |
Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection
|
Advances in Intelligent Systems and Computing |
Artículo | 2016 |
Una Experiencia para Mejorar la Interacción Estudiante-Profesor
|
Actas de las Jornadas sobre Enseñanza Universitaria de la Informática |
Ponencia | 2016 |
Using machine learning to infer constraints for product lines
|
ACM International Conference Proceeding Series |
Ponencia | 2016 |
Validation, diagnosis and decision-making support of data in business processes
|
Lecture Notes in Business Information Processing |
Artículo | 2015 |
A methodology to evaluate the maintainability of enterprise application integration frameworks
|
International Journal of Web Engineering and Technology |
Ponencia | 2015 |
A novel approach to web information extraction
|
Lecture Notes in Business Information Processing |
Capítulo | 2015 |
A selective mapping from orthogonal variability model to constraint satisfaction problem
|
Advances in Engineering Research |
Capítulo | 2015 |
A survey on the open source tools for modelling and implementing enterprise application integration solutions
|
Horizons in Computer Science Research |
Capítulo | 2015 |
A technology proposal to realise enterprise application integration
|
Horizons in Computer Science Research |
Artículo | 2015 |
An assessment of search-based techniques for reverse engineering feature models
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2015 |
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ículo | 2015 |
Automating correctness verification of artifact-centric business process models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Capítulo | 2015 |
Characterising enterprise application integration solutions as discrete-event systems
|
Handbook of Research on Computational Simulation and Modeling in Engineering |
Artículo | 2015 |
Compliance validation and diagnosis of business data constraints in business processes at runtime
|
INFORMATION SYSTEMS |
Ponencia | 2015 |
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 |
Ponencia | 2015 |
Feeding software agents with web information
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION |
Artículo | 2015 |
Formalization of security patterns as a means to infer security controls in business processes
|
Logic Journal of the IGPL |
Capítulo | 2015 |
Modelling enterprise application integration solutions
|
Advances in Engineering Research |
Artículo | 2015 |
MostoDEx: A tool to exchange RDF data using exchange samples
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2015 |
On extracting information from semi-structured deep web documents
|
Lecture Notes in Business Information Processing |
Ponencia | 2015 |
On Member Labelling in Social Networks
|
ADVANCES IN COMPUTATIONAL INTELLIGENCE, PT II |
Artículo | 2015 |
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2015 |
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 |
Ponencia | 2015 |
Towards testing variability intensive systems using user reviews
|
2015 10TH COMPUTING COLOMBIAN CONFERENCE (10CCC) |
Artículo | 2014 |
A class of neural-network-based transducers for web information extraction
|
NEUROCOMPUTING |
Ponencia | 2014 |
A variability-based testing approach for synthesizing video sequences
|
2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings |
Artículo | 2014 |
Automated generation of computationally hard feature models using evolutionary algorithms
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2014 |
Automatic generation of questionnaires for supporting users during the execution of declarative business process models
|
Lecture Notes in Business Information Processing |
Artículo | 2014 |
CALA: An unsupervised URL-based web page classification system
|
KNOWLEDGE-BASED SYSTEMS |
Artículo | 2014 |
Conformance checking and diagnosis for declarative business process models in data-aware scenarios
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2014 |
Data state description for the migration to activity-centric business process model maintaining legacy databases
|
Lecture Notes in Business Information Processing |
Capítulo | 2014 |
Data-Aware Conformance Checking for Declarative Business Process Models
|
Information system development: improving enterprise communication |
Artículo | 2014 |
Data-driven bounded-error fault detection
|
INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING |
Artículo | 2014 |
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
Editorial | 2014 |
Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Artículo | 2014 |
Evolving feature model configurations in software product lines
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2014 |
Prognosing the compliance of declarative business processes using event trace robustness
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
Ponencia | 2014 |
Service level agreement for data quality governed by Iso 8000-1X0
|
Proceedings of the 19th International Conference on Information Quality, ICIQ 2014 |
Artículo | 2014 |
Trinity: On Using Trinary Trees for Unsupervised Web Data Extraction
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2014 |
Using Constraint Programming in Selection Operators for Constraint Databases
|
EXPERT SYSTEMS WITH APPLICATIONS |
Capítulo | 2014 |
Variability Management in an Unaware Software Product Line Company: an Experience Report
|
The Eight International Workshop on Variability Modelling of Software-Intensive Systems |
Ponencia | 2014 |
Variability management in an unaware software product line company. An experience report
|
ACM International Conference Proceeding Series |
Ponencia | 2014 |
ViViD: A variability-based tool for synthesizing video sequences
|
ACM International Conference Proceeding Series |
Ponencia | 2013 |
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ículo | 2013 |
A Survey on Region Extractors from Web Documents
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Capítulo | 2013 |
An architecture to infer business rules from event condition action rules implemented in the persistence layer
|
Uncovering Essential Software Artifacts through Business Process Archeology |
Ponencia | 2013 |
Automated analysis in feature modelling and product configuration
|
Lecture Notes in Computer Science |
Capítulo | 2013 |
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ítulo | 2013 |
Automated Analysis of Stateful Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
Capítulo | 2013 |
Automated Reasoning on Feature Models
|
Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE |
Artículo | 2013 |
Benchmarking Data Exchange among Semantic-Web Ontologies
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Capítulo | 2013 |
Building a cloud-based mobile application testbed
|
IT Policy and Ethics: Concepts, Methodologies, Tools, and Applications |
Ponencia | 2013 |
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling
|
2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) |
Ponencia | 2013 |
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ículo | 2013 |
Diagnosing correctness of semantic workflow models
|
DATA & KNOWLEDGE ENGINEERING |
Artículo | 2013 |
Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems
|
AI COMMUNICATIONS |
Capítulo | 2013 |
El lenguaje QVT: Query/view/transformation
|
Desarrollo de software dirigido por modelos: conceptos, métodos y herramientas |
Artículo | 2013 |
Exchanging Data amongst Linked Data applications
|
KNOWLEDGE AND INFORMATION SYSTEMS |
Ponencia | 2013 |
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ítulo | 2013 |
FaMa
|
Systems and Software Variability Management: Concepts, Tools and Experiences |
Ponencia | 2013 |
I8K: An implementation of ISO 8000-1X0
|
Proceedings of the 18th International Conference on Information Quality, ICIQ 2013 |
Ponencia | 2013 |
Integrating heterogeneous variability modeling approaches with invar
|
ACM International Conference Proceeding Series |
Capítulo | 2013 |
Internet, ¿un derecho universal?
|
La uni en la calle: Libro de textos. |
Artículo | 2013 |
Minimizing test-point allocation to improve diagnosability in business process models
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2013 |
MostoDE: A tool to exchange data amongst semantic-web ontologies
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2013 |
TEX: An efficient and effective unsupervised Web information extractor
|
KNOWLEDGE-BASED SYSTEMS |
Ponencia | 2013 |
Towards anomaly explanation in feature models
|
CEUR workshop proceedings |
Artículo | 2013 |
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Libro | 2013 |
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ítulo | 2012 |
FaMa-OVM: a tool for the automated analysis of OVMs
|
16th International Software Product Line Conference, SPLC´12 |
Libro | 2012 |
16th International Software Product Line Conference, SPLC´12
|
16th International Software Product Line Conference, SPLC´12 |
Artículo | 2012 |
A bargaining-specific architecture for supporting automated service agreement negotiation systems
|
SCIENCE OF COMPUTER PROGRAMMING |
Artículo | 2012 |
A proposal to detect errors in Enterprise Application Integration solutions
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2012 |
A Reference Architecture to Devise Web Information Extractors
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
Ponencia | 2012 |
A software development kit to implement integration solutions
|
Proceedings of the ACM Symposium on Applied Computing |
Ponencia | 2012 |
A statistical approach to URL-based web page clustering
|
WWW'12 - Proceedings of the 21st Annual Conference on World Wide Web Companion |
Ponencia | 2012 |
An architecture for efficient web crawling
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, CAISE 2012 |
Ponencia | 2012 |
An unsupervised technique to extract information from semi-structured web pages
|
Lecture Notes in Computer Science |
Capítulo | 2012 |
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ítulo | 2012 |
Building a cloud-based mobile application testbed
|
Software Testing in the Cloud: Perspectives on an Emerging Discipline |
Artículo | 2012 |
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Artículo | 2012 |
Consistency maintenance for evolving feature models
|
EXPERT SYSTEMS WITH APPLICATIONS |
Ponencia | 2012 |
Extending BPMN 2.0 for modelling the combination of activities that involve data constraints
|
BUSINESS PROCESS MODEL AND NOTATION, BPMN 2012 |
Ponencia | 2012 |
FaMa-OVM: A tool for the automated analysis of OVMs
|
ACM International Conference Proceeding Series |
Artículo | 2012 |
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
|
COMPUTERS & SECURITY |
Artículo | 2012 |
Improvement of Optimization Agreements in Business Processes involving Web Services
|
IBIMA Communications |
Ponencia | 2012 |
Information Extraction Framework
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS |
Capítulo | 2012 |
Internet, ¿un derecho universal?
|
El traje del emperador: 13 propuestas para desnudar el poder |
Ponencia | 2012 |
On relational learning for information extraction
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS |
Artículo | 2012 |
Quality-aware analysis in product line engineering with the orthogonal variability model
|
SOFTWARE QUALITY JOURNAL |
Capítulo | 2012 |
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 |
Ponencia | 2012 |
Reverse engineering feature models with evolutionary algorithms: An exploratory study
|
Lecture Notes in Computer Science |
Artículo | 2012 |
Software diversity: State of the art and perspectives
|
International Journal on Software Tools for Technology Transfer |
Ponencia | 2012 |
Towards a method for unsupervised web information extraction
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
Towards discovering conceptual models behind web sites
|
Lecture Notes in Computer Science |
Ponencia | 2012 |
Towards discovering ontological models from big RDF data
|
Lecture Notes in Computer Science |
Editorial | 2012 |
Welcome message
|
ACM International Conference Proceeding Series |
Ponencia | 2011 |
A Conceptual Framework for Efficient Web Crawling in Virtual Integration Contexts
|
WEB INFORMATION SYSTEMS AND MINING, PT II |
Artículo | 2011 |
A DOMAIN-SPECIFIC LANGUAGE TO DESIGN ENTERPRISE APPLICATION INTEGRATION SOLUTIONS
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
Ponencia | 2011 |
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 |
Ponencia | 2011 |
A Reference Architecture for Building Semantic-Web Mediators
|
ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS |
Ponencia | 2011 |
A tool for link-based web page classification
|
ADVANCES IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2011 |
A tool for web links prototyping
|
Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011 |
Ponencia | 2011 |
A transducer model for web information extraction
|
Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011 |
Ponencia | 2011 |
An Approach For Optimization Agreements In Business Processes Based On Web Services
|
CREATING GLOBAL COMPETITIVE ECONOMIES: A 360-DEGREE APPROACH, VOLS 1-4 |
Ponencia | 2011 |
An architecture for web information agents
|
International Conference on Intelligent Systems Design and Applications |
Ponencia | 2011 |
An efficient orchestration engine for the Cloud
|
Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011 |
Ponencia | 2011 |
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) |
Ponencia | 2011 |
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) |
Ponencia | 2011 |
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 |
Ponencia | 2011 |
Automated diagnosis of feature model configurations
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
Artículo | 2011 |
Automated metamorphic testing on the analyses of feature models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Capítulo | 2011 |
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches
|
15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany |
Ponencia | 2011 |
Contract-based test generation for data flow of business processes using constraint programming
|
2011 fifth international conference on research challenges in information science |
Ponencia | 2011 |
Error-Detection in Enterprise Application Integration Solutions
|
ENTERPRISE INFORMATION SYSTEMS, PT 2 |
Artículo | 2011 |
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ítulo | 2011 |
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
|
15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany |
Artículo | 2011 |
Functional testing of feature model analysis tools: a test suite
|
IET SOFTWARE |
Ponencia | 2011 |
Generating SPARQL Executable Mappings to Integrate Ontologies
|
CONCEPTUAL MODELING - ER 2011 |
Ponencia | 2011 |
Improving the diagnosability of business process management systems using test points
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS |
Ponencia | 2011 |
Mining Web pages using features of rendering HTML elements in the Web browser
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTI-AGENTS SYSTEMS |
Ponencia | 2011 |
Mosto: Generating SPARQL executable mappings between ontologies
|
ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS |
Artículo | 2011 |
Mutation testing on an object-oriented framework: An experience report
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2011 |
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 |
Ponencia | 2011 |
On benchmarking data translation systems for semantic-web ontologies
|
International Conference on Information and Knowledge Management, Proceedings |
Ponencia | 2011 |
On improving FOIL Algorithm
|
Proceedings of the 2011 International Conference on Artificial Intelligence, ICAI 2011 |
Ponencia | 2011 |
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 |
Ponencia | 2011 |
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 |
Ponencia | 2011 |
Optimising FOIL by new scoring functions?
|
Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011 |
Ponencia | 2011 |
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), |
Ponencia | 2011 |
Run-Time Auditing for Business Processes Data Using Constraints
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS |
Ponencia | 2011 |
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 |
Ponencia | 2010 |
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
|
2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA) |
Artículo | 2010 |
A survey using constraints to decision-making for fault tolerance in Business processes
|
International Journal of Software Engineering and Its Applications |
Artículo | 2010 |
Automated analysis of feature models 20 years later: A literature review
|
INFORMATION SYSTEMS |
Artículo | 2010 |
Automated diagnosis of feature model configurations
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Capítulo | 2010 |
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ículo | 2010 |
Automatic Service Agreement Negotiators in Open Commerce Environments
|
INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE |
Artículo | 2010 |
Communicating between the kernel and user-space in Linux using Netlink sockets
|
SOFTWARE-PRACTICE & EXPERIENCE |
Ponencia | 2010 |
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
|
DX 2010: 21th International Workshop on Principles of Diagnosis (2010). |
Ponencia | 2010 |
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 |
Ponencia | 2010 |
Debian packages repositories as software product line models. Towards automated analysis
|
CEUR workshop proceedings |
Ponencia | 2010 |
Determination of an optimal test points allocation for business process analysis
|
2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010 |
Ponencia | 2010 |
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. |
Ponencia | 2010 |
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). |
Ponencia | 2010 |
Integrating deep-web information sources
|
TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS |
Editorial | 2010 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
|
Lecture Notes in Computer Science |
Ponencia | 2010 |
On the design of a domain specific language for enterprise application integration solutions
|
CEUR workshop proceedings |
Ponencia | 2010 |
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes
|
COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010 |
Ponencia | 2010 |
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 |
Ponencia | 2010 |
Towards dependable business processes with fault-tolerance approach
|
Proceedings - 3rd International Conference on Dependability, DEPEND 2010 |
Artículo | 2009 |
Automated reasoning for multi-step feature model configuration problems
|
SPLC '09 Proceedings of the 13th International Software Product Line Conference |
Ponencia | 2009 |
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 |
Ponencia | 2009 |
A constraint-based model for multi-objective repair planning
|
ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation |
Artículo | 2009 |
A heuristic process for local inconsistency diagnosis in firewall rule sets
|
Journal Of Networks |
Ponencia | 2009 |
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 |
Ponencia | 2009 |
AFPL2, An Abstract Language for Firewall ACLs with NAT support
|
DEPEND: 2009 SECOND INTERNATIONAL CONFERENCE ON DEPENDABILITY |
Ponencia | 2009 |
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ículo | 2009 |
Demystifying Cluster-Based Fault-Tolerant Firewalls
|
IEEE INTERNET COMPUTING |
Artículo | 2009 |
Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases
|
DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France |
Artículo | 2009 |
Developing a labelled object-relational constraint database architecture for the projection operator
|
DATA & KNOWLEDGE ENGINEERING |
Ponencia | 2009 |
EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS
|
SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY |
Ponencia | 2009 |
Efficient data structures for local inconsistency detection in firewall ACL updates
|
ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings |
Ponencia | 2009 |
MDA-based framework for automatic generation of consistent firewall ACLs with NAT
|
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II |
Artículo | 2009 |
METAMODELLING AND TRANSFORMING SITEMAPS FOR RECONCILING INFORMATION ARCHITECTURE AND NAVIGATION DESIGN
|
Actas de talleres de ingeniería del software y bases de datos |
Artículo | 2009 |
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies
|
INFORMATION AND SOFTWARE TECHNOLOGY |
Ponencia | 2009 |
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 |
Ponencia | 2009 |
Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS |
Ponencia | 2008 |
A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets
|
SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY |
Ponencia | 2008 |
A Reference Architecture for Automated Negotiations of Service Agreements in Open and Dynamic Environments
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008 WORKSHOPS |
Ponencia | 2008 |
AFPL, an abstract language model for firewall ACLs
|
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS |
Capítulo | 2008 |
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ículo | 2008 |
Automated error analysis for the agilization of feature modeling
|
JOURNAL OF SYSTEMS AND SOFTWARE |
Ponencia | 2008 |
Automated merging of feature models using graph transformations
|
Generative and Transformational Techniques in Software Engineering II |
Artículo | 2008 |
Automatic extraction of social networks by topics of interest
|
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY |
Ponencia | 2008 |
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ículo | 2008 |
Efficient packet filtering in wireless ad hoc networks
|
IEEE COMMUNICATIONS MAGAZINE |
Capítulo | 2008 |
FAMA Framework
|
Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 |
Ponencia | 2008 |
FAMA Framework
|
SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS |
Ponencia | 2008 |
Fast algorithms for consistency-based diagnosis of firewall rule sets
|
ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY |
Ponencia | 2008 |
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. |
Ponencia | 2008 |
Firewall rule set inconsistency characterization by clustering
|
WOSIS 2008: SECURITY IN INFORMATION SYSTEMS, PROCEEDINGS |
Ponencia | 2008 |
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ítulo | 2008 |
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 |
Ponencia | 2008 |
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) |
Ponencia | 2008 |
hFT-FW: hybrid fault-tolerance for cluster-based Stateful Firewalls
|
PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS |
Ponencia | 2008 |
Introduction to the semantic web
|
Web mining and semantic web: (Minería web y web semántica) |
Ponencia | 2008 |
Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW
|
COMPUTER SECURITY - ESORIC 2008, PROCEEDINGS |
Ponencia | 2008 |
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. |
Ponencia | 2008 |
Stateful firewalling for wireless mesh networks
|
Proceedings of New Technologies, Mobility and Security Conference and Workshops, NTMS 2008 |
Artículo | 2008 |
Surveying navigation modelling approaches
|
INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY |
Ponencia | 2008 |
Towards a dependable architecture for highly available Internet services
|
ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY |
Ponencia | 2008 |
Towards Automated Service Trading
|
E-BUSINESS AND TELECOMMUNICATION NETWORKS |
Capítulo | 2008 |
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ículo | 2008 |
Wrapping web data islands
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
Artículo | 2007 |
A compiled model for faults diagnosis based on different techniques
|
AI COMMUNICATIONS |
Artículo | 2007 |
A top down approach for describing the acquaintace organisation of multiagent systems
|
Scalable Computing |
Capítulo | 2007 |
Automated Merging of Feature Models Using Graph Transformations
|
Generative and Transformational Techniques in Software Engineering II |
Ponencia | 2007 |
CSP-Based firewall rule set diagnosis using security policies
|
ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS |
Ponencia | 2007 |
El metamodelado de un framework: Spring Web Flow
|
|
Capítulo | 2007 |
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ículo | 2007 |
From wrapping to knowledge
|
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING |
Artículo | 2007 |
Generating non-conspiratorial executions
|
INFORMATION PROCESSING LETTERS |
Ponencia | 2007 |
Improving the adaptation of web applications to different versions of software with MDA
|
CEUR workshop proceedings |
Capítulo | 2007 |
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
|
Fault Detection, Supervision and Safety of Technical Processes 2006 |
Ponencia | 2007 |
Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones
|
CAEPIA-TTIA 2007: actas |
Ponencia | 2007 |
Integración de aplicaciones
|
Integración de aplicaciones web para la web semántica :actas del Taller de Trabajo Zoco'07-CAEPIA |
Ponencia | 2007 |
NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs
|
CAEPIA-TTIA 2007: actas |
Artículo | 2007 |
SISTEMAS DE INTELIGENCIA WEB BASADOS EN REDES SOCIALES
|
Redes |
Artículo | 2007 |
Using Aspect-orientation Techniques to Improve Reuse of Metamodels
|
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Ponencia | 2006 |
A conceptual framework for automated negotiation systems
|
INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2006, PROCEEDINGS |
Capítulo | 2006 |
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 |
Ponencia | 2006 |
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ículo | 2006 |
A topological-based method for allocating sensors by using CSP techniques
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2006 |
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 |
Ponencia | 2006 |
An analysis of service trading architectures
|
Lecture Notes in Computer Science |
Artículo | 2006 |
Analysis of service trading architectures
|
E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS |
Artículo | 2006 |
Automated analysis of feature models: Challenges ahead
|
COMMUNICATIONS OF THE ACM |
Artículo | 2006 |
Diagnosing errors in DbC programs using Constraint Programming
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2006 |
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 |
Ponencia | 2006 |
Distributed model-based diagnosis using object-relational constraint databases
|
20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS |
Capítulo | 2006 |
Evolución del aprendizaje semipresencial: del e-learning al m-learning
|
La innovación en la enseñanza superior (I): curso 2003-2004 |
Artículo | 2006 |
HACIA UN PROCESO AUTOMATIZADO DE TRADING
|
Novática |
Ponencia | 2006 |
High Availability support for the design of stateful networking equipments
|
FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS |
Artículo | 2006 |
Improving the computational efficiency in symmetrical numeric constraint satisfaction problems
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
Ponencia | 2006 |
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
|
IFAC Proceedings Volumes (IFAC-PapersOnline) |
Artículo | 2006 |
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 |
Ponencia | 2006 |
Isolated features detection in feature models
|
CEUR workshop proceedings |
Ponencia | 2006 |
Modelos de Pruebas para Pruebas del Sistemas
|
CEUR workshop proceedings |
Editorial | 2006 |
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 |
Ponencia | 2006 |
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 |
Ponencia | 2006 |
Test models for system testing
|
CEUR workshop proceedings |
Ponencia | 2006 |
Towards automated service trading
|
ICE-B 2006: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS |
Capítulo | 2006 |
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 |
Ponencia | 2005 |
A constraint-based algorithm for planning the substitution of faulty parts
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Artículo | 2005 |
A FIRST APPROACH TO BUILD PRODUCT LINES OF MULTI-ORGANIZATIONAL WEB BASED SYSTEMS (MOWS)
|
Lecture Notes in Computer Science |
Ponencia | 2005 |
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ículo | 2005 |
A study of the similarities between topics
|
COMPUTATIONAL STATISTICS |
Capítulo | 2005 |
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ículo | 2005 |
Aclarando la Importancia de la Interacción en la Ingeniería del Software Orientada a Agentes
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Artículo | 2005 |
An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way
|
MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE |
Artículo | 2005 |
Análisis de Redes Sociales mediante Diagramas Estratégicos y Diagramas Estructurales
|
Redes: Revista hispana para el análisis de redes sociales |
Capítulo | 2005 |
Análisis de un sistema biometalúrgico con conocimiento intervalar y cuantitativo
|
El análisis de intervalos en España: desarrollos, herramientas y aplicaciones |
Ponencia | 2005 |
Analysis and visualization of scientific communities with information extracted from the web
|
IEEE LATIN AMERICA TRANSACTIONS |
Artículo | 2005 |
Analysis and visualization of the DX community with information extracted from the web
|
DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
Artículo | 2005 |
Automated reasoning on feature models
|
ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS |
Ponencia | 2005 |
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 |
Ponencia | 2005 |
Combining heuristics in assembly sequence planning
|
PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE |
Ponencia | 2005 |
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 |
Ponencia | 2005 |
Diagnosis con variables intervalares usando técnicas Max-CSP
|
VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis |
Ponencia | 2005 |
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 |
Ponencia | 2005 |
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ículo | 2005 |
Estudio de similitudes entre áreas temáticas
|
REVISTA ESPANOLA DE DOCUMENTACION CIENTIFICA |
Ponencia | 2005 |
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ítulo | 2005 |
La Triple Esquizofrenia del investigador en Ingeniería del Software
|
Aspectos filosóficos, psicológicos y metodológicos de la informática |
Capítulo | 2005 |
Localización de centros atractivos y/ó repulsivos con análisis intervalar
|
El análisis de intervalos en España: desarrollos, herramientas y aplicaciones |
Ponencia | 2005 |
Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor
|
VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis |
Ponencia | 2005 |
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ítulo | 2005 |
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ítulo | 2005 |
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ítulo | 2005 |
Programación con restricciones intervalares
|
El análisis de intervalos en España: desarrollos, herramientas y aplicaciones |
Artículo | 2005 |
Querying a polynomial object-relational constraint database in model-based diagnosis
|
DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
Artículo | 2005 |
Semiqualitative Methodology to Reasoning about Dynamic Systems
|
Computación y Sistemas |
Capítulo | 2005 |
Towards a framework for a service-oriented automated negotiation
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
Artículo | 2005 |
Towards clarifying the importance of interactions in Agent-Oriented Software Engineering
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Capítulo | 2005 |
Towards multi-agent trading of web services
|
4th International workshop on practical applications of agents and multiagent systems: IWPAAMS 2005 |
Capítulo | 2005 |
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 |
Ponencia | 2005 |
Using constraint programming to reason on feature models
|
17th International Conference on Software Engineering and Knowledge Engineering, SEKE 2005 |
Ponencia | 2004 |
A framework for classifying and comparing web services procurement platforms
|
FOURTH INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING WORKSHOPS, PROCEEDINGS |
Artículo | 2004 |
An order-based algorithm for implementing multiparty synchronization
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Artículo | 2004 |
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis
|
Lecture Notes in Computer Science |
Artículo | 2004 |
Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis
|
CONSTRAINT DATABASES, PROCEEDINGS |
Artículo | 2004 |
Applying system families concepts to requirements engineering process definition
|
SOFTWARE PRODUCT-FAMILY ENGINEERING |
Editorial | 2004 |
Breakthroughs and challenges in software engineering - J.UCS Special Issue
|
JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
Artículo | 2004 |
Components + Aspects : A General Overview
|
Revista Colombiana de Computación - RCC |
Ponencia | 2004 |
Constraint Databases Technology for Polynomial Models Diagnosis
|
DX 2004: 15th International Workshop on Principles of Diagnosis (2004), pp. 215-.. |
Artículo | 2004 |
Determination of possible minimal conflict sets using constraint databases technology and clustering
|
ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004 |
Artículo | 2004 |
Editorial: Web and database technologies in business solutions
|
International Journal of Web Engineering and Technology |
Ponencia | 2004 |
Interval model-based diagnosis using constraint programming
|
SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17 |
Ponencia | 2004 |
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 |
Ponencia | 2004 |
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. |
Ponencia | 2004 |
Modelling Interaction Organisation in Large Multi-Agent Organizations
|
3rd International workshop on practical applications of agents and multiagent systems : IWPAAMS 2004 |
Ponencia | 2004 |
Separación de conceptos y MDA: Arquitectura de un framework
|
I Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones (DSDM’04) (2004) |
Capítulo | 2004 |
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ítulo | 2004 |
Towards a Coordination Specification of Complex Multi-Agent System
|
NTIT : New trends on information technology |
Ponencia | 2004 |
Towards developing generic solutions with aspects
|
5th Aspect-Oriented Modeling Workshop, AOM-2004 (2004). |
Artículo | 2003 |
A genetic algorithm for assembly sequence planning
|
ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II |
Ponencia | 2003 |
A knowledge extraction process specification for today's non-semantic Web
|
Proceedings - IEEE/WIC International Conference on Web Intelligence, WI 2003 |
Artículo | 2003 |
A quality-aware approach to web services procurement
|
TECHNOLOGIES FOR E-SERVICES, PROCEEDINGS |
Ponencia | 2003 |
A scheduling approach to assembly sequence planning
|
PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003) |
Ponencia | 2003 |
A top down approach for MAS protocol descriptions
|
Proceedings of the ACM Symposium on Applied Computing |
Capítulo | 2003 |
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 |
Ponencia | 2003 |
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ículo | 2003 |
Aspect-oriented interaction in multi-organisational web-based systems
|
COMPUTER NETWORKS |
Artículo | 2003 |
Automating the procurement of web services
|
Service-Oriented Computing - ICSOC 2003 |
Ponencia | 2003 |
Concerns vs components for web development
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Artículo | 2003 |
Coping with web knowledge
|
ADVANCES IN WEB INTELLIGENCE |
Artículo | 2003 |
CSP aplicados a la diagnosis basada en modelos
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Artículo | 2003 |
CSP y Bases de Datos Restrictivas
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Capítulo | 2003 |
El proceso de desarrollo de NDT
|
II Taller de Ingeniería del Software Orientada al Web (Web Engineering) |
Artículo | 2003 |
Fairness in systems based on multiparty interactions
|
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE |
Capítulo | 2003 |
Los Servicios Web en el Mundo de los Mercados Electrónicos
|
El comercio electrónico: una visión hispano-lusa |
Artículo | 2003 |
NDT-Tool: A case tool to deal with requirements in web information systems
|
WEB ENGINEERING, PROCEEDINGS |
Artículo | 2003 |
On selecting and scheduling assembly plans using constraint programming
|
KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS |
Artículo | 2003 |
Puentes y emulación de buses: un enfoque sistemático
|
Novática |
Ponencia | 2003 |
Revisiting requirements in web modelling languages
|
IADIS International Conference on WWW/Internet 2003 (2003), pp. 1064-1067. |
Artículo | 2003 |
The NDT development process
|
WEB ENGINEERING, PROCEEDINGS |
Ponencia | 2003 |
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ículo | 2003 |
Towards interaction protocol operations for large multi-agent systems
|
FORMAL APPROACHES TO AGENT-BASED SYSTEMS |
Capítulo | 2003 |
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) |
Ponencia | 2003 |
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 |
Ponencia | 2003 |
Una experiencia práctica reutilizando aspectos
|
Taller de Trabajo de Desarrollo de Software Orientado a Aspectos DSOA-JISBD 2003 (2003). |
Artículo | 2003 |
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ículo | 2002 |
A framework for semiqualitative reasoning in engineering applications
|
APPLIED ARTIFICIAL INTELLIGENCE |
Ponencia | 2002 |
A practical agent-based method to extract semantic information from the web
|
Lecture Notes in Computer Science |
Artículo | 2002 |
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 |
Libro | 2002 |
Advances in business solutions
|
Advances in business solutions |
Artículo | 2002 |
An algorithm for ensuring fairness and liveness in non-deterministic systems based on multiparty interactions
|
EURO-PAR 2002 PARALLEL PROCESSING, PROCEEDINGS |
Ponencia | 2002 |
An automated approach to quality aware web applications
|
ENTERPRISE INFORMATION SYSTEMS IV |
Ponencia | 2002 |
An automated approach to quality-aware web applications
|
ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems |
Ponencia | 2002 |
An enablement detection algorithm for open multiparty interactions
|
Proceedings of the ACM Symposium on Applied Computing |
Artículo | 2002 |
An order-based, distributed algorithm for implementing multiparty interactions
|
COORDINATION MODELS AND LANGUAGES, PROCEEDINGS |
Artículo | 2002 |
Analysing the navegational aspect
|
Forschungsbericht. Institut für Informatik III |
Capítulo | 2002 |
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ítulo | 2002 |
Assisting the Requirements Verifier with XML Technology
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Automatic extraction of semantically-meaningful information from the web
|
Lecture Notes in Computer Science |
Ponencia | 2002 |
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ítulo | 2002 |
Diagnosis de Software usando técnicas Max-CSP
|
VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) |
Ponencia | 2002 |
Diagnosis progresiva en el tiempo de sistemas dinámicos
|
IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002). |
Capítulo | 2002 |
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ículo | 2002 |
Extracción automática de información con semántica de la Web
|
Novática |
Ponencia | 2002 |
La navegación y la separación de conceptos
|
II Jornadas de trabajo DOLMEN (Distributed Objects, Languages, Models and Environments) (2002), pp. 187-196. |
Ponencia | 2002 |
Localización de centros públicos atractivos y /o repulsivos
|
IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002). |
Capítulo | 2002 |
Los servicios web en el mundo de los mercados electrónicos
|
Avances en comercio electrónico |
Artículo | 2002 |
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 |
Ponencia | 2002 |
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ículo | 2002 |
Multi-party coordination in the context of MOWS
|
PROGRAMMING AND COMPUTER SOFTWARE |
Capítulo | 2002 |
Object-Oriented Business Solutions
|
Object-Oriented Technology : Ecoop 2001 Workshop Reader : Ecoop 2001 Workshops, panels, and posters : Budapest, Hungary, June 2001 |
Artículo | 2002 |
Qualitative comparison of temporal series. QSI
|
TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS |
Ponencia | 2002 |
Qualitative reasonig for software development project by constraint programming
|
ENTERPRISE INFORMATION SYSTEMS III |
Capítulo | 2002 |
Quality of Service Variability in Systems Families Based on Web Services (SFWS)
|
Simposio de Informática y Telecomunicaciones |
Artículo | 2002 |
Repairing syntax errors in LR parsers
|
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
Ponencia | 2002 |
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). |
Ponencia | 2002 |
Separating the navigational aspect
|
22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS |
Capítulo | 2002 |
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) |
Libro | 2002 |
Simposio de Informática y Telecomunicaciones
|
Simposio de Informática y Telecomunicaciones |
Ponencia | 2002 |
Supporting requirements verification using XSLT
|
IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS |
Artículo | 2002 |
UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Ponencia | 2002 |
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ítulo | 2002 |
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) |
Ponencia | 2001 |
A framework for aspect-oriented multiparty coordination
|
IFIP International Federation for Information Processing |
Ponencia | 2001 |
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 |
Ponencia | 2001 |
Automated support for quality requirements in Web-service-based systems
|
EIGHTH IEEE WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS |
Ponencia | 2001 |
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) |
Ponencia | 2001 |
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) |
Ponencia | 2001 |
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) |
Ponencia | 2001 |
Qualitative reasonig for software development project by constraint programming
|
ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems |
Ponencia | 2001 |
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ículo | 2001 |
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 |
Ponencia | 2001 |
Structural constraint-based modeling and reasoning with basic configuration cells
|
Lecture Notes in Computer Science |
Ponencia | 2001 |
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ículo | 2000 |
A multiparty coordination aspect language
|
ACM SIGPLAN NOTICES |
Capítulo | 2000 |
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ículo | 2000 |
Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico
|
Estudios Turísticos |
Artículo | 2000 |
Aprendizaje de la Similitud entre Casos con Valores Discretos y Numericos (Premio Accésit Jose Cuena)
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
Artículo | 2000 |
Avances en la coordinación de Objetos Activos
|
Novática |
Capítulo | 2000 |
Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Ponencia | 2000 |
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ículo | 2000 |
INGENIERÍA DE REQUISITOS Y TECNOLOGÍA DE OBJETOS.
|
Novática |
Capítulo | 2000 |
Optimización en modelos que integran conocimiento cualitativo y cuantitativo
|
Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000 |
Capítulo | 2000 |
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ítulo | 2000 |
Semiqualitative Temporal Patterns in Time-Series Databases
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Ponencia | 2000 |
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ítulo | 2000 |
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ítulo | 2000 |
Using constraint programming framework for Semiqualitative Reasoning
|
Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA) |
Otros | 2000 |
Visión General de la Programación Orientada a Aspectos
|
null |
Artículo | 1999 |
A distributed solution to synchronous multiparty interaction
|
Recent Advances in Signal Processing and Communications |
Capítulo | 1999 |
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 |
Ponencia | 1999 |
Implementing multiparty interactions on a network computer
|
Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium |
Ponencia | 1999 |
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ículo | 1999 |
UNA PROPUESTA PARA ELABORAR EL CATÁLOGO DE REQUISITOS EN METRICA V2.1.
|
Novática |
Capítulo | 1999 |
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 |
Ponencia | 1998 |
Automatic semiqualitative analysis: Application to a biometallurgical system
|
Lecture Notes in Computer Science |
Capítulo | 1998 |
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ítulo | 1998 |
Construcción automática de árboles de sintaxis abstracta en C++
|
Innovaciones en informática electrónica y automática |
Ponencia | 1998 |
Including qualitative knowledge in semiqualitative dynamical systems
|
Lecture Notes in Computer Science |
Capítulo | 1998 |
Un depurador simbólico de código portable
|
Innovaciones en informática electrónica y automática |
Ponencia | 1997 |
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] |
Ponencia | 1997 |
Automatización del análisis y simulación de modelos cualitativos mediante restricciones
|
CAEPIA'97: actas |
Artículo | 1995 |
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 |
Ponencia | 1995 |
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 |
Ponencia | 1984 |
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) |