BibTeX records: Miguel Angel García de Dios

download as .bib file

@inproceedings{DBLP:conf/apccm/DiosDC15,
  author       = {Miguel Angel Garc{\'{\i}}a de Dios and
                  Carolina Dania and
                  Manuel Clavel},
  editor       = {Motoshi Saeki and
                  Henning K{\"{o}}hler},
  title        = {Formal Reasoning about Fine-Grained Access Control Policies},
  booktitle    = {11th Asia-Pacific Conference on Conceptual Modelling, {APCCM} 2015,
                  Sydney, Australia, January 2015},
  series       = {{CRPIT}},
  volume       = {165},
  pages        = {91--100},
  publisher    = {Australian Computer Society},
  year         = {2015},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV165deDios.html},
  timestamp    = {Fri, 05 Feb 2021 11:06:52 +0100},
  biburl       = {https://dblp.org/rec/conf/apccm/DiosDC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/BasinCEDD14,
  author       = {David A. Basin and
                  Manuel Clavel and
                  Marina Egea and
                  Miguel Angel Garc{\'{\i}}a de Dios and
                  Carolina Dania},
  title        = {A Model-Driven Methodology for Developing Secure Data-Management Applications},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {40},
  number       = {4},
  pages        = {324--337},
  year         = {2014},
  url          = {https://doi.org/10.1109/TSE.2013.2297116},
  doi          = {10.1109/TSE.2013.2297116},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/BasinCEDD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/lncs/DiosDBC14,
  author       = {Miguel Angel Garc{\'{\i}}a de Dios and
                  Carolina Dania and
                  David A. Basin and
                  Manuel Clavel},
  editor       = {Maritta Heisel and
                  Wouter Joosen and
                  Javier L{\'{o}}pez and
                  Fabio Martinelli},
  title        = {Model-Driven Development of a Secure eHealth Application},
  booktitle    = {Engineering Secure Future Internet Services and Systems - Current
                  Research},
  series       = {Lecture Notes in Computer Science},
  volume       = {8431},
  pages        = {97--118},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07452-8\_4},
  doi          = {10.1007/978-3-319-07452-8\_4},
  timestamp    = {Thu, 29 Aug 2019 08:09:56 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/DiosDBC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fosad/BasinCEDDOV10,
  author       = {David A. Basin and
                  Manuel Clavel and
                  Marina Egea and
                  Miguel Angel Garc{\'{\i}}a de Dios and
                  Carolina Dania and
                  Gonzalo Ortiz and
                  Javier Valdazo},
  editor       = {Alessandro Aldini and
                  Roberto Gorrieri},
  title        = {Model-Driven Development of Security-Aware GUIs for Data-Centric Applications},
  booktitle    = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {6858},
  pages        = {101--124},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23082-0\_4},
  doi          = {10.1007/978-3-642-23082-0\_4},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fosad/BasinCEDDOV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/DiosDSBCE10,
  author       = {Miguel Angel Garc{\'{\i}}a de Dios and
                  Carolina Dania and
                  Michael Schl{\"{a}}pfer and
                  David A. Basin and
                  Manuel Clavel and
                  Marina Egea},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {{SSG:} a model-based development environment for smart, security-aware
                  GUIs},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {311--312},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810366},
  doi          = {10.1145/1810295.1810366},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/DiosDSBCE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/ClavelED09,
  author       = {Manuel Clavel and
                  Marina Egea and
                  Miguel Angel Garc{\'{\i}}a de Dios},
  title        = {Checking Unsatisfiability for {OCL} Constraints},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {24},
  year         = {2009},
  url          = {https://doi.org/10.14279/tuj.eceasst.24.334},
  doi          = {10.14279/TUJ.ECEASST.24.334},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ClavelED09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/ClavelEA08,
  author       = {Manuel Clavel and
                  Marina Egea and
                  Miguel Angel Garc{\'{\i}}a de Dios},
  title        = {{ECEASST} Building an Efficient Component for {OCL} Evaluation},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {15},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.15.179},
  doi          = {10.14279/TUJ.ECEASST.15.179},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ClavelEA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ipps/SeptienMMTD08,
  author       = {Julio Septi{\'{e}}n and
                  Daniel Mozos and
                  Hortensia Mecha and
                  Jes{\'{u}}s Tabero and
                  Miguel Angel Garc{\'{\i}}a de Dios},
  title        = {Perimeter quadrature-based metric for estimating {FPGA} fragmentation
                  in 2D {HW} multitasking},
  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.4536508},
  doi          = {10.1109/IPDPS.2008.4536508},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/SeptienMMTD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.