| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre |
Communicating between the kernel and user-space in Linux using Netlink sockets. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
ruleset, management, diagnosis, detection, firewall, minimal, conflict, inconsistency, anomaly, acl |
| 1 | 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 |
CAEPIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | María Teresa Gómez López, Rafael M. Gasca |
Run-Time Auditing for Business Processes Data Using Constraints. |
Business Process Management Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Jesus Varela-Vaca, Rafael Martinez Gasca |
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. |
CISIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca |
A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. |
JNW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre |
Demystifying Cluster-Based Fault-Tolerant Firewalls. |
IEEE Internet Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael M. Gasca, F. T. de la Rosa |
Efficient Data Structures for Local Inconsistency Detection in Firewall ACL Updates. |
ICEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. |
ICCSA |
2009 |
DBLP DOI BibTeX RDF |
ruleset, framework, language, firewall, acl |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca |
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando De la Rosa T., Rafael M. Gasca |
Automatic extraction of social networks by topics of interest. |
IJCAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca |
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. |
SECURWARE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca |
Firewall Rule Set Inconsistency Characterization by Clustering. |
WOSIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca |
AFPL, an Abstract Language Model for Firewall ACLs. |
ICCSA |
2008 |
DBLP DOI BibTeX RDF |
ruleset, model, access control, language, firewalls, acl |
| 1 | Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca |
Towards a Dependable Architecture for Highly Available Internet Services. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Stateful firewalls, Reliability, High Availability, active replication |
| 1 | Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre |
Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW. |
ESORICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre |
Stateful Firewalling for Wireless Mesh Networks. |
NTMS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca |
hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. |
ICPADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre |
FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
fault tolerant, firewall, stateful |
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca |
A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. |
SECRYPT |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca |
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
consistency, diagnosis, firewall, conflict, acl, rule set |
| 1 | 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. |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca |
CSP-Based Firewall Rule Set Diagnosis using Security Policies. |
ARES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca |
Mesh Network Firewalling with Bloom Filters. |
ICC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca |
High Availability support for the design of stateful networking equipments. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
OpenSource, Security, Firewall, High Availability, Stateful |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego |
Constraint satisfaction techniques for diagnosing errors in design by contract software. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
Diagnosis, Design by Contract |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego |
Diagnosing Errors in DbC Programs Using Constraint Programming. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, Carmelo Del Valle |
A Topological-Based Method for Allocating Sensors by Using CSP Techniques. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba |
Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. |
CAEPIA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Pozo, Rafael M. Gasca, María Teresa Gómez López |
Securing Mobile Agent Based Tele-Assistance Systems. |
TELECARE |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, Miguel Toro |
On Selecting and Scheduling Assembly Plans Using Constraint Programming. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho |
A Genetic Algorithm for Assembly Sequence Planning. |
IWANN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
A Framework for Semiqualitative Reasoning in Engineering Applications. |
Applied Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro |
Max-CSP Approach for Software Diagnosis. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres |
A Semiquantitative Approach to Study Semiqualitative Systems. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres |
Qualitative Comparison of Temporal Series. QSI. |
CCIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro |
Diagnosis de Software usando técnicas Max-CSP. |
JISBD |
2002 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2001 |
DBLP BibTeX RDF |
|
| 1 | Antonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, Juan Antonio Ortega |
Qualitative Reasoning for Software Development Project by Constraint Programming. |
ICEIS |
2001 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2000 |
DBLP BibTeX RDF |
|
| 1 | Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro |
Obtención de patrones de Comportamiento de Modelos Semicualitativos. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |
Automatic Semiqualitative Analysis: Application to a Biometallurgical System. |
IEA/AIE (Vol. 1) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro |
Including Qualitative Knowledge in Semiqualitative Dynamical Systems. |
IEA/AIE (Vol. 1) |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")