Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Modular Open Platform for Static Analysis

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Static type and value analysis by abstract interpretation of Python programs with native C libraries

Autores: Raphaël Monat
Publicado en: PhD Dissertation, 2021
Editor: Sorbonne Université

Static Analysis by Abstract Interpretation Collecting Types of Python Programs

Autores: Monat, Raphaël
Publicado en: Master Dissertation, Edición 1, 2018
Editor: HAL

Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference

Autores: Matthieu Journault
Publicado en: PhD Dissertation, 2019
Editor: Sorbonne Université

Vérification par interprétation abstraite en mémoire faiblement cohérente

Autores: Thibault Suzanne
Publicado en: PhD Dissertation, 2019
Editor: Sorbonne Université

A Library Modeling Language for the Static Analysis of C Programs (se abrirá en una nueva ventana)

Autores: Abdelraouf Ouadjaout, Antoine Miné
Publicado en: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings, Edición 12389, 2020, Página(s) 223-247, ISBN 978-3-030-65473-3
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-65474-0_11

A multilanguage static analysis of Python programs with native C extensions. (se abrirá en una nueva ventana)

Autores: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Publicado en: Static Analysis - 28th International Symposium, SAS 2021, Edición 1, 2021
Editor: Springer
DOI: 10.1007/978-3-030-88806-0_16

Mlang: an Open-Source Toolchain for the Income Tax Computation

Autores: Denis Merigoux,Raphaël Monat
Publicado en: Journées Francophones des Langages Applicatifs, 2021, Página(s) 155-156
Editor: HAL

Quantitative static analysis of communication protocols using abstract Markov chains (se abrirá en una nueva ventana)

Autores: Abdelraouf Ouadjaout, Antoine Miné
Publicado en: 24st International Static Analysis Symposium (SAS'17), Edición 24th, 2017, Página(s) 277-298, ISBN 978-3-319-66706-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-66706-5_14

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs (se abrirá en una nueva ventana)

Autores: Matthieu Journault, Antoine Miné
Publicado en: Static Analysis Symposium, Edición 23rd, 2016, Página(s) 257-277, ISBN 978-3-662-53413-7
Editor: Springer
DOI: 10.1007/978-3-662-53413-7_13

Static Value Analysis of Python Programs by Abstract Interpretation (se abrirá en una nueva ventana)

Autores: Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
Publicado en: NASA Formal Methods, Edición 10th, 2018, Página(s) 185-202
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-77935-5_14

Modular Static Analysis of String Manipulations in C Programs (se abrirá en una nueva ventana)

Autores: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Publicado en: Proc. of Static Analysis. SAS 2018, Edición 25th, 2018, Página(s) 243-262, ISBN 978-3-319-99724-7
Editor: Springer
DOI: 10.1007/978-3-319-99725-4_16

Design of a Modular Platform for Static Analysis.

Autores: Antoine Miné, Abdelraouf Ouadjaou, Matthieu Journault
Publicado en: Workshop on Tools for Automatic Program Analysis (TAPAS'18), Edición 9th, 2018
Editor: The Static Analysis Symposia

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models (se abrirá en una nueva ventana)

Autores: Thibault Suzanne, Antoine Miné
Publicado en: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Edición 11275, 2018, Página(s) 109-128, ISBN 978-3-030-02767-4
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-02768-1_6

Finding Solutions by Finding Inconsistencies (se abrirá en una nueva ventana)

Autores: Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
Publicado en: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Edición 11008, 2018, Página(s) 420-435, ISBN 978-3-319-98333-2
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-98334-9_28

An Abstract Domain for Trees with Numeric Relations (se abrirá en una nueva ventana)

Autores: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Publicado en: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Edición 11423, 2019, Página(s) 724-751, ISBN 978-3-030-17183-4
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-17184-1_26

Value and allocation sensitivity in static Python analyses (se abrirá en una nueva ventana)

Autores: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Publicado en: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020, Página(s) 8-13, ISBN 9781-450379977
Editor: ACM
DOI: 10.1145/3394451.3397205

Analysis of program differences with numerical abstract interpretation

Autores: David Delmas, Antoine Miné
Publicado en: Workshop on Program Equivalence and Relational Reasoning, Edición 3rd, 2019
Editor: HAL

Étude formelle de l’implémentation du code des impôts

Autores: Denis Merigoux, Raphaël Monat, Christophe Gaie
Publicado en: Journées Francophones des Langages Applicatifs, Edición 31st, 2020
Editor: HAL

Analysis of Software Patches Using Numerical Abstract Interpretation (se abrirá en una nueva ventana)

Autores: David Delmas, Antoine Miné
Publicado en: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Edición 11822, 2019, Página(s) 225-246, ISBN 978-3-030-32303-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-32304-2_12

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer (se abrirá en una nueva ventana)

Autores: Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Publicado en: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers, Edición 12031, 2020, Página(s) 1-18, ISBN 978-3-030-41599-0
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-41600-3_1

Static Type Analysis by Abstract Interpretation of Python Programs (se abrirá en una nueva ventana)

Autores: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Publicado en: European Conference on Object-Oriented Programming, Edición 34th, 2020
Editor: Dagstuhl Publishing
DOI: 10.4230/lipics.ecoop.2020.17

Static Analysis of Endian Portability by Abstract Interpretation (se abrirá en una nueva ventana)

Autores: David Delmas, Abdelraouf Ouadjaout, Antoine Miné
Publicado en: Static Analysis - 28th International Symposium, SAS 2021, Edición 1, 2021, Página(s) 102-123
Editor: Springer
DOI: 10.1007/978-3-030-88806-0_5

A Modern Compiler for the French Tax Code (se abrirá en una nueva ventana)

Autores: Denis Merigoux, Raphaël Monat, Jonathan Protzenko
Publicado en: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Edición 1, 2020
Editor: ACM Press
DOI: 10.1145/3446804.3446850

A Review of Formal Methods applied to Machine Learning

Autores: Urban, Caterina; Miné, Antoine
Publicado en: Research report, 2021
Editor: HAL

Input Validation for Neural Networks via Runtime Local Robustness Verification

Autores: Jiangchao Liu, Liqian Chen, Antoine Mine, Ji Wang
Publicado en: Preprint, 2020
Editor: arXiv

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (se abrirá en una nueva ventana)

Autores: Antoine Miné
Publicado en: Foundations and Trends® in Programming Languages, Edición 4/3-4, 2017, Página(s) 120-372, ISSN 2325-1107
Editor: Now Publishers
DOI: 10.1561/2500000034

Inferring functional properties of matrix manipulating programs by abstract interpretation (se abrirá en una nueva ventana)

Autores: Matthieu Journault, Antoine Miné
Publicado en: Formal Methods in System Design, Edición 53/2, 2018, Página(s) 221-258, ISSN 0925-9856
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10703-017-0311-x

Quantitative static analysis of communication protocols using abstract Markov chains (se abrirá en una nueva ventana)

Autores: Abdelraouf Ouadjaout, Antoine Miné
Publicado en: Formal Methods in System Design, Edición 54/1, 2019, Página(s) 64-109, ISSN 0925-9856
Editor: Kluwer Academic Publishers
DOI: 10.1007/s10703-019-00331-2

Buscando datos de OpenAIRE...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles

Mi folleto 0 0