Filter your results
- 54
- 6
- 31
- 21
- 5
- 1
- 1
- 1
- 13
- 3
- 60
- 5
- 6
- 3
- 2
- 5
- 5
- 5
- 2
- 3
- 3
- 3
- 3
- 5
- 3
- 3
- 1
- 2
- 1
- 57
- 2
- 1
- 45
- 40
- 15
- 12
- 11
- 7
- 6
- 6
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 60
- 8
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
60 Results
|
|
sorted by
|
SToP : Scalable Termination analysis of (C) Programs (tool presentation)Tapas 2012, Sep 2012, Deauville, France
Conference papers
hal-00760926v1
|
|||
Runtime resource assurance and adaptation with Qinna framework : a case studyReal Time Software (RTS) 2008, Oct 2008, Poland. pp.617-624, ⟨10.1109/IMCSIT.2008.4747307⟩
Conference papers
hal-00801546v1
|
|||
|
Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings[Research Report] RR-7235, INRIA. 2010, pp.32
Reports
inria-00464356v1
|
||
|
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart ProgramsStatic Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩
Conference papers
inria-00523298v1
|
||
|
Combining Range and Inequality Information for Pointer Disambiguation[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Reports
hal-01429777v2
|
||
|
On optimizing scalar self-rebalancing treesCOMPAS 2020 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2020, Lyon, France. pp.1-7
Conference papers
hal-03048742v1
|
||
|
Static Analysis via Horn Encoding from synchronous Dataflow Programs[Technical Report] RT-0492, Université Lyon 1 Claude Bernard, LIP & INSA, CITI 2017, pp.25
Reports
hal-01614637v1
|
||
|
Proving array properties using data abstractionNumerical and Symbolic Abstract Domains (NSAD), Nov 2020, Virtual, United States
Conference papers
hal-02948081v2
|
||
|
A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsSeventh European Conference on Modelling Foundations and Applications, Jun 2011, Birmingham, United Kingdom. pp.35-51
Conference papers
hal-00593425v1
|
||
|
Do we still need new Alias Analyses?[Research Report] RR-8812, Université Lyon Claude Bernard / Laboratoire d'Informatique du Parallélisme. 2015
Reports
hal-01228581v1
|
||
|
Combining Range and Inequality Information for Pointer DisambiguationScience of Computer Programming, 2017
Journal articles
hal-01625402v1
|
||
|
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations LinéairesAutre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français. ⟨NNT : ⟩
Theses
tel-00196899v1
|
||
|
Quantity of Resource Properties Expression and Runtime Assurance for Embedded SystemsAICCSA - The seventh ACS/IEEE International Conference on Computer Systems and Applications, May 2009, Rabat, Morocco
Conference papers
inria-00349918v2
|
||
|
Symbolic Range Analysis of PointersInternational Symposium of Code Generation and Optimization, Mar 2016, Barcelona, Spain. pp.791-809
Conference papers
hal-01228928v1
|
||
|
Parallel Complexity of Term Rewriting SystemsWST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6
Conference papers
hal-03418400v1
|
||
Rank: a tool to check program termination and computational complexityConstraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
Conference papers
hal-00801571v1
|
|||
|
Knit&Frog: Pattern matching compilation for custom memory representations[Research Report] RR-9473, Inria Lyon. 2022, pp.35
Reports
hal-03684334v3
|
||
|
Polyhedral Dataflow Programming: a Case StudySBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Sep 2018, Lyon, France. pp.1-9
Conference papers
cea-01855997v2
|
||
Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systemsACM 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⟩
Conference papers
inria-00586137v1
|
|||
|
Resource management with Qinna framework : the remote viewer case study[Technical Report] RR-6562, INRIA. 2008
Reports
inria-00288593v2
|
||
|
Contributions to program analysis: expressivity and scalabilityComputation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
Habilitation à diriger des recherches
tel-01633065v2
|
||
|
Parallelizing Structural Transformations on Tarbres[Research Report] RR-9405, ENS Lyon, CNRS & INRIA. 2021, pp.21
Reports
hal-03208466v1
|
||
|
Practicing Domain-Specific Languages: From Code to Models14th Educators Symposium at MODELS 2018, Oct 2018, Copenaghen, Denmark. pp.1-8, ⟨10.1145/3270112.3270116⟩
Conference papers
hal-01865448v1
|
||
|
Abstract acceleration in Linear relation analysis2010
Reports
hal-00785116v1
|
||
|
Synthesis of ranking functions using extremal counterexamplesProgramming Languages, Design and Implementation, Jun 2015, Portland, Oregon, United States. ⟨10.1145/2737924.2737976⟩
Conference papers
hal-01144622v1
|
||
|
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction2013
Reports
hal-00780521v2
|
||
|
Accelerated Invariant Generation for C Programs with Aspic and C2fsmTools for Automatic Program AnalysiS, Sep 2010, Perpignan, France. ⟨10.1016/j.entcs.2010.09.014⟩
Conference papers
inria-00523320v1
|
||
|
On Confluence of Parallel-Innermost Term RewritingIWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel
Conference papers
hal-03710007v2
|
||
|
Knit&Frog: Pattern matching compilation for custom memory representations (doctoral session)AFADL 2022 - 21ème journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2022, Vannes, France
Conference papers
hal-03676356v1
|
||
|
Abstract Acceleration in Linear Relation AnalysisScience of Computer Programming, 2014, 93, part B (125 - 153), pp.125 - 153. ⟨10.1016/j.scico.2013.09.016⟩
Journal articles
hal-00876627v1
|
- 1
- 2