%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Jonathan Julian Huerta y Munive at 2019-06-10 16:26:22 +0100 


%% Saved with string encoding Unicode (UTF-8)

@article{ArmstrongGS16,
	Author = {Alasdair Armstrong and Victor B. F. Gomes and Georg Struth},
	Journal = {Formal Aspects of Computing},
	Number = 2,
	Pages = {265--293},
	Title = {Building program construction and verification tools from algebraic principles},
	Volume = 28,
	Year = 2016}

@Unpublished{FosterMS19,
  author    = {Simon Foster and
               Jonathan Juli{\'{a}}n Huerta y Munive and
               Georg Struth},
  title     = {Differential {H}oare Logics and Refinement Calculi for Hybrid Systems
               with {I}sabelle/{HOL}},
  journal   = {CoRR},
  volume    = {abs/1910.13554},
  note = {\href{http://arxiv.org/abs/1909.05618}{arXiv:1909.05618}[cs.LO]},
  year      = {2019}
}

@inproceedings{Munive20,
  author    = {Jonathan Juli{\'{a}}n {Huerta y Munive}},
  title     = {Affine Systems of {ODE}s in {I}sabelle/{HOL} for Hybrid-Program Verification},
  booktitle = {{SEFM} 2020},
  pages     = {77--92},
  series = {LNCS},
  year      = {2020},
  publisher = {Springer},
  volume    = {12310}
}

@Unpublished{MuniveS19,
  author = 	 {Huerta y Munive, Jonathan Juli\'an and Struth, G.},
  title = 	 {Predicate Transformer Semantics for Hybrid Systems: Verification Components for {I}sabelle/{HOL}},
    note =         {\href{https://arxiv.org/abs/arXiv:1909.05618}{arXiv:1909.05618} [cs.LO]},
      year =         2019,
}

@article{ImmlerH12a,
	Author = {Fabian Immler and Johannes H{\"{o}}lzl},
	Journal = {Archive of Formal Proofs},
	Title = {Ordinary Differential Equations},
	Url = {https://www.isa-afp.org/entries/Ordinary_Differential_Equations.shtml},
	Year = {2012},
	Bdsk-Url-1 = {https://www.isa-afp.org/entries/Ordinary_Differential_Equations.shtml}}

@book{Platzer10,
	Author = {Andr\'e Platzer},
	Publisher = {Springer},
	Title = {Logical Analysis of Hybrid Systems},
	Year = 2010}

@article{afp:hybrid,
	Author = {Huerta y Munive, Jonathan Juli\'an},
	Journal = {Archive of Formal Proofs},
	Title = {Verification Components for Hybrid Systems},
	Year = 2019}

@article{afp:transem,
	Author = {Georg Struth},
	Journal = {Archive of Formal Proofs},
	Title = {Transformer Semantics},
	Year = 2018}

@article{afp:vericomp,
	Author = {Victor B. F. Gomes and Georg Struth},
	Journal = {Archive of Formal Proofs},
	Title = {Program Construction and Verification Components Based on {K}leene Algebra},
	Year = 2016}


