2024

Journal articles

titre
Abstract Interpreters: A Monadic Approach to Modular Verification
auteur
Sébastien Michelland, Yannick Zakowski, Laure Gonnord
article
Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), ⟨10.1145/3674646⟩
DOI
DOI : 10.1145/3674646
Accès au texte intégral et bibtex
https://hal.science/hal-04628727/file/monadic_ia.pdf BibTex
titre
On Complexity Bounds and Confluence of Parallel Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
Fundamenta Informaticae, In press
Accès au texte intégral et bibtex
https://hal.science/hal-04673500/file/2305.18250v2.pdf BibTex

Conference papers

titre
Proof assistants for teaching: a survey
auteur
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
article
The 13th International Workshop on Theorem proving components for Educational software (ThEdu 24), Jul 2024, Nancy, France
Accès au bibtex
BibTex
titre
From low-level fault modeling (of a pipeline attack) to a proven hardening scheme
auteur
Sébastien Michelland, Christophe Deleuze, Laure Gonnord
article
Compiler Construction (CC'24), Mar 2024, Edinburgh (Scotland), United Kingdom. ⟨10.1145/3640537.3641570⟩
DOI
DOI : 10.1145/3640537.3641570
Accès au texte intégral et bibtex
https://hal.science/hal-04438994/file/harden_skip_main.pdf BibTex

Reports

titre
Research report - Proof assistants for teaching: a survey
auteur
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
article
LCIS, Grenoble-INP. 2024
Accès au texte intégral et bibtex
https://hal.science/hal-04705580/file/Thedu24_TranMinh.pdf BibTex

Preprints, Working Papers, ...

titre
Compiling Morphisms of Algebraic Data Types
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04601882/file/main.pdf BibTex
titre
Rebuilding Algebraic Data Types from Mangled Memory Layouts
auteur
Gabriel Radanne, Thaïs Baudon, Laure Gonnord
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04388766/file/main.pdf BibTex
titre
Abstract Interpreters: a Monadic Approach to Modular Verification (DRAFT)
auteur
Sébastien Michelland, Yannick Zakowski, Laure Gonnord
article
2024
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04385725/file/itree-ai.pdf BibTex

2023

Journal articles

titre
Bit-Stealing Made Legal
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
Proceedings of the ACM on Programming Languages, 2023, ICFP, 7 (ICFP), pp.813-846. ⟨10.1145/3607858⟩
DOI
DOI : 10.1145/3607858
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04165615/file/main.pdf BibTex

2022

Journal articles

titre
A Survey on Parallelism and Determinism
auteur
Laure Gonnord, Ludovic Henrio, Lionel Morel, Gabriel Radanne
article
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
DOI
DOI : 10.1145/3564529
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03828497/file/Surveypaper.pdf BibTex

Conference papers

titre
Analysing Parallel Complexity of Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
LOPSTR 2022 - 32nd International Symposium on Logic-based Program Synthesis and Transformation, Sep 2022, Tbilisi, Georgia
Accès au texte intégral et bibtex
https://hal.science/hal-03749679/file/lopstr22_paracomp.pdf BibTex
titre
On Confluence of Parallel-Innermost Term Rewriting
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03710007/file/iwc22_para.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03676356/file/afadl_2022_baudon_hal.pdf BibTex

Reports

titre
Compositional Flexible Memory Representations for Algebraic Data Types
auteur
Thaïs Baudon, Gabriel Radanne, Laure Gonnord
article
9495, Inria. 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03940742/file/rr-9495.pdf BibTex
titre
Knit&Frog: Pattern matching compilation for custom memory representations
auteur
Thaïs Baudon, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03684334/file/rr-9473.pdf BibTex

Software

titre
Ribbit
auteur
Gabriel Radanne, Thaïs Baudon, Laure Gonnord
article
2022, ⟨swh:1:dir:b3be924ea99bdee1c1df8d9b4310e2f767536766;origin=https://hal.archives-ouvertes.fr/hal-03860442;visit=swh:1:snp:6c1082239a4d9372b0546b82945f453576931dd2;anchor=swh:1:rel:eeff41f174f0ec95c25dba2cea8acb78b859d98a;path=/⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03860442/file/ribbit-0.1.zip BibTex

2021

Conference papers

titre
Compiling pattern matching to in-place modifications
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
GPCE 2021 - 20th International Conference on Generative Programming: Concepts & Experiences, Oct 2021, Chicago & Virtual, United States. ⟨10.1145/3486609.3487204⟩
DOI
DOI : 10.1145/3486609.3487204
Accès au texte intégral et bibtex
https://hal.science/hal-03355377/file/gpce2021-cursors.pdf BibTex
titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
SAS 2021 - 28th Static Analysis Symposium, Oct 2021, Chicago, United States. pp.215-235, ⟨10.1007/978-3-030-88806-0_11⟩
DOI
DOI : 10.1007/978-3-030-88806-0_11
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03321868/file/braine_al_sas2021.pdf BibTex
titre
Isomorphisms are back!
auteur
Clément Allain, Gabriel Radanne, Laure Gonnord
article
ML 2021 - ML Workshop, Aug 2021, Virtual, France. pp.1-3
Accès au texte intégral et bibtex
https://hal.science/hal-03355381/file/mlworkshop.pdf BibTex
titre
Parallel Complexity of Term Rewriting Systems
auteur
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
article
WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.science/hal-03418400/file/wst2021.pdf BibTex

Reports

titre
Data Abstraction: A General Framework to Handle Program Verification of Data Structures
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Research Report] RR-9408, Inria Grenoble Rhône-Alpes; VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP - Laboratoire de l’Informatique du Parallélisme; Université Lyon 1 - Claude Bernard; ENS Lyon. 2021, pp.1-29
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03214475/file/RR-9408.pdf BibTex
titre
Parallelizing Structural Transformations on Tarbres
auteur
Paul Iannetta, Laure Gonnord, Gabriel Radanne
article
[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03208466/file/rr-9405.pdf BibTex

2020

Conference papers

titre
Proving array properties using data abstraction
auteur
Julien Braine, Laure Gonnord
article
Numerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Accès au texte intégral et bibtex
https://hal.science/hal-02948081/file/nsad20-brainegonnord_authorversion_taggued.pdf BibTex
titre
On optimizing scalar self-rebalancing trees
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel
article
COMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.science/hal-03048742/file/iannetta.2020.compas.pdf BibTex

Reports

titre
On optimizing scalar self-rebalancing trees
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel
article
[Research Report] RR-9343, ENS LYON; Inria - Research Centre Grenoble – Rhône-Alpes; Université de Lyon I Claude Bernard. 2020
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02573052/file/RR-9343.pdf BibTex

2019

Conference papers

titre
Semantic Array Dataflow Analysis
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
article
IMPACT 2019, Jan 2019, Valence (Espagne), Spain
Accès au bibtex
BibTex
titre
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
auteur
Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz
article
VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩
DOI
DOI : 10.1007/978-3-030-11245-5_6
Accès au texte intégral et bibtex
https://hal.science/hal-01939659/file/vmcai19_binary_cr_authorversion.pdf BibTex

Reports

titre
A Compiler Algorithm to Guide Runtime Scheduling
auteur
Christophe Alias, Samuel Thibault, Laure Gonnord
article
[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02421327/file/RR-9315.pdf BibTex

2018

Conference papers

titre
Practicing Domain-Specific Languages: From Code to Models
auteur
Laure Gonnord, Sébastien Mosser
article
14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
DOI
DOI : 10.1145/3270112.3270116
Accès au texte intégral et bibtex
https://hal.science/hal-01865448/file/edusymp18_GM._cr.pdf BibTex
titre
Polyhedral Dataflow Programming: a Case Study
auteur
Romain Fontaine, Laure Gonnord, Lionel Morel
article
SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01855997/file/finalversion_hal_sbacpad18_FGM.pdf BibTex
titre
Du code aux modèles, des modèles au code: enseigner les langages dédiés (DSL)
auteur
Laure Gonnord, Sébastien Mosser
article
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel, Jun 2018, Grenoble, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.science/hal-01816239/file/CAL-CIEL2018_paper_1.pdf BibTex

Reports

titre
Semantic Array Dataflow Analysis
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki
article
[Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22
Accès au texte intégral et bibtex
https://hal.science/hal-01954396/file/RR-9232.pdf BibTex
titre
Semantic Polyhedral Model for Arrays and Lists
auteur
Paul Iannetta, Laure Gonnord, Lionel Morel
article
[Research Report] INRIA. 2018
Accès au texte intégral et bibtex
https://hal.science/hal-03549719/file/RR-9183.pdf BibTex

2017

Journal articles

titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article
Science of Computer Programming, 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01625402/file/scp17_pointers_hal_authorversion.pdf BibTex

Conference papers

titre
Pointer Disambiguation via Strict Inequalities
auteur
Maroua Maalej, Vitor Paisante, Ramos Pedro, Laure Gonnord, Fernando Pereira
article
Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147
Accès au texte intégral et bibtex
https://hal.science/hal-01387031/file/CGO17_AuthorVersion.pdf BibTex

Habilitation à diriger des recherches

titre
Contributions to program analysis: expressivity and scalability
auteur
Laure Gonnord
article
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01633065/file/HDR_Gonnord-11-11-2017.pdf BibTex

Reports

titre
Static Analysis via Horn Encoding from synchronous Dataflow Programs
auteur
Laure Gonnord, Szabolcs-Marton Bagoly, Lionel Morel
article
[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01614637/file/RR-0492-lustrearray.pdf BibTex
titre
Combining dataflow programming and polyhedral optimization, a case study
auteur
Romain Fontaine, Lionel Morel, Laure Gonnord
article
[Technical Report] RT-0490, Inria Rhône-Alpes; CITI - CITI Centre of Innovation in Telecommunications and Integration of services; LIP - ENS Lyon. 2017, pp.40
Accès au texte intégral et bibtex
https://hal.science/hal-01572439/file/RR-0490-dataflow-poly.pdf BibTex

2016

Conference papers

titre
Cell morphing: from array programs to array-free Horn clauses
auteur
David Monniaux, Laure Gonnord
article
23rd Static Analysis Symposium (SAS 2016), Sep 2016, Edimbourg, United Kingdom. pp.361-382, ⟨10.1007/978-3-662-53413-7_18⟩
DOI
DOI : 10.1007/978-3-662-53413-7_18
Accès au texte intégral et bibtex
https://hal.science/hal-01206882/file/arrays_Horn_articleHAL.pdf BibTex
titre
Estimation of Parallel Complexity with Rewriting Techniques
auteur
Christophe Alias, Carsten Fuhs, Laure Gonnord
article
Workshop on Termination, Sep 2016, Obergurgl, Austria
Accès au texte intégral et bibtex
https://hal.science/hal-01345914/file/rewriting_parallelism_articleHAL.pdf BibTex
titre
Symbolic Range Analysis of Pointers
auteur
Vitor Paisante, Maroua Maalej, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
article
International Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01228928/file/CGO16_RangeAlias_hal_authorversion-with-numbers.pdf BibTex

Reports

titre
Combining Range and Inequality Information for Pointer Disambiguation
auteur
Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
article
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01429777/file/RR-9076.pdf BibTex
titre
Verifying Programs with Arrays and Lists
auteur
Julien Braine, Laure Gonnord, David Monniaux
article
[Internship report] ENS Lyon. 2016
Accès au texte intégral et bibtex
https://hal.science/hal-01337140/file/rapport.pdf BibTex

2015

Conference papers

titre
Synthesis of ranking functions using extremal counterexamples
auteur
Laure Gonnord, David Monniaux, Gabriel Radanne
article
Programming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
DOI
DOI : 10.1145/2737924.2737976
Accès au texte intégral et bibtex
https://hal.science/hal-01144622/file/PLDI15_termite_authorVersion.pdf BibTex

Reports

titre
Do we still need new Alias Analyses?
auteur
Maroua Maalej, Laure Gonnord
article
[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01228581/file/RR-8812.pdf BibTex

2014

Journal articles

titre
Abstract Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Peter Schrammel
article
Science of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩
DOI
DOI : 10.1016/j.scico.2013.09.016
Accès au texte intégral et bibtex
https://hal.science/hal-00876627/file/scpLRA4hal.pdf BibTex

Conference papers

titre
Validation of Memory Accesses Through Symbolic Analyses
auteur
Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Oliveira, Fernando Magno Quintão Pereira, Laure Gonnord
article
ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA'14), Oct 2014, Portland, Oregon, United States. pp.791-809, ⟨10.1145/2660193.2660205⟩
DOI
DOI : 10.1145/2660193.2660205
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01006209/file/oopsla14_memory_author_version.pdf BibTex
titre
Real-World Loops are Easy to Predict: A Case Study
auteur
Raphael Ernani Rodrigues, Péricles Alves, Fernando Pereira, Laure Gonnord
article
Workshop on Software Termination (WST'14), Jul 2014, Vienne, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01006208/file/wst_realloops_author_version.pdf BibTex

2013

Conference papers

titre
Rank: a tool to check program termination and computational complexity
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Accès au bibtex
BibTex

Reports

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
2013
Accès au texte intégral et bibtex
https://hal.science/hal-00780521/file/Sync2Smt_RR_FeautrierGamatieGonnordV2.pdf BibTex
titre
Abstract Acceleration in Linear relation analysis (extended version)
auteur
Laure Gonnord, Peter Schrammel
article
2013
Accès au texte intégral et bibtex
https://hal.science/hal-00787212/file/RR_LIFL_soushalV1.pdf BibTex

2012

Journal articles

titre
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction
auteur
Paul Feautrier, Abdoulaye Gamatié, Laure Gonnord
article
CSI Journal of Computing, 2012, 1 (4), pp.8:86--8:99
Accès au bibtex
BibTex

Conference papers

titre
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
Tapas 2012, Sep 2012, Deauville, France
Accès au bibtex
BibTex

Reports

titre
Modular termination of C programs
auteur
Guillaume Andrieu, Christophe Alias, Laure Gonnord
article
[Research Report] RR-8166, INRIA. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00760917/file/RR-8166.pdf BibTex

2011

Conference papers

titre
Using Bounded Model Checking to Focus Fixpoint Iterations
auteur
David Monniaux, Laure Gonnord
article
Static analysis symposium (SAS), Sep 2011, Venezia, Italy. pp.369-385, ⟨10.1007/978-3-642-23702-7_27⟩
DOI
DOI : 10.1007/978-3-642-23702-7_27
Accès au texte intégral et bibtex
https://hal.science/hal-00600087/file/Monniaux_Gonnord_SAS2011.pdf BibTex
titre
A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
auteur
Benoit Combemale, Laure Gonnord, Vlad Rusu
article
Seventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Accès au texte intégral et bibtex
https://hal.science/hal-00593425/file/ecmfa11-tracematching-camera.pdf BibTex
titre
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems
auteur
Abdoulaye Gamatié, Laure Gonnord
article
ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. pp.71-80, ⟨10.1145/1967677.1967688⟩
DOI
DOI : 10.1145/1967677.1967688
Accès au bibtex
BibTex

2010

Conference papers

titre
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
auteur
Paul Feautrier, Laure Gonnord
article
Tools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
DOI
DOI : 10.1016/j.entcs.2010.09.014
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00523320/file/tapas10_FeautrierGonnord.authorversion.pdf BibTex
titre
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
DOI
DOI : 10.1007/978-3-642-15769-1
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00523298/file/rankingCompsys_sas2010.pdf BibTex

Reports

titre
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
auteur
Vlad Rusu, Laure Gonnord, Benoit Combemale
article
[Research Report] RR-7423, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00526561/file/RR-7423.pdf BibTex
titre
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
article
[Research Report] RR-7235, INRIA. 2010, pp.32
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00464356/file/RR-7235.pdf BibTex
titre
Abstract acceleration in Linear relation analysis
auteur
Laure Gonnord, Nicolas Halbwachs
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00785116/file/TR-2010-10GonnordHalbwachs.pdf BibTex

2009

Journal articles

titre
Qinna: a component-based framework for runtime safe resource adaptation of embedded systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
Scalable Computing : Practice and Experience, 2009, 10 (3), pp.253-264
Accès au bibtex
BibTex

Conference papers

titre
Quantity of Resource Properties Expression and Runtime Assurance for Embedded Systems
auteur
Laure Gonnord, Jean-Philippe Babau
article
AICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00349918/file/aiccsa2009_gonnord_babau_with_copyright.pdf BibTex

Reports

titre
Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions
auteur
Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord, Clément Quinson
article
[Research Report] 2009, pp.31
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00434037/file/RR-7037.pdf BibTex

2008

Conference papers

titre
Runtime resource assurance and adaptation with Qinna framework : a case study
auteur
Jean-Philippe Babau, Laure Gonnord
article
Real Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
DOI
DOI : 10.1109/IMCSIT.2008.4747307
Accès au bibtex
BibTex

Reports

titre
Resource Properties Expression and Runtime assurance for embedded programs, using Qinna, a component-based software architecture
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Research Report] RR-6565, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00289937/file/RR6565.pdf BibTex
titre
Resource management with Qinna framework : the remote viewer case study
auteur
Laure Gonnord, Jean-Philippe Babau
article
[Technical Report] RR-6562, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00288593/file/RR-6562.pdf BibTex

2006

Journal articles

titre
Some ways to reduce the space dimension in polyhedra computations
auteur
Nicolas Halbwachs, David Merchat, Laure Gonnord
article
Formal Methods in System Design, 2006, 29 (1), pp.79-95. ⟨10.1007/s10703-006-0013-2⟩
DOI
DOI : 10.1007/s10703-006-0013-2
Accès au texte intégral et bibtex
https://hal.science/hal-00189633/file/main.pdf BibTex

Conference papers

titre
Combining Widening and Acceleration in Linear Relation Analysis
auteur
Laure Gonnord, Nicolas Halbwachs
article
Static Analysis (SAS 2006), Aug 2006, Seoul, South Korea. pp.144-160, ⟨10.1007/11823230_10⟩
DOI
DOI : 10.1007/11823230_10
Accès au texte intégral et bibtex
https://hal.science/hal-00189614/file/main.pdf BibTex

2003

Conference papers

titre
From Discrete Duration Calculus to Symbolic Automata
auteur
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
article
Third International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004), Mar 2003, Barcelona, Spain. pp.3-18, ⟨10.1016/j.entcs.2006.02.022⟩
DOI
DOI : 10.1016/j.entcs.2006.02.022
Accès au texte intégral et bibtex
https://hal.science/hal-00198433/file/slap04.pdf BibTex