Newsletter Regards croisés, n°16, Ecole Centrale Paris

First Page		Document Content
Date: 2011-03-04 09:05:36 Education École centrale Paris Hervé Biausser École Centrale ParisTech École centrale de Nantes École centrale de Lille Grandes écoles Centrale Graduate School France		Newsletter Regards croisés, n°16, Ecole Centrale Paris Add to Reading List Source URL: www.ecp.fr Download Document from Source Website File Size: 329,87 KB Share Document on Facebook

	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France DocID: 1xVDW - View Document
	Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France DocID: 1xVef - View Document
	An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174, DocID: 1xTOl - View Document
	Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse DocID: 1xTIE - View Document