Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

178 résultats
Page :
triés par
Image document

KaSa: A Static Analyzer for Kappa

 Pierre Boutillier , Ferdinanda Camporesi , Jean Coquet , Jérôme Feret , Kim Quyên Lý , et al.
CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Sep 2018, Brno, Czech Republic. pp.285-291, ⟨10.1007/978-3-319-99429-1_17⟩
Communication dans un congrès hal-01888951v1
Image document

Shape abstractions with support for sharing and disjunctions

 Huisong Li
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE060⟩
Thèse tel-01963082v2
Image document

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

 Thibault Suzanne
Cryptographie et sécurité [cs.CR]. Université Paris sciences et lettres, 2019. Français. ⟨NNT : 2019PSLEE013⟩
Thèse tel-02503839v1
Image document

Perfectly Parallel Fairness Certification of Neural Networks

 Caterina Urban , Maria Christakis , Valentin Wüstholz , Fuyuan Zhang
2019
Pré-publication, Document de travail hal-02404036v1

A Review of Formal Methods applied to Machine Learning

 Caterina Urban , Antoine Miné
2021
Pré-publication, Document de travail hal-03192255v1

Geometric bounds for convergence rates of averaging algorithms

 Bernadette Charron-Bost
Information and Computation, 2022, 285, pp.104909. ⟨10.1016/j.ic.2022.104909⟩
Article dans une revue hal-03717768v1
Image document

Recommandations sur les « éditeurs de la zone grise »

 Frédéric Blanqui , Anne Canteaut , Hidde de Jong , Sébastien Imperiale , Nathalie Mitton , et al.
Inria. 2023, pp.1-3
Rapport hal-04001505v1
Image document

Programming at the edge of synchrony

 Cezara Dragoi , Josef Widder , Damien Zufferey
SPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
Communication dans un congrès hal-03134314v1
Image document

Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions

 Jiangchao Liu , Liqian Chen , Xavier Rival
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2311-2322
Article dans une revue hal-01963049v1
Image document

Static Analysis for Data Scientists

 Caterina Urban
Challenges of Software Verification, 238, Springer Nature Singapore, pp.77-91, 2023, Intelligent Systems Reference Library, ⟨10.1007/978-981-19-9601-6_5⟩
Chapitre d'ouvrage hal-04249957v1
Image document

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models

 Thibault Suzanne , Antoine Miné
APLAS 2018 - 16th Asian Symposium on Programming Languages and Systems, Dec 2018, Wellington, New Zealand. pp.109-128, ⟨10.1007/978-3-030-02768-1_6⟩
Communication dans un congrès hal-01953358v1

Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection

 Tie Cheng , Xavier Rival
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Communication dans un congrès hal-01098377v1
Image document

Moment Semantics for Reversible Rule-Based Systems

 Vincent Danos , Tobias Heindel , Ricardo Honorato-Zimmer , Sandro Stucki
7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. pp.3-26, ⟨10.1007/978-3-319-20860-2_1⟩
Communication dans un congrès hal-01263633v1
Image document

Monotonicity and the Precision of Program Analysis

 Marco Campion , Mila Dalla Preda , Roberto Giacobazzi , Caterina Urban
Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.1629-1662. ⟨10.1145/3632897⟩
Article dans une revue hal-04423578v1
Image document

Static Analysis of Data Transformations in Jupyter Notebooks

 Luca Negrini , Guruprerana Shabadi , Caterina Urban
12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023), Jun 2023, Orlando FL, United States. pp.8-13, ⟨10.1145/3589250.3596145⟩
Communication dans un congrès hal-04249950v1
Image document

Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage

 Guillaume Terradot , Andreea Beica , Andrea y Weisse , Vincent Danos
Electronic Notes in Theoretical Computer Science, 2018, 335, pp.91-112. ⟨10.1016/j.entcs.2018.03.010⟩
Article dans une revue hal-01976385v1
Image document

A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation

 Jérôme Feret , Albin Salazar
VMCAI 2023 - 24th International Conference on Verification, Model Checking and Abstract Interpretation, Jan 2023, Boston, United States
Communication dans un congrès hal-03886237v1
Image document

Learning in Open Adaptive Networks

 Guoli Yang , Vincent Danos
2016 IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Sep 2016, Augsburg, Germany. pp.50-59, ⟨10.1109/saso.2016.11⟩
Communication dans un congrès hal-01976449v1
Image document

Formal and exact reduction for differential models of signalling pathways in rule-based languages

 Ferdinanda Camporesi
Computation and Language [cs.CL]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE005⟩
Thèse tel-01557498v1
Image document

Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects

 Yoonseok Ko , Xavier Rival , Sukyoung Ryu
APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Nov 2017, Suzhou, China. pp.148-168, ⟨10.1007/978-3-319-71237-6_8⟩
Communication dans un congrès hal-01648680v1
Image document

Local traces: an over-approximation of the behaviour of the proteins in rule-based models

 Jérôme Feret , Kim Quyen Ly
CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. pp.116-131, ⟨10.1007/978-3-319-45177-0_8⟩
Communication dans un congrès hal-01379897v1
Image document

Reachability analysis via orthogonal sets of patterns

 Jérôme Feret , Kim Quyen Ly
7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), David Safranek; Guido Sanguinetti, Sep 2016, Edinburgh, United Kingdom
Communication dans un congrès hal-01379902v1

Static Analysis

 Xavier Rival
Springer, LNCS (9837), 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩
Ouvrages hal-01388205v1
Image document

Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences

 Raphaël Monat
Performance [cs.PF]. 2015
Mémoire d'étudiant hal-01187538v1
Image document

The Need for Language Support for Fault-tolerant Distributed Systems

 Cezara Drăgoi , Thomas Henzinger , Damien Zufferey
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. pp.90-102, ⟨10.4230/LIPIcs.SNAPL.2015.90⟩
Communication dans un congrès hal-01251194v1

Stochastic Fragments

 Jérôme Feret , Heinz Koeppl , Tatjana Petrov
International Journal of Software and Informatics (IJSI), 2014, Special Issue on DCM09, 7 (4), pp.527-604
Article dans une revue hal-01098561v1
Image document

To Infinity... and Beyond!

 Caterina Urban , Antoine Miné
14th International Workshop on Termination (WST'14), Jul 2014, Vienne, Austria. pp.5
Communication dans un congrès hal-01105216v1

An abstract domain to infer ordinal-valued ranking functions

 Caterina Urban , Antoine Miné
ESOP 2014 - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.412-431, ⟨10.1007/978-3-642-54833-8_22⟩
Communication dans un congrès hal-00925731v1

Introduction to Static Analysis

 Xavier Rival , Kwangkeun Yi
MIT Press, 2020, 9780262043410
Ouvrages hal-02402597v1
Image document

Pointless learning (long version)

 Florence Clerc , Vincent Danos , Fredrik Dahlqvist , Ilias Garnier
Proceedings of FoSSaCS 2017, 2017, Uppsala, Sweden
Communication dans un congrès hal-01974692v1
Page :