Concepedia

Laure Gonnord

LG

Statistics

Publications

10

Citations

221

H-Index

10

Active since

2006

Affiliations

Université Claude Bernard Lyon 1(Current)

Universidade Federal de Minas Gerais

Institut national de recherche en sciences et technologies du numérique

Université Grenoble Alpes

Laure Gonnord is an author at Université Claude Bernard Lyon 1 specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationParallel ProgrammingAutomated ReasoningComputer EngineeringDiscrete Mathematics

Publications per year

2006–2016

10

Publications

10

Some ways to reduce the space dimension in polyhedra computations

Nicolas Halbwachs, David Merchat, Laure Gonnord · Formal Methods in System Design · 2006 · 48 citations · Full text

Geometric Modeling, Discrete Geometry, Polyhedra Computations +11

Validation of memory accesses through symbolic analyses

Henrique Nazaré, Izabela Karennina Travizani Maffra, Willer Santos et al. · 2014 · 33 citations · Full text

Runtime Checks, Engineering, Compiler Technology +22

Abstract acceleration in linear relation analysis

Laure Gonnord, Peter Schrammel · Science of Computer Programming · 2013 · 28 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +4

Accelerated Invariant Generation for C Programs with Aspic and C2fsm

Paul Feautrier, Laure Gonnord · Electronic Notes in Theoretical Computer Science · 2010 · 26 citations · Full text

Combining Widening and Acceleration in Linear Relation Analysis

Laure Gonnord, Nicolas Halbwachs · 2006 · 22 citations

1–5 of 10