BibTeX records: Juan Ignacio Perna

• > Home > Persons > Juan Ignacio Perna

@article{DBLP:journals/fac/PernaG13,
  author       = {Juan Ignacio Perna and
                  Chris George},
  title        = {Model checking {RAISE} applicative specifications},
  journal      = {Formal Aspects Comput.},
  volume       = {25},
  number       = {3},
  pages        = {365--388},
  year         = {2013},
  url          = {https://doi.org/10.1007/s00165-011-0217-0},
  doi          = {10.1007/S00165-011-0217-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PernaG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PernaW12,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock},
  title        = {Mechanised wire-wise verification of Handel-C synthesis},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {4},
  pages        = {424--443},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2010.02.007},
  doi          = {10.1016/J.SCICO.2010.02.007},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PernaW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/PernaWSI11,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock and
                  Augusto Sampaio and
                  Juliano Iyoda},
  title        = {Correct hardware synthesis - An algebraic approach},
  journal      = {Acta Informatica},
  volume       = {48},
  number       = {7-8},
  pages        = {363--396},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00236-011-0142-y},
  doi          = {10.1007/S00236-011-0142-Y},
  timestamp    = {Wed, 12 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/PernaWSI11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Perna10,
  author       = {Juan Ignacio Perna},
  title        = {A verified compiler for Handel-C},
  school       = {University of York, {UK}},
  year         = {2010},
  url          = {http://etheses.whiterose.ac.uk/585/},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Perna10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/utp/PernaW08,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock},
  editor       = {Andrew Butterfield},
  title        = {{UTP} Semantics for Handel-C},
  booktitle    = {Unifying Theories of Programming, Second International Symposium,
                  {UTP} 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5713},
  pages        = {142--160},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-14521-6\_9},
  doi          = {10.1007/978-3-642-14521-6\_9},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/utp/PernaW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PernaW09,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock},
  editor       = {Patr{\'{\i}}cia D. L. Machado},
  title        = {Mechanised Wire-wise Verification of Handel-C Synthesis},
  booktitle    = {Proceedings of the Eleventh Brazilian Symposium on Formal Methods,
                  {SBMF} 2008, Salvador, Brazil, August 26-29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {240},
  pages        = {201--219},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.05.053},
  doi          = {10.1016/J.ENTCS.2009.05.053},
  timestamp    = {Thu, 09 Mar 2023 13:31:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PernaW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PernaW07,
  author       = {Juan Ignacio Perna and
                  Jim Woodcock},
  editor       = {Michael J. Butler and
                  Michael G. Hinchey and
                  Mar{\'{\i}}a M. Larrondo{-}Petrie},
  title        = {A Denotational Semantics for Handel-C Hardware Compilation},
  booktitle    = {Formal Methods and Software Engineering, 9th International Conference
                  on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
                  November 14-15, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4789},
  pages        = {266--285},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76650-6\_16},
  doi          = {10.1007/978-3-540-76650-6\_16},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PernaW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/PernaG07,
  author       = {Juan Ignacio Perna and
                  Chris George},
  title        = {Model Checking {RAISE} Applicative Specifications},
  booktitle    = {Fifth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
                  {UK}},
  pages        = {257--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SEFM.2007.25},
  doi          = {10.1109/SEFM.2007.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/PernaG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}