Recherche

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 8 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00766769v1 Article dans une revue Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot. Acceleration of the abstract fixpoint computation in numerical program analysis Journal of Symbolic Computation, Elsevier, 2012, 47 (12), pp.1413-1560. <10.1016/j.jsc.2011.12.050>
	hal-01073673v1 Communication dans un congrès Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer. Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis IEEE CDC 2014, Dec 2014, Los Angeles, United States. pp.1-4, 2014
	hal-00831438v1 Rapport Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods 2013
	hal-00819730v1 Chapitre d'ouvrage Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi. Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods 5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, <10.1007/978-3-642-38088-4_8>
	hal-00819373v1 Communication dans un congrès Olivier Bouissou, Alexandre Chapoutot. An operational semantics for Simulink's simulation engine 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, 2012, <10.1145/2248418.2248437>
	hal-00819377v1 Communication dans un congrès Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram. HySon: Set-based simulation of hybrid systems 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, 2012, <10.1109/RSP.2012.6380694>
	hal-01290286v1 Communication dans un congrès Olivier Bouissou, Samuel Mimram, Baptiste Strazzulla, Alexandre Chapoutot. Set-based Simulation for Design and Verification of Simulink Models Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France. 2014
	hal-01164307v2 Article dans une revue Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou. Construction of parametric barrier functions for dynamical systems using interval analysis Automatica, Elsevier, 2017, 78, pp.287 - 296. <10.1016/j.automatica.2016.12.013>
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 8 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM