Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
CORDIScovery podcast 50th episode CORDIScovery podcast 50th episode

Modular Open Platform for Static Analysis

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Thesis and dissertations (4)
Static type and value analysis by abstract interpretation of Python programs with native C libraries

Autorzy: Raphaël Monat
Opublikowane w: PhD Dissertation, 2021
Wydawca: Sorbonne Université

Static Analysis by Abstract Interpretation Collecting Types of Python Programs

Autorzy: Monat, Raphaël
Opublikowane w: Master Dissertation, Numer 1, 2018
Wydawca: HAL

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

Autorzy: Matthieu Journault
Opublikowane w: PhD Dissertation, 2019
Wydawca: Sorbonne Université

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

Autorzy: Thibault Suzanne
Opublikowane w: PhD Dissertation, 2019
Wydawca: Sorbonne Université

Conference proceedings (19)
A Library Modeling Language for the Static Analysis of C Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings, Numer 12389, 2020, Strona(/y) 223-247, ISBN 978-3-030-65473-3
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-65474-0_11

A multilanguage static analysis of Python programs with native C extensions. (odnośnik otworzy się w nowym oknie)

Autorzy: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: Static Analysis - 28th International Symposium, SAS 2021, Numer 1, 2021
Wydawca: Springer
DOI: 10.1007/978-3-030-88806-0_16

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

Autorzy: Denis Merigoux,Raphaël Monat
Opublikowane w: Journées Francophones des Langages Applicatifs, 2021, Strona(/y) 155-156
Wydawca: HAL

Quantitative static analysis of communication protocols using abstract Markov chains (odnośnik otworzy się w nowym oknie)

Autorzy: Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: 24st International Static Analysis Symposium (SAS'17), Numer 24th, 2017, Strona(/y) 277-298, ISBN 978-3-319-66706-5
Wydawca: 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 (odnośnik otworzy się w nowym oknie)

Autorzy: Matthieu Journault, Antoine Miné
Opublikowane w: Static Analysis Symposium, Numer 23rd, 2016, Strona(/y) 257-277, ISBN 978-3-662-53413-7
Wydawca: Springer
DOI: 10.1007/978-3-662-53413-7_13

Static Value Analysis of Python Programs by Abstract Interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: NASA Formal Methods, Numer 10th, 2018, Strona(/y) 185-202
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-77935-5_14

Modular Static Analysis of String Manipulations in C Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Opublikowane w: Proc. of Static Analysis. SAS 2018, Numer 25th, 2018, Strona(/y) 243-262, ISBN 978-3-319-99724-7
Wydawca: Springer
DOI: 10.1007/978-3-319-99725-4_16

Design of a Modular Platform for Static Analysis.

Autorzy: Antoine Miné, Abdelraouf Ouadjaou, Matthieu Journault
Opublikowane w: Workshop on Tools for Automatic Program Analysis (TAPAS'18), Numer 9th, 2018
Wydawca: The Static Analysis Symposia

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models (odnośnik otworzy się w nowym oknie)

Autorzy: Thibault Suzanne, Antoine Miné
Opublikowane w: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Numer 11275, 2018, Strona(/y) 109-128, ISBN 978-3-030-02767-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-02768-1_6

Finding Solutions by Finding Inconsistencies (odnośnik otworzy się w nowym oknie)

Autorzy: Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
Opublikowane w: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Numer 11008, 2018, Strona(/y) 420-435, ISBN 978-3-319-98333-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-98334-9_28

An Abstract Domain for Trees with Numeric Relations (odnośnik otworzy się w nowym oknie)

Autorzy: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Opublikowane w: 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, Numer 11423, 2019, Strona(/y) 724-751, ISBN 978-3-030-17183-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-17184-1_26

Value and allocation sensitivity in static Python analyses (odnośnik otworzy się w nowym oknie)

Autorzy: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020, Strona(/y) 8-13, ISBN 9781-450379977
Wydawca: ACM
DOI: 10.1145/3394451.3397205

Analysis of program differences with numerical abstract interpretation

Autorzy: David Delmas, Antoine Miné
Opublikowane w: Workshop on Program Equivalence and Relational Reasoning, Numer 3rd, 2019
Wydawca: HAL

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

Autorzy: Denis Merigoux, Raphaël Monat, Christophe Gaie
Opublikowane w: Journées Francophones des Langages Applicatifs, Numer 31st, 2020
Wydawca: HAL

Analysis of Software Patches Using Numerical Abstract Interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: David Delmas, Antoine Miné
Opublikowane w: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Numer 11822, 2019, Strona(/y) 225-246, ISBN 978-3-030-32303-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-32304-2_12

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer (odnośnik otworzy się w nowym oknie)

Autorzy: Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Opublikowane w: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers, Numer 12031, 2020, Strona(/y) 1-18, ISBN 978-3-030-41599-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-41600-3_1

Static Type Analysis by Abstract Interpretation of Python Programs (odnośnik otworzy się w nowym oknie)

Autorzy: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: European Conference on Object-Oriented Programming, Numer 34th, 2020
Wydawca: Dagstuhl Publishing
DOI: 10.4230/lipics.ecoop.2020.17

Static Analysis of Endian Portability by Abstract Interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: David Delmas, Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: Static Analysis - 28th International Symposium, SAS 2021, Numer 1, 2021, Strona(/y) 102-123
Wydawca: Springer
DOI: 10.1007/978-3-030-88806-0_5

A Modern Compiler for the French Tax Code (odnośnik otworzy się w nowym oknie)

Autorzy: Denis Merigoux, Raphaël Monat, Jonathan Protzenko
Opublikowane w: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Numer 1, 2020
Wydawca: ACM Press
DOI: 10.1145/3446804.3446850

Other (2)
A Review of Formal Methods applied to Machine Learning

Autorzy: Urban, Caterina; Miné, Antoine
Opublikowane w: Research report, 2021
Wydawca: HAL

Input Validation for Neural Networks via Runtime Local Robustness Verification

Autorzy: Jiangchao Liu, Liqian Chen, Antoine Mine, Ji Wang
Opublikowane w: Preprint, 2020
Wydawca: arXiv

Peer reviewed articles (3)
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: Antoine Miné
Opublikowane w: Foundations and Trends® in Programming Languages, Numer 4/3-4, 2017, Strona(/y) 120-372, ISSN 2325-1107
Wydawca: Now Publishers
DOI: 10.1561/2500000034

Inferring functional properties of matrix manipulating programs by abstract interpretation (odnośnik otworzy się w nowym oknie)

Autorzy: Matthieu Journault, Antoine Miné
Opublikowane w: Formal Methods in System Design, Numer 53/2, 2018, Strona(/y) 221-258, ISSN 0925-9856
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10703-017-0311-x

Quantitative static analysis of communication protocols using abstract Markov chains (odnośnik otworzy się w nowym oknie)

Autorzy: Abdelraouf Ouadjaout, Antoine Miné
Opublikowane w: Formal Methods in System Design, Numer 54/1, 2019, Strona(/y) 64-109, ISSN 0925-9856
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10703-019-00331-2

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 27 Października 2022

Moja broszura

Permalink: https://cordis.europa.eu/project/id/681393/results/pl

European Union, 2025

Moja broszura 0 0