Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


Major publications by the team in recent years
  • 1J. Bertrane, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival.

    Static Analysis and Verification of Aerospace Software by Abstract Interpretation, in: Proceedings of the American Institute of Aeronautics and Astronautics (AIAA Infotech@Aerospace 2010), Atlanta, Georgia, USA, American Institute of Aeronautics and Astronautics, 2010.
  • 2B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, X. Rival.

    A Static Analyzer for Large Safety-Critical Software, in: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), ACM Press, June 7–14 2003, pp. 196–207.
  • 3A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu.

    On inter-procedural analysis of programs with lists and data, in: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, 2011, pp. 578–589. [ DOI : 10.1145/1993498.1993566 ]
  • 4P. Cousot.

    Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation, in: Theoretical Computer Science, 2002, vol. 277, no 1–2, pp. 47–103.
  • 5J. Feret, V. Danos, J. Krivine, R. Harmer, W. Fontana.

    Internal coarse-graining of molecular systems, in: Proceeding of the national academy of sciences, Apr 2009, vol. 106, no 16.
  • 6L. Mauborgne, X. Rival.

    Trace Partitioning in Abstract Interpretation Based Static Analyzers, in: Proceedings of the 14th European Symposium on Programming (ESOP'05), M. Sagiv (editor), Lecture Notes in Computer Science, Springer-Verlag, 2005, vol. 3444, pp. 5–20.
  • 7A. Miné.

    The Octagon Abstract Domain, in: Higher-Order and Symbolic Computation, 2006, vol. 19, pp. 31–100.
  • 8X. Rival.

    Symbolic Transfer Functions-based Approaches to Certified Compilation, in: Conference Record of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, United States, 2004, pp. 1–13.
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 11P. Boutillier, M. Maasha, X. Li, H. F. Medina-Abarca, J. Krivine, J. Feret, I. Cristescu, A. G. Forbes, W. Fontana.

    The Kappa platform for rule-based modeling, in: Bioinformatics, July 2018, vol. 34, no 13, pp. i583-i592. [ DOI : 10.1093/bioinformatics/bty272 ]
  • 12F. Dahlqvist, A. Silva, V. Danos, I. Garnier.

    Borel Kernels and their Approximation, Categorically, in: Electronic Notes in Theoretical Computer Science, December 2018, vol. 341, pp. 91-119.
  • 13J. Feret, K. Q. .

    Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models, in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, July 2018, vol. 15, no 4, pp. 1124-1137.
  • 14S.-W. Kim, X. Rival, S. Ryu.

    A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework, in: ACM Transactions on Programming Languages and Systems (TOPLAS), August 2018, vol. 40, no 3, pp. 1-44.
  • 15J. Liu, L. Chen, X. Rival.

    Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions, in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, November 2018, vol. 37, no 11, pp. 2311-2322.
  • 16G. Terradot, A. Beica, A. Y. Weiße, V. Danos.

    Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage, in: Electronic Notes in Theoretical Computer Science, April 2018, vol. 335, pp. 91-112. [ DOI : 10.1016/j.entcs.2018.03.010 ]
  • 17P. Thomas, G. Terradot, V. Danos, A. Y. Weiße.

    Sources, propagation and consequences of stochasticity in cellular growth, in: Nature Communications, December 2018, vol. 9, no 1. [ DOI : 10.1038/s41467-018-06912-9 ]
  • 18W. Waites, M. Cavaliere, E. Cachat, V. Danos, J. A. Davies.

    An Information-Theoretic Measure for Patterning in Epithelial Tissues, in: IEEE Access, 2018, vol. 6, pp. 40302-40312. [ DOI : 10.1109/access.2018.2853624 ]
  • 19W. Waites, G. Mısırlı, M. Cavaliere, V. Danos, A. Wipat.

    A Genetic Circuit Compiler: Generating Combinatorial Genetic Circuits with Web Semantics and Inference, in: ACS Synthetic Biology, November 2018, vol. 7, no 12, pp. 2812-2823.

International Conferences with Proceedings

  • 20A. Beica, J. Feret, T. Petrov.

    Tropical Abstraction of Biochemical Reaction Networks with Guarantees, in: SASB'18 - Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, Freiburg, Germany, August 2018.
  • 21P. Boutillier, F. Camporesi, J. Coquet, J. Feret, K. Q. , N. Théret, P. Vignet.

    KaSa: A Static Analyzer for Kappa, in: CMSB 2018 - 16th International Conference on Computational Methods in Systems Biology, Brno, Czech Republic, M. Češka, D. Šafránek (editors), LNCS, Springer Verlag, September 2018, vol. 11095, pp. 285-291. [ DOI : 10.1007/978-3-319-99429-1_17 ]
  • 22P. Boutillier, J. Feret, A. Faure de Pebeyre.

    Proving the absence of unbounded polymers in rule-based models, in: Static Analysis and Systems Biology 2018, Freiburg im Breisgau, Germany, August 2018.
  • 23T. Suzanne, A. Miné.

    Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models, in: APLAS 2018 - 16th Asian Symposium on Programming Languages and Systems, Wellington, New Zealand, Lecture Notes in Computer Science, December 2018, vol. 11275, pp. 109-128. [ DOI : 10.1007/978-3-030-02768-1_6 ]

Other Publications

  • 24A. Damian, C. Dragoi, A. Militaru, J. Widder.

    Communication-closed asynchronous protocols, January 2019, working paper or preprint.
References in notes
  • 25A. Beica, V. Danos.

    Synchronous Balanced Analysis, in: Proceedings of the International Workshop on Hybrid Systems Biology, Springer-Verlag, Berlin, Germany, September 2016, pp. 85-94.
  • 26P. Cousot.

    Constructive design of a hierarchy of semantics of a transition system by abstract interpretation, in: Electr. Notes Theor. Comput. Sci., 1997, vol. 6, pp. 77–102.
  • 27P. Cousot, R. Cousot.

    Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, United States, 1977, pp. 238–252.
  • 28Y. Ko, X. Rival, S. Ryu.

    Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects, in: APLAS 2017 - 15th Asian Symposium on Programming Languages and Systems, Suzhou, China, LNCS, Springer, November 2017, vol. 10695, pp. 148-168. [ DOI : 10.1007/978-3-319-71237-6_8 ]
  • 29H. Li, F. Bérenger, B.-Y. E. Chang, X. Rival.

    Semantic-Directed Clumping of Disjunctive Abstract States *, in: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Paris, France, ACM, January 2017, vol. 52, no 1, pp. 32-45. [ DOI : 10.1145/3009837.3009881 ]
  • 30A. Y. Weiße, D. A. Oyarzun, V. Danos, P. S. Swain.

    Mechanistic links between cellular trade-offs, gene expression, and growth, in: Proceedings of the National Academy of Sciences of the United States of America , March 2015, vol. 112, no 9, pp. E1038-E1047. [ DOI : 10.1073/pnas.1416533112 ]