 |
 |
|
|
||
|---|---|---|
| hal-00851282v1
Conference papers
A Statistical Inference Model for the Dynamic Range of LTI Systems 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, SCAN, Sep 2012, Novosibirsk, Russia. pp.25-26 |
||
| hal-01131002v1
Journal articles
High performance motion detection: some trends toward new embedded architectures for vision systems Journal of Real-Time Image Processing, Springer Verlag, 2009, 4 (2), pp.127-146. ⟨10.1007/s11554-008-0096-7⟩ |
||
| hal-01241361v1
Conference papers
Development of a Generic Voter under FoCal TAP 2009 - 3rd International Conference on Tests and Proofs, Jul 2009, Zurich, Switzerland. pp.10-26, ⟨10.1007/978-3-642-02949-3_3⟩ |
||
| hal-01292266v1
Conference papers
Concurrent Programming of Microcontrollers, a Virtual Machine Approach 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720 |
||
| hal-00816115v1
Conference papers
Range estimation of floating-point variables in Simulink models Conference on Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. pp.1-8 |
||
| hal-00655111v1
Conference papers
2D Simultaneous Localization And Mapping for Micro Air Vehicles European Micro Aerial Vehicles (EMAV 2006), Jul 2006, Braunschweig, Germany |
||
| hal-01298878v1
Book sections
A Survey on Polly Cracker Systems Gröbner Bases, Coding, and Cryptography, Springer, pp.285-305, 2009, 978-3-540-93805-7. ⟨10.1007/978-3-540-93806-4_16⟩  |
||
| hal-00974889v1
Journal articles
Security Analysis of Word Problem-Based Cryptosystems Designs, Codes and Cryptography, Springer Verlag, 2010, 54 (1), pp.29-41. ⟨10.1007/s10623-009-9307-x⟩ |
||
| hal-00976374v1
Conference papers
Cryptanalysis of MinRank CRYPTO 2008 - 28th Annual International Cryptology Conference, Aug 2008, Santa Barbara, CA, United States. pp.280-296, ⟨10.1007/978-3-540-85174-5_16⟩  |
||
| hal-01203505v1
Conference papers
ML Dependency Analysis for Assessors Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩ |
||
| hal-01125667v2
Conference papers
Trusted Software within Focal C&ESAR 2008 - Computer & Electronics Security Applications Rendez-vous, Dec 2008, Rennes, France. pp.162-179 |
||
| hal-00275358v1
Journal articles
Typer la désérialisation sans sérialiser les types Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090 |
||
| hal-00706772v1
Conference papers
Interval-based Robustness of Linear Parametrized Filters SCAN'12 - 15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations, Sep 2012, Novosibirsk, Russia. pp.cf. CDROM |
||
|
|
||