<?xml version="1.0"?>
<dblpperson name="Angel Jesus Varela-Vaca" pid="32/5551" n="60">
<person key="homepages/32/5551" mdate="2021-01-05">
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<url>https://orcid.org/0000-0001-9953-6005</url>
<url>https://www.wikidata.org/entity/Q104485404</url>
</person>
<r><article key="journals/eswa/ValenciaParraVPCG26" mdate="2025-09-06">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author orcid="0000-0002-5189-1427" pid="37/3025">Ismael Caballero 0001</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>DMN4DQ+: Optimising data repair to enhance data usability.</title>
<pages>129170</pages>
<year>2026</year>
<volume>296</volume>
<journal>Expert Syst. Appl.</journal>
<ee>https://doi.org/10.1016/j.eswa.2025.129170</ee>
<url>db/journals/eswa/eswa296.html#ValenciaParraVPCG26</url>
<stream>streams/journals/eswa</stream>
</article>
</r>
<r><article key="journals/ijisec/VarelaVacaGZG25" mdate="2025-03-03">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="393/1406">Yolanda Morales Zamora</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Business process models and simulation to enable GDPR compliance.</title>
<pages>41</pages>
<year>2025</year>
<month>February</month>
<volume>24</volume>
<journal>Int. J. Inf. Sec.</journal>
<number>1</number>
<ee>https://doi.org/10.1007/s10207-024-00952-7</ee>
<url>db/journals/ijisec/ijisec24.html#VarelaVacaGZG25</url>
<stream>streams/journals/ijisec</stream>
</article>
</r>
<r><article key="journals/iot/MunozHerediaVBG25" mdate="2025-07-04">
<author orcid="0009-0000-1935-7550" pid="406/4969">Daniel Mu&#241;oz-Heredia</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-7471-9208" pid="05/2365">Diana Borrego</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>Optimising secure and sustainable smart home configurations.</title>
<pages>101637</pages>
<year>2025</year>
<volume>32</volume>
<journal>Internet Things</journal>
<ee>https://doi.org/10.1016/j.iot.2025.101637</ee>
<url>db/journals/iot/iot32.html#MunozHerediaVBG25</url>
<stream>streams/journals/iot</stream>
</article>
</r>
<r><article key="journals/peerj-cs/BorregoVGG25" mdate="2025-09-06">
<author orcid="0000-0002-7471-9208" pid="05/2365">Diana Borrego</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Informed decision-making in prioritising product variants.</title>
<pages>e2778</pages>
<year>2025</year>
<volume>11</volume>
<journal>PeerJ Comput. Sci.</journal>
<ee type="oa">https://doi.org/10.7717/peerj-cs.2778</ee>
<url>db/journals/peerj-cs/peerj-cs11.html#BorregoVGG25</url>
<stream>streams/journals/peerj-cs</stream>
</article>
</r>
<r><article publtype="software" key="journals/softx/MarquezVGGB25" mdate="2025-05-01">
<author orcid="0000-0002-7282-3386" pid="302/5678">Antonio Germ&#225;n M&#225;rquez</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="130/7585">Jos&#233; A. Galindo</author>
<author pid="b/DBenavides">David Benavides 0001</author>
<title>Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies.</title>
<pages>102152</pages>
<year>2025</year>
<volume>30</volume>
<journal>SoftwareX</journal>
<ee type="oa">https://doi.org/10.1016/j.softx.2025.102152</ee>
<url>db/journals/softx/softx30.html#MarquezVGGB25</url>
<stream>streams/journals/softx</stream>
</article>
</r>
<r><article publtype="software" key="journals/softx/MarquezVGGB25a" mdate="2025-10-07">
<author pid="302/5678">Antonio Germ&#225;n M&#225;rquez</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="130/7585">Jos&#233; A. Galindo</author>
<author pid="b/DBenavides">David Benavides 0001</author>
<title>Corrigendum to &#34;Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies&#34; [SoftwareX, Volume 30, May 2025, 102152].</title>
<pages>102228</pages>
<year>2025</year>
<volume>31</volume>
<journal>SoftwareX</journal>
<ee type="oa">https://doi.org/10.1016/j.softx.2025.102228</ee>
<url>db/journals/softx/softx31.html#MarquezVGGB25a</url>
<stream>streams/journals/softx</stream>
</article>
</r>
<r><inproceedings key="conf/caise/Cobo-ArizaAQVG25" mdate="2025-06-26">
<author pid="408/3812">Jos&#233; Luis Cobo-Ariza</author>
<author pid="408/3816">Joaqu&#237;n Arregui</author>
<author pid="r/AntoniaMReinaQuintero">Antonia M. Reina Quintero</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>Explaining the Compliance of Security Policies for GDPR in Business Processes.</title>
<pages>355-367</pages>
<year>2025</year>
<booktitle>CAiSE Workshops</booktitle>
<ee>https://doi.org/10.1007/978-3-031-94931-9_29</ee>
<crossref>conf/caise/2025w</crossref>
<url>db/conf/caise/caisews2025.html#Cobo-ArizaAQVG25</url>
</inproceedings>
</r>
<r><article key="journals/compsec/MarquezVGGB24" mdate="2025-04-29">
<author orcid="0000-0002-7282-3386" pid="302/5678">Antonio Germ&#225;n M&#225;rquez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0001-9293-9784" pid="130/7585">Jos&#233; A. Galindo</author>
<author orcid="0000-0002-8449-3273" pid="b/DBenavides">David Benavides 0001</author>
<title>Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).</title>
<pages>103669</pages>
<year>2024</year>
<volume>139</volume>
<journal>Comput. Secur.</journal>
<ee type="oa">https://doi.org/10.1016/j.cose.2023.103669</ee>
<url>db/journals/compsec/compsec139.html#MarquezVGGB24</url>
</article>
</r>
<r><article key="journals/infsof/BarbaGonzalezCVCGN24" mdate="2024-03-08">
<author orcid="0000-0002-8764-5076" pid="177/6410">Crist&#243;bal Barba-Gonz&#225;lez</author>
<author orcid="0000-0002-5189-1427" pid="37/3025">Ismael Caballero 0001</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="10/2388">Jos&#233; A. Cruz-Lemus</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0001-7819-5416" pid="89/6366">Ismael Navas-Delgado</author>
<title>BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning.</title>
<pages>107378</pages>
<year>2024</year>
<month>March</month>
<volume>167</volume>
<journal>Inf. Softw. Technol.</journal>
<ee type="oa">https://doi.org/10.1016/j.infsof.2023.107378</ee>
<url>db/journals/infsof/infsof167.html#BarbaGonzalezCVCGN24</url>
</article>
</r>
<r><article key="journals/iot/VarelaVacaGIG24" mdate="2024-06-08">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="215/5249">David Iglesias</author>
<author pid="370/9618">J. M. G&#243;nzalez-Guti&#233;rrez</author>
<title>Automated trusted collaborative processes through blockchain &#38; IoT integration: The fraud detection case.</title>
<pages>101106</pages>
<year>2024</year>
<month>April</month>
<volume>25</volume>
<journal>Internet Things</journal>
<ee type="oa">https://doi.org/10.1016/j.iot.2024.101106</ee>
<url>db/journals/iot/iot25.html#VarelaVacaGIG24</url>
</article>
</r>
<r><article key="journals/istr/RosadoSVSGGF24" mdate="2024-12-09">
<author orcid="0000-0003-4613-5501" pid="27/6712">David Garcia Rosado</author>
<author orcid="0000-0003-0086-1065" pid="348/4392">Luis Enrique S&#225;nchez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-2349-3894" pid="15/7850">Antonio Santos-Olmo</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0003-2553-9320" pid="f/EduardoFernandezMedina">Eduardo Fern&#225;ndez-Medina</author>
<title>Enabling security risk assessment and management for business process models.</title>
<pages>103829</pages>
<year>2024</year>
<volume>84</volume>
<journal>J. Inf. Secur. Appl.</journal>
<ee type="oa">https://doi.org/10.1016/j.jisa.2024.103829</ee>
<url>db/journals/istr/istr84.html#RosadoSVSGGF24</url>
<stream>streams/journals/istr</stream>
</article>
</r>
<r><article key="journals/compsec/RendonSegadorAV23" mdate="2024-02-05">
<author orcid="0000-0002-5691-2717" pid="344/5059">Fernando J. Rend&#243;n-Segador</author>
<author orcid="0000-0002-4106-6044" pid="50/2970">Juan Antonio &#193;lvarez-Garc&#237;a</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<title>Paying attention to cyber-attacks: A multi-layer perceptron with self-attention mechanism.</title>
<pages>103318</pages>
<year>2023</year>
<month>September</month>
<volume>132</volume>
<journal>Comput. Secur.</journal>
<ee>https://doi.org/10.1016/j.cose.2023.103318</ee>
<url>db/journals/compsec/compsec132.html#RendonSegadorAV23</url>
</article>
</r>
<r><article key="journals/iot/BlancoRVLF23" mdate="2025-01-19">
<author orcid="0000-0001-9001-0904" pid="11/1097">Carlos Blanco 0001</author>
<author pid="27/6712">David Garcia Rosado</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="f/EduardoFernandezMedina">Eduardo Fern&#225;ndez-Medina</author>
<title>Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning.</title>
<pages>100989</pages>
<year>2023</year>
<month>December</month>
<volume>24</volume>
<journal>Internet Things</journal>
<ee type="oa">https://doi.org/10.1016/j.iot.2023.100989</ee>
<ee>https://www.wikidata.org/entity/Q124980900</ee>
<url>db/journals/iot/iot24.html#BlancoRVLF23</url>
</article>
</r>
<r><article key="journals/jss/Varela-VacaBLGM23" mdate="2025-05-31">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="05/2365">Diana Borrego</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0002-7282-3386" pid="302/5678">Antonio Germ&#225;n M&#225;rquez</author>
<title>Feature models to boost the vulnerability management process.</title>
<pages>111541</pages>
<year>2023</year>
<volume>195</volume>
<journal>J. Syst. Softw.</journal>
<ee>https://doi.org/10.1016/j.jss.2022.111541</ee>
<ee>https://www.wikidata.org/entity/Q115431213</ee>
<url>db/journals/jss/jss195.html#Varela-VacaBLGM23</url>
</article>
</r>
<r><article key="journals/peerj-cs/HaroOlmoVVAL23" mdate="2025-01-19">
<author orcid="0000-0003-3130-0877" pid="281/6305">Francisco Jos&#233; de Haro-Olmo</author>
<author pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>ELI: an IoT-aware big data pipeline with data curation and data quality.</title>
<pages>e1605</pages>
<year>2023</year>
<volume>9</volume>
<journal>PeerJ Comput. Sci.</journal>
<ee type="oa">https://doi.org/10.7717/peerj-cs.1605</ee>
<ee>https://www.wikidata.org/entity/Q122930286</ee>
<url>db/journals/peerj-cs/peerj-cs9.html#HaroOlmoVVAL23</url>
</article>
</r>
<r><inproceedings key="conf/caise/FernandezVL23" mdate="2024-01-19">
<author orcid="0000-0003-1296-6219" pid="348/8561">Vanessa Pradas Fern&#225;ndez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology.</title>
<pages>158-173</pages>
<year>2023</year>
<booktitle>CAiSE</booktitle>
<ee>https://doi.org/10.1007/978-3-031-34560-9_10</ee>
<crossref>conf/caise/2023</crossref>
<url>db/conf/caise/caise2023.html#FernandezVL23</url>
</inproceedings>
</r>
<r><article key="journals/comsis/EstanolVLTG22" mdate="2024-01-19">
<author pid="125/0332">Montserrat Esta&#241;ol</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="t/ErnestTeniente">Ernest Teniente</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Reasoning on the usage control security policies over data artifact business process models.</title>
<pages>547-572</pages>
<year>2022</year>
<volume>19</volume>
<journal>Comput. Sci. Inf. Syst.</journal>
<number>2</number>
<ee type="oa">https://doi.org/10.2298/csis210217061e</ee>
<ee>https://www.wikidata.org/entity/Q113420351</ee>
<url>db/journals/comsis/comsis19.html#EstanolVLTG22</url>
</article>
</r>
<r><article key="journals/csur/Varela-VacaQ21" mdate="2025-01-19">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0003-3698-6302" pid="r/AntoniaMReinaQuintero">Antonia M. Reina Quintero</author>
<title>Smart Contract Languages: A Multivocal Mapping Study.</title>
<pages>3:1-3:38</pages>
<year>2022</year>
<volume>54</volume>
<journal>ACM Comput. Surv.</journal>
<number>1</number>
<ee>https://doi.org/10.1145/3423166</ee>
<ee>https://www.wikidata.org/entity/Q131110573</ee>
<url>db/journals/csur/csur54.html#Varela-VacaQ21</url>
</article>
</r>
<r><article key="journals/istr/QuinteroPVLC22" mdate="2025-11-02">
<author orcid="0000-0003-3698-6302" pid="r/AntoniaMReinaQuintero">Antonia M. Reina Quintero</author>
<author orcid="0000-0002-3978-9876" pid="120/5512">Salvador Mart&#237;nez Perez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0003-2418-2489" pid="18/948">Jordi Cabot</author>
<title>A domain-specific language for the specification of UCON policies.</title>
<pages>103006</pages>
<year>2022</year>
<volume>64</volume>
<journal>J. Inf. Secur. Appl.</journal>
<ee type="oa">https://doi.org/10.1016/j.jisa.2021.103006</ee>
<ee>https://www.wikidata.org/entity/Q130621782</ee>
<url>db/journals/istr/istr64.html#QuinteroPVLC22</url>
</article>
</r>
<r><inproceedings key="conf/safecomp/MartinezV22" mdate="2023-11-12">
<author orcid="0000-0001-8742-9640" pid="86/3767">Jabier Martinez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<title>Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert.</title>
<pages>158-165</pages>
<year>2022</year>
<booktitle>SAFECOMP Workshops</booktitle>
<ee>https://doi.org/10.1007/978-3-031-14862-0_12</ee>
<crossref>conf/safecomp/2022w</crossref>
<url>db/conf/safecomp/safecomp2022w.html#MartinezV22</url>
</inproceedings>
</r>
<r><inproceedings key="conf/splc/MarquezGVL022" mdate="2025-05-01">
<author orcid="0000-0002-7282-3386" pid="302/5678">Antonio Germ&#225;n M&#225;rquez</author>
<author pid="130/7585">Jos&#233; A. Galindo</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="b/DBenavides">David Benavides 0001</author>
<title>Advisory: vulnerability analysis in software development project dependencies.</title>
<pages>99-102</pages>
<year>2022</year>
<booktitle>SPLC (B)</booktitle>
<ee>https://doi.org/10.1145/3503229.3547058</ee>
<ee>https://www.wikidata.org/entity/Q130909016</ee>
<crossref>conf/splc/2022b</crossref>
<url>db/conf/splc/splc2022b.html#MarquezGVL022</url>
</inproceedings>
</r>
<r><article key="journals/cii/Varela-VacaRSLG21" mdate="2024-04-27">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="27/6712">David Garcia Rosado</author>
<author orcid="0000-0003-0086-1065" pid="348/4392">Luis Enrique S&#225;nchez</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="f/EduardoFernandezMedina">Eduardo Fern&#225;ndez-Medina</author>
<title>CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems.</title>
<pages>103524</pages>
<year>2021</year>
<volume>132</volume>
<journal>Comput. Ind.</journal>
<ee type="oa">https://doi.org/10.1016/j.compind.2021.103524</ee>
<ee>https://www.wikidata.org/entity/Q115062403</ee>
<url>db/journals/cii/cii132.html#Varela-VacaRSLG21</url>
</article>
</r>
<r><article key="journals/cmm/HaroOlmoVVA21" mdate="2023-08-28">
<author orcid="0000-0003-3130-0877" pid="281/6305">Francisco Jos&#233; de Haro-Olmo</author>
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</author>
<title>Data curation in the Internet of Things: A decision model approach.</title>
<year>2021</year>
<month>November</month>
<volume>3</volume>
<journal>Comput. Math. Methods</journal>
<number>6</number>
<ee>https://doi.org/10.1002/cmm4.1191</ee>
<ee>https://www.wikidata.org/entity/Q108705532</ee>
<url>db/journals/cmm/cmm3.html#HaroOlmoVVA21</url>
</article>
</r>
<r><article key="journals/dss/Valencia-ParraP21" mdate="2024-01-19">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-5189-1427" pid="37/3025">Ismael Caballero 0001</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>DMN4DQ: When data quality meets DMN.</title>
<pages>113450</pages>
<year>2021</year>
<volume>141</volume>
<journal>Decis. Support Syst.</journal>
<ee>https://doi.org/10.1016/j.dss.2020.113450</ee>
<url>db/journals/dss/dss141.html#Valencia-ParraP21</url>
</article>
</r>
<r><article key="journals/ese/Ramos-Gutierrez21" mdate="2024-01-19">
<author orcid="0000-0001-8815-0510" pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="130/7585">Jos&#233; A. Galindo</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="b/DBenavides">David Benavides 0001</author>
<title>Discovering configuration workflows from existing logs using process mining.</title>
<pages>11</pages>
<year>2021</year>
<volume>26</volume>
<journal>Empir. Softw. Eng.</journal>
<number>1</number>
<ee>https://doi.org/10.1007/s10664-020-09911-x</ee>
<url>db/journals/ese/ese26.html#Ramos-Gutierrez21</url>
</article>
</r>
<r><article key="journals/is/Valencia-ParraV21" mdate="2024-01-19">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0001-9656-254X" pid="52/5368">Josep Carmona 0001</author>
<author pid="60/2514">Robin Bergenthum</author>
<title>Empowering conformance checking using Big Data through horizontal decomposition.</title>
<pages>101731</pages>
<year>2021</year>
<volume>99</volume>
<journal>Inf. Syst.</journal>
<ee>https://doi.org/10.1016/j.is.2021.101731</ee>
<url>db/journals/is/is99.html#Valencia-ParraV21</url>
</article>
</r>
<r><article key="journals/tjs/Haro-OlmoAVL21" mdate="2021-10-14">
<author orcid="0000-0003-3130-0877" pid="281/6305">Francisco Jos&#233; de Haro-Olmo</author>
<author orcid="0000-0002-5815-7858" pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="161/8533">Juan Antonio L&#243;pez-Ramos</author>
<title>Blockchain-based federation of wireless sensor nodes.</title>
<pages>7879-7891</pages>
<year>2021</year>
<volume>77</volume>
<journal>J. Supercomput.</journal>
<number>7</number>
<ee>https://doi.org/10.1007/s11227-020-03605-3</ee>
<url>db/journals/tjs/tjs77.html#Haro-OlmoAVL21</url>
</article>
</r>
<r><inproceedings key="conf/bpm/Valencia-ParraV21" mdate="2024-01-19">
<author pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="52/5368">Josep Carmona 0001</author>
<title>CC4Spark: Distributing event logs and big complex conformance checking problems.</title>
<pages>136-140</pages>
<year>2021</year>
<booktitle>BPM (PhD/Demos)</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-2973/paper_277.pdf</ee>
<crossref>conf/bpm/2021d</crossref>
<url>db/conf/bpm/bpmd2021.html#Valencia-ParraV21</url>
</inproceedings>
</r>
<r><inproceedings key="conf/caise/Ramos-Gutierrez21" mdate="2024-01-19">
<author orcid="0000-0001-8815-0510" pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-6661-2849" pid="63/2432">F. Javier Ortega</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0002-7205-8821" pid="96/1121">Moe Thandar Wynn</author>
<title>A NLP-Oriented Methodology to Enhance Event Log Quality.</title>
<pages>19-35</pages>
<year>2021</year>
<booktitle>BPMDS/EMMSAD@CAiSE</booktitle>
<ee>https://doi.org/10.1007/978-3-030-79186-5_2</ee>
<crossref>conf/caise/2021bpmds</crossref>
<url>db/conf/caise/bpmds2021.html#Ramos-Gutierrez21</url>
</inproceedings>
</r>
<r><incollection key="books/sp/21/Valencia-ParraRVLB21" mdate="2024-01-19">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="247/6848">Antonio Garcia Bernal</author>
<title>Enabling Process Mining in Airbus Manufacturing.</title>
<pages>125-138</pages>
<year>2021</year>
<booktitle>Business Process Management Cases (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-662-63047-1_10</ee>
<crossref>books/sp/21/BMR2021</crossref>
<url>db/books/collections/BMR2021.html#Valencia-ParraRVLB21</url>
</incollection>
</r>
<r><article key="journals/jocs/Valencia-ParraV20" mdate="2024-01-19">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>Unleashing Constraint Optimisation Problem solving in Big Data environments.</title>
<pages>101180</pages>
<year>2020</year>
<volume>45</volume>
<journal>J. Comput. Sci.</journal>
<ee>https://doi.org/10.1016/j.jocs.2020.101180</ee>
<url>db/journals/jocs/jocs45.html#Valencia-ParraV20</url>
</article>
</r>
<r><article key="journals/sensors/Haro-OlmoVA20" mdate="2021-07-25">
<author orcid="0000-0003-3130-0877" pid="281/6305">Francisco Jos&#233; de Haro-Olmo</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-5815-7858" pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</author>
<title>Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review.</title>
<pages>7171</pages>
<year>2020</year>
<volume>20</volume>
<journal>Sensors</journal>
<number>24</number>
<ee type="oa">https://doi.org/10.3390/s20247171</ee>
<ee>https://www.wikidata.org/entity/Q104485405</ee>
<url>db/journals/sensors/sensors20.html#Haro-OlmoVA20</url>
</article>
</r>
<r><article key="journals/tjs/Fernandez-Cerero20" mdate="2025-01-19">
<author orcid="0000-0002-9403-111X" pid="154/0141">Dami&#225;n Fern&#225;ndez-Cerero</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-2998-4950" pid="06/5454">Alejandro Fern&#225;ndez-Montes</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</author>
<title>Measuring data-centre workflows complexity through process mining: the Google cluster case.</title>
<pages>2449-2478</pages>
<year>2020</year>
<volume>76</volume>
<journal>J. Supercomput.</journal>
<number>4</number>
<ee>https://doi.org/10.1007/s11227-019-02996-2</ee>
<ee>https://www.wikidata.org/entity/Q127235229</ee>
<url>db/journals/tjs/tjs76.html#Fernandez-Cerero20</url>
</article>
</r>
<r><inproceedings key="conf/esorics/Varela-VacaRSLG20" mdate="2024-04-27">
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="27/6712">David Garcia Rosado</author>
<author orcid="0000-0003-0086-1065" pid="348/4392">Luis Enrique S&#225;nchez</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="f/EduardoFernandezMedina">Eduardo Fern&#225;ndez-Medina</author>
<title>Definition and Verification of Security Configurations of Cyber-Physical Systems.</title>
<pages>135-155</pages>
<year>2020</year>
<booktitle>CyberICPS/SECPRE/ADIoT@ESORICS</booktitle>
<ee>https://doi.org/10.1007/978-3-030-64330-0_9</ee>
<crossref>conf/esorics/2020cicps</crossref>
<url>db/conf/esorics/cicps2020.html#Varela-VacaRSLG20</url>
</inproceedings>
</r>
<r><inproceedings key="conf/splc/Varela-VacaGCL20" mdate="2025-01-19">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="276/8917">Jose Antonio Carmona-Fombella</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>AMADEUS: towards the AutoMAteD secUrity teSting.</title>
<pages>11:1-11:12</pages>
<year>2020</year>
<booktitle>SPLC (A)</booktitle>
<ee>https://doi.org/10.1145/3382025.3414952</ee>
<ee>https://www.wikidata.org/entity/Q130926299</ee>
<crossref>conf/splc/2020a</crossref>
<url>db/conf/splc/splc2020a.html#Varela-VacaGCL20</url>
</inproceedings>
</r>
<r><article key="journals/access/Varela-VacaPGL19" mdate="2025-01-19">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.</title>
<pages>26448-26465</pages>
<year>2019</year>
<volume>7</volume>
<journal>IEEE Access</journal>
<ee type="oa">https://doi.org/10.1109/ACCESS.2019.2901408</ee>
<ee>https://www.wikidata.org/entity/Q128322783</ee>
<url>db/journals/access/access7.html#Varela-VacaPGL19</url>
</article>
</r>
<r><article key="journals/entropy/Ramirez-LopezVR19" mdate="2020-03-27">
<author pid="256/1428">Francisco Jos&#233; Ram&#237;rez-L&#243;pez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0001-5445-0646" pid="46/73">Jorge Ropero</author>
<author orcid="0000-0001-9041-0035" pid="77/5877">Joaqu&#237;n Luque</author>
<author orcid="0000-0001-9474-3929" pid="02/999">Alejandro Carrasco</author>
<title>A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices.</title>
<pages>1136</pages>
<year>2019</year>
<volume>21</volume>
<journal>Entropy</journal>
<number>12</number>
<ee type="oa">https://doi.org/10.3390/e21121136</ee>
<url>db/journals/entropy/entropy21.html#Ramirez-LopezVR19</url>
</article>
</r>
<r><inproceedings key="conf/bpm/Valencia-ParraR19" mdate="2024-01-19">
<author pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</author>
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="247/6848">Antonio Garcia Bernal</author>
<title>Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data.</title>
<pages>166-177</pages>
<year>2019</year>
<booktitle>BPM (Industry Forum)</booktitle>
<ee type="oa">https://ceur-ws.org/Vol-2428/paper15.pdf</ee>
<crossref>conf/bpm/2019f</crossref>
<url>db/conf/bpm/bpmf2019.html#Valencia-ParraR19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/bpm/Valencia-ParraP19" mdate="2024-01-19">
<author orcid="0000-0002-0645-1000" pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0002-5189-1427" pid="37/3025">Ismael Caballero 0001</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<title>DMN for Data Quality Measurement and Assessment.</title>
<pages>362-374</pages>
<year>2019</year>
<booktitle>Business Process Management Workshops</booktitle>
<ee>https://doi.org/10.1007/978-3-030-37453-2_30</ee>
<crossref>conf/bpm/2019w</crossref>
<url>db/conf/bpm/bpmw2019.html#Valencia-ParraP19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/icis/Valencia-ParraV19" mdate="2024-01-19">
<author pid="247/6763">&#193;lvaro Valencia-Parra</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="93/4640">Paolo Ceravolo</author>
<title>CHAMALEON: Framework to improve Data Wrangling with Complex Data.</title>
<year>2019</year>
<booktitle>ICIS</booktitle>
<ee>https://aisel.aisnet.org/icis2019/data_science/data_science/16</ee>
<crossref>conf/icis/2019</crossref>
<url>db/conf/icis/icis2019.html#Valencia-ParraV19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/splc/Varela-VacaGRLB19" mdate="2025-01-19">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="130/7585">Jos&#233; Angel Galindo</author>
<author orcid="0000-0001-8815-0510" pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="b/DBenavides">David Benavides 0001</author>
<title>Process mining to unleash variability management: discovering configuration workflows using logs.</title>
<pages>37:1-37:12</pages>
<year>2019</year>
<booktitle>SPLC (A)</booktitle>
<ee>https://doi.org/10.1145/3336294.3336303</ee>
<ee>https://www.wikidata.org/entity/Q130975287</ee>
<crossref>conf/splc/2019a</crossref>
<url>db/conf/splc/splc2019a.html#Varela-VacaGRLB19</url>
</inproceedings>
</r>
<r><inproceedings key="conf/isdevel/ParodyVLG17" mdate="2024-01-19">
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment.</title>
<year>2017</year>
<booktitle>ISD</booktitle>
<ee>http://aisel.aisnet.org/isd2014/proceedings2017/CogScience/3</ee>
<crossref>conf/isdevel/2017</crossref>
<url>db/conf/isdevel/isdevel2017.html#ParodyVLG17</url>
</inproceedings>
</r>
<r><article key="journals/aicom/Varela-Vaca15" mdate="2020-03-27">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>OPBUS: A framework for improving the dependability of risk-aware business processes.</title>
<pages>233-235</pages>
<year>2016</year>
<volume>29</volume>
<journal>AI Commun.</journal>
<number>1</number>
<ee>https://doi.org/10.3233/AIC-140651</ee>
<url>db/journals/aicom/aicom29.html#Varela-Vaca15</url>
</article>
</r>
<r><inproceedings key="conf/bis/Varela-VacaBLG16" mdate="2024-01-19">
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author pid="05/2365">Diana Borrego</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models.</title>
<pages>289-301</pages>
<year>2016</year>
<booktitle>BIS</booktitle>
<ee>https://doi.org/10.1007/978-3-319-39426-8_23</ee>
<crossref>conf/bis/2016</crossref>
<url>db/conf/bis/bis2016.html#Varela-VacaBLG16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/bpm/Perez-AlvarezLV16" mdate="2025-11-26">
<author orcid="0000-0002-0067-2662" pid="152/7737">Jos&#233; Miguel P&#233;rez-&#193;lvarez</author>
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="358/7572">Francisco Fernando de la Rosa Troyano</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps.</title>
<pages>208-219</pages>
<year>2016</year>
<booktitle>Business Process Management Workshops</booktitle>
<ee>https://doi.org/10.1007/978-3-319-58457-7_16</ee>
<crossref>conf/bpm/2016w</crossref>
<url>db/conf/bpm/bpmw2016.html#Perez-AlvarezLV16</url>
</inproceedings>
</r>
<r><inproceedings key="conf/bpm/LopezPVG16" mdate="2024-01-19">
<author orcid="0000-0002-3562-875X" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0002-0067-2662" pid="152/7737">Jos&#233; Miguel P&#233;rez-&#193;lvarez</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">&#193;ngel Jes&#250;s Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models.</title>
<pages>239-251</pages>
<year>2016</year>
<booktitle>Business Process Management Workshops</booktitle>
<ee>https://doi.org/10.1007/978-3-319-58457-7_18</ee>
<crossref>conf/bpm/2016w</crossref>
<url>db/conf/bpm/bpmw2016.html#LopezPVG16</url>
</inproceedings>
</r>
<r><article key="journals/igpl/Varela-VacaG15" mdate="2020-03-27">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Formalization of security patterns as a means to infer security controls in business processes.</title>
<pages>57-72</pages>
<year>2015</year>
<volume>23</volume>
<journal>Log. J. IGPL</journal>
<number>1</number>
<ee>https://doi.org/10.1093/jigpal/jzu042</ee>
<url>db/journals/igpl/igpl23.html#Varela-VacaG15</url>
</article>
</r>
<r><article key="journals/infsof/Varela-VacaG13" mdate="2020-02-20">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach.</title>
<pages>1948-1973</pages>
<year>2013</year>
<volume>55</volume>
<journal>Inf. Softw. Technol.</journal>
<number>11</number>
<ee>https://doi.org/10.1016/j.infsof.2013.05.007</ee>
<url>db/journals/infsof/infsof55.html#Varela-VacaG13</url>
</article>
</r>
<r><inproceedings key="conf/rcis/ParodyLGV13" mdate="2024-01-19">
<author orcid="0000-0001-6096-8564" pid="95/9854">Luisa Parody</author>
<author pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper.</title>
<pages>1-2</pages>
<year>2013</year>
<booktitle>RCIS</booktitle>
<ee>https://doi.org/10.1109/RCIS.2013.6577745</ee>
<crossref>conf/rcis/2013</crossref>
<url>db/conf/rcis/rcis2013.html#ParodyLGV13</url>
</inproceedings>
</r>
<r><article key="journals/jss/PozoGRV12" mdate="2020-02-24">
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0003-3698-6302" pid="r/AntoniaMReinaQuintero">Antonia M. Reina Quintero</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework.</title>
<pages>425-457</pages>
<year>2012</year>
<volume>85</volume>
<journal>J. Syst. Softw.</journal>
<number>2</number>
<ee>https://doi.org/10.1016/j.jss.2011.09.008</ee>
<url>db/journals/jss/jss85.html#PozoGRV12</url>
</article>
</r>
<r><inproceedings key="conf/softcomp/Varela-VacaWGPM12" mdate="2017-06-05">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="90/7526">Robert Warschofsky</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo</author>
<author pid="m/CMeinel">Christoph Meinel</author>
<title>A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.</title>
<pages>13-23</pages>
<year>2012</year>
<booktitle>CISIS/ICEUTE/SOCO Special Sessions</booktitle>
<ee>https://doi.org/10.1007/978-3-642-33018-6_2</ee>
<crossref>conf/softcomp/2012s</crossref>
<url>db/conf/softcomp/soco2012s.html#Varela-VacaWGPM12</url>
</inproceedings>
</r>
<r><inproceedings key="conf/rcis/RamirezGV11" mdate="2017-06-05">
<author orcid="0000-0001-8657-992X" pid="63/10167">Andres Jimenez Ramirez</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael Martinez Gasca</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>Contract-based test generation for data flow of business processes using constraint programming.</title>
<pages>1-12</pages>
<year>2011</year>
<booktitle>RCIS</booktitle>
<ee>https://doi.org/10.1109/RCIS.2011.6006841</ee>
<crossref>conf/rcis/2011</crossref>
<url>db/conf/rcis/rcis2011.html#RamirezGV11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/rcis/Varela-VacaGR11" mdate="2017-06-05">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael Martinez Gasca</author>
<author orcid="0000-0001-8657-992X" pid="63/10167">Andres Jimenez Ramirez</author>
<title>A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models.</title>
<pages>1-6</pages>
<year>2011</year>
<booktitle>RCIS</booktitle>
<ee>https://doi.org/10.1109/RCIS.2011.6006844</ee>
<crossref>conf/rcis/2011</crossref>
<url>db/conf/rcis/rcis2011.html#Varela-VacaGR11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/secrypt/Varela-VacaGP11" mdate="2011-10-27">
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="p/SergioPozo">Sergio Pozo</author>
<title>OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.</title>
<pages>370-374</pages>
<year>2011</year>
<booktitle>SECRYPT</booktitle>
<crossref>conf/secrypt/2011</crossref>
<url>db/conf/secrypt/secrypt2011.html#Varela-VacaGP11</url>
</inproceedings>
</r>
<r><inproceedings key="conf/aina/PozoVG10" mdate="2023-03-24">
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.</title>
<pages>1037-1046</pages>
<year>2010</year>
<booktitle>AINA</booktitle>
<ee>https://doi.org/10.1109/AINA.2010.63</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/AINA.2010.63</ee>
<crossref>conf/aina/2010</crossref>
<url>db/conf/aina/aina2010.html#PozoVG10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/cisis-spain/Varela-VacaG10" mdate="2017-06-02">
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael Martinez Gasca</author>
<title>OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes.</title>
<pages>213-222</pages>
<year>2010</year>
<booktitle>CISIS</booktitle>
<ee>https://doi.org/10.1007/978-3-642-16626-6_23</ee>
<crossref>conf/cisis-spain/2010</crossref>
<url>db/conf/cisis-spain/cisis2010.html#Varela-VacaG10</url>
</inproceedings>
</r>
<r><inproceedings key="conf/iccsa/PozoVG09" mdate="2017-06-04">
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<title>MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.</title>
<pages>130-144</pages>
<year>2009</year>
<booktitle>ICCSA (2)</booktitle>
<ee>https://doi.org/10.1007/978-3-642-02457-3_11</ee>
<crossref>conf/iccsa/2009-2</crossref>
<url>db/conf/iccsa/iccsa2009-2.html#PozoVG09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/secrypt/PozoVGC09" mdate="2011-06-15">
<author pid="p/SergioPozo">Sergio Pozo</author>
<author pid="32/5551">Angel Jesus Varela-Vaca</author>
<author pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author pid="89/6818">Rafael Ceballos</author>
<title>Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.</title>
<pages>42-53</pages>
<year>2009</year>
<booktitle>SECRYPT</booktitle>
<crossref>conf/secrypt/2009</crossref>
<url>db/conf/secrypt/secrypt2009.html#PozoVGC09</url>
</inproceedings>
</r>
<r><inproceedings key="conf/securware/HidalgoCGV08" mdate="2023-03-24">
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo Hidalgo</author>
<author orcid="0000-0001-7144-8011" pid="89/6818">Rafael Ceballos</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.</title>
<pages>53-61</pages>
<year>2008</year>
<booktitle>SECURWARE</booktitle>
<ee>https://doi.org/10.1109/SECURWARE.2008.39</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SECURWARE.2008.39</ee>
<crossref>conf/securware/2008</crossref>
<url>db/conf/securware/securware2008.html#HidalgoCGV08</url>
</inproceedings>
</r>
<r><inproceedings key="conf/securware/HidalgoCGV08a" mdate="2023-03-24">
<author orcid="0000-0001-7616-7825" pid="p/SergioPozo">Sergio Pozo Hidalgo</author>
<author orcid="0000-0001-7144-8011" pid="89/6818">Rafael Ceballos</author>
<author orcid="0000-0003-2348-7424" pid="g/RafaelMGasca">Rafael M. Gasca</author>
<author orcid="0000-0001-9953-6005" pid="32/5551">Angel Jesus Varela-Vaca</author>
<title>Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.</title>
<pages>381-390</pages>
<year>2008</year>
<booktitle>SECURWARE</booktitle>
<ee>https://doi.org/10.1109/SECURWARE.2008.40</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/SECURWARE.2008.40</ee>
<crossref>conf/securware/2008</crossref>
<url>db/conf/securware/securware2008.html#HidalgoCGV08a</url>
</inproceedings>
</r>
<coauthors n="56" nc="2">
<co c="0" n="2"><na f="=/=Aacute=lvarez:Juan_Antonio" pid="50/2970">Juan Antonio &#193;lvarez</na><na>Juan Antonio &#193;lvarez-Garc&#237;a</na></co>
<co c="0"><na f="=/=Aacute=lvarez=Bermejo:Jos=eacute=_Antonio" pid="127/4140">Jos&#233; Antonio &#193;lvarez-Bermejo</na></co>
<co c="0"><na f="a/Arregui:Joaqu=iacute=n" pid="408/3816">Joaqu&#237;n Arregui</na></co>
<co c="0"><na f="b/Barba=Gonz=aacute=lez:Crist=oacute=bal" pid="177/6410">Crist&#243;bal Barba-Gonz&#225;lez</na></co>
<co c="0"><na f="b/Benavides_0001:David" pid="b/DBenavides">David Benavides 0001</na></co>
<co c="0"><na f="b/Bergenthum:Robin" pid="60/2514">Robin Bergenthum</na></co>
<co c="0"><na f="b/Bernal:Antonio_Garcia" pid="247/6848">Antonio Garcia Bernal</na></co>
<co c="0"><na f="b/Blanco_0001:Carlos" pid="11/1097">Carlos Blanco 0001</na></co>
<co c="0"><na f="b/Borrego:Diana" pid="05/2365">Diana Borrego</na></co>
<co c="0"><na f="c/Caballero_0001:Ismael" pid="37/3025">Ismael Caballero 0001</na></co>
<co c="0"><na f="c/Cabot:Jordi" pid="18/948">Jordi Cabot</na></co>
<co c="0"><na f="c/Carmona_0001:Josep" pid="52/5368">Josep Carmona 0001</na></co>
<co c="0"><na f="c/Carmona=Fombella:Jose_Antonio" pid="276/8917">Jose Antonio Carmona-Fombella</na></co>
<co c="1"><na f="c/Carrasco:Alejandro" pid="02/999">Alejandro Carrasco</na></co>
<co c="0"><na f="c/Ceballos:Rafael" pid="89/6818">Rafael Ceballos</na></co>
<co c="0"><na f="c/Ceravolo:Paolo" pid="93/4640">Paolo Ceravolo</na></co>
<co c="0"><na f="c/Cobo=Ariza:Jos=eacute=_Luis" pid="408/3812">Jos&#233; Luis Cobo-Ariza</na></co>
<co c="0" n="2"><na f="c/Crespo:Luis_Enrique_S=aacute=nchez" pid="348/4392">Luis Enrique S&#225;nchez Crespo</na><na>Luis Enrique S&#225;nchez</na></co>
<co c="0"><na f="c/Cruz=Lemus:Jos=eacute=_A=" pid="10/2388">Jos&#233; A. Cruz-Lemus</na></co>
<co c="0"><na f="e/Esta=ntilde=ol:Montserrat" pid="125/0332">Montserrat Esta&#241;ol</na></co>
<co c="0"><na f="f/Fern=aacute=ndez:Vanessa_Pradas" pid="348/8561">Vanessa Pradas Fern&#225;ndez</na></co>
<co c="0"><na f="f/Fern=aacute=ndez=Cerero:Dami=aacute=n" pid="154/0141">Dami&#225;n Fern&#225;ndez-Cerero</na></co>
<co c="0"><na f="f/Fern=aacute=ndez=Medina:Eduardo" pid="f/EduardoFernandezMedina">Eduardo Fern&#225;ndez-Medina</na></co>
<co c="0"><na f="f/Fern=aacute=ndez=Montes:Alejandro" pid="06/5454">Alejandro Fern&#225;ndez-Montes</na></co>
<co c="0" n="2"><na f="g/Galindo:Jos=eacute=_A=" pid="130/7585">Jos&#233; A. Galindo</na><na>Jos&#233; Angel Galindo</na></co>
<co c="0" n="2"><na f="g/Gasca:Rafael_M=" pid="g/RafaelMGasca">Rafael M. Gasca</na><na>Rafael Martinez Gasca</na></co>
<co c="0"><na f="g/G=oacute=mez=L=oacute=pez:Mar=iacute=a_Teresa" pid="44/1706">Mar&#237;a Teresa G&#243;mez-L&#243;pez</na></co>
<co c="0"><na f="g/G=oacute=nzalez=Guti=eacute=rrez:J=_M=" pid="370/9618">J. M. G&#243;nzalez-Guti&#233;rrez</na></co>
<co c="0"><na f="h/Haro=Olmo:Francisco_Jos=eacute=_de" pid="281/6305">Francisco Jos&#233; de Haro-Olmo</na></co>
<co c="0" n="2"><na f="h/Hidalgo:Sergio_Pozo" pid="p/SergioPozo">Sergio Pozo Hidalgo</na><na>Sergio Pozo</na></co>
<co c="0"><na f="i/Iglesias:David" pid="215/5249">David Iglesias</na></co>
<co c="0"><na f="l/L=oacute=pez=Ramos:Juan_Antonio" pid="161/8533">Juan Antonio L&#243;pez-Ramos</na></co>
<co c="1"><na f="l/Luque:Joaqu=iacute=n" pid="77/5877">Joaqu&#237;n Luque</na></co>
<co c="0"><na f="m/M=aacute=rquez:Antonio_Germ=aacute=n" pid="302/5678">Antonio Germ&#225;n M&#225;rquez</na></co>
<co c="0"><na f="m/Martinez:Jabier" pid="86/3767">Jabier Martinez</na></co>
<co c="0"><na f="m/Meinel:Christoph" pid="m/CMeinel">Christoph Meinel</na></co>
<co c="0"><na f="m/Mu=ntilde=oz=Heredia:Daniel" pid="406/4969">Daniel Mu&#241;oz-Heredia</na></co>
<co c="0"><na f="n/Navas=Delgado:Ismael" pid="89/6366">Ismael Navas-Delgado</na></co>
<co c="0"><na f="o/Ortega:F=_Javier" pid="63/2432">F. Javier Ortega</na></co>
<co c="0"><na f="p/Parody:Luisa" pid="95/9854">Luisa Parody</na></co>
<co c="0"><na f="p/Perez:Salvador_Mart=iacute=nez" pid="120/5512">Salvador Mart&#237;nez Perez</na></co>
<co c="0"><na f="p/P=eacute=rez==Aacute=lvarez:Jos=eacute=_Miguel" pid="152/7737">Jos&#233; Miguel P&#233;rez-&#193;lvarez</na></co>
<co c="0"><na f="q/Quintero:Antonia_M=_Reina" pid="r/AntoniaMReinaQuintero">Antonia M. Reina Quintero</na></co>
<co c="0"><na f="r/Ramirez:Andres_Jimenez" pid="63/10167">Andres Jimenez Ramirez</na></co>
<co c="1"><na f="r/Ram=iacute=rez=L=oacute=pez:Francisco_Jos=eacute=" pid="256/1428">Francisco Jos&#233; Ram&#237;rez-L&#243;pez</na></co>
<co c="0"><na f="r/Ramos=Guti=eacute=rrez:Bel=eacute=n" pid="246/4951">Bel&#233;n Ramos-Guti&#233;rrez</na></co>
<co c="0"><na f="r/Rend=oacute=n=Segador:Fernando_J=" pid="344/5059">Fernando J. Rend&#243;n-Segador</na></co>
<co c="1"><na f="r/Ropero:Jorge" pid="46/73">Jorge Ropero</na></co>
<co c="0" n="2"><na f="r/Rosa_0001:Fernando_de_la" pid="358/7572">Fernando de la Rosa 0001</na><na>Francisco Fernando de la Rosa Troyano</na></co>
<co c="0"><na f="r/Rosado:David_Garcia" pid="27/6712">David Garcia Rosado</na></co>
<co c="0"><na f="s/Santos=Olmo:Antonio" pid="15/7850">Antonio Santos-Olmo</na></co>
<co c="0"><na f="t/Teniente:Ernest" pid="t/ErnestTeniente">Ernest Teniente</na></co>
<co c="0"><na f="v/Valencia=Parra:=Aacute=lvaro" pid="247/6763">&#193;lvaro Valencia-Parra</na></co>
<co c="0"><na f="w/Warschofsky:Robert" pid="90/7526">Robert Warschofsky</na></co>
<co c="0"><na f="w/Wynn:Moe_Thandar" pid="96/1121">Moe Thandar Wynn</na></co>
<co c="0"><na f="z/Zamora:Yolanda_Morales" pid="393/1406">Yolanda Morales Zamora</na></co>
</coauthors>
</dblpperson>

