Bibliography

Publications of the year

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 ]

https://hal.inria.fr/hal-01379733
2J. Liu, X. Rival.

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

https://hal.inria.fr/hal-01399837
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 ]

http://hal.upmc.fr/hal-01350646

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 ]

https://hal.inria.fr/hal-01434325
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 ]

https://hal.inria.fr/hal-01379897
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.

https://hal.inria.fr/hal-01379902
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 ]

http://hal.upmc.fr/hal-01360566

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 ]

https://hal.inria.fr/hal-01251199
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.

https://hal.archives-ouvertes.fr/hal-01271552

10X. Rival (editor)

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

https://hal.inria.fr/hal-01388205
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 ]

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

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.

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

Home