BibTeX records: Pedro de la Cámara

• > Home > Persons > Pedro de la Cámara

@article{DBLP:journals/stvr/CamaraCGM11,
  author       = {Pedro de la C{\'{a}}mara and
                  J. Ra{\'{u}}l Castro and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  title        = {Verification support for ARINC-653-based avionics software},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {21},
  number       = {4},
  pages        = {267--298},
  year         = {2011},
  url          = {https://doi.org/10.1002/stvr.422},
  doi          = {10.1002/STVR.422},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/CamaraCGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sttt/CamaraGMS09,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  David San{\'{a}}n},
  title        = {Checking the reliability of socket based communication software},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {11},
  number       = {5},
  pages        = {359--374},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10009-009-0112-7},
  doi          = {10.1007/S10009-009-0112-7},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/CamaraGMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/CamaraGM07,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Model Extraction for {ARINC} 653 Based Avionics Software},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {243--262},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_16},
  doi          = {10.1007/978-3-540-73370-6\_16},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CamaraGM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/AlvarezCMMPM06,
  author       = {Jos{\'{e}} M. Alvarez and
                  Pedro de la C{\'{a}}mara and
                  Jes{\'{u}}s Mart{\'{\i}}nez and
                  Pedro Merino and
                  Francisco C. Perez and
                  Victoria Morillo},
  title        = {An {SDL} Implementation of the {UMTS} Radio Resource Control Protocol
                  Oriented to Conformance Testing},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {397--401},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.13},
  doi          = {10.1109/ISOLA.2006.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isola/AlvarezCMMPM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/CamaraGM06,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino},
  editor       = {Antti Valmari},
  title        = {Abstract Matching for Software Model Checking},
  booktitle    = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
                  Austria, March 30 - April 1, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3925},
  pages        = {182--200},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11691617\_11},
  doi          = {10.1007/11691617\_11},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/CamaraGM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/CamaraGMS05,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  David San{\'{a}}n},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Model checking software with well-defined APIs: the socket case},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {17--26},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081184},
  doi          = {10.1145/1081180.1081184},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/CamaraGMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}