| 2020 | ESORICS | Definition and Verification of Security Configurations of Cyber-Physical Systems. | ngel Jess Varela-Vaca, David Garcia Rosado, Luis Enrique Snchez, Mara Teresa Gmez-Lpez, Rafael M. Gasca, Eduardo Fernndez-Medina |
| 2020 | SPLC | AMADEUS: towards the AutoMAteD secUrity teSting. | ngel Jess Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, Mara Teresa Gmez-Lpez |
| 2016 | BPM | Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. | Mara Teresa Gmez-Lpez, Jos Miguel Prez-lvarez, ngel Jess Varela-Vaca, Rafael M. Gasca |
| 2016 | BPM | Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. | Jos Miguel Prez-lvarez, Mara Teresa Gmez-Lpez, Angel Jesus Varela-Vaca, Francisco Fernando de la Rosa Troyano, Rafael M. Gasca |
| 2016 | CaiSE | Hybrid Diagnosis Applied to Multiple Instances in Business Processes. | Rafael Ceballos, Diana Borrego, Mara Teresa Gmez-Lpez, Rafael M. Gasca |
| 2016 | EDOC | Process Instance Query Language to Include Process Performance Indicators in DMN. | Jos Miguel Prez-lvarez, Mara Teresa Gmez-Lpez, Luisa Parody, Rafael M. Gasca |
| 2016 | RCIS | PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle. | Luisa Parody, Mara Teresa Gmez-Lpez, Isabel Bermejo, Ismael Caballero, Rafael M. Gasca, Mario Piattini |
| 2013 | EDOC | Explaining the Incorrect Temporal Events during Business Process Monitoring by Means of Compliance Rules and Model-Based Diagnosis. | Mara Teresa Gmez-Lpez, Rafael M. Gasca, Stefanie Rinderle-Ma |
| 2013 | RCIS | CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. | Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca, Angel Jesus Varela-Vaca |
| 2011 | ICAART | Using Distributed CSPs to Model Business Processes Agreement in Software Multiprocess. | Luisa Parody, Mara Teresa Gmez-Lpez, Rafael M. Gasca, Diana Borrego |
| 2011 | SECRYPT | OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. | Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo |
| 2010 | AINA | A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
| 2010 | BPM | Improving the Diagnosability of Business Process Management Systems Using Test Points. | Diana Borrego, Mara Teresa Gmez-Lpez, Rafael M. Gasca, Rafael Ceballos |
| 2010 | BPM | Run-Time Auditing for Business Processes Data Using Constraints. | Mara Teresa Gmez-Lpez, Rafael M. Gasca |
| 2009 | ICCSA | MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca |
| 2009 | SECRYPT | Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. | Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos |
| 2008 | ESORICS | Multiprimary Support for the Availability of Cluster-Based Stateful Firewalls Using FT-FW. | Pablo Neira Ayuso, Rafael M. Gasca, Laurent Lefvre |
| 2008 | ICCSA | AFPL, an Abstract Language Model for Firewall ACLs. | Sergio Pozo, Rafael Ceballos, Rafael M. Gasca |
| 2006 | AINA | Distributed Model-Based Diagnosis using Object-Relational Constraint Databases. | Mara Teresa Gmez-Lpez, Rafael M. Gasca, Carmelo Del Valle, Sergio Pozo |
| 2005 | DEXA | Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis. | Mara Teresa Gmez-Lpez, Rafael M. Gasca, Carmelo Del Valle, F. T. de la Rosa |
| 2005 | DEXA | Analysis and Visualization of the DX Community with Information Extracted from the Web. | F. T. de la Rosa, Mara Teresa Gmez-Lpez, Rafael M. Gasca |
| 2003 | IWANN | A Genetic Algorithm for Assembly Sequence Planning. | Carmelo Del Valle, Rafael M. Gasca, Miguel Toro, Eduardo F. Camacho |
| 2003 | KES | On Selecting and Scheduling Assembly Plans Using Constraint Programming. | Carmelo Del Valle, Antonio A. Mrquez, Rafael M. Gasca, Miguel Toro |
| 2001 | CP | Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells. | Rafael M. Gasca, Juan Antonio Ortega, Miguel Toro |