1![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
|
---|
2![Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty](https://www.pdfsearch.io/img/076b567647b3e43606b50f44f9815ebb.jpg) | Add to Reading ListSource URL: julien.signoles.free.frLanguage: English - Date: 2017-09-15 19:04:17
|
---|
3![Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France](https://www.pdfsearch.io/img/0d348b98c3dcbb30cb6f982ddff8c24c.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
4![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
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: zf-health.orgLanguage: English - Date: 2015-05-13 10:52:43
|
---|
6![Defining Several Ontologies to Enhance the Expressive Power of Queries Bich-Liên Doan and Yolaine Bourda Computer Science Dpt. SUPELEC, 3 rue Joliot Curie, 91192 Gif-sur-Yvette, France , Yolaine Defining Several Ontologies to Enhance the Expressive Power of Queries Bich-Liên Doan and Yolaine Bourda Computer Science Dpt. SUPELEC, 3 rue Joliot Curie, 91192 Gif-sur-Yvette, France , Yolaine](https://www.pdfsearch.io/img/ee176fc75d7950d8740bc06341b33054.jpg) | Add to Reading ListSource URL: www.l3s.de- Date: 2012-07-07 17:44:37
|
---|
7![Malware Analysis Arun Lakhotia University of Louisiana at Lafayette, USA Presented at ISSISP 2017, CNRS Gif Sur Yvette Malware Analysis Arun Lakhotia University of Louisiana at Lafayette, USA Presented at ISSISP 2017, CNRS Gif Sur Yvette](https://www.pdfsearch.io/img/d8b8c15b80a6a235e2bd0aa9a3cb86fa.jpg) | Add to Reading ListSource URL: issisp2017.github.io- Date: 2017-07-26 05:14:50
|
---|
8![CEA LIST’s Participation at MediaEval 2013 Retrieving Diverse Social Images Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France. CEA LIST’s Participation at MediaEval 2013 Retrieving Diverse Social Images Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France.](https://www.pdfsearch.io/img/9b00ab60f83224ec9a4ea858c2c74bbe.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2013-10-08 08:39:26
|
---|
9![Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static Static Analysis of Numerical Algorithms Eric Goubault and Sylvie Putot CEA Saclay, F91191 Gif-sur-Yvette Cedex, France {eric.goubault, sylvie.putot}@cea.fr Abstract. We present a new numerical abstract domain for static](https://www.pdfsearch.io/img/1cdada3d8a827f30a7c36e63da99af1a.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.fr- Date: 2009-11-24 06:44:27
|
---|
10![CEA LIST’s Participation at MediaEval 2013 Placing Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France. 1. CEA LIST’s Participation at MediaEval 2013 Placing Task Adrian Popescu CEA, LIST, Vision & Content Engineering Laboratory, 91190 Gif-sur-Yvette, France. 1.](https://www.pdfsearch.io/img/c4d85da4842ae74351dbc73f09ea9baf.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2013-10-11 07:10:40
|
---|