المؤلفون: Antoine Miné

المصدر: Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)

مصطلحات موضوعية: computer science - programming languages, computer science - logic in computer science, d.2.4, f.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/799/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/6f64b8ea0c8d4860a6100e09fa2d9160

المؤلفون: Arie Gurfinkel and Isabella Mastroeni and Antoine Miné and Peter Müller and Anna Becchi, Gurfinkel, Arie, Mastroeni, Isabella, Miné, Antoine, Müller, Peter, Becchi, Anna

مصطلحات الفهرس: abstract domains, abstract interpretation, program semantics, program verification, static program analysis, Article, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.66
Is Part Of Dagstuhl Reports, Volume 13, Issue 7 (2024)

المؤلفون: Nilesh Rajendra Shah, Ashitabh Misra, Antoine Miné, Rakesh Venkat, Ramakrishna Upadrasta

المصدر: ACM Transactions on Architecture and Code Optimization. 20:1-28

مصطلحات موضوعية: Hardware and Architecture, Software, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cdcabe8a87b9ed9f32621edbb97011a8
https://doi.org/10.1145/3558003

المؤلفون: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

المساهمون: Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires (SYCOMORES), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires [SYCOMORES], Algorithmes, Programmes et Résolution [APR]

المصدر: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192

مصطلحات موضوعية: Competition on software verification, SV-Comp, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], static analysis, abstract interpretation

وصف الملف: application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::506feac5d00fa0a47b13e3f9971b1360
https://inria.hal.science/hal-04077678/file/978-3-031-30820-8_37.pdf

المؤلفون: Francesco Parolini, Antoine Miné

Relation: https://doi.org/10.5281/zenodo.8334111; https://doi.org/10.5281/zenodo.8334112; oai:zenodo.org:8334112

الاتاحة: https://doi.org/10.5281/zenodo.8334112

المؤلفون: Milanese Marco, Antoine Miné

مصطلحات موضوعية: Abstract interpretation, Software verification, Program analysis, Bug catching, Under-approximation

Relation: https://doi.org/10.5281/zenodo.8340193; https://doi.org/10.5281/zenodo.8399723; oai:zenodo.org:8399723

الاتاحة: https://doi.org/10.5281/zenodo.8399723

المؤلفون: Francesco Parolini, Antoine Miné

المصدر: Science of Computer Programming. 229:102960

مصطلحات موضوعية: Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b209904310fe99d3e4db6a1af36f8309
https://doi.org/10.1016/j.scico.2023.102960

المؤلفون: Francesco Parolini, Antoine Miné

المصدر: Theoretical Aspects of Software Engineering ISBN: 9783031103629

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99f2173677f7d8cd746c9486d4284e54
https://doi.org/10.1007/978-3-031-10363-6_6

المؤلفون: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

مصطلحات موضوعية: static analysis, abstract interpretation, Competition on Software Verification, SV-Comp

Relation: https://doi.org/10.5281/zenodo.7467135; https://doi.org/10.5281/zenodo.7467136; oai:zenodo.org:7467136

الاتاحة: https://doi.org/10.5281/zenodo.7467136

المؤلفون: Antoine Miné, Bcc+ B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.di.ens.fr/~mine/perso/biblio/biblio.pdf.

مصطلحات موضوعية: Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.4478; http://www.di.ens.fr/~mine/perso/biblio/biblio.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.4478
http://www.di.ens.fr/~mine/perso/biblio/biblio.pdf

المؤلفون: Antoine Miné, David Delmas, Abdelraouf Ouadjaout

المساهمون: Airbus Operation S.A.S., Airbus [France], Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

المصدر: Static Analysis ISBN: 9783030888053
SAS
28th Static Analysis Symposium (SAS 2021)
28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis

مصطلحات موضوعية: Endianness, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Computer science, Programming language, Abstract Interpretation, Static Analysis, 020207 software engineering, Abstract Domains, 02 engineering and technology, Static analysis, Abstract interpretation, computer.software_genre, Formal methods, Formal Methods, Software portability, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Portability, C Programming Language, Industrial Application, computer, C programming language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e200b3a6da8798a63fa792964c8dcb1
https://doi.org/10.1007/978-3-030-88806-0_5

المؤلفون: Antoine Miné, Abdelraouf Ouadjaout, Raphaël Monat

المساهمون: Monat, Raphaël, Modular Open Platform for Static Analysis - MOPSA - - H20202016-06-01 - 2021-05-31 - 681393 - VALID, Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

المصدر: Static Analysis Symposium (SAS)
Static Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Static Analysis ISBN: 9783030888053
SAS
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis

مصطلحات موضوعية: Source code, Computer science, Interface (Java), media_common.quotation_subject, Abstract Interpretation, 02 engineering and technology, computer.software_genre, Formal Methods, 020204 information systems, Multilanguage Analysis, 0202 electrical engineering, electronic engineering, information engineering, media_common, computer.programming_language, Soundness, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], business.industry, Programming language, Static Analysis, 020207 software engineering, Modular design, Static analysis, Python (programming language), Formal methods, Abstract interpretation, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Dynamic Programming Language, business, computer

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4daa3ee152d51b2b1030054beff9fc89
https://hal.archives-ouvertes.fr/hal-03313409

المؤلفون: Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/78/56/04/PDF/Pelleau_Mine_Truchet_Benhamou.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.6128; http://hal.inria.fr/docs/00/78/56/04/PDF/Pelleau_Mine_Truchet_Benhamou.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.6128
http://hal.inria.fr/docs/00/78/56/04/PDF/Pelleau_Mine_Truchet_Benhamou.pdf

المؤلفون: Antoine Miné

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://tel.archives-ouvertes.fr/docs/00/90/34/47/PDF/hdr-compact-col.pdf.

Time: 20

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.633.1481; http://tel.archives-ouvertes.fr/docs/00/90/34/47/PDF/hdr-compact-col.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.633.1481
http://tel.archives-ouvertes.fr/docs/00/90/34/47/PDF/hdr-compact-col.pdf

المؤلفون: Antoine Miné

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.di.ens.fr/~mine/publi/expose-mine-Poly13.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5235; http://www.di.ens.fr/~mine/publi/expose-mine-Poly13.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.5235
http://www.di.ens.fr/~mine/publi/expose-mine-Poly13.pdf

المؤلفون: Abdelraouf Ouadjaout, Antoine Miné

المساهمون: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

المصدر: 27th Static Analysis Symposium
27th Static Analysis Symposium, Nov 2020, Chicago, United States. pp.223-247, ⟨10.1007/978-3-030-65474-0_11⟩
Static Analysis-27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
Static Analysis ISBN: 9783030654733
SAS

مصطلحات موضوعية: Correctness, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Interface (Java), Modeling language, Computer science, Programming language, media_common.quotation_subject, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Specification language, Static analysis, computer.software_genre, Abstract interpretation, 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Function (engineering), computer, Interpreter, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::169e94faf568de7aaaa871a3cb974c71
https://hal.archives-ouvertes.fr/hal-02991999/document

المؤلفون: Eric Goubault, Bibek Kabi, Antoine Miné, Sylvie Putot

المساهمون: Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles
Software Verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
13th International Workshop on Numerical Software Verification (NSV'20)
13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Lecture Notes in Computer Science ISBN: 9783030636173

مصطلحات موضوعية: 0209 industrial biotechnology, Intersection (set theory), Computer science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 02 engineering and technology, Abstract interpretation, Domain (software engineering), Polyhedron, 020901 industrial engineering & automation, Iterative refinement, 0202 electrical engineering, electronic engineering, information engineering, Constraint programming, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Invariant (mathematics), Algorithm, Abstraction (linguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6db0ede078fbbb8d2707b53022c87aae
https://hal.archives-ouvertes.fr/hal-03113053

المؤلفون: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

المساهمون: Algorithmes, Programmes et Résolution (APR), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut Universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), European Project: 681393,H2020,ERC-2015-CoG,MOPSA(2016)

المصدر: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
SOAP@PLDI

مصطلحات موضوعية: Spectrum analyzer, formal methods, Computer science, program analysis, Abstract Interpretation, 02 engineering and technology, JavaScript, Program analysis, Heap Abstraction, Recency Abstraction, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, computer.programming_language, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Static Analysis, 020207 software engineering, Static analysis, Python (programming language), Formal methods, Abstract interpretation, Computer engineering, Experimental Evaluation, Dynamic Programming Language, computer, Garbage collection, Python

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb24302da78a2637035f2c72bb729da7
https://hal.sorbonne-universite.fr/hal-02876667/document

المؤلفون: Antoine Miné

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/74/80/94/PDF/article-mine-wing12.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.6421; http://hal.inria.fr/docs/00/74/80/94/PDF/article-mine-wing12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.6421
http://hal.inria.fr/docs/00/74/80/94/PDF/article-mine-wing12.pdf

المؤلفون: Antoine Miné

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/74/80/95/PDF/article-mine-nsad12.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.7435; http://hal.inria.fr/docs/00/74/80/95/PDF/article-mine-nsad12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.7435
http://hal.inria.fr/docs/00/74/80/95/PDF/article-mine-nsad12.pdf