THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Multilinear algebra
• Lie algebras
• Hopf algebras
• Category theory
• Universal enveloping algebra
• PoincarBirkhoffWitt theorem
• Exterior algebra
• F-algebra

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

Static Analysis and Runtime-Assertion Checking: Contribution to Security Counter-Measures Dillon Pariente1 and Julien Signoles2 1

Source URL: julien.signoles.free.fr

• Software engineering
• Computing
• Computer programming
• Program analysis
• Object-oriented programming languages
• Frama-C
• Software testing
• Static program analysis
• Abstract interpretation
• OCaml
• Type system
• Formal methods

Grivaux, Julien  Tian’s invariant of the Grassmann manifold. (English) Zbl
J. Geom. Anal. 16, No. 3, For a compact Kählerian manifold M , Tian’s invariant α(M ) is connected to the ex

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Differential geometry
• Theoretical physics
• Riemannian manifolds
• Complex manifolds
• Riemannian geometry
• Symplectic geometry
• Khler manifold
• Einstein manifold
• KhlerEinstein metric
• Ricci curvature
• Zbl

Grivaux, Julien  Variation of the holomorphic determinant bundle. (English) Zbl
Math. Res. Lett. 20, No. 6, ). Let f : X → Y be a proper holomorphic submersion between complex manifolds an

Source URL: jgrivaux.perso.math.cnrs.fr

MOSCOW MATHEMATICAL JOURNAL Volume 16, Number 2, April–June 2016, Pages 275–298 PARABOLIC AUTOMORPHISMS OF PROJECTIVE SURFACES (AFTER M. H. GIZATULLIN) JULIEN GRIVAUX

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Mathematical analysis
• Conformal geometry
• Mbius transformation
• Projective geometry
• DeligneLusztig theory
• Table of stars with Bayer designations

Proposition de stage niveau bac+5 Vérication Dynamique de Propriétés Mémoires Subtiles sur des programmes C Mots-clés

Source URL: julien.signoles.free.fr

PDF Document

Source URL: julien.signoles.free.fr

Verification Coverage for Combining Test and Proof Viet Hoang Le1 , Lo¨ıc Correnson2 , Julien Signoles2 , and Virginie Wiels3 1 2

Source URL: julien.signoles.free.fr

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Systems engineering
• Logic in computer science
• Formal verification
• Mutation testing
• Code coverage
• KeY
• Specification