@inproceedings{erts14,
  author = {Olivier Bouissou and Alexandre Chapoutot and Samuel Mimram},
  title = {{Set-based Simulation for Design and Verification of Simulink Models}},
  optcrossref = {},
  optkey = {},
  booktitle = {Embedded Real Time Software and Systems (ERTS)},
  optpages = {},
  year = {2014},
  opteditor = {},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  optannote = {},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_erts14.pdf},
  keywords = {hybrid,conference}
}
@inproceedings{6380694,
  author = {O. Bouissou and A. Chapoutot and S. Mimram},
  booktitle = {Rapid System Prototyping (RSP), 2012 23rd IEEE International Symposium on},
  title = {{HySon: Set-based simulation of hybrid systems}},
  year = {2012},
  pages = {79–85},
  doi = {10.1109/RSP.2012.6380694},
  issn = {2150-5500},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_hyson.pdf},
  keywords = {hybrid,conference}
}
@inproceedings{nskahn,
  author = {Romain Beauxis and Samuel Mimram},
  title = {{A Non-Standard Semantics for Kahn Networks in Continuous Time}},
  booktitle = {Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL},
  pages = {35–50},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-939897-32-3},
  issn = {1868-8969},
  year = {2011},
  volume = {12},
  editor = {Marc Bezem},
  publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
  address = {Dagstuhl, Germany},
  url = {http://drops.dagstuhl.de/opus/volltexte/2011/3221},
  urn = {urn:nbn:de:0030-drops-32212},
  doi = {http://dx.doi.org/10.4230/LIPIcs.CSL.2011.35},
  eprint = {1108.5062},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_nsk_slides.pdf},
  keywords = {hybrid,conference}
}
@unpublished{flowpipe,
  author = {Olivier Bouissou and Alexandre Chapoutot and Samuel Mimram},
  title = {{Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods}},
  note = {Unpublished manuscript},
  year = {2014},
  eprint = {1306.2305},
  eprinttype = {arxiv},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_flowpipe.pdf},
  keywords = {hybrid}
}