1![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 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](https://www.pdfsearch.io/img/5e4177676b3482a9a73a2e87d9f17276.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
2![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 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](https://www.pdfsearch.io/img/07edc6e6d76ba789c5f981e016fc0dfa.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2013-01-16 16:02:10
|
---|
3![An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174, An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174,](https://www.pdfsearch.io/img/387f14ae3c8ceff1d0fe6e97ece71169.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
4![Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse](https://www.pdfsearch.io/img/e2de193e56c656e06017db18b26dc3b4.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: French - Date: 2012-12-19 06:23:56
|
---|
5![The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France](https://www.pdfsearch.io/img/246eefa06cdccba5379d7f05fb700749.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2010-09-20 10:06:48
|
---|
6![Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France](https://www.pdfsearch.io/img/f89378a69d3f61d709c0395ff114bf2a.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2013-04-29 03:43:32
|
---|
7![Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France](https://www.pdfsearch.io/img/5bed8c44d9c7b185c0a268d0014f7a45.jpg) | Add to Reading ListSource URL: perso.ensta-paristech.frLanguage: English - Date: 2012-12-19 06:23:54
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: uma.ensta-paristech.fr- Date: 2018-03-27 05:33:02
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: uma.ensta-paristech.fr- Date: 2015-06-19 08:38:03
|
---|