IDEA Research Group - Publications
University of Seville

Publications

Authors: Type:

2021

  • Belen Ramos-Guitiérrez, Ángel Jesús Varela-Vaca, Jóse A. Galindo, María Teresa Gómez-López, and David Benavides. Discovering configuration workflows from existing logs using process mining. Empirical software engineering, 2021.
    [Bibtex]
    @article{EMSE,
    title = {Discovering Configuration Workflows From Existing Logs Using Process Mining},
    journal = {Empirical Software Engineering},
    year = {2021},
    issn ={1573-7616},
    author = {Ramos-Guitiérrez, Belen and Varela-Vaca, \'{A}ngel Jes\'{u}s and Galindo, Jóse A. and G\'{o}mez-L\'{o}pez, Mar\'{\i}a Teresa and Benavides, David},
    }

2020

  • [DOI] Ángel Jesús Varela-Vaca, David G. Rosado, Luis Enrique Sánchez, María Teresa Gómez-López, Rafael M. Gasca, and Eduardo Fernández-Medina. Definition and verification of security configurations of cyber-physical systems. In CyberICPS 2020/SECPRE 2020/ADIoT 2020, volume 12501 of Lecture Notes in Computer Science, pages 1-21. Springer, 2020.
    [Bibtex]
    @inproceedings{SecPre,
    author = {Varela-Vaca, \'{A}ngel Jes\'{u}s and G. Rosado, David and Enrique Sánchez, Luis and G\'{o}mez-L\'{o}pez, Mar\'{\i}a Teresa and Gasca, Rafael M. and Fernández-Medina, Eduardo},
    title = {Definition and Verification of Security Configurations of Cyber-Physical Systems},
    booktitle = {{CyberICPS 2020/SECPRE 2020/ADIoT 2020}},
    series = {Lecture Notes in Computer Science},
    volume = {12501},
    publisher = {Springer},
    isbn = {978-3-030-64329-4},
    pages = {1--21},
    year = {2020},
    doi = {10.1145/3382025.3414952},
    }
  • [DOI] Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, and María Teresa Gómez-López. DMN4DQ: When data quality meets DMN. Decision support systems, page 113450, 2020.
    [Bibtex]
    @article{VALENCIAPARRA2020113450,
    title = {{DMN4DQ}: {When} data quality meets {DMN}},
    journal = "Decision Support Systems",
    pages = "113450",
    year = "2020",
    issn = "0167-9236",
    doi = "https://doi.org/10.1016/j.dss.2020.113450",
    url = "http://www.sciencedirect.com/science/article/pii/S0167923620302050",
    author = "Álvaro Valencia-Parra and Luisa Parody and Ángel Jesús Varela-Vaca and Ismael Caballero and María Teresa Gómez-López",
    keywords = "Data usability, Data quality, Decision model and notation, Data quality rule, Data quality assessment, Data quality measurement",
    abstract = "To succeed in their business processes, organizations need data that not only attains suitable levels of quality for the task at hand, but that can also be considered as usable for the business. However, many researchers ground the potential usability of the data on its quality. Organizations would benefit from receiving recommendations on the usability of the data before its use. We propose that the recommendation on the usability of the data be supported by a decision process, which includes a context-dependent data-quality assessment based on business rules. Ideally, this recommendation would be generated automatically. Decision Model and Notation (DMN) enables the assessment of data quality based on the evaluation of business rules, and also, provides stakeholders (e.g., data stewards) with sound support for the automation of the whole process of generation of a recommendation regarding usability based on data quality. The main contribution of the proposal involves designing and enabling both DMN-driven mechanisms and a guiding methodology (DMN4DQ) to support the automatic generation of a decision-based recommendation on the potential usability of a data record in terms of its level of data quality. Furthermore, the validation of the proposal is performed through the application of a real dataset."
    }
  • [DOI] Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, and María Teresa Gómez-López. Amadeus: towards the automated security testing. In Proceedings of the 24th acm conference on systems and software product line: volume a – volume a, SPLC ’20, New York, NY, USA, 2020. Association for Computing Machinery.
    [Bibtex]
    @inproceedings{10.1145/3382025.3414952,
    author = {Varela-Vaca, \'{A}ngel Jes\'{u}s and Gasca, Rafael M. and Carmona-Fombella, Jose Antonio and G\'{o}mez-L\'{o}pez, Mar\'{\i}a Teresa},
    title = {AMADEUS: Towards the AutoMAteD SecUrity TeSting},
    year = {2020},
    isbn = {9781450375696},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/3382025.3414952},
    doi = {10.1145/3382025.3414952},
    booktitle = {Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A},
    articleno = {11},
    numpages = {12},
    keywords = {cybersecurity, feature model, testing, vulnerabilities, pentesting, reasoning, vulnerable configuration},
    location = {Montreal, Quebec, Canada},
    series = {SPLC '20}
    }
  • [DOI] Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, Luisa Parody, and María Teresa Gómez-López. Unleashing constraint optimisation problem solving in big data environments. Journal of computational science, 45:101180, 2020.
    [Bibtex]
    @article{VALENCIAPARRA2020101180,
    title = "Unleashing Constraint Optimisation Problem solving in Big Data environments",
    journal = "Journal of Computational Science",
    volume = "45",
    pages = "101180",
    year = "2020",
    issn = "1877-7503",
    doi = "https://doi.org/10.1016/j.jocs.2020.101180",
    url = "http://www.sciencedirect.com/science/article/pii/S1877750320304816",
    author = "Álvaro Valencia-Parra and Ángel Jesús Varela-Vaca and Luisa Parody and María Teresa Gómez-López",
    keywords = "Big Data, Optimisation problem, Constraint programming, Distributed data, Heterogeneous data format",
    abstract = "The application of the optimisation problems in the daily decisions of companies is able to be used for finding the best management according to the necessities of the organisations. However, optimisation problems imply a high computational complexity, increased by the current necessity to include a massive quantity of data (Big Data), for the creation of optimisation problems to customise products and services for their clients. The irruption of Big Data technologies can be a challenge but also an important mechanism to tackle the computational difficulties of optimisation problems, and the possibility to distribute the problem performance. In this paper, we propose a solution that lets the query of a data set supported by Big Data technologies that imply the resolution of Constraint Optimisation Problem (COP). This proposal enables to: (1) model COPs whose input data are obtained from distributed and heterogeneous data; (2) facilitate the integration of different data sources to create the COPs; and, (3) solve the optimisation problems in a distributed way, to improve the performance. It is done by means of a framework and supported by a tool capable of modelling, solving and querying the results of optimisation problems. The tool integrates the Big Data technologies and commercial solvers of constraint programming. The suitability of the proposal and the development have been evaluated with real data sets whose computational study and results are included and discussed."
    }
  • [DOI] Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Prognosis of multiple instances in time-aware declarative business process models. Computers in industry, 120:103243, 2020.
    [Bibtex]
    @article{BORREGO2020103243,
    title = "Prognosis of multiple instances in time-aware declarative business process models",
    journal = "Computers in Industry",
    volume = "120",
    pages = "103243",
    year = "2020",
    issn = "0166-3615",
    doi = "https://doi.org/10.1016/j.compind.2020.103243",
    url = "http://www.sciencedirect.com/science/article/pii/S0166361519308309",
    author = "Diana Borrego and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca",
    keywords = "Declarative business processes, Multiple instances, Model-based prognosis, Robustness",
    abstract = "Technological evolution, heading for industry 4.0, makes companies tend to automate their management and operation, ideally defining it through business process models. To describe policies or rules related to the execution order of the activities in an organization, Declarative Business Process Models permit a relaxed description of activity order, which needs monitoring to detect non-conforming behaviors. Commonly, the detection of a violation implies that the malfunction has already occurred, being better to avoid the violation in advance. To predict future violations, prognosis is required. To allow the modeling of real business behavior, an extension of declarative business process models including both time patterns and multiple instances is proposed. This new model can be used to prognosticate if current process instances may violate a defined model in the future, according to the analysis of the robustness of the process instances evolution. The proposed Model-Based Prognosis is based on analyzing the event traces that represent the current instances and propagate their possible progression through the Constraint Programming paradigm. To ascertain if the model could be violated, it is analyzed how its robustness can tackle unexpected behaviors. To complete the formalization and modeling, an implementation applied to a real medical example is included in the paper. The prognosis of concurrent instances is addressed, dealing with formalized time and activity patterns even considering the resource availability, and getting acceptable execution times. The automatic verification and prognosis of declarative business processes are addressed considering concurrency and synchronization of multiple instances, performing well in terms of execution time."
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez-López, Rik Eshuis, Marco Montali, and Rafael M. Gasca. Verifying the manipulation of data objects according to business process and data models. Knowledge and information systems, Jan 2020.
    [Bibtex]
    @Article{Pérez-Álvarez2020,
    author="P{\'e}rez-{\'A}lvarez, Jos{\'e} Miguel
    and G{\'o}mez-L{\'o}pez, Mar{\'i}a Teresa
    and Eshuis, Rik
    and Montali, Marco
    and Gasca, Rafael M.",
    title="Verifying the manipulation of data objects according to business process and data models",
    journal="Knowledge and Information Systems",
    year="2020",
    month="Jan",
    day="03",
    abstract="Business processes read and write data objects, usually stored in databases. Although data models and activity-oriented business process models originate from different paradigms, they need to work together properly. The data object states are transformed during each process instance by the activities of the process model. It is therefore necessary to verify whether the states of the data objects are correct according to the process model, and to discover the states of the stored data objects. This implies determining the relation between the data objects stored in the database, the data objects involved in the process, and the activities that within the business process that create the data objects and modify their states. In order to verify the business process annotated with data states and to reduce the existing gap between data model and business process model, we propose a methodology that includes enlarging the capability to describe data states in business processes; verifying the completeness and consistency of the data states described in accordance with their relation to the business process model; and discovering the states of the data objects stored in the database according to the business process model where they are managed. The methodology is supported by a framework that enables a natural-like language to be employed to describe the states, to apply the necessary algorithms to verify the consistency and completeness of the model, and to determine the states of the stored data objects according to the model described. To validate our proposal, an extension of Activiti{\$}{\$}^{\{}TM{\}}{\$}{\$}TM has been implemented and applied to a real example as an illustration of its applicability.",
    issn="0219-3116",
    doi="10.1007/s10115-019-01431-5",
    url="https://doi.org/10.1007/s10115-019-01431-5"
    }

2019

  • [DOI] Rafael M. Gasca, Ángel Jesús Varela-Vaca, and Rafael Ceballos. Constraint-driven fault diagnosis, pages 347-364. Springer International Publishing, Cham, 2019.
    [Bibtex]
    @Inbook{Gasca2019,
    author="Gasca, Rafael M.
    and Varela-Vaca, {\'A}ngel Jes{\'u}s
    and Ceballos, Rafael",
    editor="Escobet, Teresa
    and Bregon, Anibal
    and Pulido, Belarmino
    and Puig, Vicen{\c{c}}",
    title="Constraint-Driven Fault Diagnosis",
    bookTitle="Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches",
    year="2019",
    publisher="Springer International Publishing",
    address="Cham",
    pages="347--364",
    isbn="978-3-030-17728-7",
    doi="10.1007/978-3-030-17728-7_14",
    url="https://doi.org/10.1007/978-3-030-17728-7_14"
    }
  • [DOI] Rafael Ceballos, Rui Abreu, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. Model-based software debugging, pages 365-387. Springer International Publishing, Cham, 2019.
    [Bibtex]
    @Inbook{Ceballos2019,
    author="Ceballos, Rafael
    and Abreu, Rui
    and Varela-Vaca, {\'A}ngel Jes{\'u}s
    and Gasca, Rafael M.",
    editor="Escobet, Teresa
    and Bregon, Anibal
    and Pulido, Belarmino
    and Puig, Vicen{\c{c}}",
    title="Model-Based Software Debugging",
    bookTitle="Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches",
    year="2019",
    publisher="Springer International Publishing",
    address="Cham",
    pages="365--387",
    isbn="978-3-030-17728-7",
    doi="10.1007/978-3-030-17728-7_15",
    url="https://doi.org/10.1007/978-3-030-17728-7_15"
    }
  • [DOI] Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, and María Teresa Gómez-López. DMN for data quality measurement and assessment. In Business process management workshops – BPM 2019 international workshops, vienna, austria, september 1-6, 2019, revised selected papers, pages 362-374, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Valencia-ParraP19,
    author = {{\'{A}}lvaro Valencia-Parra and
    Luisa Parody and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Ismael Caballero and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {{DMN} for Data Quality Measurement and Assessment},
    booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
    Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
    pages = {362--374},
    year = {2019},
    crossref = {DBLP:conf/bpm/2019w},
    url = {https://doi.org/10.1007/978-3-030-37453-2\_30},
    doi = {10.1007/978-3-030-37453-2\_30},
    timestamp = {Tue, 07 Jan 2020 14:48:12 +0100},
    biburl = {https://dblp.org/rec/bib/conf/bpm/Valencia-ParraP19},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca , Rafael M. Gasca, Rafael Ceballos, María Teresa Gómez-López, and Pedro Bernáldez Torres. Cyberspl: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines. Applied sciences, 9(24), 2019.
    [Bibtex]
    @Article{app9245364,
    AUTHOR = {Varela-Vaca , Ángel Jesús and Gasca, Rafael M. and Ceballos, Rafael and Gómez-López, María Teresa and Torres, Pedro Bernáldez},
    TITLE = {CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines},
    JOURNAL = {Applied Sciences},
    VOLUME = {9},
    YEAR = {2019},
    NUMBER = {24},
    ARTICLE-NUMBER = {5364},
    URL = {https://www.mdpi.com/2076-3417/9/24/5364},
    ISSN = {2076-3417},
    ABSTRACT = {Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due to the absence of security configurations or the use of default configuration values of software products and systems. The complexity in the configuration of products and systems is a known challenge in the software industry since it includes a wide range of parameters to be taken into account. In other contexts, the configuration problems are solved using Software Product Lines. This is the reason why in this article the framework Cybersecurity Software Product Line (CyberSPL) is proposed. CyberSPL is based on a methodology to design product lines to verify cybersecurity policies according to the possible configurations. The patterns to configure the systems related to the cybersecurity aspects are grouped by defining various feature models. The automated analysis of these models allows us to diagnose possible problems in the security configurations, reducing or avoiding them. As support for this proposal, a multi-user and multi-platform solution has been implemented, enabling setting a catalogue of public or private feature models. Moreover, analysis and reasoning mechanisms have been integrated to obtain all the configurations of a model, to detect if a configuration is valid or not, including the root cause of problems for a given configuration. For validating the proposal, a real scenario is proposed where a catalogue of four different feature models is presented. In this scenario, the models have been analysed, different configurations have been validated, and several configurations with problems have been diagnosed.},
    DOI = {10.3390/app9245364}
    }
  • [DOI] Francisco José Ramírez-López, Ángel Jesús Varela-Vaca, Jorge Ropero, Joaquín Luque, and Alejandro Carrasco. A framework to secure the development and auditing of ssl pinning in mobile applications: the case of android devices. Entropy (special issue – blockchain: security, challenges, and opportunities), 21(12), 2019.
    [Bibtex]
    @Article{e21121136,
    AUTHOR = {Ram\'irez-L\'opez, Francisco Jos\'e and Varela-Vaca, {\'{A}}ngel Jes{\'{u}}s and Ropero, Jorge and Luque, Joaqu\'in and Carrasco, Alejandro},
    TITLE = {A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices},
    JOURNAL = {Entropy (Special Issue - Blockchain: Security, Challenges, and Opportunities)},
    VOLUME = {21},
    YEAR = {2019},
    NUMBER = {12},
    ARTICLE-NUMBER = {1136},
    URL = {https://www.mdpi.com/1099-4300/21/12/1136},
    ISSN = {1099-4300},
    ABSTRACT = {The use of mobile devices has undergone rapid growth in recent years. However, on some occasions, security has been neglected when developing applications. SSL/TLS has been used for years to secure communications although it is not a vulnerability-free protocol. One of the most common vulnerabilities is SSL pinning bypassing. This paper first describes some security controls to help protect against SSL pinning bypassing. Subsequently, some existing methods for bypassing are presented and two new methods are defined. We performed some experiments to check the use of security controls in widely used applications, and applied SSL pinning bypassing methods. Finally, we created an applicability framework, relating the implemented security controls and the methods that are applicable. This framework provides a guideline for pentesters and app developers.},
    DOI = {10.3390/e21121136}
    }
  • Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, and Paolo Ceravolo. CHAMALEON: framework to improve data wrangling with complex data. In Proceedings of the 40th international conference on information systems, ICIS 2019, munich, germany, december 15-18, 2019, 2019.
    [Bibtex]
    @inproceedings{ICIS2019,
    author = {{\'{A}}lvaro Valencia-Parra and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Paolo Ceravolo},
    title = {{CHAMALEON:} Framework to improve Data Wrangling with Complex Data},
    booktitle = {Proceedings of the 40th International Conference on Information Systems,
    {ICIS} 2019, Munich, Germany, December 15-18, 2019},
    year = {2019},
    crossref = {DBLP:conf/icis/2019},
    url = {https://aisel.aisnet.org/icis2019/data\_science/data\_science/16},
    timestamp = {Tue, 10 Dec 2019 13:28:31 +0100},
    biburl = {https://dblp.org/rec/bib/conf/icis/Valencia-ParraV19},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • Alvaro Valencia-Parra, Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, and Antonio Garcia Bernal. Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data. In Proceedings of the industry forum at BPM 2019 co-located with 17th international conference on business process management (BPM 2019), vienna, austria, september 1-6, 2019., pages 166-177, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Valencia-ParraR19,
    author = {Alvaro Valencia-Parra and
    Bel{\'{e}}n Ramos-Guti{\'{e}}rrez and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and Mar{\'{\i}}a Teresa G{\'{o}}mez L{\'{o}}pez and
    Antonio Garcia Bernal},
    title = {Enabling process mining in aircraft manufactures: extracting event
    logs and discovering processes from complex data},
    booktitle = {Proceedings of the Industry Forum at {BPM} 2019 co-located with 17th
    International Conference on Business Process Management {(BPM} 2019),
    Vienna, Austria, September 1-6, 2019.},
    pages = {166--177},
    year = {2019},
    crossref = {DBLP:conf/bpm/2019f},
    url = {http://ceur-ws.org/Vol-2428/paper15.pdf},
    timestamp = {Fri, 30 Aug 2019 13:15:06 +0200},
    biburl = {https://dblp.org/rec/bib/conf/bpm/Valencia-ParraR19},
    bibsource = {dblp computer science bibliography, https://dblp.org}
    }
  • [DOI] Damián Fernández-Cerero, Ángel Jesús Varela-Vaca, Alejandro Fernández-Montes, María Teresa Gómez-López, and José Antonio Alvárez-Bermejo. Measuring data-centre workflows complexity through process mining: the google cluster case. The journal of supercomputing, 2019.
    [Bibtex]
    @article{FernndezCerero2019,
    doi = {10.1007/s11227-019-02996-2},
    url = {https://doi.org/10.1007/s11227-019-02996-2},
    year = {2019},
    publisher = {Springer Science and Business Media {LLC}},
    author = {Dami{\'{a}}n Fern{\'{a}}ndez-Cerero and {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and Alejandro Fern{\'{a}}ndez-Montes and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Jos{\'{e}} Antonio Alv{\'{a}}rez-Bermejo},
    title = {Measuring data-centre workflows complexity through process mining: the Google cluster case},
    journal = {The Journal of Supercomputing}
    }
  • [DOI] Ángel Jesús Varela-Vaca, José A. Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez-López, and David Benavides. Process Mining to Unleash Variability Management:Discovering Configuration Workflows Using Logs. In Proceeedings of the 23nd international systems and software product line conference, SPLC 2019, paris, france, september 9-13, 2019, page –, 2019.
    [Bibtex]
    @inproceedings{DBLP:conf/splc/VarshosazATRMS18,
    author = {\'Angel Jes\'us Varela-Vaca and Jos\'e A. Galindo and Belén Ramos-Gutiérrez and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and David Benavides },
    title = {{Process Mining to Unleash Variability Management:Discovering Configuration Workflows Using Logs}},
    booktitle = {Proceeedings of the 23nd International Systems and Software Product
    Line Conference, {SPLC} 2019, Paris, France, September
    9-13, 2019},
    pages = {--},
    year = {2019},
    url = {https://doi.org/10.1145/3336294.3336303},
    doi = {10.1145/3336294.3336303},
    }
  • Francisco J. Ramírez-Lopez, Ángel Jesús Varela-Vaca, Jorge Ropero, and Alejandro Carrasco. Guidelines towards secure ssl pinning in mobile applications. Actas de las v Jornadas Nacionales de Investigación en Ciberseguridad (JNIC 2019), pages 238-244, 2019.
    [Bibtex]
    @article {AngelJNIC2019,
    author = "Francisco J. Ram\'irez-Lopez and \'Angel Jes\'us Varela-Vaca and Jorge Ropero and Alejandro Carrasco ",
    title = "Guidelines Towards Secure SSL Pinning in Mobile Applications",
    journal = "Actas de las V {J}ornadas {N}acionales de {I}nvestigaci\'on en {C}iberseguridad ({JNIC} 2019)",
    year = "2019",
    isbn = "978-84-09-12121-2",
    pages = "238-244",
    publisher = "Universidad de Extremadura. Servicio de Publicaciones"
    }
  • Ángel Jesús Varela-Vaca, Rafael M. Gasca, Rafael Ceballos, and Pedro Bernáldez Torres. 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 Investigación en Ciberseguridad (JNIC 2019), pages 143-150, 2019.
    [Bibtex]
    @article {AngelJNIC2019,
    author = "\'Angel Jes\'us Varela-Vaca and Rafael M. Gasca and Rafael Ceballos and Pedro Bern\'aldez Torres",
    title = "CyberSPL: Plataforma para la verificaci\'on del cumplimiento de pol\'iticas de ciberseguridad en configuraciones de sistemas usando modelos de caracter\'isticas",
    journal = "Actas de las V {J}ornadas {N}acionales de {I}nvestigaci\'on en {C}iberseguridad ({JNIC} 2019)",
    year = "2019",
    isbn = "978-84-09-12121-2",
    pages = "143-150",
    publisher = "Universidad de Extremadura. Servicio de Publicaciones"
    }
  • [DOI] Ángel Jesús Varela-Vaca, Luisa Parody, Rafael M. Gasca, and María Teresa Gómez-López. Automatic verification and diagnosis of security risk assessments in business process models. IEEE Access, 7:26448-26465, 2019.
    [Bibtex]
    @ARTICLE{AngelIEEEAccess,
    author={\'{A}ngel Jes\'{u}s Varela-Vaca and Luisa {Parody} and Rafael M. {Gasca} and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    journal={{IEEE} {A}ccess},
    title={Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models},
    year={2019},
    volume={7},
    number={},
    pages={26448-26465},
    doi={10.1109/ACCESS.2019.2901408},
    ISSN={2169-3536},
    month={},}
  • [DOI] Diana Borrego and María Teresa Gómez-López. Diagnosing business processes, pages 389-408. Springer International Publishing, Cham, 2019.
    [Bibtex]
    @Inbook{Borrego2019,
    author={Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    editor="Escobet, Teresa
    and Bregon, Anibal
    and Pulido, Belarmino
    and Puig, Vicen{\c{c}}",
    title="Diagnosing Business Processes",
    bookTitle="Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches",
    year="2019",
    publisher="Springer International Publishing",
    address="Cham",
    pages="389--408",
    isbn="978-3-030-17728-7",
    doi="10.1007/978-3-030-17728-7_16",
    url="https://doi.org/10.1007/978-3-030-17728-7_16"
    }

2018

  • [DOI] Luisa Parody, María Teresa Gómez-López, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. Business process configuration according to data dependency specification. Applied sciences, 8(10), 2018.
    [Bibtex]
    @Article{app8102008,
    AUTHOR = {Parody, Luisa and G{\'{o}}mez-L{\'{o}}pez, Mar{\'{\i}}a Teresa and Varela-Vaca, {\'{A}}ngel Jes{\'{u}}s and Gasca, Rafael M.},
    TITLE = {Business Process Configuration according to Data Dependency Specification},
    JOURNAL = {Applied Sciences},
    VOLUME = {8},
    YEAR = {2018},
    NUMBER = {10},
    ARTICLE-NUMBER = {2008},
    URL = {http://www.mdpi.com/2076-3417/8/10/2008},
    ISSN = {2076-3417},
    DOI = {10.3390/app8102008}
    }
  • Kevin Daniel Cisneros, Ángel Jesús Varela-Vaca, Luisa Parody, and María Teresa Gómez-López. Análisis de los datos y coreografía de múltiples procesos en entornos logísticos. In XIV Jornadas de ciencia e ingeniería de servicios (JCIS 2018), pages 17-31, 2018.
    [Bibtex]
    @inproceedings{AngelJCIS18,
    author = {Kevin Daniel Cisneros and \'{A}ngel Jes\'{u}s Varela-Vaca and Luisa Parody and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {An{\'{a}}lisis de los datos y coreograf{\'{i}}a de m{\'{u}}ltiples procesos en entornos log{\'{i}}sticos},
    booktitle = {{XIV} {J}ORNADAS DE CIENCIA E INGENIER{\'{I}}A DE SERVICIOS ({JCIS} 2018)},
    year = {2018},
    pages = {17--31},
    location = {Sevilla, Spain}
    }
  • [DOI] José Miguel Pérez-Álvarez, Alejandro Maté, María Teresa Gómez-López, and Juan Trujillo. Tactical business-process-decision support based on KPIs monitoring and validation. Computers in industry, 102:23-39, 2018.
    [Bibtex]
    @article{PEREZALVAREZ201823,
    title = "Tactical Business-Process-Decision Support based on {KPIs} Monitoring and Validation",
    journal = "Computers in Industry",
    volume = "102",
    pages = "23 - 39",
    year = "2018",
    issn = "0166-3615",
    doi = "https://doi.org/10.1016/j.compind.2018.08.001",
    url = "http://www.sciencedirect.com/science/article/pii/S0166361517307819",
    author = "Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and Alejandro Mat{\'{e}} and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Juan Trujillo",
    }
  • José Miguel Pérez-Álvarez, Mario Cortes Cornax, and Adrian Mos. Form generation and externaliziation in workflow execution. . United States Patent and Trademark Office, 2018.
    [Bibtex]
    @inproceedings{FormGenerationPattent,
    title={Form Generation And Externaliziation In Workflow Execution},
    author={Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and Mario Cortes Cornax and Adrian Mos},
    url={https://patentimages.storage.googleapis.com/1f/cb/b1/4f51a4ea139358/US20180349812A1.pdf},
    year={2018},
    publisher={United States Patent and Trademark Office}
    }
  • José Miguel Pérez-Álvarez, Mario Cortes Cornax, Adrian Mos, and Yves Hoppenot. Data management externalization for workflow definition and execution. . United States Patent and Trademark Office, 2018.
    [Bibtex]
    @inproceedings{FormGenerationPattent,
    title={Data Management Externalization For Workflow Definition And Execution},
    author={Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and Mario Cortes Cornax and Adrian Mos and Yves Hoppenot},
    url={https://patentimages.storage.googleapis.com/6d/3b/9c/1a49eac9b549fe/US20180349778A1.pdf},
    year={2018},
    publisher={United States Patent and Trademark Office}
    }

2017

  • Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, and Rafael M. Gasca. FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data environment. In Information system development – improving enterprise communication, [proceedings of the 26th international conference on information systems development, ISD 2017, Larnaca, Cyprus], 2017.
    [Bibtex]
    @inproceedings{Parody2017,
    author = {Luisa Parody and {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {{FABIOLA}: {De}fining the {C}omponents for {C}onstraint {O}ptimization {P}roblems in {B}ig {D}ata Environment },
    booktitle = {Information System Development - Improving Enterprise Communication,
    [Proceedings of the 26th International Conference on Information Systems
    Development, {ISD} 2017, {L}arnaca, {C}yprus]},
    pages = {},
    year = {2017},
    }
  • Mario Cortés, José Miguel Pérez-Álvarez, and Adrian Mos María Teresa Gómez-López. Domain-Specific Data Management for Platform-Independent Process Governance. In The 36th international conference on conceptual modeling, er2017 forum 2017, valencia, spain, 2017, proceeding, 2017.
    [Bibtex]
    @inproceedings{ER2017,
    author = {Mario Cort{\'{e}}s and Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and Adrian Mos
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {{Domain{-}Specific Data Management for Platform{-}Independent Process Governance}},
    booktitle = {The 36th International Conference on Conceptual Modeling, ER2017 Forum
    2017, Valencia, Spain, 2017, Proceeding},
    pages = {},
    year = {2017},
    }
  • [DOI] María Teresa Gómez López and Rafael M. Gasca. Object relational constraint databases for GIS. In Encyclopedia of GIS., pages 1449-1457. , 2017.
    [Bibtex]
    @incollection{DBLP:reference/gis/LopezG17,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Object Relational Constraint Databases for {GIS}},
    booktitle = {Encyclopedia of {GIS.}},
    pages = {1449--1457},
    year = {2017},
    crossref = {DBLP:reference/gis/2017},
    url = {https://doi.org/10.1007/978-3-319-17885-1_1598},
    doi = {10.1007/978-3-319-17885-1_1598},
    timestamp = {Mon, 15 May 2017 18:00:06 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/reference/gis/LopezG17},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Adrian Mos, Mario Cortes Cornax, José Miguel Pérez-Álvarez, and María Teresa Gómez López. A model-driven framework for domain specific process design and governance. In Proceedings of the BPM demo track and BPM dissertation award co-located with 15th international conference on business process modeling (BPM 2017), barcelona, spain, september 13, 2017., 2017.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/MosCPL17,
    author = {Adrian Mos and
    Mario Cortes Cornax and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez L{\'{o}}pez},
    title = {A Model-Driven Framework for Domain Specific Process Design and Governance},
    booktitle = {Proceedings of the {BPM} Demo Track and {BPM} Dissertation Award co-located
    with 15th International Conference on Business Process Modeling {(BPM}
    2017), Barcelona, Spain, September 13, 2017.},
    year = {2017},
    crossref = {DBLP:conf/bpm/2017d},
    url = {http://ceur-ws.org/Vol-1920/BPM_2017_paper_183.pdf},
    timestamp = {Mon, 11 Sep 2017 07:59:04 +0200},
    biburl = {http://dblp.org/rec/bib/conf/bpm/MosCPL17},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2016

  • Luisa Parody, María Teresa Gómez-López, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, and Mario Piattini. PAIS-DQ: Extending Process-aware Information Systems to support Data Quality in PAIS Life-cycle. In 10th IEEE International Conference on Research Challenges in Information Science (RCIS 2016), pages 213-224, 2016.
    [Bibtex]
    @inproceedings{Parody16rcis,
    author = {Luisa Parody and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Isabel Bermejo and Ismael Caballero and Rafael M. Gasca and Mario Piattini},
    title = {{PAIS-DQ}: {E}xtending {P}rocess-Aware {I}nformation {S}ystems to support {D}ata {Q}uality in {PAIS} {L}ife-cycle},
    booktitle = {10th {IEEE} {I}nternational {C}onference on {R}esearch {C}hallenges in {I}nformation {S}cience ({RCIS} 2016)},
    year = {2016},
    pages = {213-224},
    location = {Grenoble, France}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Hybrid business process modeling for the optimization of outcome data. Information & software technology, 70:140-154, 2016.
    [Bibtex]
    @article{DBLP:journals/infsof/ParodyLG16,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Hybrid business process modeling for the optimization of outcome data},
    journal = {Information {\&} Software Technology},
    volume = {70},
    pages = {140--154},
    year = {2016},
    url = {http://dx.doi.org/10.1016/j.infsof.2015.10.007},
    doi = {10.1016/j.infsof.2015.10.007},
    timestamp = {Tue, 22 Dec 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/infsof/ParodyLG16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Hybrid diagnosis applied to multiple instances in business processes. In Enterprise, business-process and information systems modeling – 17th international conference, BPMDS 2016, 21st international conference, EMMSAD 2016, held at caise 2016, ljubljana, slovenia, june 13-14, 2016, proceedings, pages 212-227, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/caise/CeballosBLG16,
    author = {Rafael Ceballos and
    Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Hybrid Diagnosis Applied to Multiple Instances in Business Processes},
    booktitle = {Enterprise, Business-Process and Information Systems Modeling - 17th
    International Conference, {BPMDS} 2016, 21st International Conference,
    {EMMSAD} 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,
    2016, Proceedings},
    pages = {212--227},
    year = {2016},
    crossref = {DBLP:conf/caise/2016bpmds},
    url = {http://dx.doi.org/10.1007/978-3-319-39429-9_14},
    doi = {10.1007/978-3-319-39429-9_14},
    timestamp = {Tue, 07 Jun 2016 13:58:21 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caise/CeballosBLG16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. A usage control model extension for the verification of security policies in artifact-centric business process models. In Business information systems – 19th international conference, BIS 2016, leipzig, germany, july, 6-8, 2016, proceedings, pages 289-301, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bis/Varela-VacaBLG16,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {A Usage Control Model Extension for the Verification of Security Policies
    in Artifact-Centric Business Process Models},
    booktitle = {Business Information Systems - 19th International Conference, {BIS}
    2016, Leipzig, Germany, July, 6-8, 2016, Proceedings},
    pages = {289--301},
    year = {2016},
    crossref = {DBLP:conf/bis/2016},
    url = {http://dx.doi.org/10.1007/978-3-319-39426-8_23},
    doi = {10.1007/978-3-319-39426-8_23},
    timestamp = {Tue, 28 Jun 2016 16:53:11 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bis/Varela-VacaBLG16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. Guiding the creation of choreographed processes with multiple instances based on data models. In Business process management workshops – BPM 2016 international workshops, rio de janeiro, brazil, september 19, 2016, revised papers, pages 239-251, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/LopezPVG16,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    title = {Guiding the Creation of Choreographed Processes with Multiple Instances
    Based on Data Models},
    booktitle = {Business Process Management Workshops - {BPM} 2016 International Workshops,
    Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
    pages = {239--251},
    year = {2016},
    crossref = {DBLP:conf/bpm/2016w},
    url = {http://dx.doi.org/10.1007/978-3-319-58457-7_18},
    doi = {10.1007/978-3-319-58457-7_18},
    timestamp = {Fri, 05 May 2017 11:21:10 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpm/LopezPVG16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • María Teresa Gómez-López, Diana Borrego, Josep Carmona, and Rafael M. Gasca. Computing alignments with constraint programming: the acyclic case. In Proceedings of the international workshop on algorithms & theories for the analysis of event data 2016 satellite event of the conferences: 37th international conference on application and theory of petri nets and concurrency petri nets 2016 and 16th international conference on application of concurrency to system design ACSD 2016, torun, poland, june 20-21, 2016., pages 96-110, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/apn/LopezBCG16,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Diana Borrego and
    Josep Carmona and
    Rafael M. Gasca},
    title = {Computing Alignments with Constraint Programming: The Acyclic Case},
    booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
    for the Analysis of Event Data 2016 Satellite event of the conferences:
    37th International Conference on Application and Theory of Petri Nets
    and Concurrency Petri Nets 2016 and 16th International Conference
    on Application of Concurrency to System Design {ACSD} 2016, Torun,
    Poland, June 20-21, 2016.},
    pages = {96--110},
    year = {2016},
    crossref = {DBLP:conf/apn/2016ataed},
    url = {http://ceur-ws.org/Vol-1592/paper07.pdf},
    timestamp = {Thu, 30 Jun 2016 18:59:10 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/apn/LopezBCG16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez López, Angel Jesus Varela-Vaca, Fco. Fernando Rosa de la Troyano, and Rafael M. Gasca. Governance knowledge management and decision support using fuzzy governance maps. In Business process management workshops – BPM 2016 international workshops, rio de janeiro, brazil, september 19, 2016, revised papers, pages 208-219, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Perez-AlvarezLV16,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez L{\'{o}}pez and
    Angel Jesus Varela-Vaca and
    Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca},
    title = {Governance Knowledge Management and Decision Support Using Fuzzy Governance
    Maps},
    booktitle = {Business Process Management Workshops - {BPM} 2016 International Workshops,
    Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},
    pages = {208--219},
    year = {2016},
    crossref = {DBLP:conf/bpm/2016w},
    url = {http://dx.doi.org/10.1007/978-3-319-58457-7_16},
    doi = {10.1007/978-3-319-58457-7_16},
    timestamp = {Fri, 05 May 2017 11:21:10 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpm/Perez-AlvarezLV16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] José Miguel Pérez-Álvarez, María Teresa Gómez-López, Luisa Parody, and Rafael M. Gasca. Process instance query language to include process performance indicators in DMN. In 20th IEEE international enterprise distributed object computing workshop, EDOC workshops 2016, vienna, austria, september 5-9, 2016, pages 1-8, 2016.
    [Bibtex]
    @inproceedings{DBLP:conf/edoc/Perez-AlvarezLP16,
    author = {Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Luisa Parody and
    Rafael M. Gasca},
    title = {Process Instance Query Language to Include Process Performance Indicators
    in {DMN}},
    booktitle = {20th {IEEE} International Enterprise Distributed Object Computing
    Workshop, {EDOC} Workshops 2016, Vienna, Austria, September 5-9, 2016},
    pages = {1--8},
    year = {2016},
    crossref = {DBLP:conf/edoc/2016w},
    url = {http://dx.doi.org/10.1109/EDOCW.2016.7584381},
    doi = {10.1109/EDOCW.2016.7584381},
    timestamp = {Tue, 11 Oct 2016 14:57:56 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/edoc/Perez-AlvarezLP16},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] M. Fernández-Boyano, D. Tabernero-Pérez, S. Alonso-Herrero, José Miguel Pérez-Álvarez, F. J. Blanco-Velázquez, M. Anaya-Romero, and J. E. Fernández-Luque. Developing the prototype andaland for agriculture soil and water assessment in climate change scenarios [desenvolvimento do protótipo andaland para avaliação de solos agrícolas e da água em cenários de alterações climáticas] [desarrollo del prototipo andaland para evaluar suelos agrícolas y agua en el marco del cambio climático]. Spanish journal of soil science, 6(1):21-36, 2016.
    [Bibtex]
    @ARTICLE{Fernández-Boyano201621,
    author={Fernández-Boyano, M. and Tabernero-Pérez, D. and Alonso-Herrero, S. and Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez and Blanco-Velázquez, F.J. and Anaya-Romero, M. and Fernández-Luque, J.E.},
    title={Developing the prototype AndaLAND for agriculture soil and water assessment in climate change scenarios [Desenvolvimento do protótipo AndaLAND para avaliação de solos agrícolas e da água em cenários de alterações climáticas] [Desarrollo del prototipo AndaLAND para evaluar suelos agrícolas y agua en el marco del cambio climático]},
    journal={Spanish Journal of Soil Science},
    year={2016},
    volume={6},
    number={1},
    pages={21-36},
    doi={10.3232/SJSS.2016.V6.N1.03},
    url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84962255399&partnerID=40&md5=baf88a04fdc847400caccd260431bfbc},
    document_type={Article},
    source={Scopus},
    }

2015

  • Ángel Jesús Varela-Vaca, María Teresa Gómez-López, David Jiménez Vargas, Rafael M. Gasca, Antonio Suárez J. Fábrega, and Pedro Abad J. Herrera. An open-source proactive security infrastructure for business process management. In Proceedings of the 26th international business information management association conference, pages 1671-1678. IBIMA, Nov 2015.
    [Bibtex]
    @inproceedings{Varela-VAcaIBIMA2015,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and David Jim{\'{e}}nez Vargas and Rafael M. Gasca and Antonio J. Su{\'{a}}rez F{\'{a}}brega and Pedro J. Abad Herrera},
    title = {An Open-Source Proactive Security Infrastructure For Business Process Management},
    booktitle = {Proceedings of the 26th International Business Information Management Association Conference},
    publisher = {IBIMA},
    pages = {1671-1678},
    venue = {Madrid, Spain},
    month = {Nov},
    year = {2015},
    isbn = {978-0-9860419-5-2}
    }
  • [DOI] Ángel Jesús Varela-Vaca and Rafael M. Gasca. Formalization of security patterns as a means to infer security controls in business processes. Logic journal of the IGPL, 23(1):57-72, 2015.
    [Bibtex]
    @article{DBLP:journals/igpl/Varela-VacaG15,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    title = {Formalization of security patterns as a means to infer security controls in business processes},
    journal = {Logic Journal of the {IGPL}},
    volume = {23},
    number = {1},
    pages = {57--72},
    year = {2015},
    url = {http://dx.doi.org/10.1093/jigpal/jzu042},
    doi = {10.1093/jigpal/jzu042},
    timestamp = {Wed, 11 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/igpl/Varela-VacaG15},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López. Validation, diagnosis and decision-making support of data in business processes. In Business process management workshops – BPM 2015, 13th international workshops, innsbruck, austria, august 31 – september 3, 2015, revised papers, pages 339-351, 2015.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/Lopez15,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Validation, Diagnosis and Decision-Making Support of Data in Business
    Processes},
    booktitle = {Business Process Management Workshops - {BPM} 2015, 13th International
    Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised
    Papers},
    pages = {339--351},
    year = {2015},
    crossref = {DBLP:conf/bpm/2015w},
    url = {http://dx.doi.org/10.1007/978-3-319-42887-1_28},
    doi = {10.1007/978-3-319-42887-1_28},
    timestamp = {Fri, 29 Jul 2016 12:41:06 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpm/Lopez15},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, and José Miguel Pérez-Álvarez. Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. syst., 48:26-43, 2015.
    [Bibtex]
    @article{DBLP:journals/is/LopezGP15,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez},
    title = {Compliance validation and diagnosis of business data constraints in business processes at runtime},
    journal = {Inf. Syst.},
    volume = {48},
    pages = {26--43},
    year = {2015},
    url = {http://dx.doi.org/10.1016/j.is.2014.07.007},
    doi = {10.1016/j.is.2014.07.007},
    timestamp = {Tue, 21 Oct 2014 16:53:15 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/is/LopezGP15},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego, Rafael M. Gasca, and María Teresa Gómez-López. Automating correctness verification of artifact-centric business process models. Information & software technology, 62:187-197, 2015.
    [Bibtex]
    @article{DBLP:journals/infsof/BorregoGL15,
    author = {Diana Borrego and
    Rafael M. Gasca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Automating correctness verification of artifact-centric business process
    models},
    journal = {Information {\&} Software Technology},
    volume = {62},
    pages = {187--197},
    year = {2015},
    url = {http://dx.doi.org/10.1016/j.infsof.2015.02.010},
    doi = {10.1016/j.infsof.2015.02.010},
    timestamp = {Tue, 21 Apr 2015 09:08:45 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/infsof/BorregoGL15},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2014

  • Ismael Caballero, Isabel Bermejo, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Mario Piattini. Sla4dq-i8k: acuerdos a nivel de servicio para calidad de datos en intercambios de datos maestros regulados por iso 8000-1×0. In X jornadas de ciencia e ingeniería de servicios (jcis 2014), pages 157-166, 2014.
    [Bibtex]
    @inproceedings{Caballero14jcis,
    author = {Ismael Caballero and Isabel Bermejo and Luisa Parody and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca and Mario Piattini},
    title = {SLA4DQ-I8K: Acuerdos a Nivel de Servicio para Calidad de Datos en Intercambios de Datos Maestros regulados por ISO 8000-1x0},
    booktitle = {X Jornadas de Ciencia e Ingeniería de Servicios (JCIS 2014)},
    year = {2014},
    pages = {157--166},
    location = {C\'adiz, Spain}
    }
  • Ismael Caballero, Isabel Bermejo, Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Mario Piattini. Service level agreement for data quality governed by iso 8000-1×0. In 19th international conference on information quality (iciq 2014), pages 114-127, 2014.
    [Bibtex]
    @inproceedings{Caballero14iciq,
    author = {Ismael Caballero and Isabel Bermejo and Luisa Parody and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca and Mario Piattini},
    title = {SERVICE LEVEL AGREEMENT FOR DATA QUALITY GOVERNED BY ISO 8000-1X0},
    booktitle = {19th International Conference on Information Quality (ICIQ 2014)},
    year = {2014},
    pages = {114--127},
    location = {Xian, China}
    }
  • [DOI] Ángel Jesús Varela-Vaca. Opbus: a framework for improving the dependability of risk-aware business processes. AI commun., 29(1):233-235, 2014.
    [Bibtex]
    @article{DBLP:journals/aicom/Varela-Vaca14,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {OPBUS: A framework for improving the dependability of risk-aware business processes},
    journal = {{AI} Commun.},
    volume = {29},
    number = {1},
    pages = {233--235},
    year = {2014},
    doi = {10.3233/AIC-140651}
    }
  • [DOI] María Teresa Gómez-López and Rafael M. Gasca. Using constraint programming in selection operators for constraint databases. Expert syst. appl., 41(15):6773-6785, 2014.
    [Bibtex]
    @article{DBLP:journals/eswa/LopezG14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Using Constraint Programming in Selection Operators for Constraint Databases},
    journal = {Expert Syst. Appl.},
    volume = {41},
    number = {15},
    pages = {6773--6785},
    year = {2014},
    url = {http://dx.doi.org/10.1016/j.eswa.2014.04.047},
    doi = {10.1016/j.eswa.2014.04.047},
    timestamp = {Tue, 08 Jul 2014 17:46:13 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/eswa/LopezG14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, and José Miguel Pérez-Álvarez. Decision-making support for the correctness of input data at runtime in business processes. Int. j. cooperative inf. syst., 23(4), 2014.
    [Bibtex]
    @article{DBLP:journals/ijcis/LopezGP14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Jos{\'{e}} Miguel P{\'{e}}rez-{\'{A}}lvarez},
    title = {Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes},
    journal = {Int. J. Cooperative Inf. Syst.},
    volume = {23},
    number = {4},
    year = {2014},
    url = {http://dx.doi.org/10.1142/S0218843014500038},
    doi = {10.1142/S0218843014500038},
    timestamp = {Wed, 14 Jan 2015 09:44:26 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijcis/LopezGP14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Luisa Parody, Rafael M. Gasca, and Stefanie Rinderle-Ma. Prognosing the compliance of declarative business processes using event trace robustness. In On the move to meaningful internet systems: OTM 2014 conferences – confederated international conferences: coopis, and ODBASE 2014, amantea, italy, october 27-31, 2014, proceedings, pages 327-344, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/otm/LopezPGR14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Luisa Parody and
    Rafael M. Gasca and
    Stefanie Rinderle-Ma},
    title = {Prognosing the Compliance of Declarative Business Processes Using Event Trace Robustness},
    booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2014 Conferences - Confederated International Conferences: CoopIS, and {ODBASE} 2014, Amantea, Italy, October 27-31, 2014, Proceedings},
    pages = {327--344},
    year = {2014},
    crossref = {DBLP:conf/otm/2014},
    url = {http://dx.doi.org/10.1007/978-3-662-45563-0_19},
    doi = {10.1007/978-3-662-45563-0_19},
    timestamp = {Thu, 12 Nov 2015 16:33:38 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/otm/LopezPGR14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Diana Borrego, and Rafael M. Gasca. Data state description for the migration to activity-centric business process model maintaining legacy databases. In Business information systems – 17th international conference, BIS 2014, larnaca, cyprus, may 22-23, 2014. proceedings, pages 86-97, 2014.
    [Bibtex]
    @inproceedings{DBLP:conf/bis/LopezBG14,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Diana Borrego and
    Rafael M. Gasca},
    title = {Data State Description for the Migration to Activity-Centric Business Process Model Maintaining Legacy Databases},
    booktitle = {Business Information Systems - 17th International Conference, {BIS} 2014, Larnaca, Cyprus, May 22-23, 2014. Proceedings},
    pages = {86--97},
    year = {2014},
    crossref = {DBLP:conf/bis/2014},
    url = {http://dx.doi.org/10.1007/978-3-319-06695-0_8},
    doi = {10.1007/978-3-319-06695-0_8},
    timestamp = {Tue, 20 May 2014 11:37:47 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bis/LopezBG14},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego and Irene Barba. Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert syst. appl., 41(11):5340-5352, 2014.
    [Bibtex]
    @article{DBLP:journals/eswa/Borrego014,
    author = {Diana Borrego and
    Irene Barba},
    title = {Conformance checking and diagnosis for declarative business process models in data-aware scenarios},
    journal = {Expert Syst. Appl.},
    volume = {41},
    number = {11},
    pages = {5340--5352},
    year = {2014},
    url = {http://dx.doi.org/10.1016/j.eswa.2014.03.010},
    doi = {10.1016/j.eswa.2014.03.010},
    timestamp = {Tue, 06 May 2014 17:37:28 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/eswa/Borrego014},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2013

  • Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Decision-making sub-process to obtain the optimal combination of input data in business processes. In Ix jormadas de ciencia e ingeniería de servicios (jcis 2013), pages 17-31, 2013.
    [Bibtex]
    @inproceedings{Parody13jcis,
    author = {Luisa Parody and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca},
    title = {Decision-Making Sub-Process to Obtain the Optimal Combination of Input Data in Business Processes},
    booktitle = {IX Jormadas de Ciencia e Ingeniería de Servicios (JCIS 2013)},
    year = {2013},
    pages = {17--31},
    location = {Madrid, Spain}
    }
  • Isabel Bermejo, Luisa Parody, Ismael Caballero, María Teresa Gómez-López, and Rafael M. Gasca. Gestión de calidad de datos en la combinación de actividades dentro del marco de los procesos de negocio. In Xviii jornadas de ingeniería del software y bases de datos (jisbd 2013), pages 195-208, 2013.
    [Bibtex]
    @inproceedings{Bermejo13jisbd,
    author = {Isabel Bermejo and Luisa Parody and Ismael Caballero and Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca},
    title = {Gesti\'on de Calidad de Datos en la Combinaci\'on de Actividades dentro del Marco de los Procesos de Negocio},
    booktitle = {XVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2013)},
    year = {2013},
    pages = {195-208},
    location = {Madrid, Spain}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Ángel Jesús Varela-Vaca. Combis-bp editor: combining declarative and imperative languages in BP modelling: demonstration paper. In IEEE 7th international conference on research challenges in information science, RCIS 2013, paris, france, may 29-31, 2013, pages 1-2, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/ParodyLGV13,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {CombiS-BP editor: Combining declarative and imperative languages in
    {BP} modelling: Demonstration paper},
    booktitle = {{IEEE} 7th International Conference on Research Challenges in Information
    Science, {RCIS} 2013, Paris, France, May 29-31, 2013},
    pages = {1--2},
    year = {2013},
    crossref = {DBLP:conf/rcis/2013},
    url = {http://dx.doi.org/10.1109/RCIS.2013.6577745},
    doi = {10.1109/RCIS.2013.6577745},
    timestamp = {Mon, 26 Aug 2013 15:04:03 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/rcis/ParodyLGV13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Data-oriented declarative language for optimizing business processes. In Information system development – improving enterprise communication, [proceedings of the 22nd international conference on information systems development, ISD 2013, seville, spain], pages 59-72, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/ParodyLG13,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Data-Oriented Declarative Language for Optimizing Business Processes},
    booktitle = {Information System Development - Improving Enterprise Communication,
    [Proceedings of the 22nd International Conference on Information Systems
    Development, {ISD} 2013, Seville, Spain]},
    pages = {59--72},
    year = {2013},
    crossref = {DBLP:conf/isdevel/2013},
    url = {http://dx.doi.org/10.1007/978-3-319-07215-9_5},
    doi = {10.1007/978-3-319-07215-9_5},
    timestamp = {Thu, 24 Jul 2014 15:44:53 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/isdevel/ParodyLG13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca and Rafael M. Gasca. Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. Information & software technology, 55(11):1948-1973, 2013.
    [Bibtex]
    @article{DBLP:journals/infsof/Varela-VacaG13,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    title = {Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach},
    journal = {Information {\&} Software Technology},
    volume = {55},
    number = {11},
    pages = {1948--1973},
    year = {2013},
    url = {http://dx.doi.org/10.1016/j.infsof.2013.05.007},
    doi = {10.1016/j.infsof.2013.05.007},
    timestamp = {Fri, 20 Sep 2013 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/infsof/Varela-VacaG13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, and Stefanie Rinderle-Ma. Explaining the incorrect temporal events during business process monitoring by means of compliance rules and model-based diagnosis. In 17th IEEE international enterprise distributed object computing conference workshops, EDOC workshops, vancouver, bc, canada, september 9-13, 2013, pages 163-172, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/edoc/LopezGR13,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    {Stefanie Rinderle-Ma}},
    title = {Explaining the Incorrect Temporal Events during Business Process Monitoring
    by Means of Compliance Rules and Model-Based Diagnosis},
    booktitle = {17th {IEEE} International Enterprise Distributed Object Computing Conference Workshops, {EDOC} Workshops, Vancouver, BC, Canada, September 9-13, 2013},
    pages = {163--172},
    year = {2013},
    crossref = {DBLP:conf/edoc/2013w},
    url = {http://dx.doi.org/10.1109/EDOCW.2013.25},
    doi = {10.1109/EDOCW.2013.25},
    timestamp = {Thu, 25 Jun 2015 17:37:09 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/edoc/LopezGR13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego. Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems. AI commun., 26(4):409-411, 2013.
    [Bibtex]
    @article{DBLP:journals/aicom/Borrego13,
    author = {Diana Borrego},
    title = {Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems},
    journal = {{AI} Commun.},
    volume = {26},
    number = {4},
    pages = {409--411},
    year = {2013},
    url = {http://dx.doi.org/10.3233/AIC-130568},
    doi = {10.3233/AIC-130568},
    timestamp = {Wed, 18 Sep 2013 13:57:31 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aicom/Borrego13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego, Rik Eshuis, María Teresa Gómez-López, and Rafael M. Gasca. Diagnosing correctness of semantic workflow models. Data knowl. eng., 87:167-184, 2013.
    [Bibtex]
    @article{DBLP:journals/dke/BorregoELG13,
    author = {Diana Borrego and
    Rik Eshuis and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Diagnosing correctness of semantic workflow models},
    journal = {Data Knowl. Eng.},
    volume = {87},
    pages = {167--184},
    year = {2013},
    url = {http://dx.doi.org/10.1016/j.datak.2013.04.008},
    doi = {10.1016/j.datak.2013.04.008},
    timestamp = {Thu, 17 Oct 2013 15:50:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/dke/BorregoELG13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego, María Teresa Gómez-López, and Rafael M. Gasca. Minimizing test-point allocation to improve diagnosability in business process models. Journal of systems and software, 86(11):2725-2741, 2013.
    [Bibtex]
    @article{DBLP:journals/jss/BorregoLG13,
    author = {Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Minimizing test-point allocation to improve diagnosability in business process models},
    journal = {Journal of Systems and Software},
    volume = {86},
    number = {11},
    pages = {2725--2741},
    year = {2013},
    url = {http://dx.doi.org/10.1016/j.jss.2013.05.105},
    doi = {10.1016/j.jss.2013.05.105},
    timestamp = {Wed, 06 Nov 2013 18:55:02 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/jss/BorregoLG13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego, Irene Barba, and Pedro Abad. Data-aware conformance checking for declarative business process models. In Information system development – improving enterprise communication, [proceedings of the 22nd international conference on information systems development, ISD 2013, seville, spain], pages 269-282, 2013.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/Borrego0A13,
    author = {Diana Borrego and
    Irene Barba and
    Pedro Abad},
    title = {Data-Aware Conformance Checking for Declarative Business Process Models},
    booktitle = {Information System Development - Improving Enterprise Communication, [Proceedings of the 22nd International Conference on Information Systems Development, {ISD} 2013, Seville, Spain]},
    pages = {269--282},
    year = {2013},
    crossref = {DBLP:conf/isdevel/2013},
    url = {http://dx.doi.org/10.1007/978-3-319-07215-9_22},
    doi = {10.1007/978-3-319-07215-9_22},
    timestamp = {Thu, 24 Jul 2014 15:55:34 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/isdevel/Borrego0A13},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2012

  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls. Computers & security, 31(4):524-539, 2012.
    [Bibtex]
    @article{DBLP:journals/compsec/AyusoGL12,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {{FT-FW:} {A} cluster-based fault-tolerant architecture for stateful
    firewalls},
    journal = {Computers {\&} Security},
    volume = {31},
    number = {4},
    pages = {524--539},
    year = {2012},
    url = {http://dx.doi.org/10.1016/j.cose.2012.01.011},
    doi = {10.1016/j.cose.2012.01.011},
    timestamp = {Fri, 08 Jun 2012 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/compsec/AyusoGL12},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Improvement of optimization agreements in business processes involving web services. Communications of the ibima, 2012:1-15, 2012.
    [Bibtex]
    @article{IBIMA12,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Improvement of Optimization Agreements in Business Processes Involving Web Services},
    journal = {Communications of the IBIMA},
    volume = {2012},
    pages = {1--15},
    year = {2012},
    url = {http://dx.doi.org/10.5171/2012.959796},
    doi = {10.5171/2012.959796}
    }
  • [DOI] Luisa Parody, María Teresa Gómez-López, and Rafael M. Gasca. Extending BPMN 2.0 for modelling the combination of activities that involve data constraints. In Business process model and notation – 4th international workshop, BPMN 2012, vienna, austria, september 12-13, 2012. proceedings, pages 68-82, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/bpmn/ParodyLG12,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Extending {BPMN} 2.0 for Modelling the Combination of Activities That
    Involve Data Constraints},
    booktitle = {Business Process Model and Notation - 4th International Workshop,
    {BPMN} 2012, Vienna, Austria, September 12-13, 2012. Proceedings},
    pages = {68--82},
    year = {2012},
    crossref = {DBLP:conf/bpmn/2012},
    url = {http://dx.doi.org/10.1007/978-3-642-33155-8_6},
    doi = {10.1007/978-3-642-33155-8_6},
    timestamp = {Tue, 18 Sep 2012 15:54:08 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpmn/ParodyLG12},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael M. Gasca, Antonia Reina M. Quintero, and Ángel Jesús 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.
    [Bibtex]
    @article{DBLP:journals/jss/PozoGRV12,
    author = {Sergio Pozo and
    Rafael M. Gasca and
    Antonia M. Reina Quintero and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {{CONFIDDENT:} {A} model-driven consistent and non-redundant layer-3
    firewall {ACL} design, development and maintenance framework},
    journal = {Journal of Systems and Software},
    volume = {85},
    number = {2},
    pages = {425--457},
    year = {2012},
    url = {http://dx.doi.org/10.1016/j.jss.2011.09.008},
    doi = {10.1016/j.jss.2011.09.008},
    timestamp = {Fri, 08 Jun 2012 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/jss/PozoGRV12},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, and Christoph Meinel. A security pattern-driven approach toward the automation of risk treatment in business processes. In International joint conference cisis’12-iceute’12-soco’12 special sessions, ostrava, czech republic, september 5th-7th, 2012, pages 13-23, 2012.
    [Bibtex]
    @inproceedings{DBLP:conf/softcomp/Varela-VacaWGPM12,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Robert Warschofsky and
    Rafael M. Gasca and
    Sergio Pozo and
    Christoph Meinel},
    title = {A Security Pattern-Driven Approach toward the Automation of Risk Treatment
    in Business Processes},
    booktitle = {International Joint Conference CISIS'12-ICEUTE'12-SOCO'12 Special
    Sessions, Ostrava, Czech Republic, September 5th-7th, 2012},
    pages = {13--23},
    year = {2012},
    crossref = {DBLP:conf/softcomp/2012s},
    url = {http://dx.doi.org/10.1007/978-3-642-33018-6_2},
    doi = {10.1007/978-3-642-33018-6_2},
    timestamp = {Mon, 28 Jan 2013 16:01:04 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/softcomp/Varela-VacaWGPM12},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2011

  • Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Ángel Jesús Varela-Vaca. An approach for optimization agreements in business process based on web services. In Proceedings of the 17th international business information management association conference, pages 183-184. IBIMA, 2011.
    [Bibtex]
    @inproceedings{Varela-VAcaIBIMA2015,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and {\'{A}}ngel Jes{\'{u}}s Varela-Vaca },
    title = {An Approach for Optimization Agreements in Business Process based on Web Services},
    booktitle = {Proceedings of the 17th International Business Information Management Association Conference},
    publisher = {IBIMA},
    pages = {183-184},
    venue = {Milan, Italy},
    year = {2011},
    isbn = {978-0-9821489-6-6}
    }
  • Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Diana Borrego. Using distributed csps to model business processes agreement in software multiprocess. In ICAART 2011 – proceedings of the 3rd international conference on agents and artificial intelligence, volume 2 – agents, rome, italy, january 28-30, 2011, pages 434-438, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/icaart/ParodyLGB11,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Diana Borrego},
    title = {Using Distributed CSPs to Model Business Processes Agreement in Software
    Multiprocess},
    booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on
    Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy,
    January 28-30, 2011},
    pages = {434--438},
    year = {2011},
    crossref = {DBLP:conf/icaart/2011-2},
    timestamp = {Fri, 08 Jul 2011 08:36:50 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/icaart/ParodyLGB11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, and Diana Borrego. Constraint-driven approach to support input data decision-making in business process management systems. In Information systems development, reflections, challenges and new directions [proceedings of ISD 2011, heriot-watt university, edinburgh, scotland, uk, august 24 – 26, 2011], pages 457-469, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/LopezGPB11,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Luisa Parody and
    Diana Borrego},
    title = {Constraint-Driven Approach to Support Input Data Decision-Making in
    Business Process Management Systems},
    booktitle = {Information Systems Development, Reflections, Challenges and New Directions
    [Proceedings of {ISD} 2011, Heriot-Watt University, Edinburgh, Scotland,
    UK, August 24 - 26, 2011]},
    pages = {457--469},
    year = {2011},
    crossref = {DBLP:conf/isdevel/2011},
    url = {http://dx.doi.org/10.1007/978-1-4614-4951-5_37},
    doi = {10.1007/978-1-4614-4951-5_37},
    timestamp = {Mon, 07 Apr 2014 12:44:07 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/isdevel/LopezGPB11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Andrés Jiménez Ramírez, Rafael Martinez Gasca, and Ángel Jesús Varela-Vaca. Contract-based test generation for data flow of business processes using constraint programming. In Proceedings of the fifth IEEE international conference on research challenges in information science, RCIS 2011, gosier, guadeloupe, france, 19-21 may, 2011, pages 1-12, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/RamirezGV11,
    author = {Andr{\'{e}}s Jim{\'{e}}nez Ram{\'{i}}rez and
    Rafael Martinez Gasca and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {Contract-based test generation for data flow of business processes
    using constraint programming},
    booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
    Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
    France, 19-21 May, 2011},
    pages = {1--12},
    year = {2011},
    crossref = {DBLP:conf/rcis/2011},
    url = {http://dx.doi.org/10.1109/RCIS.2011.6006841},
    doi = {10.1109/RCIS.2011.6006841},
    timestamp = {Thu, 22 Sep 2011 08:19:06 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/rcis/RamirezGV11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca, Rafael Martinez Gasca, and Andrés Jiménez Ramírez. A model-driven engineering approach with diagnosis of non-conformance of security objectives in business process models. In Proceedings of the fifth IEEE international conference on research challenges in information science, RCIS 2011, gosier, guadeloupe, france, 19-21 may, 2011, pages 1-6, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/rcis/Varela-VacaGR11,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael Martinez Gasca and
    Andr{\'{e}}s Jim{\'{e}}nez Ram{\'{i}}rez},
    title = {A Model-Driven engineering approach with diagnosis of non-conformance
    of security objectives in business process models},
    booktitle = {Proceedings of the Fifth {IEEE} International Conference on Research
    Challenges in Information Science, {RCIS} 2011, Gosier, Guadeloupe,
    France, 19-21 May, 2011},
    pages = {1--6},
    year = {2011},
    crossref = {DBLP:conf/rcis/2011},
    url = {http://dx.doi.org/10.1109/RCIS.2011.6006844},
    doi = {10.1109/RCIS.2011.6006844},
    timestamp = {Thu, 22 Sep 2011 08:19:06 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/rcis/Varela-VacaGR11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Ángel Jesús Varela-Vaca, Rafael M. Gasca, and Sergio Pozo. OPBUS: risk-aware framework for the conformance of security-quality requirements in business processes. In SECRYPT 2011 – proceedings of the international conference on security and cryptography, seville, spain, 18 – 21 july, 2011, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 370-374, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/Varela-VacaGP11,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca and
    Sergio Pozo},
    title = {{OPBUS:} Risk-aware Framework for the Conformance of Security-quality
    Requirements in Business Processes},
    booktitle = {{SECRYPT} 2011 - Proceedings of the International Conference on Security
    and Cryptography, Seville, Spain, 18 - 21 July, 2011, {SECRYPT} is
    part of {ICETE} - The International Joint Conference on e-Business
    and Telecommunications},
    pages = {370--374},
    year = {2011},
    crossref = {DBLP:conf/secrypt/2011},
    timestamp = {Thu, 27 Oct 2011 10:35:32 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/secrypt/Varela-VacaGP11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Luisa Parody, and Diana Borrego. Constraint-driven approach to support input data decision-making in business process management systems. In Information systems development, reflections, challenges and new directions [proceedings of ISD 2011, heriot-watt university, edinburgh, scotland, uk, august 24 – 26, 2011], pages 457-469, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/isdevel/LopezGPB11,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Luisa Parody and
    Diana Borrego},
    title = {Constraint-Driven Approach to Support Input Data Decision-Making in
    Business Process Management Systems},
    booktitle = {Information Systems Development, Reflections, Challenges and New Directions [Proceedings of {ISD} 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24 - 26, 2011]},
    pages = {457--469},
    year = {2011},
    crossref = {DBLP:conf/isdevel/2011},
    url = {http://dx.doi.org/10.1007/978-1-4614-4951-5_37},
    doi = {10.1007/978-1-4614-4951-5_37},
    timestamp = {Mon, 07 Apr 2014 12:48:48 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/isdevel/LopezGPB11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Diana Borrego. Using distributed csps to model business processes agreement in software multiprocess. In ICAART 2011 – proceedings of the 3rd international conference on agents and artificial intelligence, volume 2 – agents, rome, italy, january 28-30, 2011, pages 434-438, 2011.
    [Bibtex]
    @inproceedings{DBLP:conf/icaart/ParodyLGB11,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Diana Borrego},
    title = {Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess},
    booktitle = {{ICAART} 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 2 - Agents, Rome, Italy, January 28-30, 2011},
    pages = {434--438},
    year = {2011},
    crossref = {DBLP:conf/icaart/2011-2},
    timestamp = {Fri, 08 Jul 2011 08:50:14 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/icaart/ParodyLGB11},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2010

  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Communicating between the kernel and user-space in linux using netlink sockets. Softw., pract. exper., 40(9):797-810, 2010.
    [Bibtex]
    @article{DBLP:journals/spe/AyusoGL10,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {Communicating between the kernel and user-space in Linux using Netlink
    sockets},
    journal = {Softw., Pract. Exper.},
    volume = {40},
    number = {9},
    pages = {797--810},
    year = {2010},
    url = {http://dx.doi.org/10.1002/spe.981},
    doi = {10.1002/spe.981},
    timestamp = {Fri, 17 Sep 2010 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/spe/AyusoGL10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Angel Jesus Varela-Vaca, and Rafael M. Gasca. A quadratic, complete, and minimal consistency diagnosis process for firewall acls. In 24th IEEE international conference on advanced information networking and applications, AINA 2010, perth, australia, 20-13 april 2010, pages 1037-1046, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/aina/PozoVG10,
    author = {Sergio Pozo and
    Angel Jesus Varela-Vaca and
    Rafael M. Gasca},
    title = {A Quadratic, Complete, and Minimal Consistency Diagnosis Process for
    Firewall ACLs},
    booktitle = {24th {IEEE} International Conference on Advanced Information Networking
    and Applications, {AINA} 2010, Perth, Australia, 20-13 April 2010},
    pages = {1037--1046},
    year = {2010},
    crossref = {DBLP:conf/aina/2010},
    url = {http://dx.doi.org/10.1109/AINA.2010.63},
    doi = {10.1109/AINA.2010.63},
    timestamp = {Tue, 16 Sep 2014 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/aina/PozoVG10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, and Diana Borrego. Resolución de acuerdos en procesos de negocio para multiprocesos software usando programación con restricciones distribuidas. In X jornadas de ingeniería del software y bases de datos (jisbd 2010), pages 53-64, 2010.
    [Bibtex]
    @inproceedings{Parody10,
    author = {Luisa Parody and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and Rafael M. Gasca and Diana Borrego},
    title = {Resoluci\'on de Acuerdos en Procesos de Negocio para Multiprocesos Software usando Programaci\'on con Restricciones Distribuidas},
    booktitle = {X Jornadas de Ingenier\'ia del Software y Bases de Datos (JISBD 2010)},
    year = {2010},
    pages = {53--64},
    location = {Valencia, Spain}
    }
  • [DOI] Sergio Pozo, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. A quadratic, complete, and minimal consistency diagnosis process for firewall acls. In 24th IEEE international conference on advanced information networking and applications, AINA 2010, perth, australia, 20-13 april 2010, pages 1037-1046, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/aina/PozoVG10,
    author = {Sergio Pozo and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    title = {A Quadratic, Complete, and Minimal Consistency Diagnosis Process for
    Firewall ACLs},
    booktitle = {24th {IEEE} International Conference on Advanced Information Networking
    and Applications, {AINA} 2010, Perth, Australia, 20-13 April 2010},
    pages = {1037--1046},
    year = {2010},
    crossref = {DBLP:conf/aina/2010},
    url = {http://dx.doi.org/10.1109/AINA.2010.63},
    doi = {10.1109/AINA.2010.63},
    timestamp = {Tue, 16 Sep 2014 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/aina/PozoVG10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Ángel Jesús Varela-Vaca and Rafael Martinez Gasca. OPBUS: fault tolerance against integrity attacks in business processes. In Computational intelligence in security for information systems 2010 – proceedings of the 3rd international conference on computational intelligence in security for information systems (cisis’10), león, spain, november 11-12, 2010, pages 213-222, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/cisis-spain/Varela-VacaG10,
    author = {{\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael Martinez Gasca},
    title = {{OPBUS:} Fault Tolerance Against Integrity Attacks in Business Processes},
    booktitle = {Computational Intelligence in Security for Information Systems 2010
    - Proceedings of the 3rd International Conference on Computational
    Intelligence in Security for Information Systems (CISIS'10), Le{\'{o}}n,
    Spain, November 11-12, 2010},
    pages = {213--222},
    year = {2010},
    crossref = {DBLP:conf/cisis-spain/2010},
    url = {http://dx.doi.org/10.1007/978-3-642-16626-6_23},
    doi = {10.1007/978-3-642-16626-6_23},
    timestamp = {Wed, 15 Jun 2011 09:21:08 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cisis-spain/Varela-VacaG10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López and Rafael M. Gasca. Run-time auditing for business processes data using constraints. In Business process management workshops – BPM 2010 international workshops and education track, hoboken, nj, usa, september 13-15, 2010, revised selected papers, pages 146-157, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/LopezG10,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Run-Time Auditing for Business Processes Data Using Constraints},
    booktitle = {Business Process Management Workshops - {BPM} 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers},
    pages = {146--157},
    year = {2010},
    crossref = {DBLP:conf/bpm/2010w},
    url = {http://dx.doi.org/10.1007/978-3-642-20511-8_13},
    doi = {10.1007/978-3-642-20511-8_13},
    timestamp = {Tue, 31 May 2011 07:57:47 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpm/LopezG10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Diana Borrego, María Teresa Gómez-López, Rafael M. Gasca, and Rafael Ceballos. Improving the diagnosability of business process management systems using test points. In Business process management workshops – BPM 2010 international workshops and education track, hoboken, nj, usa, september 13-15, 2010, revised selected papers, pages 194-200, 2010.
    [Bibtex]
    @inproceedings{DBLP:conf/bpm/BorregoGGC10,
    author = {Diana Borrego and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Rafael Ceballos},
    title = {Improving the Diagnosability of Business Process Management Systems Using Test Points},
    booktitle = {Business Process Management Workshops - {BPM} 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers},
    pages = {194--200},
    year = {2010},
    crossref = {DBLP:conf/bpm/2010w},
    url = {http://dx.doi.org/10.1007/978-3-642-20511-8_17},
    doi = {10.1007/978-3-642-20511-8_17},
    timestamp = {Fri, 17 Jun 2011 12:43:52 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/bpm/BorregoGGC10},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • D. Borrego, R. M. Gasca, M. T. Gómez-López, and L. Parody. Contract-based diagnosis for business process instances using business compliance rules. In Proceedings of the 21st international workshop on principles of diagnosis. (dx-10), pages 169-176, 2010.
    [Bibtex]
    @inproceedings{dianadx10,
    author = {D. Borrego and R. M. Gasca and M. T. G\'omez-L\'opez and L. Parody},
    title = {Contract-Based Diagnosis for Business Process Instances Using Business Compliance Rules},
    booktitle = {Proceedings of the 21st International Workshop on Principles of Diagnosis. (DX-10)},
    year = {2010},
    pages = {169-176},
    location = {Portland, USA},
    }
  • D. Borrego, M. T. Gómez-López, R. M. Gasca, and R. Ceballos. Determination of an optimal test points allocation for business process analysis. In Ieee/ifip network operations and management symposium workshops. workshop on business driven it management, pages 159-160. IEEE Communications Society, 2010.
    [Bibtex]
    @inproceedings{dianabdim10,
    author = {D. Borrego and M. T. G\'omez-L\'opez and R. M. Gasca and R. Ceballos},
    title = {Determination of an Optimal Test Points Allocation for Business Process Analysis},
    booktitle = {IEEE/Ifip Network Operations and Management Symposium Workshops. Workshop on Business Driven It Management},
    year = {2010},
    pages = {159--160},
    location = {Osaka, Japan},
    publisher = {IEEE Communications Society},
    }
  • D. Borrego, M. T. Gómez-López, R. M. Gasca, and L. Parody. Diagnosis de errores en la gestión de procesos software con programación con restricciones. In X jornadas de ingeniería del software y bases de datos (jisbd 2010), pages 23-34, 2010.
    [Bibtex]
    @inproceedings{dianaadis10,
    author = {D. Borrego and M. T. G\'omez-L\'opez and R. M. Gasca and L. Parody},
    title = {Diagnosis de Errores en la Gesti\'on de Procesos Software con Programaci\'on con Restricciones},
    booktitle = {X Jornadas de Ingenier\'ia del Software y Bases de Datos (JISBD 2010)},
    year = {2010},
    pages = {23--34},
    location = {Valencia, Spain}
    }

2009

  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Demystifying cluster-based fault-tolerant firewalls. IEEE internet computing, 13(6):31-38, 2009.
    [Bibtex]
    @article{DBLP:journals/internet/AyusoGL09,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {Demystifying Cluster-Based Fault-Tolerant Firewalls},
    journal = {{IEEE} Internet Computing},
    volume = {13},
    number = {6},
    pages = {31--38},
    year = {2009},
    url = {http://doi.ieeecomputersociety.org/10.1109/MIC.2009.128},
    doi = {10.1109/MIC.2009.128},
    timestamp = {Sat, 05 Dec 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/internet/AyusoGL09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Sergio Pozo Hidalgo, Rafael M. Gasca, and F. T. de la Rosa. Efficient data structures for local inconsistency detection in firewall ACL updates. In ICEIS 2009 – proceedings of the 11th international conference on enterprise information systems, volume isas, milan, italy, may 6-10, 2009, pages 176-181, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/iceis/HidalgoGT09,
    author = {Sergio Pozo Hidalgo and
    Rafael M. Gasca and
    F. T. de la Rosa},
    title = {Efficient Data Structures for Local Inconsistency Detection in Firewall
    {ACL} Updates},
    booktitle = {{ICEIS} 2009 - Proceedings of the 11th International Conference on
    Enterprise Information Systems, Volume ISAS, Milan, Italy, May 6-10,
    2009},
    pages = {176--181},
    year = {2009},
    crossref = {DBLP:conf/iceis/2009-3},
    timestamp = {Thu, 10 Sep 2009 09:32:51 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iceis/HidalgoGT09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael Martinez Gasca. Model-based development of firewall rule sets: diagnosing model inconsistencies. Information & software technology, 51(5):894-915, 2009.
    [Bibtex]
    @article{DBLP:journals/infsof/HidalgoCG09,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael Martinez Gasca},
    title = {Model-Based Development of firewall rule sets: Diagnosing model inconsistencies},
    journal = {Information {\&} Software Technology},
    volume = {51},
    number = {5},
    pages = {894--915},
    year = {2009},
    url = {http://dx.doi.org/10.1016/j.infsof.2008.05.001},
    doi = {10.1016/j.infsof.2008.05.001},
    timestamp = {Thu, 26 Nov 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/infsof/HidalgoCG09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. A heuristic process for local inconsistency diagnosis in firewall rule sets. JNW, 4(8):698-710, 2009.
    [Bibtex]
    @article{DBLP:journals/jnw/PozoCG09,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {A Heuristic Process for Local Inconsistency Diagnosis in Firewall
    Rule Sets},
    journal = {{JNW}},
    volume = {4},
    number = {8},
    pages = {698--710},
    year = {2009},
    url = {http://dx.doi.org/10.4304/jnw.4.8.698-710},
    doi = {10.4304/jnw.4.8.698-710},
    timestamp = {Sat, 15 May 2010 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/jnw/PozoCG09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Franz Wotawa, Jörg Weber, Mihai Nica, and Rafael Ceballos. On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In Current topics in artificial intelligence, 13th conference of the spanish association for artificial intelligence, CAEPIA 2009, seville, spain, november 9-13, 2009. selected papers, pages 22-31, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/WotawaWNC09,
    author = {Franz Wotawa and
    J{\"{o}}rg Weber and
    Mihai Nica and
    Rafael Ceballos},
    title = {On the Complexity of Program Debugging Using Constraints for Modeling
    the Program's Syntax and Semantics},
    booktitle = {Current Topics in Artificial Intelligence, 13th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2009, Seville,
    Spain, November 9-13, 2009. Selected Papers},
    pages = {22--31},
    year = {2009},
    crossref = {DBLP:conf/caepia/2009},
    url = {http://dx.doi.org/10.1007/978-3-642-14264-2_3},
    doi = {10.1007/978-3-642-14264-2_3},
    timestamp = {Wed, 18 Aug 2010 15:24:28 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caepia/WotawaWNC09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Ángel Jesús Varela-Vaca, and Rafael M. Gasca. Mda-based framework for automatic generation of consistent firewall acls with NAT. In Computational science and its applications – ICCSA 2009, international conference, seoul, korea, june 29-july 2, 2009, proceedings, part II, pages 130-144, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/iccsa/PozoVG09,
    author = {Sergio Pozo and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca},
    title = {MDA-Based Framework for Automatic Generation of Consistent Firewall
    ACLs with {NAT}},
    booktitle = {Computational Science and Its Applications - {ICCSA} 2009, International
    Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part
    {II}},
    pages = {130--144},
    year = {2009},
    crossref = {DBLP:conf/iccsa/2009-2},
    url = {http://dx.doi.org/10.1007/978-3-642-02457-3_11},
    doi = {10.1007/978-3-642-02457-3_11},
    timestamp = {Wed, 15 Jun 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iccsa/PozoVG09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Sergio Pozo, Ángel Jesús Varela-Vaca, Rafael M. Gasca, and Rafael Ceballos. Efficient algorithms and abstract data types for local inconsistency isolation in firewall acls. In SECRYPT 2009, proceedings of the international conference on security and cryptography, milan, italy, july 7-10, 2009, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 42-53, 2009.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/PozoVGC09,
    author = {Sergio Pozo and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca and
    Rafael M. Gasca and
    Rafael Ceballos},
    title = {Efficient Algorithms and Abstract Data Types for Local Inconsistency
    Isolation in Firewall ACLs},
    booktitle = {{SECRYPT} 2009, Proceedings of the International Conference on Security
    and Cryptography, Milan, Italy, July 7-10, 2009, {SECRYPT} is part
    of {ICETE} - The International Joint Conference on e-Business and
    Telecommunications},
    pages = {42--53},
    year = {2009},
    crossref = {DBLP:conf/secrypt/2009},
    timestamp = {Wed, 15 Jun 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/secrypt/PozoVGC09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Carmelo Del Valle. Developing a labelled object-relational constraint database architecture for the projection operator. Data knowl. eng., 68(1):146-172, 2009.
    [Bibtex]
    @article{DBLP:journals/dke/LopezCGV09,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {Developing a labelled object-relational constraint database architecture for the projection operator},
    journal = {Data Knowl. Eng.},
    volume = {68},
    number = {1},
    pages = {146--172},
    year = {2009},
    url = {http://dx.doi.org/10.1016/j.datak.2008.09.002},
    doi = {10.1016/j.datak.2008.09.002},
    timestamp = {Wed, 14 Jan 2009 13:53:37 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/dke/LopezCGV09},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Diana Borrego, Rafael M. Gasca, María Teresa Gómez-López, and Irene Barba. Choreography analysis for diagnosing faulty activities in business-to-business collaboration. In 20th international workshop on principles of diagnosis. dx-09, pages 171-178, Stockholm, Sweden, 2009.
    [Bibtex]
    @inproceedings{dianaDX09,
    author = {Diana Borrego and Rafael M. Gasca and Mar{\'{i}}a Teresa G\'omez-L\'opez and Irene Barba},
    title = {Choreography Analysis for Diagnosing Faulty Activities in Business-to-Business Collaboration},
    booktitle = {20th International Workshop on Principles of Diagnosis. DX-09},
    year = {2009},
    address = {Stockholm, Sweden},
    pages = {171--178}
    }

2008

  • [DOI] Fernando De Rosa la T. and Rafael M. Gasca. Automatic extraction of social networks by topics of interest. IJCAT, 33(4):292-299, 2008.
    [Bibtex]
    @article{DBLP:journals/ijcat/TG08,
    author = {Fernando De la Rosa T. and
    Rafael M. Gasca},
    title = {Automatic extraction of social networks by topics of interest},
    journal = {{IJCAT}},
    volume = {33},
    number = {4},
    pages = {292--299},
    year = {2008},
    url = {http://dx.doi.org/10.1504/IJCAT.2008.022425},
    doi = {10.1504/IJCAT.2008.022425},
    timestamp = {Fri, 13 Mar 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/ijcat/TG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, Denis Barbaron, and Rafael M. Gasca. Towards a dependable architecture for highly available internet services. In Proceedings of the the third international conference on availability, reliability and security, ARES 2008, march 4-7, 2008, technical university of catalonia, barcelona , spain, pages 422-427, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/AyusoLBG08,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Denis Barbaron and
    Rafael M. Gasca},
    title = {Towards a Dependable Architecture for Highly Available Internet Services},
    booktitle = {Proceedings of the The Third International Conference on Availability,
    Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
    University of Catalonia, Barcelona , Spain},
    pages = {422--427},
    year = {2008},
    crossref = {DBLP:conf/IEEEares/2008},
    url = {http://dx.doi.org/10.1109/ARES.2008.166},
    doi = {10.1109/ARES.2008.166},
    timestamp = {Mon, 13 Apr 2015 17:11:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/IEEEares/AyusoLBG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael M. Gasca, and Laurent Lefèvre. Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW. In Computer security – ESORICS 2008, 13th european symposium on research in computer security, málaga, spain, october 6-8, 2008. proceedings, pages 1-17, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/esorics/NeiraGL08,
    author = {Pablo Neira Ayuso and
    Rafael M. Gasca and
    Laurent Lef{\`{e}}vre},
    title = {Multiprimary Support for the Availability of Cluster-Based Stateful
    Firewalls Using {FT-FW}},
    booktitle = {Computer Security - {ESORICS} 2008, 13th European Symposium on Research
    in Computer Security, M{\'{a}}laga, Spain, October 6-8, 2008. Proceedings},
    pages = {1--17},
    year = {2008},
    crossref = {DBLP:conf/esorics/2008},
    url = {http://dx.doi.org/10.1007/978-3-540-88313-5_1},
    doi = {10.1007/978-3-540-88313-5_1},
    timestamp = {Wed, 15 Apr 2009 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/esorics/NeiraGL08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, and Rafael Martinez Gasca. Hft-fw: hybrid fault-tolerance for cluster-based stateful firewalls. In 14th international conference on parallel and distributed systems, ICPADS 2008, melbourne, victoria, australia, december 8-10, 2008, pages 525-532, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/icpads/AyusoLG08,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Rafael Martinez Gasca},
    title = {hFT-FW: Hybrid Fault-Tolerance for Cluster-Based Stateful Firewalls},
    booktitle = {14th International Conference on Parallel and Distributed Systems,
    {ICPADS} 2008, Melbourne, Victoria, Australia, December 8-10, 2008},
    pages = {525--532},
    year = {2008},
    crossref = {DBLP:conf/icpads/2008},
    url = {http://dx.doi.org/10.1109/ICPADS.2008.124},
    doi = {10.1109/ICPADS.2008.124},
    timestamp = {Mon, 04 May 2015 17:00:46 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/icpads/AyusoLG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael Martinez Gasca, Leonardo Maccari, and Laurent Lefèvre. Stateful firewalling for wireless mesh networks. In NTMS 2008, 2nd international conference on new technologies, mobility and security, november 5-7, 2008, tangier, morocco, pages 1-5, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/ntms/AyusoGML08,
    author = {Pablo Neira Ayuso and
    Rafael Martinez Gasca and
    Leonardo Maccari and
    Laurent Lef{\`{e}}vre},
    title = {Stateful Firewalling for Wireless Mesh Networks},
    booktitle = {{NTMS} 2008, 2nd International Conference on New Technologies, Mobility
    and Security, November 5-7, 2008, Tangier, Morocco},
    pages = {1--5},
    year = {2008},
    crossref = {DBLP:conf/ntms/2008},
    url = {http://dx.doi.org/10.1109/NTMS.2008.ECP.92},
    doi = {10.1109/NTMS.2008.ECP.92},
    timestamp = {Fri, 01 Jul 2011 12:26:52 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/ntms/AyusoGML08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Pablo Neira Ayuso, Rafael Martinez Gasca, and Laurent Lefèvre. FT-FW: efficient connection failover in cluster-based stateful firewalls. In 16th euromicro international conference on parallel, distributed and network-based processing (PDP 2008), 13-15 february 2008, toulouse, france, pages 573-580, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/pdp/AyusoGL08,
    author = {Pablo Neira Ayuso and
    Rafael Martinez Gasca and
    Laurent Lef{\`{e}}vre},
    title = {{FT-FW:} Efficient Connection Failover in Cluster-based Stateful Firewalls},
    booktitle = {16th Euromicro International Conference on Parallel, Distributed and
    Network-Based Processing {(PDP} 2008), 13-15 February 2008, Toulouse,
    France},
    pages = {573--580},
    year = {2008},
    crossref = {DBLP:conf/pdp/2008},
    url = {http://dx.doi.org/10.1109/PDP.2008.87},
    doi = {10.1109/PDP.2008.87},
    timestamp = {Tue, 03 Feb 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/pdp/AyusoGL08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael M. Gasca. Fast algorithms for consistency-based diagnosis of firewall rule sets. In Proceedings of the the third international conference on availability, reliability and security, ARES 2008, march 4-7, 2008, technical university of catalonia, barcelona , spain, pages 229-236, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/HidalgoCG08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets},
    booktitle = {Proceedings of the The Third International Conference on Availability,
    Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
    University of Catalonia, Barcelona , Spain},
    pages = {229--236},
    year = {2008},
    crossref = {DBLP:conf/IEEEares/2008},
    url = {http://dx.doi.org/10.1109/ARES.2008.42},
    doi = {10.1109/ARES.2008.42},
    timestamp = {Mon, 13 Apr 2015 17:11:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/IEEEares/HidalgoCG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Afpl, an abstract language model for firewall acls. In Computational science and its applications – ICCSA 2008, international conference, perugia, italy, june 30 – july 3, 2008, proceedings, part II, pages 468-483, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/iccsa/PozoCG08,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {AFPL, an Abstract Language Model for Firewall ACLs},
    booktitle = {Computational Science and Its Applications - {ICCSA} 2008, International
    Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part
    {II}},
    pages = {468--483},
    year = {2008},
    crossref = {DBLP:conf/iccsa/2008-2},
    url = {http://dx.doi.org/10.1007/978-3-540-69848-7_39},
    doi = {10.1007/978-3-540-69848-7_39},
    timestamp = {Tue, 08 Jul 2008 11:07:38 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iccsa/PozoCG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Sergio Pozo Hidalgo, Rafael Ceballos, and Rafael M. Gasca. A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets. In SECRYPT 2008, proceedings of the international conference on security and cryptography, porto, portugal, july 26-29, 2008, SECRYPT is part of ICETE – the international joint conference on e-business and telecommunications, pages 430-441, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/secrypt/HidalgoCG08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis
    in Firewall Rule Sets},
    booktitle = {{SECRYPT} 2008, Proceedings of the International Conference on Security
    and Cryptography, Porto, Portugal, July 26-29, 2008, {SECRYPT} is
    part of {ICETE} - The International Joint Conference on e-Business
    and Telecommunications},
    pages = {430--441},
    year = {2008},
    crossref = {DBLP:conf/secrypt/2008},
    timestamp = {Fri, 04 Sep 2009 13:20:36 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/secrypt/HidalgoCG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Firewall rule set inconsistency characterization by clustering. In Security in information systems, proceedings of the 6th international workshop on security in information systems, WOSIS 2008, in conjunction with ICEIS 2008, barcelona, spain, june 2008, pages 138-144, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/sis/PozoCG08,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {Firewall Rule Set Inconsistency Characterization by Clustering},
    booktitle = {Security in Information Systems, Proceedings of the 6th International
    Workshop on Security in Information Systems, {WOSIS} 2008, In conjunction
    with {ICEIS} 2008, Barcelona, Spain, June 2008},
    pages = {138--144},
    year = {2008},
    crossref = {DBLP:conf/sis/2008},
    timestamp = {Mon, 18 Aug 2008 15:19:28 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/sis/PozoCG08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, and Ángel Jesús Varela-Vaca. Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets. In Proceedings of the second international conference on emerging security information, systems and technologies, SECURWARE 2008, august 25-31, 2008, cap esterel, france, pages 53-61, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/securware/HidalgoCGV08,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {Polynomial Heuristic Algorithms for Inconsistency Characterization
    in Firewall Rule Sets},
    booktitle = {Proceedings of the Second International Conference on Emerging Security
    Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
    2008, Cap Esterel, France},
    pages = {53--61},
    year = {2008},
    crossref = {DBLP:conf/securware/2008},
    url = {http://dx.doi.org/10.1109/SECURWARE.2008.39},
    doi = {10.1109/SECURWARE.2008.39},
    timestamp = {Mon, 17 Aug 2015 17:31:58 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/securware/HidalgoCGV08},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, and Ángel Jesús Varela-Vaca. Fast algorithms for local inconsistency detection in firewall ACL updates. In Proceedings of the second international conference on emerging security information, systems and technologies, SECURWARE 2008, august 25-31, 2008, cap esterel, france, pages 381-390, 2008.
    [Bibtex]
    @inproceedings{DBLP:conf/securware/HidalgoCGV08a,
    author = {Sergio Pozo Hidalgo and
    Rafael Ceballos and
    Rafael M. Gasca and
    {\'{A}}ngel Jes{\'{u}}s Varela-Vaca},
    title = {Fast Algorithms for Local Inconsistency Detection in Firewall {ACL}
    Updates},
    booktitle = {Proceedings of the Second International Conference on Emerging Security
    Information, Systems and Technologies, {SECURWARE} 2008, August 25-31,
    2008, Cap Esterel, France},
    pages = {381--390},
    year = {2008},
    crossref = {DBLP:conf/securware/2008},
    url = {http://dx.doi.org/10.1109/SECURWARE.2008.40},
    doi = {10.1109/SECURWARE.2008.40},
    timestamp = {Mon, 17 Aug 2015 17:31:58 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/securware/HidalgoCGV08a},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • D. Borrego, M. T. Gómez-López, and R. M. Gasca. Diagnosing distributed systems using only structural and qualitative information. International transactions on systems science and applications (to appear), 2008.
    [Bibtex]
    @article{dianaitssa:08,
    author={D. Borrego and M. T. G\'omez-L\'opez and R. M. Gasca},
    title={Diagnosing Distributed Systems Using only Structural and Qualitative Information},
    journal={International Transactions on Systems Science and Applications (to appear)},
    year={2008},
    }
  • D. Borrego, M. T. Gómez-López, R. M. Gasca, and I. Barba. Diagnosing business processes execution using choreography analysis. In Xiii jornadas de ingeniería del software y bases de datos (jisbd 2008), pages 13-24, 2008.
    [Bibtex]
    @inproceedings{dianaadis08,
    author = {D. Borrego and M. T. G\'omez-L\'opez and R. M. Gasca and I. Barba},
    title = {Diagnosing Business Processes Execution Using Choreography Analysis},
    booktitle = {XIII Jornadas de Ingenier\'ia del Software y Bases de Datos (JISBD 2008)},
    year = {2008},
    pages = {13--24},
    location = {Gij\'on, Spain}
    }

2007

  • [DOI] Leonardo Maccari, Romano Fantacci, Pablo Neira Ayuso, and Rafael Martinez Gasca. Mesh network firewalling with bloom filters. In Proceedings of IEEE international conference on communications, ICC 2007, glasgow, scotland, 24-28 june 2007, pages 1546-1551, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/icc/MaccariFAG07,
    author = {Leonardo Maccari and
    Romano Fantacci and
    Pablo Neira Ayuso and
    Rafael Martinez Gasca},
    title = {Mesh Network Firewalling with Bloom Filters},
    booktitle = {Proceedings of {IEEE} International Conference on Communications,
    {ICC} 2007, Glasgow, Scotland, 24-28 June 2007},
    pages = {1546--1551},
    year = {2007},
    crossref = {DBLP:conf/icc/2007},
    url = {http://dx.doi.org/10.1109/ICC.2007.259},
    doi = {10.1109/ICC.2007.259},
    timestamp = {Wed, 15 Apr 2009 10:02:53 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/icc/MaccariFAG07},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Rafael Ceballos, María Teresa Gómez-López, Rafael M. Gasca, and Carmelo Del Valle. A compiled model for faults diagnosis based on different techniques. AI commun., 20(1):7-16, 2007.
    [Bibtex]
    @article{DBLP:journals/aicom/CeballosGGV07,
    author = {Rafael Ceballos and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {A compiled model for faults diagnosis based on different techniques},
    journal = {{AI} Commun.},
    volume = {20},
    number = {1},
    pages = {7--16},
    year = {2007},
    url = {http://content.iospress.com/articles/ai-communications/aic392},
    timestamp = {Fri, 15 May 2015 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aicom/CeballosGGV07},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Sergio Pozo, Rafael Ceballos, and Rafael M. Gasca. Csp-based firewall rule set diagnosis using security policies. In Proceedings of the the second international conference on availability, reliability and security, ARES 2007, the international dependability conference – bridging theory and practice, april 10-13 2007, vienna, austria, pages 723-729, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/PozoCG07,
    author = {Sergio Pozo and
    Rafael Ceballos and
    Rafael M. Gasca},
    title = {CSP-Based Firewall Rule Set Diagnosis using Security Policies},
    booktitle = {Proceedings of the The Second International Conference on Availability,
    Reliability and Security, {ARES} 2007, The International Dependability
    Conference - Bridging Theory and Practice, April 10-13 2007, Vienna,
    Austria},
    pages = {723--729},
    year = {2007},
    crossref = {DBLP:conf/IEEEares/2007},
    url = {http://dx.doi.org/10.1109/ARES.2007.63},
    doi = {10.1109/ARES.2007.63},
    timestamp = {Mon, 13 Apr 2015 17:11:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/IEEEares/PozoCG07},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Carmelo Del Valle, María Teresa Gómez-López, and Rafael Ceballos. NMUS: structural analysis for improving the derivation of all muses in overconstrained numeric csps. In Current topics in artificial intelligence, 12th conference of the spanish association for artificial intelligence, CAEPIA 2007, salamanca, spain, november 12-16, 2007. selected papers, pages 160-169, 2007.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/GascaVLC07,
    author = {Rafael M. Gasca and
    Carmelo Del Valle and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos},
    title = {{NMUS:} Structural Analysis for Improving the Derivation of All MUSes
    in Overconstrained Numeric CSPs},
    booktitle = {Current Topics in Artificial Intelligence, 12th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2007, Salamanca,
    Spain, November 12-16, 2007. Selected Papers},
    pages = {160--169},
    year = {2007},
    crossref = {DBLP:conf/caepia/2007},
    url = {http://dx.doi.org/10.1007/978-3-540-75271-4_17},
    doi = {10.1007/978-3-540-75271-4_17},
    timestamp = {Tue, 30 Oct 2007 12:19:32 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caepia/GascaVLC07},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • D. Borrego, M. T. Gómez-López, and R. M. Gasca. Supervised and distributed model-based diagnosis. In II workshop on industrial applications of distributed intelligent systems, pages 23-32, 2007.
    [Bibtex]
    @inproceedings{dianainadis07,
    author={D. Borrego and M. T. G\'omez-L\'opez and R. M. Gasca},
    title= {Supervised and distributed model-based diagnosis},
    booktitle={{II} Workshop on Industrial Applications of Distributed Intelligent Systems},
    year= {2007},
    pages={23--32}
    }

2006

  • [DOI] Pablo Neira Ayuso, Laurent Lefèvre, and Rafael M. Gasca. High availability support for the design of stateful networking equipments. In Proceedings of the the first international conference on availability, reliability and security, ARES 2006, the international dependability conference – bridging theory and practice, april 20-22 2006, vienna university of technology, austria, pages 254-261, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/IEEEares/NeiraLG06,
    author = {Pablo Neira Ayuso and
    Laurent Lef{\`{e}}vre and
    Rafael M. Gasca},
    title = {High Availability support for the design of stateful networking equipments},
    booktitle = {Proceedings of the The First International Conference on Availability,
    Reliability and Security, {ARES} 2006, The International Dependability
    Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
    University of Technology, Austria},
    pages = {254--261},
    year = {2006},
    crossref = {DBLP:conf/IEEEares/2006},
    url = {http://dx.doi.org/10.1109/ARES.2006.71},
    doi = {10.1109/ARES.2006.71},
    timestamp = {Mon, 13 Apr 2015 17:11:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/IEEEares/NeiraLG06},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Rafael Ceballos, María Teresa Gómez-López, Rafael Martinez Gasca, and 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.
    [Bibtex]
    @article{DBLP:journals/aepia/CeballosLGV06,
    author = {Rafael Ceballos and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Martinez Gasca and
    Carmelo Del Valle},
    title = {An integration of model-based techniques for determining the minimal
    diagnosis},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {10},
    number = {31},
    pages = {41--52},
    year = {2006},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/504},
    timestamp = {Tue, 12 Mar 2013 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/CeballosLGV06},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Rafael Martinez Gasca, and Diana Borrego. Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT software engineering notes, 31(2), 2006.
    [Bibtex]
    @article{DBLP:journals/sigsoft/CeballosGB06,
    author = {Rafael Ceballos and
    Rafael Martinez Gasca and
    Diana Borrego},
    title = {Constraint satisfaction techniques for diagnosing errors in design
    by contract software},
    journal = {{ACM} {SIGSOFT} Software Engineering Notes},
    volume = {31},
    number = {2},
    year = {2006},
    url = {http://doi.acm.org/10.1145/1118537.1123070},
    doi = {10.1145/1118537.1123070},
    timestamp = {Wed, 07 May 2008 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/sigsoft/CeballosGB06},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Sergio Pozo. Distributed model-based diagnosis using object-relational constraint databases. In 20th international conference on advanced information networking and applications (AINA 2006), 18-20 april 2006, vienna, austria, pages 866-870, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/aina/LopezGVP06,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Sergio Pozo},
    title = {Distributed Model-Based Diagnosis using Object-Relational Constraint Databases},
    booktitle = {20th International Conference on Advanced Information Networking and
    Applications {(AINA} 2006), 18-20 April 2006, Vienna, Austria},
    pages = {866--870},
    year = {2006},
    crossref = {DBLP:conf/aina/2006},
    url = {http://dx.doi.org/10.1109/AINA.2006.148},
    doi = {10.1109/AINA.2006.148},
    timestamp = {Tue, 16 Sep 2014 18:00:29 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/aina/LopezGVP06},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • María Teresa Gómez-López and Rafael M. Gasca. Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción. In XI jornadas de ingeniería del software y bases de datos JISBD 2006), octubre 3-6, 2006, sitges, barcelona, spain., pages 471-476, 2006.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/LopezG06,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {Ampliaci{\'{o}}n de la sintaxis y la sem{\'{a}}ntica de
    {SQL} para el tratamiento de datos tipo restricci{\'{o}}n},
    booktitle = {{XI} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos {JISBD} 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain.},
    pages = {471--476},
    year = {2006},
    crossref = {DBLP:conf/jisbd/2006},
    timestamp = {Thu, 04 Oct 2007 15:05:39 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jisbd/LopezG06},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2005

  • Juan Antonio Ortega-Ramírez, Rafael Martinez Gasca, Jesus Torres Valderrama, Miguel Toro Bonilla, Luis González Abril, Francisco Velasco Morente, and Cecilio Angulo Bahón. Metodología semicualitativa para razonar sobre sistemas dinámicos. Computación y sistemas, 8(3), 2005.
    [Bibtex]
    @article{DBLP:journals/cys/Ortega-RamirezGVBAMB05,
    author = {Juan Antonio Ortega-Ram{\'{\i}}rez and
    Rafael Martinez Gasca and
    Jesus Torres Valderrama and
    Miguel Toro Bonilla and
    Luis Gonz{\'{a}}lez Abril and
    Francisco Velasco Morente and
    Cecilio Angulo Bah{\'{o}}n},
    title = {Metodolog{\'{\i}}a Semicualitativa para Razonar sobre Sistemas Din{\'{a}}micos},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {8},
    number = {3},
    year = {2005},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1091},
    timestamp = {Tue, 16 Apr 2013 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/cys/Ortega-RamirezGVBAMB05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Carmelo Del Valle, Victor Cejudo, and Irene Barba. Improving the computational efficiency in symmetrical numeric constraint satisfaction problems. In Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, pages 269-279, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/GascaVCB05,
    author = {Rafael M. Gasca and
    Carmelo Del Valle and
    Victor Cejudo and
    Irene Barba},
    title = {Improving the Computational Efficiency in Symmetrical Numeric Constraint
    Satisfaction Problems},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    pages = {269--279},
    year = {2005},
    crossref = {DBLP:conf/caepia/2005},
    url = {http://dx.doi.org/10.1007/11881216_29},
    doi = {10.1007/11881216_29},
    timestamp = {Tue, 19 Nov 2013 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caepia/GascaVCB05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, and Juan Antonio Ortega. Diagnosis of a chopper controlled DC motor by boosting. In 2005 international conference on computational intelligence for modelling control and automation (CIMCA 2005), international conference on intelligent agents, web technologies and internet commerce (IAWTIC 2005), 28-30 november 2005, vienna, austria, pages 568-575, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/cimca/AbadSGO05,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Diagnosis of a Chopper Controlled {DC} Motor by Boosting},
    booktitle = {2005 International Conference on Computational Intelligence for Modelling
    Control and Automation {(CIMCA} 2005), International Conference on
    Intelligent Agents, Web Technologies and Internet Commerce {(IAWTIC}
    2005), 28-30 November 2005, Vienna, Austria},
    pages = {568--575},
    year = {2005},
    crossref = {DBLP:conf/cimca/2005},
    timestamp = {Wed, 18 Feb 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cimca/AbadSGO05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Victor Cejudo, Rafael M. Gasca, and Carmelo Del Valle. A topological-based method for allocating sensors by using CSP techniques. In Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, pages 62-68, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/CeballosCGV05,
    author = {Rafael Ceballos and
    Victor Cejudo and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {A Topological-Based Method for Allocating Sensors by Using {CSP} Techniques},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    pages = {62--68},
    year = {2005},
    crossref = {DBLP:conf/caepia/2005},
    url = {http://dx.doi.org/10.1007/11881216_7},
    doi = {10.1007/11881216_7},
    timestamp = {Fri, 04 Feb 2011 16:32:18 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caepia/CeballosCGV05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Diana Borrego. Diagnosing errors in dbc programs using constraint programming. In Current topics in artificial intelligence, 11th conference of the spanish association for artificial intelligence, CAEPIA 2005, santiago de compostela, spain, november 16-18, 2005, revised selected papers, pages 200-210, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/caepia/CeballosGVB05,
    author = {Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Diana Borrego},
    title = {Diagnosing Errors in DbC Programs Using Constraint Programming},
    booktitle = {Current Topics in Artificial Intelligence, 11th Conference of the
    Spanish Association for Artificial Intelligence, {CAEPIA} 2005, Santiago
    de Compostela, Spain, November 16-18, 2005, Revised Selected Papers},
    pages = {200--210},
    year = {2005},
    crossref = {DBLP:conf/caepia/2005},
    url = {http://dx.doi.org/10.1007/11881216_22},
    doi = {10.1007/11881216_22},
    timestamp = {Fri, 04 Feb 2011 16:32:18 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/caepia/CeballosGVB05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Sergio Pozo, Carmelo Del Valle, and Rafael M. Gasca. An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way. In MICAI 2005: advances in artificial intelligence, 4th mexican international conference on artificial intelligence, monterrey, mexico, november 14-18, 2005, proceedings, pages 1082-1092, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/micai/CeballosPVG05,
    author = {Rafael Ceballos and
    Sergio Pozo and
    Carmelo Del Valle and
    Rafael M. Gasca},
    title = {An Integration of {FDI} and {DX} Techniques for Determining the Minimal
    Diagnosis in an Automatic Way},
    booktitle = {{MICAI} 2005: Advances in Artificial Intelligence, 4th Mexican International
    Conference on Artificial Intelligence, Monterrey, Mexico, November
    14-18, 2005, Proceedings},
    pages = {1082--1092},
    year = {2005},
    crossref = {DBLP:conf/micai/2005},
    url = {http://dx.doi.org/10.1007/11579427_110},
    doi = {10.1007/11579427_110},
    timestamp = {Mon, 05 Dec 2005 13:35:04 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/micai/CeballosPVG05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and F. T. de la Rosa. Querying a polynomial object-relational constraint database in model-based diagnosis. In Database and expert systems applications, 16th international conference, DEXA 2005, copenhagen, denmark, august 22-26, 2005, proceedings, pages 848-857, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/dexa/Gomez-LopezGVR05,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    F. T. de la Rosa},
    title = {Querying a Polynomial Object-Relational Constraint Database in Model-Based
    Diagnosis},
    booktitle = {Database and Expert Systems Applications, 16th International Conference, {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
    pages = {848--857},
    year = {2005},
    crossref = {DBLP:conf/dexa/2005},
    url = {http://dx.doi.org/10.1007/11546924_83},
    doi = {10.1007/11546924_83},
    timestamp = {Tue, 28 Mar 2006 13:40:14 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/dexa/Gomez-LopezGVR05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and 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. In Actas de las X jornadas de ingeniería del software y bases de datos (JISBD 2005), september 14-16, 2005, granada, spain, pages 221-230, 2005.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/LopezGVC05,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Victor Cejudo},
    title = {{ORCDB:} Arquitectura para la extensi{\'{o}}n de la sem{\'{a}}ntica de {SQL} en bases de datos restrictivas orientadas a objetos con restricciones polin{\'{o}}micas de igualdad},
    booktitle = {Actas de las {X} Jornadas de Ingenier{\'{\i}}a del Software y
    Bases de Datos {(JISBD} 2005), September 14-16, 2005, Granada, Spain},
    pages = {221--230},
    year = {2005},
    crossref = {DBLP:conf/jisbd/2005},
    timestamp = {Sun, 25 Mar 2007 17:04:04 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jisbd/LopezGVC05},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2004

  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Carmelo Del Valle. Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis. In Constraint databases, proceedings of the 1st international symposium on applications of constraint databases, cdb’04, paris, june 12-13, 2004, pages 75-89, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/cdb/GomezCGV04,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {Applying Constraint Databases in the Determination of Potential Minimal
    Conflicts to Polynomial Model-based Diagnosis},
    booktitle = {Constraint Databases, Proceedings of the 1st International Symposium
    on Applications of Constraint Databases, CDB'04, Paris, June 12-13,
    2004},
    pages = {75--89},
    year = {2004},
    crossref = {DBLP:conf/cdb/2004},
    url = {http://dx.doi.org/10.1007/978-3-540-25954-1_5},
    doi = {10.1007/978-3-540-25954-1_5},
    timestamp = {Thu, 07 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cdb/GomezCGV04},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Carmelo Del Valle. Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis. In Constraint databases, proceedings of the 1st international symposium on applications of constraint databases, cdb’04, paris, june 12-13, 2004, pages 75-89, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/cdb/GomezCGV04,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle},
    title = {Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-based Diagnosis},
    booktitle = {Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, June 12-13, 2004},
    pages = {75--89},
    year = {2004},
    crossref = {DBLP:conf/cdb/2004},
    url = {http://dx.doi.org/10.1007/978-3-540-25954-1_5},
    doi = {10.1007/978-3-540-25954-1_5},
    timestamp = {Thu, 07 Jul 2011 15:47:15 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cdb/GomezCGV04},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca, and Sergio Pozo. Determination of possible minimal conflict sets using constraint databases technology and clustering. In Advances in artificial intelligence – IBERAMIA 2004, 9th ibero-american conference on ai, puebla, méxico, november 22-26, 2004, proceedings, pages 942-952, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/Gomez-LopezCGP04,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael Ceballos and
    Rafael M. Gasca and
    Sergio Pozo},
    title = {Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
    Conference on AI, Puebla, M{\'{e}}xico, November 22-26, 2004,
    Proceedings},
    pages = {942--952},
    year = {2004},
    crossref = {DBLP:conf/iberamia/2004},
    url = {http://dx.doi.org/10.1007/978-3-540-30498-2_94},
    doi = {10.1007/978-3-540-30498-2_94},
    timestamp = {Mon, 08 Aug 2011 15:21:29 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iberamia/Gomez-LopezCGP04},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Sergio Pozo, Rafael M. Gasca, and María Teresa Gómez-López. Securing mobile agent based tele-assistance systems. In Tele-care and collaborative virtual communities in elderly care, proceedings of the 1st international workshop on tele-care and collaborative virtual communities in elderly care, TELECARE 2004, in conjunction with ICEIS 2004, porto, portugal, april 2004, pages 63-72, 2004.
    [Bibtex]
    @inproceedings{DBLP:conf/telecare/PozoGG04,
    author = {Sergio Pozo and
    Rafael M. Gasca and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez},
    title = {Securing Mobile Agent Based Tele-Assistance Systems},
    booktitle = {Tele-Care and Collaborative Virtual Communities in Elderly Care, Proceedings of the 1st International Workshop on Tele-Care and Collaborative Virtual Communities in Elderly Care, {TELECARE} 2004, In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004},
    pages = {63--72},
    year = {2004},
    crossref = {DBLP:conf/telecare/2004},
    timestamp = {Tue, 28 Mar 2006 13:40:40 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/telecare/PozoGG04},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2003

  • [DOI] Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, and Eduardo F. Camacho. A genetic algorithm for assembly sequence planning. In Artificial neural nets problem solving methods, 7th international work-conference on artificial and natural neural networks, iwann2003, maó, menorca, spain, june 3-6, 2003 proceedings, part II, pages 337-344, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/iwann/ValleGTC03,
    author = {Carmelo Del Valle and
    Rafael M. Gasca and
    Miguel Toro and
    Eduardo F. Camacho},
    title = {A Genetic Algorithm for Assembly Sequence Planning},
    booktitle = {Artificial Neural Nets Problem Solving Methods, 7th International
    Work-Conference on Artificial and Natural Neural Networks, IWANN2003,
    Ma{\'{o}}, Menorca, Spain, June 3-6, 2003 Proceedings, Part {II}},
    pages = {337--344},
    year = {2003},
    crossref = {DBLP:conf/iwann/2003-2},
    url = {http://dx.doi.org/10.1007/3-540-44869-1_43},
    doi = {10.1007/3-540-44869-1_43},
    timestamp = {Tue, 05 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iwann/ValleGTC03},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Carmelo Del Valle, Antonio A. Márquez, Rafael M. Gasca, and Miguel Toro. On selecting and scheduling assembly plans using constraint programming. In Knowledge-based intelligent information and engineering systems, 7th international conference, KES 2003, oxford, uk, september 3-5, 2003, proceedings, part II, pages 1329-1336, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/kes/ValleMGT03,
    author = {Carmelo Del Valle and
    Antonio A. M{\'{a}}rquez and
    Rafael M. Gasca and
    Miguel Toro},
    title = {On Selecting and Scheduling Assembly Plans Using Constraint Programming},
    booktitle = {Knowledge-Based Intelligent Information and Engineering Systems, 7th
    International Conference, {KES} 2003, Oxford, UK, September 3-5, 2003,
    Proceedings, Part {II}},
    pages = {1329--1336},
    year = {2003},
    crossref = {DBLP:conf/kes/2003-2},
    url = {http://dx.doi.org/10.1007/978-3-540-45226-3_180},
    doi = {10.1007/978-3-540-45226-3_180},
    timestamp = {Tue, 05 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/kes/ValleMGT03},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Rafael Ceballos, Carmelo Del Valle, María Teresa Gómez-López, and Rafael M. Gasca. CSP aplicados a la diagnosis basada en modelos. Inteligencia artificial, revista iberoamericana de inteligencia artificial, 7(20):137-150, 2003.
    [Bibtex]
    @article{DBLP:journals/aepia/CeballosVGG03,
    author = {Rafael Ceballos and
    Carmelo Del Valle and
    Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca},
    title = {{CSP} aplicados a la diagnosis basada en modelos},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {7},
    number = {20},
    pages = {137--150},
    year = {2003},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/381},
    timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/CeballosVGG03},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. CSP y bases de datos restrictivas. Inteligencia artificial, revista iberoamericana de inteligencia artificial, 7(20):151-163, 2003.
    [Bibtex]
    @article{DBLP:journals/aepia/GomezGVC03,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    title = {{CSP} y Bases de Datos Restrictivas},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {7},
    number = {20},
    pages = {151--163},
    year = {2003},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/382},
    timestamp = {Tue, 24 Mar 2015 18:02:59 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/GomezGVC03},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. Arquitectura para la consulta a bases de datos restrictivas. In VIII jornadas ingeniería del software y bases de datos (JISBD 2003), 12-14 noviembre 2003, alicante, pages 593-602, 2003.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/GomezGVC03,
    author = {Mar{\'{\i}}a Teresa G{\'{o}}mez-L{\'{o}}pez and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    title = {Arquitectura para la Consulta a Bases de Datos Restrictivas},
    booktitle = {{VIII} Jornadas Ingenier{\'{\i}}a del Software y Bases de Datos
    {(JISBD} 2003), 12-14 Noviembre 2003, Alicante},
    pages = {593--602},
    year = {2003},
    crossref = {DBLP:conf/jisbd/2003},
    timestamp = {Tue, 28 Mar 2006 13:40:44 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jisbd/GomezGVC03},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2002

  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. A framework for semiqualitative reasoning in engineering applications. Applied artificial intelligence, 16(3):173-197, 2002.
    [Bibtex]
    @article{DBLP:journals/aai/GascaOT02,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {A Framework for Semiqualitative Reasoning in Engineering Applications},
    journal = {Applied Artificial Intelligence},
    volume = {16},
    number = {3},
    pages = {173--197},
    year = {2002},
    url = {http://dx.doi.org/10.1080/088395102753559262},
    doi = {10.1080/088395102753559262},
    timestamp = {Mon, 31 Jan 2011 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aai/GascaOT02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Pedro J. Abad, Antonio J. Suárez, Rafael M. Gasca, and Juan Antonio Ortega. Diagnosis de sistemas dinámicos basada en aprendizaje supervisado off-line. Computación y sistemas, 5(3), 2002.
    [Bibtex]
    @article{DBLP:journals/cys/AbadSGO02,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Diagnosis de Sistemas Din{\'{a}}micos Basada en Aprendizaje Supervisado
    Off-Line},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {5},
    number = {3},
    year = {2002},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/981},
    timestamp = {Fri, 05 Apr 2013 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/cys/AbadSGO02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Pedro J. Abad, Antonio J. Suárez, Juan Antonio Ortega, and Rafael M. Gasca. Diagnosis en fases tempranas de sistemas dinámicos. Computación y sistemas, 6(2), 2002.
    [Bibtex]
    @article{DBLP:journals/cys/AbadSOG02,
    author = {Pedro J. Abad and
    Antonio J. Su{\'{a}}rez and
    Juan Antonio Ortega and
    Rafael M. Gasca},
    title = {Diagnosis en Fases Tempranas de Sistemas Din{\'{a}}micos},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {6},
    number = {2},
    year = {2002},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1004},
    timestamp = {Fri, 05 Apr 2013 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/cys/AbadSOG02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, Miguel Toro, and Jesús Torres. Qualitative comparison of temporal series. QSI. In Topics in artificial intelligence, 5th catalonian conference on ai, CCIA 2002, castellón, spain, october 24-25, 2002, proceedings, pages 75-87, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/ccia/OrtegaCGTT02,
    author = {Juan Antonio Ortega and
    Francisco Javier Cuberos and
    Rafael M. Gasca and
    Miguel Toro and
    Jes{\'{u}}s Torres},
    title = {Qualitative Comparison of Temporal Series. {QSI}},
    booktitle = {Topics in Artificial Intelligence, 5th Catalonian Conference on AI,
    {CCIA} 2002, Castell{\'{o}}n, Spain, October 24-25, 2002, Proceedings},
    pages = {75--87},
    year = {2002},
    crossref = {DBLP:conf/ccia/2002},
    url = {http://dx.doi.org/10.1007/3-540-36079-4_7},
    doi = {10.1007/3-540-36079-4_7},
    timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/ccia/OrtegaCGTT02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Antonio Ortega, Rafael M. Gasca, Miguel Toro, and Jesús Torres. A semiquantitative approach to study semiqualitative systems. In Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, pages 303-312, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/OrtegaGTT02,
    author = {Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro and
    Jes{\'{u}}s Torres},
    title = {A Semiquantitative Approach to Study Semiqualitative Systems},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    pages = {303--312},
    year = {2002},
    crossref = {DBLP:conf/iberamia/2002},
    url = {http://dx.doi.org/10.1007/3-540-36131-6_31},
    doi = {10.1007/3-540-36131-6_31},
    timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iberamia/OrtegaGTT02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • R. Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Miguel Toro. Diagnosis de software usando técnicas max-csp. In VII jornadas de ingeniería del software y bases de datos (JISBD 2002), 19-21 noviembre 2002, el escorial (madrid), pages 425-426, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/CevallosGVT02,
    author = {R. Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Miguel Toro},
    title = {Diagnosis de Software usando t{\'{e}}cnicas Max-CSP},
    booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
    {(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
    pages = {425--426},
    year = {2002},
    crossref = {DBLP:conf/jisbd/2002},
    timestamp = {Wed, 17 Dec 2003 11:31:56 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jisbd/CevallosGVT02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, and Miguel Toro. Max-csp approach for software diagnosis. In Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, pages 172-181, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/CeballosGVT02,
    author = {Rafael Ceballos and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Miguel Toro},
    title = {Max-CSP Approach for Software Diagnosis},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    pages = {172--181},
    year = {2002},
    crossref = {DBLP:conf/iberamia/2002},
    url = {http://dx.doi.org/10.1007/3-540-36131-6_18},
    doi = {10.1007/3-540-36131-6_18},
    timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iberamia/CeballosGVT02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Carmelo Del Valle, Miguel Toro, Rafael Ceballos, and Jesús S. Aguilar-Ruiz. A pomset-based model for estimating workcells’ setups in assembly sequence planning. In Advances in artificial intelligence – IBERAMIA 2002, 8th ibero-american conference on ai, seville, spain, november 12-15, 2002, proceedings, pages 835-844, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/iberamia/ValleTCA02,
    author = {Carmelo Del Valle and
    Miguel Toro and
    Rafael Ceballos and
    Jes{\'{u}}s S. Aguilar-Ruiz},
    title = {A Pomset-Based Model for Estimating Workcells' Setups in Assembly
    Sequence Planning},
    booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2002, 8th Ibero-American
    Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings},
    pages = {835--844},
    year = {2002},
    crossref = {DBLP:conf/iberamia/2002},
    url = {http://dx.doi.org/10.1007/3-540-36131-6_85},
    doi = {10.1007/3-540-36131-6_85},
    timestamp = {Mon, 04 Jul 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iberamia/ValleTCA02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Fco. Fernando Rosa de la Troyano, Rafael M. Gasca, Carmelo Del Valle, and Rafael Ceballos. Arquitectura de un crawler para extraer las estrcturas y contenidos de recursos electrónicos. In VII jornadas de ingeniería del software y bases de datos (JISBD 2002), 19-21 noviembre 2002, el escorial (madrid), pages 259-269, 2002.
    [Bibtex]
    @inproceedings{DBLP:conf/jisbd/TGVC02,
    author = {Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca and
    Carmelo Del Valle and
    Rafael Ceballos},
    title = {Arquitectura de un Crawler para Extraer las Estrcturas y Contenidos
    de Recursos Electr{\'{o}}nicos},
    booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
    {(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
    pages = {259--269},
    year = {2002},
    crossref = {DBLP:conf/jisbd/2002},
    timestamp = {Wed, 04 May 2005 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jisbd/TGVC02},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2001

  • Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Diagnosis basada en modelos polinomicos usando tecnicas simbolicas. Inteligencia artificial, revista iberoamericana de inteligencia artificial, 5(14):68-77, 2001.
    [Bibtex]
    @article{DBLP:journals/aepia/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Diagnosis basada en modelos polinomicos usando tecnicas simbolicas},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {5},
    number = {14},
    pages = {68--77},
    year = {2001},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/317},
    timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/GascaOT01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Rafael M. Gasca, Juan Antonio Ortega, and 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.
    [Bibtex]
    @article{DBLP:journals/cys/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {An Object-Oriented Approach for Learning of Algorithm Design with
    Sequential Devices and Schemas},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {4},
    number = {3},
    pages = {230--241},
    year = {2001},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/947/1043},
    timestamp = {Thu, 21 Mar 2013 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/cys/GascaOT01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Juan Antonio Ortega, Francisco Javier Cuberos, Rafael M. Gasca, and Miguel Toro. Comparación cualitativa de series temporales. índice cualitativo de similitud – QSI. Computación y sistemas, 5(2), 2001.
    [Bibtex]
    @article{DBLP:journals/cys/OrtegaCGT01,
    author = {Juan Antonio Ortega and
    Francisco Javier Cuberos and
    Rafael M. Gasca and
    Miguel Toro},
    title = {Comparaci{\'{o}}n Cualitativa de Series Temporales. {\'{I}}ndice Cualitativo
    de Similitud - {QSI}},
    journal = {Computaci{\'{o}}n y Sistemas},
    volume = {5},
    number = {2},
    year = {2001},
    url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/973},
    timestamp = {Fri, 05 Apr 2013 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/cys/OrtegaCGT01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Structural constraint-based modeling and reasoning with basic configuration cells. In Principles and practice of constraint programming – CP 2001, 7th international conference, CP 2001, paphos, cyprus, november 26 – december 1, 2001, proceedings, pages 595-599, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/cp/GascaOT01,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Structural Constraint-Based Modeling and Reasoning with Basic Configuration
    Cells},
    booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
    International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
    December 1, 2001, Proceedings},
    pages = {595--599},
    year = {2001},
    crossref = {DBLP:conf/cp/2001},
    url = {http://dx.doi.org/10.1007/3-540-45578-7_46},
    doi = {10.1007/3-540-45578-7_46},
    timestamp = {Tue, 28 Jun 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/cp/GascaOT01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Antonio J. Suárez, Pedro J. Abad, Rafael M. Gasca, and Juan Antonio Ortega. Qualitative reasoning for software development project by constraint programming. In ICEIS (1), pages 481-488, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/iceis/SuarezAGO01,
    author = {Antonio J. Su{\'{a}}rez and
    Pedro J. Abad and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Qualitative Reasoning for Software Development Project by Constraint
    Programming},
    booktitle = {{ICEIS} {(1)}},
    pages = {481--488},
    year = {2001},
    timestamp = {Wed, 18 Feb 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/iceis/SuarezAGO01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Fco. Fernando Rosa de la Troyano, Rafael M. Gasca, and Juan Antonio Ortega. Metodología para el análisis visual de la evolución de conceptos en bases de datos textuales. In II jornadas de bibliotecas digitales, JBIDI 2001, almagro, spain, 2001, 2001.
    [Bibtex]
    @inproceedings{DBLP:conf/jbidi/TGO01,
    author = {Fco. Fernando de la Rosa Troyano and
    Rafael M. Gasca and
    Juan Antonio Ortega},
    title = {Metodolog{\'{\i}}a para el An{\'{a}}lisis Visual de la Evoluci{\'{o}}n
    de Conceptos en Bases de Datos Textuales},
    booktitle = {{II} Jornadas de Bibliotecas Digitales, {JBIDI} 2001, Almagro, Spain,
    2001},
    year = {2001},
    crossref = {DBLP:conf/jbidi/2001},
    timestamp = {Wed, 18 Feb 2009 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/jbidi/TGO01},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

2000

  • Miguel Toro, Juan Antonio Ortega, and 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.
    [Bibtex]
    @article{DBLP:journals/aepia/ToroOG00,
    author = {Miguel Toro and
    Juan Antonio Ortega and
    Rafael M. Gasca},
    title = {Metodologias cualitativas aplicadas a los sistemas Socioeconomicos
    y razonamiento con Intervalos.Presentacion},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {4},
    number = {9},
    pages = {45--57},
    year = {2000},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/268},
    timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/ToroOG00},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Juan Antonio Ortega, Rafael M. Gasca, and Miguel Toro. Obtención de patrones de comportamiento de modelos semicualitativos. Inteligencia artificial, revista iberoamericana de inteligencia artificial, 4(9):66-75, 2000.
    [Bibtex]
    @article{DBLP:journals/aepia/OrtegaGT00,
    author = {Juan Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro},
    title = {Obtenci{\'{o}}n de patrones de Comportamiento de Modelos Semicualitativos},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {4},
    number = {9},
    pages = {66--75},
    year = {2000},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/270},
    timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/OrtegaGT00},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • Rafael M. Gasca, Juan Antonio Ortega, and 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.
    [Bibtex]
    @article{DBLP:journals/aepia/GascaOT00,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Aplicacion del Razonamiento Semicualitativo al Modelado y Analisis
    de Sistemas Econ{\'{o}}micos},
    journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
    volume = {4},
    number = {9},
    pages = {85--97},
    year = {2000},
    url = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/272},
    timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/aepia/GascaOT00},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

1998

  • [DOI] Rafael M. Gasca, Juan Antonio Ortega, and Miguel Toro. Automatic semiqualitative analysis: application to a biometallurgical system. In Methodology and tools in knowledge-based systems, 11th international conference on industrial and engineering applications of artificial intelligence and expert systems, iea/aie-98, castellón, spain, june 1-4, 1998, proceedings, volume I, pages 321-328, 1998.
    [Bibtex]
    @inproceedings{DBLP:conf/ieaaie/GascaOT98,
    author = {Rafael M. Gasca and
    Juan Antonio Ortega and
    Miguel Toro},
    title = {Automatic Semiqualitative Analysis: Application to a Biometallurgical
    System},
    booktitle = {Methodology and Tools in Knowledge-Based Systems, 11th International
    Conference on Industrial and Engineering Applications of Artificial
    Intelligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n, Spain,
    June 1-4, 1998, Proceedings, Volume {I}},
    pages = {321--328},
    year = {1998},
    crossref = {DBLP:conf/ieaaie/1998-1},
    url = {http://dx.doi.org/10.1007/3-540-64582-9_762},
    doi = {10.1007/3-540-64582-9_762},
    timestamp = {Thu, 16 Jun 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/ieaaie/GascaOT98},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }
  • [DOI] Juan Antonio Ortega, Rafael M. Gasca, and Miguel Toro. Including qualitative knowledge in semiqualitative dynamical systems. In Methodology and tools in knowledge-based systems, 11th international conference on industrial and engineering applications of artificial intelligence and expert systems, iea/aie-98, castellón, spain, june 1-4, 1998, proceedings, volume I, pages 329-335, 1998.
    [Bibtex]
    @inproceedings{DBLP:conf/ieaaie/OrtegaGT98,
    author = {Juan Antonio Ortega and
    Rafael M. Gasca and
    Miguel Toro},
    title = {Including Qualitative Knowledge in Semiqualitative Dynamical Systems},
    booktitle = {Methodology and Tools in Knowledge-Based Systems, 11th International
    Conference on Industrial and Engineering Applications of Artificial
    Intelligence and Expert Systems, IEA/AIE-98, Castell{\'{o}}n, Spain,
    June 1-4, 1998, Proceedings, Volume {I}},
    pages = {329--335},
    year = {1998},
    crossref = {DBLP:conf/ieaaie/1998-1},
    url = {http://dx.doi.org/10.1007/3-540-64582-9_763},
    doi = {10.1007/3-540-64582-9_763},
    timestamp = {Thu, 16 Jun 2011 01:00:00 +0200},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/ieaaie/OrtegaGT98},
    bibsource = {dblp computer science bibliography, http://dblp.org}
    }

IDEA Research Group | E.T.S Ingeniería Informática | Dpto. Lenguajes y Sistemas Informáticos | Avda. Reina Mercedes S/N, 41012 Sevilla (Spain)