@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}, hal = {http://hal.science/hal-01290286} }
@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}, hal = {http://hal.science/hal-00819377} }
@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}, hal_id = {inria-00616968}, hal = {http://hal.science/inria-00616968} }
@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} }