Proposition de stage niveau bac+5 Synthèse de fonctions C à partir de dénitions axiomatiques Cadre Le CEA LIST est un centre de recherche technologique sur les systèmes à logiciel prépondérant qui

Source URL: julien.signoles.free.fr

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

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Software bugs
• Software testing
• Computer network security
• Debuggers
• Common Weakness Enumeration
• Memory debugger
• Memory safety
• Application security
• Frama-C

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Data types
• Computer programming
• Primitive types
• Formal languages
• Formal methods
• ANSI/ISO C Specification Language
• C
• String
• Frama-C
• Permutation

NAM 03 -Pantin Cea de-a treia editie a Festivalului « La Nuit des Voyages aux bouts des Arts et des Mondes », festival al Artelor si al Interculturalitatii creat in anul 2007, organizat de catre asociatia « Arte-Lumi

Source URL: www.artsetmondes.com

An Operational Semantics for Simulink’s Simulation Engine Olivier Bouissou Alexandre Chapoutot CEA LIST, DILS/LMeASI – Point Courrier 174,

Source URL: perso.ensta-paristech.fr

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

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

Simulation abstraite : une analyse statique de modèles Simulink Alexandre Chapoutot1 Laboratoire MeASI - CEA LIST Soutenance de thèse

Source URL: perso.ensta-paristech.fr

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function