Rafael M. Gasca

Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls. Computers & Security 31(4): 524-539 (2012)

Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca: CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. Journal of Systems and Software 85(2): 425-457 (2012)

Luisa Parody, María Teresa Gómez López, Rafael M. Gasca: Extending BPMN 2.0 for Modelling the Combination of Activities That Involve Data Constraints. BPMN 2012: 68-82

Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel: A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. CISIS/ICEUTE/SOCO Special Sessions 2012: 13-23

Luisa Parody, María Teresa Gómez López, Rafael M. Gasca, Diana Borrego: Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. ICAART (2) 2011: 434-438

Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca: Contract-based test generation for data flow of business processes using constraint programming. RCIS 2011: 1-12

Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez: A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. RCIS 2011: 1-6

Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo: OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. SECRYPT 2011: 370-374

Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: Communicating between the kernel and user-space in Linux using Netlink sockets. Softw., Pract. Exper. 40(9): 797-810 (2010)

Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca: A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA 2010: 1037-1046

María Teresa Gómez López, Rafael M. Gasca: Run-Time Auditing for Business Processes Data Using Constraints. Business Process Management Workshops 2010: 146-157

Diana Borrego, María Teresa Gómez López, Rafael M. Gasca, Rafael Ceballos: Improving the Diagnosability of Business Process Management Systems Using Test Points. Business Process Management Workshops 2010: 194-200

Angel Jesus Varela-Vaca, Rafael Martinez Gasca: OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS 2010: 213-222

Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca (Eds.): Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers. Lecture Notes in Computer Science 5988, Springer 2010, isbn 978-3-642-14263-5

María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle: Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng. 68(1): 146-172 (2009)

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. Information & Software Technology 51(5): 894-915 (2009)

Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: Demystifying Cluster-Based Fault-Tolerant Firewalls. IEEE Internet Computing 13(6): 31-38 (2009)

Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. JNW 4(8): 698-710 (2009)

Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca: MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) 2009: 130-144

Sergio Pozo Hidalgo, Rafael M. Gasca, F. T. de la Rosa: Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. ICEIS (3) 2009: 176-181

Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos: Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT 2009: 42-53

Fernando De la Rosa T., Rafael M. Gasca: Automatic extraction of social networks by topics of interest. IJCAT 33(4): 292-299 (2008)

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236

Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca: Towards a Dependable Architecture for Highly Available Internet Services. ARES 2008: 422-427

Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW. ESORICS 2008: 1-17

Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483

Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca: hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS 2008: 525-532

Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre: Stateful Firewalling for Wireless Mesh Networks. NTMS 2008: 1-5

Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre: FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP 2008: 573-580

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca: Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE 2008: 53-61

Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca: Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE 2008: 381-390

Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144

Rafael Ceballos, María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle: A compiled model for faults diagnosis based on different techniques. AI Commun. 20(1): 7-16 (2007)

Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729

Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez López, Rafael Ceballos: NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs. CAEPIA 2007: 160-169

Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca: Mesh Network Firewalling with Bloom Filters. ICC 2007: 1546-1551

Rafael Ceballos, María Teresa Gómez López, Rafael Martinez Gasca, Carmelo Del Valle: An integration of model-based techniques for determining the minimal diagnosis. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 41-52 (2006)

Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego: Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Software Engineering Notes 31(2) (2006)

Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca: High Availability support for the design of stateful networking equipments. ARES 2006: 254-261

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo: Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. AINA (2) 2006: 866-870

María Teresa Gómez López, Rafael M. Gasca: Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. JISBD 2006: 471-476

Juan Antonio Ortega-Ramírez, Rafael Martinez Gasca, Jesus Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, Cecilio Angulo Bahón: Metodología Semicualitativa para Razonar sobre Sistemas Dinámicos. Computación y Sistemas 8(3) (2005)

Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle: A Topological-Based Method for Allocating Sensors by Using CSP Techniques. CAEPIA 2005: 62-68

Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210

Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba: Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. CAEPIA 2005: 269-279

Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega: Diagnosis of a Chopper Controlled DC Motor by Boosting. CIMCA/IAWTIC 2005: 568-575

F. T. de la Rosa, María Teresa Gómez López, Rafael M. Gasca: Analysis and Visualization of the DX Community with Information Extracted from the Web. DEXA 2005: 726-735

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, F. T. de la Rosa: Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. DEXA 2005: 848-857

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo: 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. JISBD 2005: 221-230

Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, Rafael M. Gasca: An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way. MICAI 2005: 1082-1092

María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle: Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis. CDB 2004: 75-89

María Teresa Gómez López, Rafael Ceballos, Rafael M. Gasca, Sergio Pozo: Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering. IBERAMIA 2004: 942-952

Sergio Pozo, Rafael M. Gasca, María Teresa Gómez López: Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72

Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez López, Rafael M. Gasca: CSP aplicados a la diagnosis basada en modelos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 7(20): 137-150 (2003)

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos: CSP y Bases de Datos Restrictivas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 7(20): 151-163 (2003)

Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho: A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344

María Teresa Gómez López, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos: Arquitectura para la Consulta a Bases de Datos Restrictivas. JISBD 2003: 593-602

Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro: On Selecting and Scheduling Assembly Plans Using Constraint Programming. KES 2003: 1329-1336

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002)

Carmelo Del Valle, Rafael M. Gasca, Juan Antonio Ortega, María Teresa Gómez López: Un modelo CSP para planificación de la sustitución óptima de piezas defectuosas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 6(17): 83-92 (2002)

Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, Juan Antonio Ortega: Diagnosis de Sistemas Dinámicos Basada en Aprendizaje Supervisado Off-Line. Computación y Sistemas 5(3) (2002)

Pedro J. Abad, Antonio J. Suárez, Juan Antonio Ortega, Rafael M. Gasca: Diagnosis en Fases Tempranas de Sistemas Dinámicos. Computación y Sistemas 6(2) (2002)

Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87

Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181

Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312

Fco. Fernando de la Rosa Troyano, Rafael M. Gasca, Carmelo Del Valle, Rafael Ceballos: Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos de Recursos Electrónicos. JISBD 2002: 259-269

R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 5(14): 68-77 (2001)

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: An Object-Oriented Approach for Learning of Algorithm Design with Sequential Devices and Schemas. Computación y Sistemas 4(3): 230-241 (2001)

Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro: Comparación Cualitativa de Series Temporales. Índice Cualitativo de Similitud - QSI. Computación y Sistemas 5(2) (2001)

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599

Antonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, Juan Antonio Ortega: Qualitative Reasoning for Software Development Project by Constraint Programming. ICEIS (1) 2001: 481-488

Fco. Fernando de la Rosa Troyano, Rafael M. Gasca, Juan Antonio Ortega: Metodología para el Análisis Visual de la Evolución de Conceptos en Bases de Datos Textuales. JBIDI 2001

Miguel Toro, Juan Antonio Ortega, Rafael M. Gasca: Metodologias cualitativas aplicadas a los sistemas Socioeconomicos y razonamiento con Intervalos.Presentacion. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 45-57 (2000)

Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Obtención de patrones de Comportamiento de Modelos Semicualitativos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 66-75 (2000)

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis de Sistemas Económicos. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 4(9): 85-97 (2000)

Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. IEA/AIE (Vol. 1) 1998: 321-328

Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. IEA/AIE (Vol. 1) 1998: 329-335