1![Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name Analyses statiques des réseaux booléens et applications en biologie des systèmes (2) Loïc Paulevé CNRS/LRI, Univ. Paris-Sud, Univ. Paris-Saclay – équipe BioInfo http://loicpauleve.name](https://www.pdfsearch.io/img/630349a3f44fd6986800fb494935f4eb.jpg) | Add to Reading ListSource URL: ejcim2018.sciencesconf.orgLanguage: French - Date: 2018-04-03 08:40:55
|
---|
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![V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay](https://www.pdfsearch.io/img/07cf020a6b093fe23b5006a27a157231.jpg) | Add to Reading ListSource URL: mebsout.github.ioLanguage: French - Date: 2017-07-21 11:03:15
|
---|
4![Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France](https://www.pdfsearch.io/img/905bf7b3ccd95a7e25fd3652d457ab19.jpg) | Add to Reading ListSource URL: smt2014.it.uu.seLanguage: English - Date: 2014-07-18 04:25:02
|
---|
5![1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay 1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay](https://www.pdfsearch.io/img/875a65b7cb573e3d05b4b48ba98a33f6.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: French - Date: 2018-05-18 11:41:55
|
---|
6![V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay](https://www.pdfsearch.io/img/dc8d69e2485e5c54e65fd0a880e298d8.jpg) | Add to Reading ListSource URL: cubicle.lri.frLanguage: French - Date: 2014-01-13 12:02:51
|
---|
7![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
|
---|
8![Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France](https://www.pdfsearch.io/img/f862a08768251031f7cd625f7f213786.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:12
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: ens-paris-saclay.fr- Date: 2017-07-13 12:36:03
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: ens-paris-saclay.fr- Date: 2017-09-08 09:29:50
|
---|