Sites Inria

English version

Equipe de recherche ANTIQUE

Publications de l'équipe ANTIQUE

2019

Pré-publication, Document de travail

titre
Communication-closed asynchronous protocols
auteur
Andrei Damian, Cezara Dragoi, Alexandru Militaru, Josef Widder
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01991415/file/head2.pdf BibTex

2018

Article dans une revue

titre
Borel Kernels and their Approximation, Categorically
auteur
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2018, 341, pp.91-119
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976416/file/Borel_kernels_1803.02651.pdf BibTex
titre
Sources, propagation and consequences of stochasticity in cellular growth
auteur
Philipp Thomas, Guillaume Terradot, Vincent Danos, Andrea Weiße
article
Nature Communications, Nature Publishing Group, 2018, 9 (1), ⟨10.1038/s41467-018-06912-9⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976406/file/sources_s41467-018-06912-9.pdf BibTex
titre
A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference
auteur
William Waites, Göksel Mısırlı, Matteo Cavaliere, Vincent Danos, Anil Wipat
article
ACS Synthetic Biology, American Chemical Society, 2018, 7 (12), pp.2812-2823
Accès au bibtex
BibTex
titre
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions
auteur
Jiangchao Liu, Liqian Chen, Xavier Rival
article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2018, 37 (11), pp.2311-2322
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963049/file/final.pdf BibTex
titre
A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework
auteur
Se-Won Kim, Xavier Rival, Sukyoung Ryu
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2018, 40 (3), pp.1-44
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01963069/file/main.pdf BibTex
titre
Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models
auteur
Jérôme Feret, Kim Quyên Lý
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2018, 15 (4), pp.1124-1137
Accès au bibtex
BibTex
titre
The Kappa platform for rule-based modeling
auteur
Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus Forbes, Walter Fontana
article
Bioinformatics, Oxford University Press (OUP), 2018, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01962663/file/kappaplatform.pdf BibTex
titre
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage
auteur
Guillaume Terradot, Andreea Beica, Andrea Weiße, Vincent Danos
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2018, 335, pp.91-112. ⟨10.1016/j.entcs.2018.03.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976385/file/fattest_1-s2.0-S1571066118300136-main.pdf BibTex
titre
An Information-Theoretic Measure for Patterning in Epithelial Tissues
auteur
William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie Davies
article
IEEE Access, IEEE, 2018, 6, pp.40302-40312. ⟨10.1109/access.2018.2853624⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976389/file/path_entropy_08405520.pdf BibTex

Communication dans un congrès

titre
Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models
auteur
Thibault Suzanne, Antoine Miné
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01953358/file/modular.pdf BibTex
titre
KaSa: A Static Analyzer for Kappa
auteur
Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet
article
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⟩
Accès au texte intégral et bibtex
https://hal-univ-rennes1.archives-ouvertes.fr/hal-01888951/file/cmsb2018.pdf BibTex
titre
Proving the absence of unbounded polymers in rule-based models
auteur
Pierre Boutillier, Jérôme Feret, Aurélie Faure de Pebeyre
article
Static Analysis and Systems Biology 2018, Aug 2018, Freiburg im Breisgau, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01967632/file/polymers.pdf BibTex
titre
Tropical Abstraction of Biochemical Reaction Networks with Guarantees
auteur
Andreea Beica, Jérôme Feret, Tatjana Petrov
article
SASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Aug 2018, Freiburg, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01962674/file/Tropical_Abstraction_of_Biochemical_Reaction_Networks_with_Guarantees.pdf BibTex

Thèse

titre
Static Analysis on Numeric and Structural Properties of Array Contents
auteur
Jiangchao Liu
article
Programming Languages [cs.PL]. ENS Paris; PSL University, 2018. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01963108/file/thesis-final.pdf BibTex
titre
Shape Abstractions with Support for Sharing and Disjunctions
auteur
Huisong Li
article
Programming Languages [cs.PL]. ENS Paris - Ecole Normale Supérieure de Paris; PSL University, 2018. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01963082/file/thesis-final.pdf BibTex

2017

Article dans une revue

titre
Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods
auteur
Matthias Sachs, Benedict Leimkuhler, Vincent Danos
article
Entropy, MDPI, 2017, 19 (12), pp.647. ⟨10.3390/e19120647⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976381/file/entropy-19-00647-v2.pdf BibTex
titre
An array content static analysis based on non-contiguous partitions
auteur
Jiangchao Liu, Xavier Rival
article
Computer Languages, Systems and Structures, Elsevier, 2017, 47 (1), pp.104-129. ⟨10.1016/j.cl.2016.01.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399837/file/Liu-Rival-ComputersLanguages-2016.pdf BibTex

Communication dans un congrès

titre
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
auteur
Yoonseok Ko, Xavier Rival, Sukyoung Ryu
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01648680/file/aplas.pdf BibTex
titre
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models
auteur
Ferdinanda Camporesi, Jérôme Feret, Kim Quyen Ly
article
CMSB 2017 - 15th Conference on Computational Methods in Systems Biology, Heinz Koeppl, Sep 2017, Darmstadt, Germany. pp.291-299, ⟨10.1007/978-3-319-67471-1_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01613600/file/kade-tool-paper.pdf BibTex
titre
Using alternated sums to express the occurrence number of extended patterns in site-graphs
auteur
Ferdinanda Camporesi, Jérôme Feret
article
SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01613603/file/sasb2017_paper_camporesi.pdf BibTex
titre
Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction
auteur
Jihyeok Park, Xavier Rival, Sukyoung Ryu
article
SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01648682/file/pldiws17soap-soapmainid6.pdf BibTex
titre
A Relational Shape Abstract Domain
auteur
Hugo Illous, Matthieu Lemerre, Xavier Rival
article
NFM 2017 - 9th NASA Formal Methods Symposium, Apr 2017, Moffett Field, United States. pp.212-229, ⟨10.1007/978-3-319-57288-8_15⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01648681/file/nfm.pdf BibTex
titre
Finding All Potential Run-Time Errors and Data Races in Automotive Software
auteur
Daniel Kästner, Antoine Miné, André Schmidt, Heinz Hille, Laurent Mauborgne, Stephan Wilhelm, Xavier Rival, Jerome Feret, Patrick Cousot, Christian Ferdinand
article
WCX™ 2017 - SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
Accès au bibtex
BibTex
titre
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
auteur
Raphaël Monat, Antoine Miné
article
Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. pp.386-404, ⟨10.1007/978-3-319-52234-0_21⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01490178/file/vmcai17.pdf BibTex
titre
Semantic-Directed Clumping of Disjunctive Abstract States *
auteur
Huisong Li, François Bérenger, Bor-Yuh Chang, Xavier Rival
article
POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01648679/file/popl17.pdf BibTex
titre
PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2017, Saint Petersburg, United States. pp.400-415, ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01434325/file/head.pdf BibTex
titre
Pointless learning (long version)
auteur
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
article
Proceedings of FoSSaCS 2017, 2017, Uppsala, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01974692/file/pointless_fossacs_cameraready_long.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Computational Methods in Systems Biology
auteur
Jérôme Feret, Heinz Koeppl
article
France. 10545, Springer, pp.332, 2017, Lecture Notes in Bioinformatics, 978-3-319-67470-4. ⟨10.1007/978-3-319-67471-1⟩
Accès au bibtex
BibTex

Autre publication

titre
Translating BNGL models into Kappa our experience
auteur
Kim Quyen Ly
article
2017, pp.4
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01613604/file/sasb2017_abstract_ly.pdf BibTex

2016

Article dans une revue

titre
Detecting the Collapse of Cooperation in Evolving Networks
auteur
Matteo Cavaliere, Guoli Yang, Vincent Danos, Vasilis Dakos
article
Scientific Reports, Nature Publishing Group, 2016, 6 (1), ⟨10.1038/srep30845⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976359/file/collapse_srep30845.pdf BibTex
titre
Giry and the Machine
auteur
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2016, 325, pp.85-110. ⟨10.1016/j.entcs.2016.09.033⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976386/file/Giry_1-s2.0-S1571066116300822-main.pdf BibTex
titre
Formal Derivation of Qualitative Dynamical Models from Biochemical Networks
auteur
Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret
article
BioSystems, Elsevier, 2016, pp.100. ⟨10.1016/j.biosystems.2016.09.001⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379733/file/2016_AbouJaoude_Thieffry_Feret_BioSystems%20%281%29.pdf BibTex
titre
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization
auteur
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
article
Bioinformatics, Oxford University Press (OUP), 2016, 32 (6), pp.908-917. ⟨10.1093/bioinformatics/btv660⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976304/file/annotation_btv660.pdf BibTex
titre
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
auteur
Abdelraouf Ouadjaout, Antoine Miné, Noureddine Lasla, Nadjib Badache
article
Journal of Systems and Software, Elsevier, 2016, 120, pp.114--132. ⟨10.1016/j.jss.2016.07.030⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01350646/file/manuscript.pdf BibTex

Communication dans un congrès

titre
Local traces: an over-approximation of the behaviour of the proteins in rule-based models
auteur
Jérôme Feret, Kim Quyen Ly
article
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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379897/file/cmsb2016.pdf BibTex
titre
Emergent Communities in Socio-cognitive Networks
auteur
Vincent Danos, Ricardo Honorato-Zimmer
article
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Sep 2016, Augsburg, Germany. pp.24-29
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976443/file/soccog_v2.pdf BibTex
titre
Learning in Open Adaptive Networks
auteur
Guoli Yang, Vincent Danos
article
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⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976449/file/WLA_v1.1_2.pdf BibTex
titre
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
auteur
Thibault Suzanne, Antoine Miné
article
SAS 2016 - 23rd Static Analysis Symposium, Sep 2016, Edinburgh, United Kingdom. pp.469-488, ⟨10.1007/978-3-662-53413-7_23⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01360566/file/article-suzanne-al-sas16.pdf BibTex
titre
Reachability analysis via orthogonal sets of patterns
auteur
Jérôme Feret, Kim Quyen Ly
article
7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), David Safranek; Guido Sanguinetti, Sep 2016, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379902/file/orthogonal_patterns.pdf BibTex
titre
Robustly Parameterised Higher-Order Probabilistic Models
auteur
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
article
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Quebec City, Canada. 15 p., ⟨10.4230/LIPIcs.CONCUR.2016.23⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976437/file/Robust_LIPIcs-CONCUR-2016-23.pdf BibTex
titre
Bayesian Inversion by ω-Complete Cone Duality
auteur
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
article
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Quebec CIty, Canada. 15 p., ⟨10.4230/LIPIcs.CONCUR.2016.1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976413/file/Bayesian_CONCUR-2016-1.pdf BibTex
titre
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
auteur
Antoine Miné, Laurent Mauborgne, Xavier Rival, Jerome Feret, Patrick Cousot, Daniel Kästner, Stephan Wilhelm, Christian Ferdinand
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01271552/file/erts2016_astreea.pdf BibTex
titre
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
POPL '16 - 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. pp.400-415, ⟨10.1145/2837614.2837650⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251199/file/head.pdf BibTex

Chapitre d'ouvrage

titre
Synchronous Balanced Analysis
auteur
Andreea Beica, Vincent Danos
article
Proceedings of the International Workshop on Hybrid Systems Biology, pp.85-94, 2016
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
State Of the Art in Program Analysis
auteur
Charles Zhang, Xavier Rival
article
Jun 2016, Santa Barbara, United States. ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩
Accès au bibtex
BibTex
titre
Static Analysis
auteur
Xavier Rival
article
Sep 2016, Edinburgh, United Kingdom. LNCS (9837), Springer, 2016, 978-3-662-53412-0. ⟨10.1007/978-3-662-53413-7⟩. ⟨http://dx.doi.org/10.1007/978-3-662-53413-7⟩
Accès au bibtex
BibTex

2015

Article dans une revue

titre
Dirichlet is Natural
auteur
Vincent Danos, Ilias Garnier
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 319, pp.137-164. ⟨10.1016/j.entcs.2015.12.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976380/file/Dirichlet_1-s2.0-S1571066115000778-main.pdf BibTex
titre
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation
auteur
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
article
Bioinformatics, Oxford University Press (OUP), 2015, ⟨10.1093/bioinformatics/btv660⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263639/file/-file_store-production-217204-AF96EFCD-1AEC-4F0C-8B85-52CF57656FCF.pdf BibTex
titre
Quantitative genomic analysis of RecA protein binding during DNA double-strand break repair reveals RecBCD action in vivo
auteur
Charlotte A. Cockram, Milana Filatenkova, Vincent Danos, Meriem El Karoui, David R. F. Leach
article
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2015, ⟨10.1073/pnas.1424269112⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263631/file/pnas.201424269.pdf BibTex
titre
Coarse-graining the Dynamics of Ideal Branched Polymers
auteur
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 313, pp.47-64. ⟨10.1016/j.entcs.2015.04.018⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976312/file/Coarse-graining_1-s2.0-S1571066115000225-main.pdf BibTex
titre
Rigid Geometric Constraints for Kappa Models
auteur
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 313, pp.23-46. ⟨10.1016/j.entcs.2015.04.017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01976400/file/Rigid_1-s2.0-S1571066115000213-main.pdf BibTex
titre
Mechanistic links between cellular trade-offs, gene expression, and growth
auteur
Andrea Weiße, Diego Oyarzun, Vincent Danos, Peter Swain
article
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2015, 112 (9), pp.E1038-E1047. ⟨10.1073/pnas.1416533112⟩
Accès au bibtex
BibTex
titre
Inference of ranking functions for proving temporal properties by abstract interpretation
auteur
Caterina Urban, Antoine Miné
article
Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.10.001⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01312239/file/article-urban-mine-comlan2015.pdf BibTex
titre
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
auteur
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
Foundations and Trends in Programming Languages, Now Publishers, 2015, 2 (2-3), pp.171-291. ⟨10.1561/2500000002⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01312241/file/article-bertrane-al-fntpl15.pdf BibTex

Communication dans un congrès

titre
Abstraction of Optional Numerical Values
auteur
Jiangchao Liu, Xavier Rival
article
APLAS 2015 - 13th Asian Symposium on Programming Languages and Systems, Nov 2015, Pohang, South Korea. pp.146-166, ⟨10.1007/978-3-319-26529-2_9⟩
Accès au bibtex
BibTex
titre
Abstract Domains and Solvers for Sets Reasoning
auteur
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
article
20th International Conference, LPAR-20, Nov 2015, Suva, Fiji. ⟨10.1007/978-3-662-48899-7_25⟩
Accès au bibtex
BibTex
titre
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software
auteur
Antoine Miné, David Delmas
article
ACM SIGBED International Conference on Embedded Software (EMSOFT), Oct 2015, Amsterdam, Netherlands. pp.65-74, ⟨10.1109/EMSOFT.2015.7318261⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01312246/file/article-mine-delmas-emsoft15.pdf BibTex
titre
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
auteur
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
article
EMSOFT 2015 - International Conference on Embedded Software, Oct 2015, Amsterdam, Netherlands. pp.55-64, ⟨10.1109/EMSOFT.2015.7318260⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01312248/file/sigproc-sp.pdf BibTex
titre
Derivation of Qualitative Dynamical Models from Biochemical Networks
auteur
Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
article
CMSB 2015 : Computational Methods in Systems Biology, Olivier Roux; Jérémie Bourdon, Sep 2015, Nantes, France. pp.195-207, ⟨10.1007/978-3-319-23401-4_17⟩
Accès au bibtex
BibTex
titre
Shape Analysis for Unstructured Sharing
auteur
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
article
SAS 2015 - 22nd International Symposium on Static Analysis, Sep 2015, Saint-Malo, France. pp.90-108, ⟨10.1007/978-3-662-48288-9_6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01249418/file/sharing-sas15.pdf BibTex
titre
Moment Semantics for Reversible Rule-Based Systems
auteur
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
article
7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. pp.3-26, ⟨10.1007/978-3-319-20860-2_1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263633/file/momsem_1.pdf BibTex
titre
Dirichlet is Natural
auteur
Vincent Danos, Ilias Garnier
article
MFPS 31 - Mathematical Foundations of Programming Semantics XXXI, Jun 2015, Nijmegen, Netherlands. pp.137-164, ⟨10.1016/j.entcs.2015.12.010⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01256903/file/mfps31.pdf BibTex
titre
The Need for Language Support for Fault-tolerant Distributed Systems
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. pp.90-102, ⟨10.4230/LIPIcs.SNAPL.2015.90 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251194/file/dragoi.pdf BibTex
titre
FuncTion: An Abstract Domain Functor for Termination
auteur
Caterina Urban
article
TACAS 2015 - 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, Londres, United Kingdom. pp.464-466
Accès au bibtex
BibTex
titre
Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection
auteur
Tie Cheng, Xavier Rival
article
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Accès au bibtex
BibTex
titre
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
auteur
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
article
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom
Accès au bibtex
BibTex
titre
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
auteur
Caterina Urban, Antoine Miné
article
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. pp.19, ⟨10.1007/978-3-662-46081-8_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105238/file/article-urban-mine-vmcai15.pdf BibTex
titre
AstréeA: A Static Analyzer for Large Embedded Multi-Task Software
auteur
Antoine Miné
article
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. pp.3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105235/file/article-mine-vmcai15.pdf BibTex
titre
Abstraction of Arrays Based on Non Contiguous Partitions
auteur
Jiangchao Liu, Xavier Rival
article
15th Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. pp.282 - 299, ⟨10.1007/978-3-662-46081-8_16⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095985/file/vmcai.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012)
auteur
Jérôme Feret, Andre Levchenko
article
Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, ⟨http://www.sciencedirect.com/science/journal/15710661/313/supp/C⟩
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences
auteur
Raphaël Monat
article
Performance [cs.PF]. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01187538/file/report.pdf BibTex

Pré-publication, Document de travail

titre
Synthesizing Short-Circuiting Validation of Data Structure Invariants
auteur
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival
article
2015
Accès au bibtex
https://arxiv.org/pdf/1511.04846 BibTex

2014

Article dans une revue

titre
Thermodynamic graph-rewriting
auteur
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 11 (2), pp.13. ⟨10.2168/LMCS-11(2:13)2015⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263637/file/1503.06022v2.pdf BibTex
titre
Stochastic Fragments
auteur
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
article
International Journal of Software and Informatics (IJSI), ISCAS, 2014, Special Issue on DCM09, 7 (4), pp.527-604. ⟨http://www.ijsi.org/⟩
Accès au bibtex
BibTex
titre
Model checking to assess T-helper cell plasticity
auteur
Wassim Abou-Jaoudé, Pedro T. Monteiro, Aurélien Naldi, Maximilien Grandclaudon, Vassili Soumelis, Claudine Chaouiya, Denis Thieffry
article
Frontiers in Bioengineering and Biotechnology, Frontiers, 2014, Computational methods for understanding complexity: the use of formal methods in biology, pp.22. ⟨http://www.frontiersin.org/⟩. ⟨10.3389/fbioe.2014.00086⟩
Accès au bibtex
BibTex

Communication dans un congrès

titre
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
auteur
Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang
article
Leveraging Applications of Formal Methods, Verification and Validation. (ISOLA), Oct 2014, Corfu, Greece. pp.489 - 492, ⟨10.1007/978-3-662-45231-8_40⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095977/file/isola.pdf BibTex
titre
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
auteur
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. pp.18, ⟨10.1007/978-3-319-10936-7_7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105217/file/article-chen-al-sas14.pdf BibTex
titre
A Decision Tree Abstract Domain for Proving Conditional Termination
auteur
Caterina Urban, Antoine Miné
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. pp.17, ⟨10.1007/978-3-319-10936-7_19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105221/file/article-urban-mine-sas14.pdf BibTex
titre
Automatic Analysis of Open Objects in Dynamic Language Programs
auteur
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
article
21st Static Analysis Symposium (SAS), Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_9⟩
Accès au bibtex
BibTex
titre
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
auteur
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
article
Static Analysis Symposium, Sep 2014, München, Germany. ⟨10.1007/978-3-319-10936-7_18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095934/file/SAS14.pdf BibTex
titre
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models
auteur
Jérôme Feret
article
Static Analysis and Systems Biology, Heinz Koeppl; Loïc Paulevé, Sep 2014, Munich, Germany. pp.20, ⟨10.1016/j.entcs.2015.06.010⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01098556/file/sasb2014.pdf BibTex
titre
A method to infer inductive numeric invariants inspired from Constraint Programming
auteur
Antoine Miné
article
Decision Procedures and Abstract Interpretation (Dagstugh Seminar 14351), Aug 2014, Warden, Germany
Accès au bibtex
BibTex
titre
Bisimulation Metrics are Optimal Value Functions
auteur
Norman Ferns, Doina Precup
article
The 30th Conference on Uncertainty in Artificial Intelligence, Ann Nicholson, Jul 2014, Quebec City, Canada. pp.10
Accès au bibtex
BibTex
titre
To Infinity... and Beyond!
auteur
Caterina Urban, Antoine Miné
article
14th International Workshop on Termination (WST'14), Jul 2014, Vienne, Austria. pp.5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105216/file/article-urban-mine-wst14.pdf BibTex
titre
The Rooster and the Syntactic Bracket
auteur
Hugo Herbelin, Arnaud Spiwack
article
19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. pp.169--187, ⟨10.4230/LIPIcs.TYPES.2013.169⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097919/file/syntactic_bracket.pdf BibTex
titre
Balancing Lists: A Proof Pearl
auteur
Guyslain Naves, Arnaud Spiwack
article
5th International Conference, ITP 2014, Jul 2014, Vienna, Austria. pp.437 - 449, ⟨10.1007/978-3-319-08970-6_28⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097937/file/Balancing%2520lists.pdf BibTex
titre
Abstract interpretation: past, present and future
auteur
Patrick Cousot, Radhia Cousot
article
CSL-LICS '14 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603165⟩
Accès au bibtex
BibTex
titre
Model Checking logical regulatory networks
auteur
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya
article
WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, Jean-Marc Faure, May 2014, Cachan, France. ⟨10.3182/20140514-3-FR-4046.00135⟩
Accès au bibtex
BibTex
titre
Bisimulation for Markov Decision Processes through Families of Functional Expressions
auteur
Norman Ferns, Sophia Knight, Doina Precup
article
Horizons of the Mind. A Tribute to Prakash Panangaden (for his 60th birthday), Franck van Breugel; Elham Kashefi; Castucia Palamidessi; Jan Rutten, May 2014, Oxford, United Kingdom. pp.319-342, ⟨10.1007/978-3-319-06880-0_17⟩
Accès au bibtex
BibTex
titre
An abstract domain to infer ordinal-valued ranking functions
auteur
Caterina Urban, Antoine Miné
article
ESOP 2014 - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.412-431, ⟨10.1007/978-3-642-54833-8_22⟩
Accès au bibtex
BibTex
titre
Relational thread-modular static value analysis by abstract interpretation
auteur
Antoine Miné
article
VMCAI 2014 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. pp.39-58, ⟨10.1007/978-3-642-54013-4_3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925713/file/article_ok.pdf BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
auteur
Kenneth Mcmillan, Xavier Rival
article
VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. ⟨10.1007/978-3-642-54013-4⟩
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO
auteur
Thibault Suzanne
article
Performance et fiabilité [cs.PF]. 2014
Accès au bibtex
BibTex

Suivez Inria