Follow
Laure Gonnord
Laure Gonnord
Grenoble INP - UGA
Verified email at grenoble-inp.fr - Homepage
Title
Cited by
Cited by
Year
Multi-dimensional rankings, program termination, and complexity bounds of flowchart programs
C Alias, A Darte, P Feautrier, L Gonnord
International Static Analysis Symposium, 117-133, 2010
2262010
Combining widening and acceleration in linear relation analysis
L Gonnord, N Halbwachs
International Static Analysis Symposium, 144-160, 2006
1242006
Cell morphing: From array programs to array-free horn clauses
D Monniaux, L Gonnord
International Static Analysis Symposium, 361-382, 2016
612016
Validation of memory accesses through symbolic analyses
H Nazaré, I Maffra, W Santos, L Barbosa, L Gonnord, FM Quintão Pereira
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
512014
Some ways to reduce the space dimension in polyhedra computations
N Halbwachs, D Merchat, L Gonnord
Formal Methods in System Design 29, 79-95, 2006
482006
Accelerated invariant generation for c programs with aspic and c2fsm
P Feautrier, L Gonnord
Electronic Notes in Theoretical Computer Science 267 (2), 3-13, 2010
442010
Using bounded model checking to focus fixpoint iterations
D Monniaux, L Gonnord
International Static Analysis Symposium, 369-385, 2011
432011
Synthesis of ranking functions using extremal counterexamples
L Gonnord, D Monniaux, G Radanne
ACM SIGPLAN Notices 50 (6), 608-618, 2015
412015
Abstract acceleration in linear relation analysis
L Gonnord, P Schrammel
Science of Computer Programming 93, 125-153, 2014
312014
Accélération abstraite pour l’amélioration de la précision en Analyse des Relations Linéaires
L Gonnord
These de doctorat, Université Joseph Fourier, Grenoble 24, 2007
292007
A generic tool for tracing executions back to a DSML’s operational semantics
B Combemale, L Gonnord, V Rusu
European Conference on Modelling Foundations and Applications, 35-51, 2011
282011
Symbolic range analysis of pointers
V Paisante, M Maalej, L Barbosa, L Gonnord, FM Quintão Pereira
Proceedings of the 2016 International Symposium on Code Generation and …, 2016
222016
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
A Gamatié, L Gonnord
ACM Sigplan Notices 46 (5), 71-80, 2011
212011
Pointer disambiguation via strict inequalities
M Maalej, V Paisante, P Ramos, L Gonnord, FMQ Pereira
2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017
162017
Enhancing the compilation of synchronous dataflow programs with a combined numerical-boolean abstraction
P Feautrier, A Gamatié, L Gonnord
142013
Bit-stealing made legal: Compilation for custom memory representations of algebraic data types
T Baudon, G Radanne, L Gonnord
Proceedings of the ACM on Programming Languages 7 (ICFP), 813-846, 2023
132023
From discrete duration calculus to symbolic automata
L Gonnord, N Halbwachs, P Raymond
Electronic Notes in Theoretical Computer Science 153 (4), 3-18, 2006
132006
Practicing domain-specific languages: from code to models
L Gonnord, S Mosser
Proceedings of the 21st ACM/IEEE international conference on model driven …, 2018
102018
A survey on parallelism and determinism
L Gonnord, L Henrio, L Morel, G Radanne
ACM Computing Surveys 55 (10), 1-28, 2023
82023
Static analysis of binary code with memory indirections using polyhedra
C Ballabriga, J Forget, L Gonnord, G Lipari, J Ruiz
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
82019
The system can't perform the operation now. Try again later.
Articles 1–20