EN FR
EN FR


previous Previous | up Home


Bibliography

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. Drăgoi, 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.

    http://doi.acm.org/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

Articles in International Peer-Reviewed Journals

  • 9J. Liu, X. Rival.

    An array content static analysis based on non-contiguous partitions, in: Computer Languages, Systems and Structures, 2017, vol. 47, no 1, pp. 104–129. [ DOI : 10.1016/j.cl.2016.01.005 ]

    https://hal.inria.fr/hal-01399837

International Conferences with Proceedings

  • 10F. Camporesi, J. Feret.

    Using alternated sums to express the occurrence number of extended patterns in site-graphs, in: SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, New York, United States, J. Yang, J. A. Bachman (editors), Static Analysis and Systems Biology, Elsevier, August 2017, 18 p, To appear.

    https://hal.inria.fr/hal-01613603
  • 11F. Camporesi, J. Feret, K. Q. Ly.

    KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models, in: CMSB 2017 - 15th Conference on Computational Methods in Systems Biology, Darmstadt, Germany, J. Feret, H. Koeppl (editors), Computational Methods in Systems Biology, Springer, September 2017, vol. 10545, pp. 291-299, Tools paper track. [ DOI : 10.1007/978-3-319-67471-1_18 ]

    https://hal.inria.fr/hal-01613600
  • 12C. Drăgoi, T. Henzinger, D. Zufferey.

    PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms, in: POPL, Saint Petersburg , United States, January 2017.

    https://hal.inria.fr/hal-01434325
  • 13H. Illous, M. Lemerre, X. Rival.

    A Relational Shape Abstract Domain, in: NFM 2017 - 9th NASA Formal Methods Symposium, Moffett Field, United States, LNCS, Springer, April 2017, vol. 10227, pp. 212-229. [ DOI : 10.1007/978-3-319-57288-8_15 ]

    https://hal.inria.fr/hal-01648681
  • 14Y. 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 ]

    https://hal.inria.fr/hal-01648680
  • 15D. Kästner, A. Miné, A. SCHMIDT, H. Hille, L. Mauborgne, S. Wilhelm, X. Rival, J. Feret, P. Cousot, C. Ferdinand.

    Finding All Potential Run-Time Errors and Data Races in Automotive Software, in: SAE world Congress, Detroit , United States, SAE Technical Paper, SAE International, April 2017, 9 p.

    https://hal.inria.fr/hal-01674831
  • 16H. 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 ]

    https://hal.inria.fr/hal-01648679
  • 17R. Monat, A. Miné.

    Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions, in: Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Paris, France, A. Bouajjani, D. Monniaux (editors), Lecture Notes in Computer Science, Springer, January 2017, vol. 10145, pp. 386-404. [ DOI : 10.1007/978-3-319-52234-0_21 ]

    https://hal.inria.fr/hal-01490178
  • 18J. Park, X. Rival, S. Ryu.

    Revisiting Recency Abstraction for JavaScript Towards an Intuitive, Compositional, and Efficient Heap Abstraction, in: SOAP 2017 - International Workshop on the State Of the Art in Java Program Analysis, Barcelona, Spain, June 2017, pp. 1-6. [ DOI : 10.1145/3088515.3088516 ]

    https://hal.inria.fr/hal-01648682

Books or Proceedings Editing

  • 19J. Feret, H. Koeppl (editors)

    Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings, Lecture Notes in Bioinformatics, Springer, France, September 2017, vol. 10545, 332 p. [ DOI : 10.1007/978-3-319-67471-1 ]

    https://hal.inria.fr/hal-01613596

Other Publications

References in notes
  • 21P. 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.

    http://dx.doi.org/10.1016/S1571-0661(05)80168-9
  • 22P. 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.


previous Previous | up Home