Rafael M. Gasca

Rafael Martinez Gasca

	2012
72		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)
	2011
71		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
70		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
69		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
68		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
	2010
67		Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca: Current Topics in Artificial Intelligence, 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers Springer 2010
66		Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca: A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA 2010: 1037-1046
65		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
64		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
63		Angel Jesus Varela-Vaca, Rafael Martinez Gasca: OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS 2010: 213-222
62		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)
	2009
61		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
60		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
59		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
58		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)
57		Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefèvre: Demystifying Cluster-Based Fault-Tolerant Firewalls. IEEE Internet Computing 13(6): 31-38 (2009)
56		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)
55		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: A Heuristic Process for Local Inconsistency Diagnosis in Firewall Rule Sets. JNW 4(8): 698-710 (2009)
	2008
54		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets. ARES 2008: 229-236
53		Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, Rafael M. Gasca: Towards a Dependable Architecture for Highly Available Internet Services. ARES 2008: 422-427
52		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
51		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: AFPL, an Abstract Language Model for Firewall ACLs. ICCSA (2) 2008: 468-483
50		Pablo Neira Ayuso, Laurent Lefèvre, Rafael Martinez Gasca: hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls. ICPADS 2008: 525-532
49		Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, Laurent Lefèvre: Stateful Firewalling for Wireless Mesh Networks. NTMS 2008: 1-5
48		Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre: FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls. PDP 2008: 573-580
47		Sergio Pozo Hidalgo, Rafael Ceballos, Rafael Martinez Gasca: A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets. SECRYPT 2008: 430-441
46		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
45		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
44		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: Firewall Rule Set Inconsistency Characterization by Clustering. WOSIS 2008: 138-144
43		Fernando De la Rosa T., Rafael M. Gasca: Automatic extraction of social networks by topics of interest. IJCAT 33(4): 292-299 (2008)
	2007
42		Sergio Pozo, Rafael Ceballos, Rafael M. Gasca: CSP-Based Firewall Rule Set Diagnosis using Security Policies. ARES 2007: 723-729
41		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
40		Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, Rafael Martinez Gasca: Mesh Network Firewalling with Bloom Filters. ICC 2007: 1546-1551
39		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)
	2006
38		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
37		Pablo Neira Ayuso, Laurent Lefèvre, Rafael M. Gasca: High Availability support for the design of stateful networking equipments. ARES 2006: 254-261
36		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
35		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)
34		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)
	2005
33		Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210
32		Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, Irene Barba: Improving the Computational Efficiency in Symmetrical Numeric Constraint Satisfaction Problems. CAEPIA 2005: 269-279
31		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
30		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
29		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
28		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
27		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
26		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
	2004
25		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
24		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
23		Sergio Pozo, Rafael M. Gasca, María Teresa Gómez López: Securing Mobile Agent Based Tele-Assistance Systems. TELECARE 2004: 63-72
	2003
22		Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho: A Genetic Algorithm for Assembly Sequence Planning. IWANN (2) 2003: 337-344
21		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
20		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
19		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)
18		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)
	2002
17		Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, Jesús Torres: Qualitative Comparison of Temporal Series. QSI. CCIA 2002: 75-87
16		Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Max-CSP Approach for Software Diagnosis. IBERAMIA 2002: 172-181
15		Antonio Ortega, Rafael M. Gasca, Miguel Toro, Jesús Torres: A Semiquantitative Approach to Study Semiqualitative Systems. IBERAMIA 2002: 303-312
14		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
13		R. Cevallos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro: Diagnosis de Software usando técnicas Max-CSP. JISBD 2002: 425-426
12		Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: A Framework for Semiqualitative Reasoning in Engineering Applications. Applied Artificial Intelligence 16(3): 173-197 (2002)
11		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)
	2001
10		Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. CP 2001: 595-599
9		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
8		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
7		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)
6		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)
	2000
5		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)
4		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)
3		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)
	1998
2		Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro: Automatic Semiqualitative Analysis: Application to a Biometallurgical System. IEA/AIE (Vol. 1) 1998: 321-328
1		Juan Antonio Ortega, Rafael M. Gasca, Miguel Toro: Including Qualitative Knowledge in Semiqualitative Dynamical Systems. IEA/AIE (Vol. 1) 1998: 329-335

Coauthor Index

1	Pedro J. Abad	[9] [30]
2	Pablo Neira Ayuso	[37] [40] [48] [49] [50] [52] [53] [57] [62]
3	Irene Barba	[32]
4	Denis Barbaron	[53]
5	Diana Borrego	[33] [35] [64] [71]
6	Eduardo F. Camacho	[22]
7	Rafael Ceballos	[14] [16] [18] [19] [21] [24] [25] [26] [31] [33] [34] [35] [39] [41] [42] [44] [45] [46] [47] [51] [54] [55] [56] [58] [59] [64]
8	Victor Cejudo	[27] [31] [32]
9	R. Cevallos	[13]
10	Francisco Javier Cuberos	[17]
11	Romano Fantacci	[40]
12	Sergio Pozo Hidalgo (Sergio Pozo)	[23] [24] [26] [38] [42] [44] [45] [46] [47] [51] [54] [55] [56] [59] [60] [61] [66] [68] [72]
13	Laurent Lefèvre	[37] [48] [49] [50] [52] [53] [57] [62]
14	María Teresa Gómez López	[11] [18] [19] [21] [23] [24] [25] [27] [28] [29] [34] [36] [38] [39] [41] [58] [64] [65] [71]
15	Leonardo Maccari	[40] [49]
16	Lawrence Mandow (Lorenzo Mandow)	[67]
17	Antonio A. Márquez	[20]
18	Pedro Meseguer	[67]
19	Antonio Ortega	[15]
20	Juan Antonio Ortega	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [17] [30]
21	Luisa Parody	[71]
22	Andres Jimenez Ramirez	[69] [70]
23	Antonia M. Reina-Quintero	[72]
24	F. T. de la Rosa	[28] [29] [60]
25	Antonio J. Suárez	[9] [30]
26	Fernando De la Rosa T.	[43]
27	Miguel Toro	[1] [2] [3] [4] [5] [6] [7] [10] [12] [13] [15] [16] [17] [20] [22]
28	Fco. Fernando de la Rosa Troyano	[8] [14]
29	Jesus Torres Valderrama (Jesús Torres)	[15] [17]
30	Carmelo Del Valle	[11] [13] [14] [16] [18] [19] [20] [21] [22] [25] [26] [27] [28] [31] [32] [33] [34] [38] [39] [41] [58]
31	Angel Jesus Varela-Vaca	[45] [46] [59] [61] [63] [66] [68] [69] [70] [72]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page