Search - Archive ouverte HAL

Documentation
French (FR)

English (EN)

8 Results

authFullName_s : Olivier Bouissou

	For these 8 documents Send to ORCID RSS ATOM Export BibTeX TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Set-based Simulation for Design and Verification of Simulink Models Olivier Bouissou , Samuel Mimram , Baptiste Strazzulla , Alexandre Chapoutot Embedded Real Time Software and Systems (ERTS2), Feb 2014, Toulouse, France Conference papers hal-01290286v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		HySon: Set-based simulation of hybrid systems Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram 23rd IEEE International Symposium on Rapid System Prototyping, Oct 2012, Tempere, Finland. pp.79-85, ⟨10.1109/RSP.2012.6380694⟩ Conference papers hal-00819377v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou , Alexandre Chapoutot , Samuel Mimram 2013 Reports hal-00831438v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Acceleration of the abstract fixpoint computation in numerical program analysis Olivier Bouissou , Yassamine Seladji , Alexandre Chapoutot Journal of Symbolic Computation, 2012, 47 (12), pp.1413-1560. ⟨10.1016/j.jsc.2011.12.050⟩ Journal articles hal-00766769v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		An operational semantics for Simulink's simulation engine Olivier Bouissou , Alexandre Chapoutot 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Pekin, China. pp.129-138, ⟨10.1145/2248418.2248437⟩ Conference papers hal-00819373v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Construction of parametric barrier functions for dynamical systems using interval analysis Adel Djaballah , Alexandre Chapoutot , Michel Kieffer , Olivier Bouissou Automatica, 2017, 78, pp.287 - 296. ⟨10.1016/j.automatica.2016.12.013⟩ Journal articles hal-01164307v2	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods Olivier Bouissou , Alexandre Chapoutot , Adel Djoudi 5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩ Book sections istex hal-00819730v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More
		Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis Olivier Bouissou , Alexandre Chapoutot , Adel Djaballah , Michel Kieffer 53rd IEEE Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1-4, ⟨10.1109/cdc.2014.7039472⟩ Conference papers hal-01073673v1	Send to ORCID Export BibTeX TEI Dublin Core DC Terms EndNote Advanced export Share Gmail Facebook Twitter LinkedIn More