Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
J. 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.
[2]
B. 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.
[3]
A. 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
[4]
P. 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.
[5]
J. 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.
[6]
L. 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.
[7]
A. Miné.
The Octagon Abstract Domain, in: Higher-Order and Symbolic Computation, 2006, vol. 19, pp. 31–100.
[8]
X. 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

[9]
C. Urban.
Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs, École Normale Supérieure, July 2015.
https://tel.archives-ouvertes.fr/tel-01176641

Articles in International Peer-Reviewed Journals

[10]
C. A. Cockram, M. Filatenkova, V. Danos, M. El Karoui, D. R. F. Leach.
Quantitative genomic analysis of RecA protein binding during DNA double-strand break repair reveals RecBCD action in vivo, in: Proceeding of the national academy of sciences, August 2015. [ DOI : 10.1073/pnas.1424269112 ]
https://hal.archives-ouvertes.fr/hal-01263631
[11]
G. Misirli, M. Cavaliere, W. Waites, M. Pocock, C. Madsen, O. Gilfellon, R. Honorato-Zimmer, P. Zuliani, V. Danos, A. Wipat.
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation, in: Bioinformatics, November 2015. [ DOI : 10.1093/bioinformatics/btv660 ]
https://hal.archives-ouvertes.fr/hal-01263639

Invited Conferences

[12]
A. Miné.
AstréeA: A Static Analyzer for Large Embedded Multi-Task Software, in: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Mumbai, India, Lecture Notes in Computer Science, Springer, January 2015, vol. 8931, 3 p.
https://hal.inria.fr/hal-01105235

International Conferences with Proceedings

[13]
W. Abou-Jaoudé, J. Feret, D. Thieffry.
Derivation of Qualitative Dynamical Models from Biochemical Networks, in: CMSB 2015 : Computational Methods in Systems Biology, Nantes, France, O. Roux, J. Bourdon (editors), Springer, September 2015, vol. 9308, pp. 195-207. [ DOI : 10.1007/978-3-319-23401-4_17 ]
https://hal.inria.fr/hal-01199243
[14]
T. Cheng, X. Rival.
Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection, in: European Symposium On Programming (ESOP 2015), London, United Kingdom, April 2015.
https://hal.archives-ouvertes.fr/hal-01098377
[15]
A. Cox, B.-Y. E. Chang, H. Li, X. Rival.
Abstract Domains and Solvers for Sets Reasoning, in: 20th International Conference, LPAR-20, Suva, Fiji, M. Davis, A. Fehnker, A. McIver, A. Voronkov (editors), November 2015, vol. Lecture Notes in Computer Science, no 9450. [ DOI : 10.1007/978-3-662-48899-7_25 ]
https://hal.inria.fr/hal-01256309
[16]
A. Cox, B.-Y. E. Chang, X. Rival.
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages, in: European Symposium On Programming (ESOP 2015), London, United Kingdom, Springer, April 2015.
https://hal.archives-ouvertes.fr/hal-01098379
[17]
V. Danos, T. Heindel, R. Honorato-Zimmer, S. Stucki.
Moment Semantics for Reversible Rule-Based Systems, in: 7th International Conference on Reversible Computation, Grenoble, France, July 2015. [ DOI : 10.1007/978-3-319-20860-2_1 ]
https://hal.archives-ouvertes.fr/hal-01263633
[18]
H. Li, X. Rival, B.-Y. E. Chang.
Shape Analysis for Unstructured Sharing, in: Static Analysis - 22nd International Symposium, Saint-Malo, France, Springer (editor), September 2015, 19 p. [ DOI : 10.1007/978-3-662-48288-9_6 ]
https://hal.inria.fr/hal-01249418
[19]
J. Liu, X. Rival.
Abstraction of Arrays Based on Non Contiguous Partitions, in: 15th Conference on Verification, Model Checking, and Abstract Interpretation, Mumbai, India, Springer, January 2015, no 8931, pp. 282 - 299. [ DOI : 10.1007/978-3-662-46081-8_16 ]
https://hal.archives-ouvertes.fr/hal-01095985
[20]
J. Liu, X. Rival.
Abstraction of Optional Numerical Values, in: Programming Languages and Systems - 13th Asian Symposium, APLAS, Pohang, South Korea, X. Feng, S. Park (editors), Springer, November 2015, vol. Lecture Notes in Computer Science, no 9458. [ DOI : 10.1007/978-3-319-26529-2_9 ]
https://hal.inria.fr/hal-01256116
[21]
C. Urban, A. Miné.
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation, in: 16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Mumbai, India, Lecture Notes in Computer Science, Springer, January 2015, vol. 8931, 19 p. [ DOI : 10.1007/978-3-662-46081-8_11 ]
https://hal.inria.fr/hal-01105238
[22]
C. Urban.
FuncTion: An Abstract Domain Functor for Termination, in: 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Londres, United Kingdom, Lecture Notes in Computer Science, Springer, April 2015, 3 p.
https://hal.inria.fr/hal-01107419

Conferences without Proceedings

[23]
V. Danos, I. Garnier.
Dirichlet is Natural, in: MFPS 31, Nijmegen, Netherlands, June 2015. [ DOI : 10.1016/j.entcs.2015.12.010 ]
https://hal.archives-ouvertes.fr/hal-01256903
[24]
C. Drăgoi, T. Henzinger, D. Zufferey.
The Need for Language Support for Fault-tolerant Distributed Systems, in: 1st Summit on Advances in Programming Languages (SNAPL 2015), Dagstuhl, Germany, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, May 2015, pp. 90–102, http://snapl.org/2015/org.html . [ DOI : 10.4230/LIPIcs.SNAPL.2015.90 ]
https://hal.inria.fr/hal-01251194
[25]
C. 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, ACM, January 2016. [ DOI : 10.1145/2837614.2837650 ]
https://hal.inria.fr/hal-01251199

Books or Proceedings Editing

[26]
J. Feret, A. Levchenko (editors)
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Electronic Notes in Theoretical Computer Science, Elsevier, Deauville, France, May 2015, vol. 313, 78 p.
https://hal.inria.fr/hal-01147670

Other Publications

[27]
R. Monat.
Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences, Stage effectué dans l'équipe ANTIQUE, ENS Ulm, dans le cadre d'une L3 informatique fondamentale à l'ENS Lyon, September 2015.
https://hal.inria.fr/hal-01187538
[28]
Y.-F. Tsai, D. Coughlin, B.-Y. E. Chang, X. Rival.
Synthesizing Short-Circuiting Validation of Data Structure Invariants, 2015, working paper or preprint.
https://hal.inria.fr/hal-01256324
References in notes
[29]
C. Charlotte, M. E. Karoui, V. Danos, M. Filatenkova, D. Leach.
Quantitative Genomic Analysis of RecA Protein Binding During DNA Double-Strand Break Repair Reveals RecBCD Action in vivo, in: PNAS, August 2015, vol. 112, no 34.
http://dx.doi.org/10.1073/pnas.1424269112
[30]
P. 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
[31]
P. 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.
[32]
V. Danos, I. Garnier.
Dirichlet is natural, in: ENTCS, June 2015, to appear.
[33]
V. Danos, R. Harmer, R. Honorato-Zimmer.
Thermodynamic Graph Rewriting, in: Logical Methods in Computer Science, 2015, CONCUR special issue in LMCS.
[34]
V. Danos, T. Heindel, R. Honorato-Zimmer, S. Stucki.
Moment Semantics for Reversible Rule-Based Systems, in: Proceedings of RC'15, 2015, vol. 9138.
[35]
G. Misirli, M. Cavaliere, W. Waites, M. Pocock, C. Madsen, O. Gilfellon, R. Honorato-Zimmer, P. Zuliani, V. Danos, A. Wipat.
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation, in: Bioinformatics, 2015, Published 11 November 2015.
http://dx.doi.org/10.1093/bioinformatics/btv660
[36]
A. Weisse, D. Oyarzun, V. Danos, P. Swain.
A mechanistic link between cellular trade-offs, gene expression and growth, in: PNAS, February 2015, vol. 112, no 9.
http://www.pnas.org/content/112/9/E1038.full
[37]
J. Wilson-Kanamori, V. Danos, T. Thomson, R. Honorato-Zimmer.
Kappa Rule-Based Modelling in Synthetic Biology, in: Computational Methods in Synthetic Biology, M. A. Marchisio (editor), Methods in Molecular Biology, Springer, 2015, vol. 1244, pp. 105–135.