Publications of the year

Articles in International Peer-Reviewed Journals

  • 1W. Abou-Jaoudé, D. Thieffry, J. Feret.

    Formal Derivation of Qualitative Dynamical Models from Biochemical Networks, in: BioSystems, September 2016, 100 p. [ DOI : 10.1016/j.biosystems.2016.09.001 ]

  • 2J. 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 ]

  • 3A. Ouadjaout, A. Miné, N. Lasla, N. Badache.

    Static analysis by abstract interpretation of functional properties of device drivers in TinyOS, in: Journal of Systems and Software, 2016, vol. 120, pp. 114–132. [ DOI : 10.1016/j.jss.2016.07.030 ]


International Conferences with Proceedings

  • 4C. Drăgoi, T. Henzinger, D. Zufferey.

    PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms, in: POPL, Saint Petersburg , United States, January 2017. [ DOI : 10.1145/nnnnnnn.nnnnnnn ]

  • 5J. Feret, K. Q. Ly.

    Local traces: an over-approximation of the behaviour of the proteins in rule-based models, in: CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Cambridge, United Kingdom, E. Bartocci, P. Lio', N. Paoletti (editors), Computational Methods in Systems Biology, Springer, September 2016, vol. 9859, pp. 116-131. [ DOI : 10.1007/978-3-319-45177-0_8 ]

  • 6J. Feret, K. Q. Ly.

    Reachability analysis via orthogonal sets of patterns, in: 7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), Edinburgh, United Kingdom, D. Safranek, G. Sanguinetti (editors), Static Analysis and Systems Biology, Elsevier, September 2016.

  • 7T. Suzanne, A. Miné.

    From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models, in: SAS 2016 - 23rd Static Analysis Symposium, Edinburgh, United Kingdom, Lecture Notes in Computer Science, Springer, September 2016, vol. 9837, pp. 469-488. [ DOI : 10.1007/978-3-662-53413-7_23 ]


Conferences without Proceedings

  • 8C. Drăgoi, T. Henzinger, D. Zufferey.

    PSYNC: A partially synchronous language for fault-tolerant distributed algorithms, in: Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Saint Petersburg, Florida, United States, January 2016. [ DOI : 10.1145/nnnnnnn.nnnnnnn ]

  • 9A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, D. Kästner, S. Wilhelm, C. Ferdinand.

    Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée, in: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, January 2016.


Books or Proceedings Editing

  • 10X. Rival (editor)

    Static Analysis: 23rd International Symposium, (SAS 2016), Edinburgh, UK, September 8-10, 2016, Proceedings, Springer, Edinburgh, United Kingdom, 2016, vol. LNCS, no 9837. [ DOI : 10.1007/978-3-662-53413-7 ]

  • 11C. Zhang, X. Rival (editors)

    State Of the Art in Program Analysis: International Workshop, (SOAP 2016), SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016Proceedings of the 5th ACM SIGPLAN , ACM, Santa Barbara, United States, 2016. [ DOI : 10.1145/2931021 ]

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

  • 13P. 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.