| 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 |
Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing
|
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 |
Model-Based Software Debugging
|
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches |
| Ponencia | 2016 |
Hybrid diagnosis applied to multiple instances in business processes
|
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016 |
| Ponencia | 2011 |
Improving the diagnosability of business process management systems using test points
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS |
| 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 |
On the complexity of program debugging using constraints for modeling the program's syntax and semantics
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2009 |
A heuristic process for local inconsistency diagnosis in firewall rule sets
|
Journal Of Networks |
| 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 |
| Artículo | 2009 |
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| 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 |
AFPL, an abstract language model for firewall ACLs
|
COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, 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 |
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. |
| Artículo | 2007 |
A compiled model for faults diagnosis based on different techniques
|
AI COMMUNICATIONS |
| Artículo | 2006 |
A topological-based method for allocating sensors by using CSP techniques
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| Artículo | 2006 |
Diagnosing errors in DbC programs using Constraint Programming
|
CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE |
| 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 | 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. |
| 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 |
An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way
|
MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE |
| 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 |
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 inconsistency in contracts using design by contract
|
IEEE LATIN AMERICA TRANSACTIONS |
| Artículo | 2004 |
Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis
|
Lecture Notes in Computer Science |
| 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 |
| Ponencia | 2004 |
Interval model-based diagnosis using constraint programming
|
SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17 |
| Ponencia | 2002 |
A pomset-based model for estimating Workcells? setups in assembly sequence planning
|
Lecture Notes in Computer Science |
| Artículo | 2002 |
A pomset-based model for estimating workcells' setups in assembly sequence planning
|
Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings |
| 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) |
| 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) |
| 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 |
