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 ]