BibTeX records: Álvaro Enrique Arenas

download as .bib file

@inproceedings{DBLP:conf/amcis/OrtizA24,
  author       = {Alfred P. Ortiz and
                  Alvaro E. Arenas},
  editor       = {Michelle Carter and
                  Kelly J. Fadel and
                  Thomas O. Meservy and
                  Deborah J. Armstrong and
                  Amit Deokar and
                  Matthew L. Jensen},
  title        = {An Analysis of Data Breach Notifications in the Educational Sector:
                  {A} Situational Crisis Communication Theory Perspective},
  booktitle    = {30th Americas Conference on Information Systems: Elevating Life through
                  Digital Social Entrepreneurship, {AMCIS} 2024, Salt Lake City, UT,
                  USA, August 15-17, 2024},
  publisher    = {Association for Information Systems},
  year         = {2024},
  url          = {https://aisel.aisnet.org/amcis2024/security/security/34},
  timestamp    = {Mon, 22 Jul 2024 14:42:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcis/OrtizA24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/BarrazaRA23,
  author       = {Benjamin Barraza and
                  Kiron Ravindran and
                  Alvaro E. Arenas},
  editor       = {Paul A. Pavlou and
                  Vishal Midha and
                  Animesh Animesh and
                  Traci A. Carte and
                  Alexandre R. Graeml and
                  Alanah Mitchell},
  title        = {Gold Rushes and Bandwagons: Blockchain's Markets and Developers},
  booktitle    = {29th Americas Conference on Information Systems, {AMCIS} 2023, Panama
                  City, Panama, August 10-12, 2023},
  publisher    = {Association for Information Systems},
  year         = {2023},
  url          = {https://aisel.aisnet.org/amcis2023/conf\_theme/conf\_theme/21},
  timestamp    = {Wed, 19 Jul 2023 08:55:10 +0200},
  biburl       = {https://dblp.org/rec/conf/amcis/BarrazaRA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iam/BenitezACE22,
  author       = {Jose Benitez and
                  Alvaro Arenas and
                  Ana Castillo L{\'{o}}pez and
                  Jos{\'{e}} Esteves},
  title        = {Impact of digital leadership capability on innovation performance:
                  The role of platform digitization capability},
  journal      = {Inf. Manag.},
  volume       = {59},
  number       = {2},
  pages        = {103590},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.im.2022.103590},
  doi          = {10.1016/J.IM.2022.103590},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iam/BenitezACE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/ArenasY22,
  author       = {Alvaro E. Arenas and
                  Pouye Yazdi},
  editor       = {Roman Beck and
                  Dana Petcu and
                  Marin Fotache and
                  Sabine Matook and
                  Remko Helms and
                  Martin Wiener and
                  Lazar Rusu and
                  Tuure Tuunanen},
  title        = {Towards a Model of Technology Usage and Digital Maturity in children:
                  a Grounded-Theory Approach},
  booktitle    = {30th European Conference on Information Systems - New Horizons in
                  Digitally United Societies, {ECIS} 2022, Timisoara, Romania, June
                  18-24, 2022},
  year         = {2022},
  url          = {https://aisel.aisnet.org/ecis2022\_rp/107},
  timestamp    = {Fri, 29 Jul 2022 11:48:18 +0200},
  biburl       = {https://dblp.org/rec/conf/ecis/ArenasY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/JimenezA21,
  author       = {Yasalde Oldair Jimenez and
                  Alvaro E. Arenas},
  editor       = {Yolande E. Chan and
                  Maric Boudreau and
                  Benoit Aubert and
                  Guy Par{\'{e}} and
                  Wynne Chin},
  title        = {Balancing Competition and Cooperation in {IT} Value Cocreation: The
                  Case of Digital Platform Ecosystems},
  booktitle    = {27th Americas Conference on Information Systems, {AMCIS} 2021, Virtual
                  Conference, August 9-13, 2021},
  publisher    = {Association for Information Systems},
  year         = {2021},
  url          = {https://aisel.aisnet.org/amcis2021/sig\_dite/sig\_dite/5},
  timestamp    = {Mon, 30 Aug 2021 12:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/amcis/JimenezA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejis/GohA20,
  author       = {Jie Mein Goh and
                  Alvaro E. Arenas},
  title        = {{IT} value creation in public sector: how IT-enabled capabilities
                  mitigate tradeoffs in public organisations},
  journal      = {Eur. J. Inf. Syst.},
  volume       = {29},
  number       = {1},
  pages        = {25--43},
  year         = {2020},
  url          = {https://doi.org/10.1080/0960085X.2019.1708821},
  doi          = {10.1080/0960085X.2019.1708821},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejis/GohA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijinfoman/ArenasGU19,
  author       = {Alvaro E. Arenas and
                  Jie Mein Goh and
                  Alberto Urue{\~{n}}a},
  title        = {How does {IT} affect design centricity approaches: Evidence from Spain's
                  smart tourism ecosystem},
  journal      = {Int. J. Inf. Manag.},
  volume       = {45},
  pages        = {149--162},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ijinfomgt.2018.10.015},
  doi          = {10.1016/J.IJINFOMGT.2018.10.015},
  timestamp    = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijinfoman/ArenasGU19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jasis/ArenasGM19,
  author       = {Alvaro E. Arenas and
                  Jie Mein Goh and
                  Brian Matthews},
  title        = {Identifying the business model dimensions of data sharing: {A} value-based
                  approach},
  journal      = {J. Assoc. Inf. Sci. Technol.},
  volume       = {70},
  number       = {10},
  pages        = {1047--1059},
  year         = {2019},
  url          = {https://doi.org/10.1002/asi.24180},
  doi          = {10.1002/ASI.24180},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jasis/ArenasGM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecis/PodarAGA18,
  author       = {Manan Podar and
                  Alvaro E. Arenas and
                  Jie Mein Goh and
                  Ambuj Anand},
  editor       = {Peter M. Bednar and
                  Ulrich Frank and
                  Karlheinz Kautz},
  title        = {Reading between the lines: Legal risk mitigation by equity crowdfunding
                  platforms},
  booktitle    = {26th European Conference on Information Systems: Beyond Digitization
                  - Facets of Socio-Technical Change, {ECIS} 2018, Portsmouth, UK, June
                  23-28, 2018},
  pages        = {119},
  year         = {2018},
  url          = {https://aisel.aisnet.org/ecis2018\_rp/119},
  timestamp    = {Thu, 13 Dec 2018 13:03:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ecis/PodarAGA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sec/AzizFWA16,
  author       = {Benjamin Aziz and
                  Paul Fremantle and
                  Rui Wei and
                  {\'{A}}lvaro Enrique Arenas},
  editor       = {Jaap{-}Henk Hoepman and
                  Stefan Katzenbeisser},
  title        = {A Utility-Based Reputation Model for the Internet of Things},
  booktitle    = {{ICT} Systems Security and Privacy Protection - 31st {IFIP} {TC} 11
                  International Conference, {SEC} 2016, Ghent, Belgium, May 30 - June
                  1, 2016, Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {471},
  pages        = {261--275},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33630-5\_18},
  doi          = {10.1007/978-3-319-33630-5\_18},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sec/AzizFWA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcis/ArenasGP15,
  author       = {Alvaro Arenas and
                  Jie Mein Goh and
                  Manan Podar},
  title        = {A Work-Systems Approach to Classifying Risks in Crowdfunding Platforms:
                  An Exploratory Analysis},
  booktitle    = {21st Americas Conference on Information Systems, {AMCIS} 2015, Puerto
                  Rico, August 13-15, 2015},
  publisher    = {Association for Information Systems},
  year         = {2015},
  url          = {http://aisel.aisnet.org/amcis2015/e-Biz/GeneralPresentations/27},
  timestamp    = {Sun, 13 Dec 2015 13:10:52 +0100},
  biburl       = {https://dblp.org/rec/conf/amcis/ArenasGP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ArenasMPA15,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Philippe Massonet and
                  Christophe Ponsard and
                  Benjamin Aziz},
  editor       = {Manfred A. Jeusfeld and
                  Kamalakar Karlapalem},
  title        = {Goal-Oriented Requirement Engineering Support for Business Continuity
                  Planning},
  booktitle    = {Advances in Conceptual Modeling - {ER} 2015 Workshops, AHA, CMS, EMoV,
                  MoBiD, MORE-BI, MReBA, QMMQ, and {SCME} Stockholm, Sweden, October
                  19-22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9382},
  pages        = {259--269},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25747-1\_26},
  doi          = {10.1007/978-3-319-25747-1\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/er/ArenasMPA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MassonetA12,
  author       = {Philippe Massonet and
                  Alvaro Arenas},
  editor       = {Jo{\~{a}}o Pascoal Faria and
                  Alberto Rodrigues da Silva and
                  Ricardo Jorge Machado},
  title        = {Towards more Transparency in Quality of Protection for Infrastructure
                  Clouds},
  booktitle    = {8th International Conference on the Quality of Information and Communications
                  Technology, {QUATIC} 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings},
  pages        = {285--290},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/QUATIC.2012.62},
  doi          = {10.1109/QUATIC.2012.62},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/MassonetA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/AzizAW11,
  author       = {Benjamin Aziz and
                  Alvaro E. Arenas and
                  Michael D. Wilson},
  editor       = {{\'{U}}lfar Erlingsson and
                  Roel J. Wieringa and
                  Nicola Zannone},
  title        = {Model-Based Refinement of Security Policies in Collaborative Virtual
                  Organisations},
  booktitle    = {Engineering Secure Software and Systems - Third International Symposium,
                  ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6542},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19125-1\_1},
  doi          = {10.1007/978-3-642-19125-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/essos/AzizAW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/ArenasAMM11,
  author       = {Alvaro E. Arenas and
                  Benjamin Aziz and
                  Szymon Maj and
                  Brian Matthews},
  editor       = {Witold Abramowicz and
                  Ignacio Mart{\'{\i}}n Llorente and
                  Mike Surridge and
                  Andrea Zisman and
                  Julien Vayssi{\`{e}}re},
  title        = {An Autonomic Security Monitor for Distributed Operating Systems -
                  (Invited Paper)},
  booktitle    = {Towards a Service-Based Internet - 4th European Conference, ServiceWave
                  2011, Poznan, Poland, October 26-28, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6994},
  pages        = {112--121},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24755-2\_10},
  doi          = {10.1007/978-3-642-24755-2\_10},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/servicewave/ArenasAMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sta/AzizAW11,
  author       = {Benjamin Aziz and
                  Alvaro Arenas and
                  Michael D. Wilson},
  editor       = {James J. Park and
                  Javier L{\'{o}}pez and
                  Sang{-}Soo Yeo and
                  Taeshik Shon and
                  David Taniar},
  title        = {SecPAL4DSA: {A} Policy Language for Specifying Data Sharing Agreements},
  booktitle    = {Secure and Trust Computing, Data Management and Applications - 8th
                  {FTRA} International Conference, {STA} 2011, Loutraki, Greece, June
                  28-30, 2011. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {186},
  pages        = {29--36},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22339-6\_4},
  doi          = {10.1007/978-3-642-22339-6\_4},
  timestamp    = {Wed, 29 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sta/AzizAW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ArenasM10,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Philippe Massonet},
  title        = {Special section: Security, trust and privacy in Grid systems},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {26},
  number       = {7},
  pages        = {1024--1025},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.future.2010.02.015},
  doi          = {10.1016/J.FUTURE.2010.02.015},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/ArenasM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/ArenasAS10,
  author       = {Alvaro E. Arenas and
                  Benjamin Aziz and
                  Gheorghe Cosmin Silaghi},
  title        = {Reputation management in collaborative computing systems},
  journal      = {Secur. Commun. Networks},
  volume       = {3},
  number       = {6},
  pages        = {546--564},
  year         = {2010},
  url          = {https://doi.org/10.1002/sec.146},
  doi          = {10.1002/SEC.146},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scn/ArenasAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AzizACCC10,
  author       = {Benjamin Aziz and
                  Alvaro Arenas and
                  Giovanni Cortese and
                  Bruno Crispo and
                  Silvio Causetti},
  title        = {A Secure and Scalable Grid-Based Content Management System},
  booktitle    = {{ARES} 2010, Fifth International Conference on Availability, Reliability
                  and Security, 15-18 February 2010, Krakow, Poland},
  pages        = {404--409},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ARES.2010.80},
  doi          = {10.1109/ARES.2010.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/AzizACCC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ArenasABW10,
  author       = {Alvaro E. Arenas and
                  Benjamin Aziz and
                  Juan Bicarregui and
                  Michael D. Wilson},
  editor       = {Dominique M{\'{e}}ry and
                  Stephan Merz},
  title        = {An Event-B Approach to Data Sharing Agreements},
  booktitle    = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
                  Nancy, France, October 11-14, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6396},
  pages        = {28--42},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16265-7\_4},
  doi          = {10.1007/978-3-642-16265-7\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/ArenasABW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/AzizAJACR10,
  author       = {Benjamin Aziz and
                  Alvaro Arenas and
                  Ian Johnson and
                  Matej Artac and
                  Ales Cernivec and
                  Philip Robinson},
  editor       = {Sokratis K. Katsikas and
                  Pierangela Samarati},
  title        = {Management of Security Policies in Virtual Organisations},
  booktitle    = {{SECRYPT} 2010 - Proceedings of the International Conference on Security
                  and Cryptography, Athens, Greece, July 26-28, 2010, {SECRYPT} is part
                  of {ICETE} - The International Joint Conference on e-Business and
                  Telecommunications},
  pages        = {467--477},
  publisher    = {SciTePress},
  year         = {2010},
  timestamp    = {Fri, 07 Jan 2011 08:40:23 +0100},
  biburl       = {https://dblp.org/rec/conf/secrypt/AzizAJACR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/grid/SilaghiASDA09,
  author       = {Gheorghe Cosmin Silaghi and
                  Filipe Ara{\'{u}}jo and
                  Lu{\'{\i}}s Moura Silva and
                  Patr{\'{\i}}cio Domingues and
                  Alvaro E. Arenas},
  title        = {Defeating Colluding Nodes in Desktop Grid Computing Platforms},
  journal      = {J. Grid Comput.},
  volume       = {7},
  number       = {4},
  pages        = {555--573},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10723-009-9124-5},
  doi          = {10.1007/S10723-009-9124-5},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/grid/SilaghiASDA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcomp/SchubertWKA09,
  author       = {Lutz Schubert and
                  Stefan Wesner and
                  Alexander Kipp and
                  Alvaro Arenas},
  editor       = {Dimiter R. Avresky and
                  Michel Diaz and
                  Arndt Bode and
                  Bruno Ciciani and
                  Eliezer Dekel},
  title        = {Self-managed Microkernels: From Clouds towards Resource Fabrics},
  booktitle    = {Cloud Computing - First International Conference, CloudComp 2009,
                  Munich, Germany, October 19-21, 2009 Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {34},
  pages        = {167--185},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-12636-9\_12},
  doi          = {10.1007/978-3-642-12636-9\_12},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cloudcomp/SchubertWKA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifiptm/StagniAAM09,
  author       = {Federico Stagni and
                  Alvaro Arenas and
                  Benjamin Aziz and
                  Fabio Martinelli},
  editor       = {Elena Ferrari and
                  Ninghui Li and
                  Elisa Bertino and
                  Y{\"{u}}cel Karabulut},
  title        = {On Usage Control in Data Grids},
  booktitle    = {Trust Management III, Third {IFIP} {WG} 11.11 International Conference,
                  {IFIPTM} 2009 , West Lafayette, IN, USA, June 15-19, 2009. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {300},
  pages        = {99--116},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02056-8\_7},
  doi          = {10.1007/978-3-642-02056-8\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifiptm/StagniAAM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/GomezGMCCGCAL09,
  author       = {Beatriz G{\'{o}}mez and
                  Mar{\'{\i}}a Jos{\'{e}} Gonz{\'{a}}lez Bonilla and
                  Juan Manuel Cuerda Mu{\~{n}}oz and
                  Juan Cores and
                  Nuria Casal V{\'{a}}zquez and
                  Nuria Gimeno Mart{\'{\i}}nez and
                  Patricia Cifuentes Revenga and
                  Alvaro Arenas and
                  Adolfo Lopez},
  title        = {Data Processing Frame for Airborne {SAR} Prototype Development},
  booktitle    = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
                  {IGARSS} 2009, July 12-17, 2009, University of Cape Town, Cape Town,
                  South Africa, Proceedings},
  pages        = {633--636},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/IGARSS.2009.5417456},
  doi          = {10.1109/IGARSS.2009.5417456},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/GomezGMCCGCAL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AzizABPM09,
  author       = {Benjamin Aziz and
                  Alvaro Arenas and
                  Juan Bicarregui and
                  Christophe Ponsard and
                  Philippe Massonet},
  editor       = {Ewen Denney and
                  Dimitra Giannakopoulou and
                  Corina S. Pasareanu},
  title        = {From Goal-Oriented Requirements to Event-B Specifications},
  booktitle    = {First {NASA} Formal Methods Symposium - {NFM} 2009, Moffett Field,
                  California, USA, April 6-8, 2009},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2009-215407}},
  pages        = {96--105},
  year         = {2009},
  timestamp    = {Tue, 17 Jul 2012 14:23:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/AzizABPM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/ShuYA09,
  author       = {Cheng{-}chun Shu and
                  Erica Y. Yang and
                  Alvaro E. Arenas},
  title        = {Detecting Conflicts in {ABAC} Policies with Rule-Reduction and Binary-Search
                  Techniques},
  booktitle    = {{POLICY} 2009, {IEEE} International Symposium on Policies for Distributed
                  Systems and Networks, London, UK, 20-22 July 2009},
  pages        = {182--185},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/POLICY.2009.22},
  doi          = {10.1109/POLICY.2009.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/policy/ShuYA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ArenasBP09,
  author       = {Alvaro E. Arenas and
                  Jean{-}Pierre Ban{\^{a}}tre and
                  Thierry Priol},
  editor       = {Rachid Guerraoui and
                  Franck Petit},
  title        = {Developing Autonomic and Secure Virtual Organisations with Chemical
                  Programming},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems, 11th International
                  Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5873},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-05118-0\_6},
  doi          = {10.1007/978-3-642-05118-0\_6},
  timestamp    = {Wed, 07 Dec 2022 23:13:25 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/ArenasBP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ArenasW08,
  author       = {Alvaro Arenas and
                  Michael D. Wilson},
  title        = {Contracts as Trust Substitutes in Collaborative Business},
  journal      = {Computer},
  volume       = {41},
  number       = {7},
  pages        = {80--83},
  year         = {2008},
  url          = {https://doi.org/10.1109/MC.2008.219},
  doi          = {10.1109/MC.2008.219},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/ArenasW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/ArenasWCCMS08,
  author       = {Alvaro Arenas and
                  Michael D. Wilson and
                  Shirley Y. Crompton and
                  Dana Cojocarasu and
                  Tobias Mahler and
                  Lutz Schubert},
  title        = {Bridging the Gap between Legal and Technical Contracts},
  journal      = {{IEEE} Internet Comput.},
  volume       = {12},
  number       = {2},
  pages        = {13--19},
  year         = {2008},
  url          = {https://doi.org/10.1109/MIC.2008.28},
  doi          = {10.1109/MIC.2008.28},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/internet/ArenasWCCMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/ArenasABMY08,
  author       = {Alvaro Arenas and
                  Benjamin Aziz and
                  Juan Bicarregui and
                  Brian Matthews and
                  Erica Y. Yang},
  title        = {Modelling Security Properties in a Grid-based Operating System with
                  Anti-Goals},
  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        = {1429--1436},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ARES.2008.159},
  doi          = {10.1109/ARES.2008.159},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/ArenasABMY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BicarreguiAAMP08,
  author       = {Juan Bicarregui and
                  Alvaro Arenas and
                  Benjamin Aziz and
                  Philippe Massonet and
                  Christophe Ponsard},
  editor       = {Egon B{\"{o}}rger and
                  Michael J. Butler and
                  Jonathan P. Bowen and
                  Paul Boca},
  title        = {Towards Modelling Obligations in Event-B},
  booktitle    = {Abstract State Machines, {B} and Z, First International Conference,
                  {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5238},
  pages        = {181--194},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87603-8\_15},
  doi          = {10.1007/978-3-540-87603-8\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/BicarreguiAAMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icons/GroteAZ08,
  author       = {Walter Grote and
                  Alvaro Arenas and
                  Alejandra Zapata},
  title        = {NetFailPAC: {A} Single Failure Protection Algorithm with QoS Provision
                  for Optical {WDM} Networks},
  booktitle    = {The Third International Conference on Systems, {ICONS} 2008, April
                  13-18, 2008, Cancun, Mexico},
  pages        = {226--229},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICONS.2008.13},
  doi          = {10.1109/ICONS.2008.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icons/GroteAZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SilaghiDASA08,
  author       = {Gheorghe Cosmin Silaghi and
                  Patr{\'{\i}}cio Domingues and
                  Filipe Ara{\'{u}}jo and
                  Lu{\'{\i}}s Moura Silva and
                  Alvaro E. Arenas},
  title        = {Defeating colluding nodes in Desktop Grid computing platforms},
  booktitle    = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
                  {IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/IPDPS.2008.4536440},
  doi          = {10.1109/IPDPS.2008.4536440},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/SilaghiDASA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/ArenasAS08,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Benjamin Aziz and
                  Gheorghe Cosmin Silaghi},
  editor       = {Eduardo Fern{\'{a}}ndez{-}Medina and
                  Manu Malek and
                  Javier Hernando},
  title        = {Reputation Management in Grid-based Virtual Organisations},
  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        = {538--545},
  publisher    = {{INSTICC} Press},
  year         = {2008},
  timestamp    = {Fri, 04 Sep 2009 13:20:36 +0200},
  biburl       = {https://dblp.org/rec/conf/secrypt/ArenasAS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/servicewave/NaqviMAAMMBC08,
  author       = {Syed Naqvi and
                  Philippe Massonet and
                  Benjamin Aziz and
                  Alvaro Arenas and
                  Fabio Martinelli and
                  Paolo Mori and
                  Lorenzo Blasi and
                  Giovanni Cortese},
  editor       = {Petri M{\"{a}}h{\"{o}}nen and
                  Klaus Pohl and
                  Thierry Priol},
  title        = {Fine-Grained Continuous Usage Control of Service Based Grids - The
                  GridTrust Approach},
  booktitle    = {Towards a Service-Based Internet, First European Conference, ServiceWave
                  2008, Madrid, Spain, December 10-13, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5377},
  pages        = {242--253},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89897-9\_21},
  doi          = {10.1007/978-3-540-89897-9\_21},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/servicewave/NaqviMAAMMBC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustbus/AzizAMMM08,
  author       = {Benjamin Aziz and
                  Alvaro Arenas and
                  Fabio Martinelli and
                  Ilaria Matteucci and
                  Paolo Mori},
  editor       = {Steven Furnell and
                  Sokratis K. Katsikas and
                  Antonio Lioy},
  title        = {Controlling Usage in Business Process Workflows through Fine-Grained
                  Security Policies},
  booktitle    = {Trust, Privacy and Security in Digital Business, 5th International
                  Conference, TrustBus 2008, Turin, Italy, September 4-5, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5185},
  pages        = {100--117},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-85735-8\_11},
  doi          = {10.1007/978-3-540-85735-8\_11},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/trustbus/AzizAMMM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ButterfieldBA07,
  author       = {Andrew Butterfield and
                  Juan Bicarregui and
                  Alvaro Arenas},
  title        = {Foreword: Selected papers from the ninth international workshop on
                  formal methods for industrial critical systems {(FMICS} 04), Linz,
                  Austria},
  journal      = {Formal Methods Syst. Des.},
  volume       = {30},
  number       = {3},
  pages        = {177--178},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10703-006-0032-z},
  doi          = {10.1007/S10703-006-0032-Z},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ButterfieldBA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/autonomics/ArenasWM07,
  author       = {Alvaro Arenas and
                  Michael D. Wilson and
                  Brian Matthews},
  editor       = {Fabrizio Davide},
  title        = {On trust management in grids},
  booktitle    = {Proceedings of the 1st International Conference on Autonomic Computing
                  and Communication Systems, Autonomics 2007, 28-30 October 2007, Rome,
                  Italy},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {302},
  pages        = {4},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.4108/ICST.AUTONOMICS2007.2230},
  doi          = {10.4108/ICST.AUTONOMICS2007.2230},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/autonomics/ArenasWM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/SilaghiAS07,
  author       = {Gheorghe Cosmin Silaghi and
                  Alvaro E. Arenas and
                  Lu{\'{\i}}s Moura Silva},
  editor       = {Thierry Priol and
                  Marco Vanneschi},
  title        = {A Utility-Based Reputation Model for Service-Oriented Computing},
  booktitle    = {Towards Next Generation Grids, Proceedings of the CoreGRID Symposium
                  2007, August 27-28, Rennes, France},
  pages        = {63--72},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-0-387-72498-0\_6},
  doi          = {10.1007/978-0-387-72498-0\_6},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coregrid/SilaghiAS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/SilaghiSDA07,
  author       = {Gheorghe Cosmin Silaghi and
                  Lu{\'{\i}}s Moura Silva and
                  Patr{\'{\i}}cio Domingues and
                  {\'{A}}lvaro Enrique Arenas},
  editor       = {Marco Danelutto and
                  Paraskevi Fragopoulou and
                  Vladimir Getov},
  title        = {Tackling the Collusion Threat in P2P-enhanced Internet Desktop Grids},
  booktitle    = {Making Grids Work: Proceedings of the CoreGRID Workshop on Programming
                  Models Grid and {P2P} System Architecture Grid Systems, Tools and
                  Environments, 12-13 June 2007, Heraklion, Crete, Greece},
  pages        = {393--402},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-0-387-78448-9\_31},
  doi          = {10.1007/978-0-387-78448-9\_31},
  timestamp    = {Fri, 28 Jun 2019 11:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/coregrid/SilaghiSDA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/BadiaPAA07,
  author       = {Rosa M. Badia and
                  Christian P{\'{e}}rez and
                  Artur Andrzejak and
                  Alvaro Arenas},
  editor       = {Anne{-}Marie Kermarrec and
                  Luc Boug{\'{e}} and
                  Thierry Priol},
  title        = {Topic 6 Grid and Cluster Computing},
  booktitle    = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
                  Rennes, France, August 28-31, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4641},
  pages        = {359},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74466-5\_39},
  doi          = {10.1007/978-3-540-74466-5\_39},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/europar/BadiaPAA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/DallonsMMPA07,
  author       = {Gautier Dallons and
                  Philippe Massonet and
                  Jean{-}Fran{\c{c}}ois Molderez and
                  Christophe Ponsard and
                  Alvaro Arenas},
  title        = {An analysis of the chinese wall pattern for guaranteeing confidentiality
                  in grid-based virtual organisations},
  booktitle    = {Third International Conference on Security and Privacy in Communication
                  Networks and the Workshops, SecureComm 2007, Nice, France, 17-21 September,
                  2007},
  pages        = {217--222},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/SECCOM.2007.4550335},
  doi          = {10.1109/SECCOM.2007.4550335},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/securecomm/DallonsMMPA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArenasABM08,
  author       = {Alvaro Arenas and
                  Benjamin Aziz and
                  Juan Bicarregui and
                  Brian Matthews},
  editor       = {Luca Compagna and
                  Volkmar Lotz and
                  Fabio Massacci},
  title        = {Managing Conflicts of Interest in Virtual Organisations},
  booktitle    = {Proceedings of the 3rd International Workshop on Security and Trust
                  Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {197},
  number       = {2},
  pages        = {45--56},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.12.016},
  doi          = {10.1016/J.ENTCS.2007.12.016},
  timestamp    = {Mon, 13 Feb 2023 09:13:20 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArenasABM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/ArenasBM06,
  author       = {Alvaro E. Arenas and
                  Juan Bicarregui and
                  Tiziana Margaria},
  title        = {The {FMICS} View on the Verified Software Repository},
  journal      = {Trans. {SDPS}},
  volume       = {10},
  number       = {4},
  pages        = {47--54},
  year         = {2006},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid10-4-05},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/ArenasBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/ArenasB06,
  author       = {Alvaro E. Arenas and
                  Juan Bicarregui},
  title        = {Applying Unifying Theories of Programming to Real-Time Programming},
  journal      = {Trans. {SDPS}},
  volume       = {10},
  number       = {4},
  pages        = {69--88},
  year         = {2006},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid10-4-07},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/ArenasB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coregrid/NaqviAM06,
  author       = {Syed Naqvi and
                  Alvaro E. Arenas and
                  Philippe Massonet},
  editor       = {Sergei Gorlatch and
                  Marian Bubak and
                  Thierry Priol},
  title        = {Deriving Policies from Grid Security Requirements Model},
  booktitle    = {Achievements in European Research on Grid Systems: CoreGRID Integration
                  Workshop 2006, Krakow, Poland, October 19-20, Selected Papers},
  pages        = {151--163},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-0-387-72812-4\_12},
  doi          = {10.1007/978-0-387-72812-4\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coregrid/NaqviAM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/critis/NaqviMA06,
  author       = {Syed Naqvi and
                  Philippe Massonet and
                  Alvaro Arenas},
  editor       = {Javier L{\'{o}}pez},
  title        = {Security Requirements Model for Grid Data Management Systems},
  booktitle    = {Critical Information Infrastructures Security, First International
                  Workshop, {CRITIS} 2006, Samos, Greece, August 31 - September 1, 2006,
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4347},
  pages        = {30--41},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11962977\_3},
  doi          = {10.1007/11962977\_3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/critis/NaqviMA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/NaqviPMA06,
  author       = {Syed Naqvi and
                  Olivier Poitou and
                  Philippe Massonet and
                  Alvaro Arenas},
  editor       = {Wolfgang Lehner and
                  Norbert Meyer and
                  Achim Streit and
                  Craig Stewart},
  title        = {Security Requirements Analysis for Large-Scale Distributed File Systems},
  booktitle    = {Euro-Par 2006 Workshops: Parallel Processing, CoreGRID 2006, {UNICORE}
                  Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden,
                  Germany, August 29-September 1, 2006, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4375},
  pages        = {49--60},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-72337-0\_6},
  doi          = {10.1007/978-3-540-72337-0\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/europar/NaqviPMA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iesa/WilsonACDDGGGHSMMPRSST06,
  author       = {Michael D. Wilson and
                  Alvaro Arenas and
                  David W. Chadwick and
                  Theo Dimitrakos and
                  J{\"{u}}rgen Doser and
                  Pablo Giambiagi and
                  David Golby and
                  Christian Geuer{-}Pollmann and
                  Jochen Haller and
                  Ketil St{\o}len and
                  Tobias Mahler and
                  Lorenzo Martino and
                  Xavier Parent and
                  Santi Ristol and
                  J. Sairamesh and
                  Lutz Schubert and
                  Nilufer Tuptuk},
  editor       = {Guy Doumeingts and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  G{\'{e}}rard Morel and
                  Bruno Vallespir},
  title        = {The TrustCoM Approach to Enforcing Agreements between Interoperating
                  Enterprises},
  booktitle    = {Enterprise Interoperability, New Challenges and Approaches, Proceedings
                  of the 2nd International Conference on Interoperability for Enterprise
                  Software and Applications, {I-ESA} 2006, March 22-24, 2006, Bordeaux,
                  France},
  pages        = {365--375},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-1-84628-714-5\_34},
  doi          = {10.1007/978-1-84628-714-5\_34},
  timestamp    = {Mon, 27 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iesa/WilsonACDDGGGHSMMPRSST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/NaqviMA06,
  author       = {Syed Naqvi and
                  Philippe Massonet and
                  Alvaro Arenas},
  editor       = {Geyong Min and
                  Beniamino Di Martino and
                  Laurence Tianruo Yang and
                  Minyi Guo and
                  Gudula R{\"{u}}nger},
  title        = {Scope of Forensics in Grid Computing - Vision and Perspectives},
  booktitle    = {Frontiers of High Performance Computing and Networking - {ISPA} 2006
                  Workshops, {ISPA} 2006 International Workshops, FHPCN, XHPC, S-GRACE,
                  GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento,
                  Italy, December 4-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4331},
  pages        = {964--970},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11942634\_98},
  doi          = {10.1007/11942634\_98},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ispa/NaqviMA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005wlfm,
  editor       = {Alvaro Arenas and
                  Jin Song Dong and
                  Andrew Martin and
                  Brian Matthews},
  title        = {Proceedings of the International Workshop on Web Languages and Formal
                  Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/151/issue/2},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/2005wlfm.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/ArenasA05,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {6},
  number       = {1},
  year         = {2005},
  url          = {https://doi.org/10.29375/25392115.1059},
  doi          = {10.29375/25392115.1059},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/ArenasA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/ArenasPZ05,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar and
                  Eduardo Carrillo Zambrano},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {6},
  number       = {2},
  pages        = {5--6},
  year         = {2005},
  url          = {https://doi.org/10.29375/25392115.1065},
  doi          = {10.29375/25392115.1065},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/ArenasPZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/LambertAM05,
  author       = {Simon C. Lambert and
                  Alvaro E. Arenas and
                  Alistair J. Miles},
  title        = {A framework for Experience Management in Public Organisations},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {6},
  number       = {2},
  pages        = {7--27},
  year         = {2005},
  url          = {https://doi.org/10.29375/25392115.1060},
  doi          = {10.29375/25392115.1060},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/LambertAM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/Garcia-OjedaAA05,
  author       = {Juan C. Garc{\'{\i}}a{-}Ojeda and
                  {\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar},
  editor       = {J{\"{o}}rg P. M{\"{u}}ller and
                  Franco Zambonelli},
  title        = {Paving the Way for Implementing Multiagent Systems: Integrating Gaia
                  with Agent-UML},
  booktitle    = {Agent-Oriented Software Engineering VI, 6th International Workshop,
                  {AOSE} 2005, Utrecht, The Netherlands, July 25, 2005. Revised and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3950},
  pages        = {179--189},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11752660\_14},
  doi          = {10.1007/11752660\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/aose/Garcia-OjedaAA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/ArenasDDTCGLTWS05,
  author       = {Alvaro E. Arenas and
                  Ivan Djordjevic and
                  Theo Dimitrakos and
                  Leonid Titkov and
                  Joris Claessens and
                  Christian Geuer{-}Pollmann and
                  Emil C. Lupu and
                  Nilufer Tuptuk and
                  Stefan Wesner and
                  Lutz Schubert},
  editor       = {Luis M. Camarinha{-}Matos and
                  Hamideh Afsarmanesh and
                  {\'{A}}ngel Ortiz Bas},
  title        = {Toward Web Services Profiles for Trust and Security in Virtual Organisations},
  booktitle    = {Collaborative Networks and Their Breeding Environments - {IFIP} {TC5}
                  {WG} 5.5 Sixth {IFIP} Working Conference on Virtual Enterprises, {PRE-VE}
                  2005, 26-28 September, 2005, Valencia, Spain},
  series       = {{IFIP}},
  volume       = {186},
  pages        = {175--182},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/0-387-29360-4\_18},
  doi          = {10.1007/0-387-29360-4\_18},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip5-5/ArenasDDTCGLTWS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wecwis/SvirskasWALTCGDR05,
  author       = {Adomas Svirskas and
                  Michael D. Wilson and
                  Alvaro E. Arenas and
                  Emil C. Lupu and
                  Nilufer Tuptuk and
                  David W. Chadwick and
                  Pablo Giambiagi and
                  Theodosis Dimitrakos and
                  Bob Roberts},
  title        = {Aspects of Trusted and Secure Business-Oriented {VO} Management in
                  Service Oriented Architectures},
  booktitle    = {7th {IEEE} International Conference on E-Commerce Technology Workshops
                  {(CEC} 2005 Workshops), 19 July 2005, M{\"{u}}nchen, Germany},
  pages        = {3--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/CECW.2005.5},
  doi          = {10.1109/CECW.2005.5},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wecwis/SvirskasWALTCGDR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArenasDMM06,
  author       = {Alvaro E. Arenas and
                  Jin Song Dong and
                  Andrew P. Martin and
                  Brian Matthews},
  editor       = {Alvaro Arenas and
                  Jin Song Dong and
                  Andrew Martin and
                  Brian Matthews},
  title        = {Preface},
  booktitle    = {Proceedings of the International Workshop on Web Languages and Formal
                  Methods, WLFM@FM 2005, Newcastle upon Tyne, UK, July 19, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {151},
  number       = {2},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.07.032},
  doi          = {10.1016/J.ENTCS.2005.07.032},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ArenasDMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2004,
  editor       = {Juan Bicarregui and
                  Andrew Butterfield and
                  Alvaro Arenas},
  title        = {Proceedings of the Ninth International Workshop on Formal Methods
                  for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
                  20-21, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {133},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/133/suppl/C},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icae/ArenasGA04,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Juan C. Garc{\'{\i}}a{-}Ojeda and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar},
  title        = {On combining organisational modelling and graphical languages for
                  the development of multiagent systems},
  journal      = {Integr. Comput. Aided Eng.},
  volume       = {11},
  number       = {2},
  pages        = {151--163},
  year         = {2004},
  url          = {https://doi.org/10.3233/ica-2004-11205},
  doi          = {10.3233/ICA-2004-11205},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/icae/ArenasGA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/ArenasM04,
  author       = {Alvaro E. Arenas and
                  Brian Matthews},
  editor       = {Christoph Bussler and
                  Dieter Fensel},
  title        = {An Experiment on Modelling Agents and Knowledge for the Semantic Web},
  booktitle    = {Artificial Intelligence: Methodology, Systems, and Applications, 11th
                  International Conference, {AIMSA} 2004, Varna, Bulgaria, September
                  2-4, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3192},
  pages        = {54--64},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30106-6\_6},
  doi          = {10.1007/978-3-540-30106-6\_6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aimsa/ArenasM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Garcia-OjedaPA04,
  author       = {Juan C. Garc{\'{\i}}a{-}Ojeda and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar and
                  {\'{A}}lvaro Enrique Arenas},
  title        = {Extending the Gaia Methodology with Agent-UML},
  booktitle    = {3rd International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2004), 19-23 August 2004, New York, NY, {USA}},
  pages        = {1456--1457},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10186},
  doi          = {10.1109/AAMAS.2004.10186},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/Garcia-OjedaPA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/ArenasM04,
  author       = {Alvaro E. Arenas and
                  Brian Matthews},
  editor       = {Enrico Motta and
                  Nigel Shadbolt and
                  Arthur Stutt and
                  Nicholas Gibbins},
  title        = {Toward a Library of Problem-Solving Methods on the Internet},
  booktitle    = {Engineering Knowledge in the Age of the Semantic Web, 14th International
                  Conference, {EKAW} 2004, Whittlebury Hall, UK, October 5-8, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3257},
  pages        = {485--486},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30202-5\_39},
  doi          = {10.1007/978-3-540-30202-5\_39},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ekaw/ArenasM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kmgov/KitowskiKMDSLMAHBLDVSF04,
  author       = {Jacek Kitowski and
                  Krzysztof Krawczyk and
                  Marta Majewska and
                  Mariusz Dziewierz and
                  Renata Slota and
                  Simon C. Lambert and
                  Alistair J. Miles and
                  Alvaro E. Arenas and
                  Ladislav Hluch{\'{y}} and
                  Zolt{\'{a}}n Balogh and
                  Michal Laclavik and
                  Sabine Dela{\^{\i}}tre and
                  Gianni Viano and
                  Simona Stringa and
                  Pasqualino Ferrentino},
  editor       = {Maria A. Wimmer},
  title        = {Model of Experience for Public Organisations with Staff Mobility},
  booktitle    = {Knowledge Management in Electronic Government, 5th {IFIP} International
                  Working Conference, KMGov 2004, Krems, Austria, May 17-19, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3035},
  pages        = {91--100},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24683-1\_10},
  doi          = {10.1007/978-3-540-24683-1\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kmgov/KitowskiKMDSLMAHBLDVSF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BicarreguiBA05,
  author       = {Juan Bicarregui and
                  Andrew Butterfield and
                  Alvaro Arenas},
  editor       = {Juan Bicarregui and
                  Andrew Butterfield and
                  Alvaro Arenas},
  title        = {Preface},
  booktitle    = {Proceedings of the Ninth International Workshop on Formal Methods
                  for Industrial Critical Systems, {FMICS} 2004, Linz, Austria, September
                  20-21, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {133},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.054},
  doi          = {10.1016/J.ENTCS.2004.08.054},
  timestamp    = {Tue, 06 Dec 2022 10:19:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BicarreguiBA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/ArenasB03,
  author       = {Alvaro E. Arenas and
                  Gareth Barrera{-}Sanabria},
  editor       = {Vasile Palade and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Modelling Intelligent Agents for Organisational Memories},
  booktitle    = {Knowledge-Based Intelligent Information and Engineering Systems, 7th
                  International Conference, {KES} 2003, Oxford, UK, September 3-5, 2003,
                  Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2773},
  pages        = {430--437},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45224-9\_60},
  doi          = {10.1007/978-3-540-45224-9\_60},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/kes/ArenasB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/ArenasA02,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {3},
  number       = {1},
  year         = {2002},
  url          = {https://doi.org/10.29375/25392115.1104},
  doi          = {10.29375/25392115.1104},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/ArenasA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/X02,
  author       = {{\'{A}}lvaro Enrique Arenas},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {3},
  number       = {2},
  year         = {2002},
  url          = {https://doi.org/10.29375/25392115.1098},
  doi          = {10.29375/25392115.1098},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/X02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Arenas02,
  author       = {Alvaro E. Arenas},
  editor       = {Chris George and
                  Huaikou Miao},
  title        = {An Abstract Model for Scheduling Real-Time Programs},
  booktitle    = {Formal Methods and Software Engineering, 4th International Conference
                  on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
                  21-25, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2495},
  pages        = {204--215},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36103-0\_22},
  doi          = {10.1007/3-540-36103-0\_22},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Arenas02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Arenas02,
  author       = {Alvaro E. Arenas},
  editor       = {Walter Vogler and
                  Kim Larsen},
  title        = {An Algebraic Approach for Compiling Real-Time Programs},
  booktitle    = {Proceedings of the International Workshop on Models for Time-Critical
                  Systems, {MTCS} 2002, {CONCUR} 2002 Satellite Workshop, Brno, Czech
                  Republic, August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {5},
  pages        = {1--15},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80517-6},
  doi          = {10.1016/S1571-0661(04)80517-6},
  timestamp    = {Thu, 01 Dec 2022 15:09:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Arenas02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/X01,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar and
                  Guillermo Rueda},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {2},
  number       = {1},
  year         = {2001},
  url          = {https://doi.org/10.29375/25392115.1117},
  doi          = {10.29375/25392115.1117},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/X01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/X01a,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {2},
  number       = {2},
  year         = {2001},
  url          = {https://doi.org/10.29375/25392115.1111},
  doi          = {10.29375/25392115.1111},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/X01a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rcc/ArenasAR00,
  author       = {{\'{A}}lvaro Enrique Arenas and
                  Jos{\'{e}} de Jes{\'{u}}s P{\'{e}}rez Alc{\'{a}}zar and
                  Guillermo Rueda},
  title        = {Editorial},
  journal      = {Rev. Colomb. de Computaci{\'{o}}n},
  volume       = {1},
  number       = {1},
  year         = {2000},
  url          = {https://doi.org/10.29375/25392115.1125},
  doi          = {10.29375/25392115.1125},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rcc/ArenasAR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/KabukaA87,
  author       = {Mansur R. Kabuka and
                  Alvaro E. Arenas},
  title        = {Position verification of a mobile robot using standard pattern},
  journal      = {{IEEE} J. Robotics Autom.},
  volume       = {3},
  number       = {6},
  pages        = {505--516},
  year         = {1987},
  url          = {https://doi.org/10.1109/JRA.1987.1087143},
  doi          = {10.1109/JRA.1987.1087143},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trob/KabukaA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}