Publications

@inproceedings{DBLP:conf/bpm/LopezPVG16,

title = {Guiding the Creation of Choreographed Processes with Multiple Instances 

 Based on Data Models},

author = {María Teresa Gómez-López and José Miguel Pérez-Álvarez and Ángel Jesús Varela-Vaca and Rafael M. Gasca},

editor = {Marlon Dumas and Marcelo Fantinato},

url = {https://doi.org/10.1007/978-3-319-58457-7_18},

doi = {10.1007/978-3-319-58457-7_18},

year  = {2016},

date = {2016-01-01},

booktitle = {Business Process Management Workshops - BPM 2016 International Workshops, 

 Rio de Janeiro, Brazil, September 19, 2016, Revised Papers},

volume = {281},

pages = {239--251},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bis/QuinteroJC15,

title = {A Novel Approach to Web Information Extraction},

author = {Antonia M. Reina Quintero and Patricia Jiménez and Rafael Corchuelo},

editor = {Witold Abramowicz},

url = {https://doi.org/10.1007/978-3-319-19027-3_13},

doi = {10.1007/978-3-319-19027-3_13},

year  = {2015},

date = {2015-01-01},

booktitle = {Business Information Systems - 18th International Conference, BIS 

 2015, Poznań, Poland, June 24-26, 2015, Proceedings},

volume = {208},

pages = {152--161},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/iwann/CorchueloQJ15,

title = {On Member Labelling in Social Networks},

author = {Rafael Corchuelo and Antonia M. Reina Quintero and Patricia Jiménez},

editor = {Ignacio Rojas and Gonzalo Joya Caparrós and Andreu Català},

url = {https://doi.org/10.1007/978-3-319-19222-2_41},

doi = {10.1007/978-3-319-19222-2_41},

year  = {2015},

date = {2015-01-01},

booktitle = {Advances in Computational Intelligence - 13th International Work-Conference 

 on Artificial Neural Networks, IWANN 2015, Palma de Mallorca, Spain, 

 June 10-12, 2015. Proceedings, Part II},

volume = {9095},

pages = {488--499},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/Lopez15,

title = {Validation, Diagnosis and Decision-Making Support of Data in Business 

 Processes},

author = {María Teresa Gómez-López},

editor = {Manfred Reichert and Hajo A. Reijers},

url = {https://doi.org/10.1007/978-3-319-42887-1_28},

doi = {10.1007/978-3-319-42887-1_28},

year  = {2015},

date = {2015-01-01},

booktitle = {Business Process Management Workshops - BPM 2015, 13th International 

 Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised 

 Papers},

volume = {256},

pages = {339--351},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bis/LopezBG14,

title = {Data State Description for the Migration to Activity-Centric Business 

 Process Model Maintaining Legacy Databases},

author = {María Teresa Gómez-López and Diana Borrego and Rafael M. Gasca},

editor = {Witold Abramowicz and Angelika I. Kokkinaki},

url = {https://doi.org/10.1007/978-3-319-06695-0_8},

doi = {10.1007/978-3-319-06695-0_8},

year  = {2014},

date = {2014-01-01},

booktitle = {Business Information Systems - 17th International Conference, BIS 

 2014, Larnaca, Cyprus, May 22-23, 2014. Proceedings},

volume = {176},

pages = {86--97},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/iq/CaballeroPBLGP14,

title = {Service Level Agreement for Data Quality Governed By ISO 8000-1X0},

author = {Ismael Caballero and Luisa Parody and Isabel Bermejo and María Teresa Gómez-López and Rafael M. Gasca and Mario Piattini},

year  = {2014},

date = {2014-01-01},

booktitle = {Proceedings of the 19th International Conference on Information Quality, 

 ICIQ 2014, Xián, China, August 1-3, 2014},

publisher = {MIT Information Quality Program},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/otm/LopezPGR14,

title = {Prognosing the Compliance of Declarative Business Processes Using 

 Event Trace Robustness},

author = {María Teresa Gómez-López and Luisa Parody and Rafael M. Gasca and Stefanie Rinderle-Ma},

editor = {Robert Meersman and Hervé Panetto and Tharam S. Dillon and Michele Missikoff and Lin Liu and Oscar Pastor and Alfredo Cuzzocrea and Timos K. Sellis},

url = {https://doi.org/10.1007/978-3-662-45563-0_19},

doi = {10.1007/978-3-662-45563-0_19},

year  = {2014},

date = {2014-01-01},

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},

volume = {8841},

pages = {327--344},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/isdevel/Borrego0A13,

title = {Data-Aware Conformance Checking for Declarative Business Process Models},

author = {Diana Borrego and Irene Barba and Pedro Abad},

editor = {María José Escalona and Gustavo Aragón and Henry Linger and Michael Lang and Chris Barry and Christoph Schneider},

url = {https://doi.org/10.1007/978-3-319-07215-9_22},

doi = {10.1007/978-3-319-07215-9_22},

year  = {2013},

date = {2013-01-01},

booktitle = {Information System Development - Improving Enterprise Communication, 

 [Proceedings of the 22nd International Conference on Information Systems 

 Development, ISD 2013, Seville, Spain]},

pages = {269--282},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/edoc/LopezGR13,

title = {Explaining the Incorrect Temporal Events during Business Process Monitoring 

 by Means of Compliance Rules and Model-Based Diagnosis},

author = {María Teresa Gómez-López and Rafael M. Gasca and Stefanie Rinderle-Ma},

editor = {Ebrahim Bagheri and Dragan Gasevic and Sylvain Hallé and Marek Hatala and Hamid R. Motahari Nezhad and Manfred Reichert},

url = {https://doi.org/10.1109/EDOCW.2013.25},

doi = {10.1109/EDOCW.2013.25},

year  = {2013},

date = {2013-01-01},

booktitle = {17th IEEE International Enterprise Distributed Object Computing 

 Conference Workshops, EDOC Workshops, Vancouver, BC, Canada, September 

 9-13, 2013},

pages = {163--172},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/iq/CaballeroBGPPL13,

title = {18K: An implementation of the ISO 8000-1texttimes0},

author = {Ismael Caballero and Isabel Bermejo and Rafael M. Gasca and Luisa Parody and Mario Piattini and María Teresa Gómez-López},

year  = {2013},

date = {2013-01-01},

booktitle = {Proceedings of the 18th International Conference on Information Quality, 

 ICIQ 2013, Little Rock, AR, USA, November 7-9, 2013},

publisher = {MIT Information Quality Program},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/isdevel/ParodyLG13,

title = {Data-Oriented Declarative Language for Optimizing Business Processes},

author = {Luisa Parody and María Teresa Gómez-López and Rafael M. Gasca},

editor = {María José Escalona and Gustavo Aragón and Henry Linger and Michael Lang and Chris Barry and Christoph Schneider},

url = {https://doi.org/10.1007/978-3-319-07215-9_5},

doi = {10.1007/978-3-319-07215-9_5},

year  = {2013},

date = {2013-01-01},

booktitle = {Information System Development - Improving Enterprise Communication, 

 [Proceedings of the 22nd International Conference on Information Systems 

 Development, ISD 2013, Seville, Spain]},

pages = {59--72},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rcis/ParodyLGV13,

title = {CombiS-BP editor: Combining declarative and imperative languages in 

 BP modelling: Demonstration paper},

author = {Luisa Parody and María Teresa Gómez-López and Rafael M. Gasca and Angel Jesus Varela-Vaca},

editor = {Roel J. Wieringa and Selmin Nurcan and Colette Rolland and Jean-Louis Cavarero},

url = {https://doi.org/10.1109/RCIS.2013.6577745},

doi = {10.1109/RCIS.2013.6577745},

year  = {2013},

date = {2013-01-01},

booktitle = {IEEE 7th International Conference on Research Challenges in Information 

 Science, RCIS 2013, Paris, France, May 29-31, 2013},

pages = {1--2},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpmn/ParodyLG12,

title = {Extending BPMN 2.0 for Modelling the Combination of Activities That 

 Involve Data Constraints},

author = {Luisa Parody and María Teresa Gómez-López and Rafael M. Gasca},

editor = {Jan Mendling and Matthias Weidlich},

url = {https://doi.org/10.1007/978-3-642-33155-8_6},

doi = {10.1007/978-3-642-33155-8_6},

year  = {2012},

date = {2012-01-01},

booktitle = {Business Process Model and Notation - 4th International Workshop, 

 BPMN 2012, Vienna, Austria, September 12-13, 2012. Proceedings},

volume = {125},

pages = {68--82},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/softcomp/Varela-VacaWGPM12,

title = {A Security Pattern-Driven Approach toward the Automation of Risk Treatment 

 in Business Processes},

author = {Angel Jesus Varela-Vaca and Robert Warschofsky and Rafael M. Gasca and Sergio Pozo and Christoph Meinel},

editor = {Álvaro Herrero and Václav Snásel and Ajith Abraham and Ivan Zelinka and Bruno Baruque and Héctor Quintián-Pardo and José Luís Calvo-Rolle and Javier Sedano and Emilio Corchado},

url = {https://doi.org/10.1007/978-3-642-33018-6_2},

doi = {10.1007/978-3-642-33018-6_2},

year  = {2012},

date = {2012-01-01},

booktitle = {International Joint Conference CISIS'12-ICEUTE'12-SOCO'12 Special 

 Sessions, Ostrava, Czech Republic, September 5th-7th, 2012},

volume = {189},

pages = {13--23},

publisher = {Springer},

series = {Advances in Intelligent Systems and Computing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/icaart/ParodyLGB11,

title = {Using Distributed CSPs to Model Business Processes Agreement in Software 

 Multiprocess},

author = {Luisa Parody and María Teresa Gómez-López and Rafael M. Gasca and Diana Borrego},

editor = {Joaquim Filipe and Ana L. N. Fred},

year  = {2011},

date = {2011-01-01},

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},

publisher = {SciTePress},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/isdevel/LopezGPB11,

title = {Constraint-Driven Approach to Support Input Data Decision-Making in 

 Business Process Management Systems},

author = {María Teresa Gómez-López and Rafael M. Gasca and Luisa Parody and Diana Borrego},

editor = {Rob Pooley and Jennifer Coady and Christoph Schneider and Henry Linger and Chris Barry and Michael Lang},

url = {https://doi.org/10.1007/978-1-4614-4951-5_37},

doi = {10.1007/978-1-4614-4951-5_37},

year  = {2011},

date = {2011-01-01},

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},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rcis/RamirezGV11,

title = {Contract-based test generation for data flow of business processes 

 using constraint programming},

author = {Andres Jimenez Ramirez and Rafael Martinez Gasca and Angel Jesus Varela-Vaca},

url = {https://doi.org/10.1109/RCIS.2011.6006841},

doi = {10.1109/RCIS.2011.6006841},

year  = {2011},

date = {2011-01-01},

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},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rcis/Varela-VacaGR11,

title = {A Model-Driven engineering approach with diagnosis of non-conformance 

 of security objectives in business process models},

author = {Angel Jesus Varela-Vaca and Rafael Martinez Gasca and Andres Jimenez Ramirez},

url = {https://doi.org/10.1109/RCIS.2011.6006844},

doi = {10.1109/RCIS.2011.6006844},

year  = {2011},

date = {2011-01-01},

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},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/secrypt/Varela-VacaGP11,

title = {OPBUS: Risk-aware Framework for the Conformance of Security-quality 

 Requirements in Business Processes},

author = {Angel Jesus Varela-Vaca and Rafael M. Gasca and Sergio Pozo},

editor = {Javier López and Pierangela Samarati},

year  = {2011},

date = {2011-01-01},

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},

publisher = {SciTePress},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/webist/QuinteroV10,

title = {Sitemaps from a Model Driven Perspective - A First Step for Bridging 

 the Gap between Information Architecture and Navigation Design},

author = {Antonia M. Reina Quintero and Jesús Torres Valderrama},

editor = {Joaquim Filipe and José Cordeiro},

year  = {2010},

date = {2010-01-01},

booktitle = {WEBIST 2010, Proceedings of the 6th International Conference on 

 Web Information Systems and Technologies, Volume 2, Valencia, Spain, 

 April 7-10, 2010},

pages = {111--117},

publisher = {INSTICC Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/LopezG10,

title = {Run-Time Auditing for Business Processes Data Using Constraints},

author = {María Teresa Gómez-López and Rafael M. Gasca},

editor = {Michael Muehlen and Jianwen Su},

url = {https://doi.org/10.1007/978-3-642-20511-8_13},

doi = {10.1007/978-3-642-20511-8_13},

year  = {2010},

date = {2010-01-01},

booktitle = {Business Process Management Workshops - BPM 2010 International Workshops 

 and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised 

 Selected Papers},

volume = {66},

pages = {146--157},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/bpm/BorregoGGC10,

title = {Improving the Diagnosability of Business Process Management Systems 

 Using Test Points},

author = {Diana Borrego and María Teresa Gómez-López and Rafael M. Gasca and Rafael Ceballos},

editor = {Michael Muehlen and Jianwen Su},

url = {https://doi.org/10.1007/978-3-642-20511-8_17},

doi = {10.1007/978-3-642-20511-8_17},

year  = {2010},

date = {2010-01-01},

booktitle = {Business Process Management Workshops - BPM 2010 International Workshops 

 and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised 

 Selected Papers},

volume = {66},

pages = {194--200},

publisher = {Springer},

series = {Lecture Notes in Business Information Processing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aina/PozoVG10,

title = {A Quadratic, Complete, and Minimal Consistency Diagnosis Process for 

 Firewall ACLs},

author = {Sergio Pozo and Angel Jesus Varela-Vaca and Rafael M. Gasca},

url = {https://doi.org/10.1109/AINA.2010.63},

doi = {10.1109/AINA.2010.63},

year  = {2010},

date = {2010-01-01},

booktitle = {24th IEEE International Conference on Advanced Information Networking 

 and Applications, AINA 2010, Perth, Australia, 20-13 April 2010},

pages = {1037--1046},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/cisis-spain/Varela-VacaG10,

title = {OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes},

author = {Angel Jesus Varela-Vaca and Rafael Martinez Gasca},

editor = {Álvaro Herrero and Emilio Corchado and Carlos Redondo and Ángel Alonso},

url = {https://doi.org/10.1007/978-3-642-16626-6_23},

doi = {10.1007/978-3-642-16626-6_23},

year  = {2010},

date = {2010-01-01},

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ón, 

 Spain, November 11-12, 2010},

volume = {85},

pages = {213--222},

publisher = {Springer},

series = {Advances in Intelligent and Soft Computing},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/etfa/BarbaVB09,

title = {A Constraint-based Model for Multi-objective Repair Planning},

author = {Irene Barba and Carmelo Del Valle and Diana Borrego},

url = {https://doi.org/10.1109/ETFA.2009.5347038},

doi = {10.1109/ETFA.2009.5347038},

year  = {2009},

date = {2009-01-01},

booktitle = {Proceedings of 12th IEEE International Conference on Emerging Technologies 

 and Factory Automation, ETFA 2009, September 22-25, 2008, Palma 

 de Mallorca, Spain},

pages = {1--8},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/icinco/BarbaVB09,

title = {A Multiobjective Constraint Optimization Model for Multimode Repair 

 Plans},

author = {Irene Barba and Carmelo Del Valle and Diana Borrego},

editor = {Joaquim Filipe and Juan Andrade-Cetto and Jean-Louis Ferrier},

year  = {2009},

date = {2009-01-01},

booktitle = {ICINCO 2009, Proceedings of the 6th International Conference on 

 Informatics in Control, Automation and Robotics, Intelligent Control 

 Systems and Optimization, Milan, Italy, July 2-5, 2009},

pages = {355--358},

publisher = {INSTICC Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caepia/WotawaWNC09,

title = {On the Complexity of Program Debugging Using Constraints for Modeling 

 the Program's Syntax and Semantics},

author = {Franz Wotawa and Jörg Weber and Mihai Nica and Rafael Ceballos},

editor = {Pedro Meseguer and Lawrence Mandow and Rafael M. Gasca},

url = {https://doi.org/10.1007/978-3-642-14264-2_3},

doi = {10.1007/978-3-642-14264-2_3},

year  = {2009},

date = {2009-01-01},

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},

volume = {5988},

pages = {22--31},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/iceis/HidalgoGT09,

title = {Efficient Data Structures for Local Inconsistency Detection in Firewall 

 ACL Updates},

author = {Sergio Pozo Hidalgo and Rafael M. Gasca and F. T. Rosa},

editor = {José Cordeiro and Joaquim Filipe},

year  = {2009},

date = {2009-01-01},

booktitle = {ICEIS 2009 - Proceedings of the 11th International Conference on 

 Enterprise Information Systems, Volume ISAS, Milan, Italy, May 6-10, 

 2009},

pages = {176--181},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/iccsa/PozoVG09,

title = {MDA-Based Framework for Automatic Generation of Consistent Firewall 

 ACLs with NAT},

author = {Sergio Pozo and Angel Jesus Varela-Vaca and Rafael M. Gasca},

editor = {Osvaldo Gervasi and David Taniar and Beniamino Murgante and Antonio Laganà and Youngsong Mun and Marina L. Gavrilova},

url = {https://doi.org/10.1007/978-3-642-02457-3_11},

doi = {10.1007/978-3-642-02457-3_11},

year  = {2009},

date = {2009-01-01},

booktitle = {Computational Science and Its Applications - ICCSA 2009, International 

 Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part 

 II},

volume = {5593},

pages = {130--144},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/secrypt/PozoVGC09,

title = {Efficient Algorithms and Abstract Data Types for Local Inconsistency 

 Isolation in Firewall ACLs},

author = {Sergio Pozo and Angel Jesus Varela-Vaca and Rafael M. Gasca and Rafael Ceballos},

editor = {Eduardo Fernández-Medina and Manu Malek and Javier Hernando},

year  = {2009},

date = {2009-01-01},

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},

publisher = {INSTICC Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}