Sites Inria

Version française

ANTIQUE Research team

ANTIQUE team publications

2017

Journal articles

titre
An array content static analysis based on non-contiguous partitions
auteur
Jiangchao Liu, Xavier Rival
article
Computer Languages, Systems and Structures, Elsevier, 2017, 47 (1), pp.104-129. 10.1016/j.cl.2016.01.005
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01399837/file/Liu-Rival-ComputersLanguages-2016.pdf BibTex

Conference papers

titre
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions
auteur
Raphaël Monat, Antoine Miné
article
Ahmed Bouajjani; David Monniaux. Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. Springer, Verification, Model Checking, and Abstract Interpretation, 10145, pp.386-404, 2017, Lecture Notes in Computer Science. http://conf.researchr.org/track/VMCAI-2017/. 10.1007/978-3-319-52234-0_21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01490178/file/vmcai17.pdf BibTex
titre
PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
POPL, Jan 2017, Saint Petersburg United States. 2016, 10.1145/nnnnnnn.nnnnnnn
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01434325/file/head.pdf BibTex

2016

Journal articles

titre
Formal Derivation of Qualitative Dynamical Models from Biochemical Networks
auteur
Wassim Abou-Jaoudé, Denis Thieffry, Jérôme Feret
article
BioSystems, Elsevier, 2016, pp.100. 10.1016/j.biosystems.2016.09.001
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379733/file/2016_AbouJaoude_Thieffry_Feret_BioSystems%20%281%29.pdf BibTex
titre
Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
auteur
Abdelraouf Ouadjaout, Antoine Miné, Noureddine Lasla, Nadjib Badache
article
Journal of Systems and Software, Elsevier, 2016, 120, pp.114--132. 10.1016/j.jss.2016.07.030
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01350646/file/manuscript.pdf BibTex

Conference papers

titre
Local traces: an over-approximation of the behaviour of the proteins in rule-based models
auteur
Jérôme Feret, Kim Quyen Ly
article
E. Bartocci; P. Lio'; N. Paoletti. CMSB 2016 - Fourteenth Conference on Computational Method in Systems Biology, Sep 2016, Cambridge, United Kingdom. Springer, LNCS/LNBI, 9859, pp.116-131, 2016, Computational Methods in Systems Biology. https://www.cl.cam.ac.uk/events/cmsb2016. 10.1007/978-3-319-45177-0_8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379897/file/cmsb2016.pdf BibTex
titre
From Array Domains to Abstract Interpretation Under Store-Buffer-Based Memory Models
auteur
Thibault Suzanne, Antoine Miné
article
SAS 2016 - 23rd Static Analysis Symposium, Sep 2016, Edinburgh, United Kingdom. Springer, Static Analysis, 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, 9837, pp.469-488, 2016, Lecture Notes in Computer Science. 10.1007/978-3-662-53413-7_23
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01360566/file/article-suzanne-al-sas16.pdf BibTex
titre
Reachability analysis via orthogonal sets of patterns
auteur
Jérôme Feret, Kim Quyen Ly
article
David Safranek; Guido Sanguinetti. 7th International Workshop on Static Analysis and Systems Biology, (SASB 2016), Sep 2016, Edinburgh, United Kingdom. Elsevier, ENTCS, Static Analysis and Systems Biology. http://sasb2016.fi.muni.cz
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379902/file/orthogonal_patterns.pdf BibTex
titre
Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
auteur
Antoine Miné, Laurent Mauborgne, Xavier Rival, Jerome Feret, Patrick Cousot, Daniel Kästner, Stephan Wilhelm, Christian Ferdinand
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France. http://www.erts2016.org
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01271552/file/erts2016_astreea.pdf BibTex
titre
PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, Florida, United States. 10.1145/nnnnnnn.nnnnnnn
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251199/file/head.pdf BibTex

Directions of work or proceedings

titre
Static Analysis
auteur
Xavier Rival
article
Sep 2016, Edinburgh, United Kingdom. LNCS (9837), Springer, 2016, 978-3-662-53412-0. 10.1007/978-3-662-53413-7. http://dx.doi.org/10.1007/978-3-662-53413-7
Accès au bibtex
BibTex
titre
State Of the Art in Program Analysis
auteur
Charles Zhang, Xavier Rival
article
Jun 2016, Santa Barbara, United States. ACM, 2016, 978-1-4503-4385-5. 10.1145/2931021
Accès au bibtex
BibTex

2015

Journal articles

titre
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualisation
auteur
Goksel Misirli, Matteo Cavaliere, William Waites, Matthew Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat
article
Bioinformatics, Oxford University Press (OUP), 2015, 10.1093/bioinformatics/btv660
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263639/file/-file_store-production-217204-AF96EFCD-1AEC-4F0C-8B85-52CF57656FCF.pdf BibTex
titre
Quantitative genomic analysis of RecA protein binding during DNA double-strand break repair reveals RecBCD action in vivo
auteur
Charlotte A. Cockram, Milana Filatenkova, Vincent Danos, Meriem El Karoui, David R. F. Leach
article
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2015, 10.1073/pnas.1424269112
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263631/file/pnas.201424269.pdf BibTex
titre
Inference of ranking functions for proving temporal properties by abstract interpretation
auteur
Caterina Urban, Antoine Miné
article
Computer Languages, Systems and Structures, Elsevier, 2015, 10.1016/j.cl.2015.10.001
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01312239/file/article-urban-mine-comlan2015.pdf BibTex
titre
Static Analysis and Verification of Aerospace Software by Abstract Interpretation
auteur
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
article
Foundations and Trends in Programming Languages, Now Publishers, 2015, 2 (2-3), pp.171-291. 10.1561/2500000002
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01312241/file/article-bertrane-al-fntpl15.pdf BibTex

Conference papers

titre
Abstraction of Optional Numerical Values
auteur
Jiangchao Liu, Xavier Rival
article
Xinyu Feng and Sungwoo Park. Programming Languages and Systems - 13th Asian Symposium, , Nov 2015, Pohang, South Korea. Springer, Programming Languages and Systems - 13th Asian Symposium, Lecture Notes in Computer Science (9458), 10.1007/978-3-319-26529-2_9
Accès au bibtex
BibTex
titre
Abstract Domains and Solvers for Sets Reasoning
auteur
Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival
article
Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov. 20th International Conference, , Nov 2015, Suva, Fiji. Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, Lecture Notes in Computer Science (9450), 10.1007/978-3-662-48899-7_25
Accès au bibtex
BibTex
titre
Numerical Static Analysis of Interrupt-Driven Programs via Sequentialization
auteur
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong, Ji Wang
article
EMSOFT 2015 - International Conference on Embedded Software, Oct 2015, Amsterdam, Netherlands. IEEE, Embedded Software (EMSOFT), 2015 International Conference on, pp.55-64, http://esweek.org/emsoft. 10.1109/EMSOFT.2015.7318260
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01312248/file/sigproc-sp.pdf BibTex
titre
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software
auteur
Antoine Miné, David Delmas
article
ACM SIGBED International Conference on Embedded Software (EMSOFT), Oct 2015, Amsterdam, Netherlands. IEEE, Embedded Software (EMSOFT), 2015 International Conference on, pp.65-74, 2015, http://esweek.org/emsoft. 10.1109/EMSOFT.2015.7318261
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01312246/file/article-mine-delmas-emsoft15.pdf BibTex
titre
Derivation of Qualitative Dynamical Models from Biochemical Networks
auteur
Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry
article
Olivier Roux; Jérémie Bourdon. CMSB 2015 : Computational Methods in Systems Biology, Sep 2015, Nantes, France. Springer, Lecture Notes in Bioinformatics, 9308, pp.195-207, 2015, Computational Methods in Systems Biology. http://cmsb2015.sciencesconf.org/. 10.1007/978-3-319-23401-4_17
Accès au bibtex
BibTex
titre
Shape Analysis for Unstructured Sharing
auteur
Huisong Li, Xavier Rival, Bor-Yuh Evan Chang
article
Springer. Static Analysis - 22nd International Symposium, Sep 2015, Saint-Malo, France. pp.19, 2015, 10.1007/978-3-662-48288-9_6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01249418/file/sharing-sas15.pdf BibTex
titre
Moment Semantics for Reversible Rule-Based Systems
auteur
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
article
7th International Conference, Reversible Computation 2015, Jul 2015, Grenoble, France. Springer, LNCS, 2015, Reversible Computation. 10.1007/978-3-319-20860-2_1
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263633/file/momsem_1.pdf BibTex
titre
Dirichlet is Natural
auteur
Vincent Danos, Ilias Garnier
article
MFPS 31, Jun 2015, Nijmegen, Netherlands. 2015, 10.1016/j.entcs.2015.12.010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01256903/file/mfps31.pdf BibTex
titre
The Need for Language Support for Fault-tolerant Distributed Systems
auteur
Cezara Drăgoi, Thomas Henzinger, Damien Zufferey
article
Leibniz International Proceedings in Informatics (LIPIcs) , May 2015, Dagstuhl, Germany. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 32, pp.90-102, 10.4230/LIPIcs.SNAPL.2015.90
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01251194/file/dragoi.pdf BibTex
titre
FuncTion: An Abstract Domain Functor for Termination
auteur
Caterina Urban
article
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, Londres, United Kingdom. Springer, pp.3, Lecture Notes in Computer Science. http://www.etaps.org/2015/tacas
Accès au bibtex
BibTex
titre
Static Analysis for Spreadsheet Applications for Type-Unsafe Operations Detection
auteur
Tie Cheng, Xavier Rival
article
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom. European Symposium On Programming, 2015, Proceedings of the European Symposium On Programming
Accès au bibtex
BibTex
titre
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
auteur
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
article
European Symposium On Programming (ESOP 2015), Apr 2015, London, United Kingdom. Springer, 2015, Proceedings of the European Symposium On Programming (ESOP 2015)
Accès au bibtex
BibTex
titre
AstréeA: A Static Analyzer for Large Embedded Multi-Task Software
auteur
Antoine Miné
article
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. Springer, 8931, pp.3, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105235/file/article-mine-vmcai15.pdf BibTex
titre
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
auteur
Caterina Urban, Antoine Miné
article
16th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'15), Jan 2015, Mumbai, India. Springer, 8931, pp.19, Lecture Notes in Computer Science. http://research.microsoft.com/. 10.1007/978-3-662-46081-8_11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105238/file/article-urban-mine-vmcai15.pdf BibTex
titre
Abstraction of Arrays Based on Non Contiguous Partitions
auteur
Jiangchao Liu, Xavier Rival
article
15th Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. Springer, pp.282 - 299, 2015, Proceedings of the 15th Conference on Verification, Model Checking, and Abstract Interpretation. 10.1007/978-3-662-46081-8_16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095985/file/vmcai.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012)
auteur
Jérôme Feret, Andre Levchenko
article
Jérôme Feret and Andre Levchenko. 3rd International Workshop on Static Analysis and Systems Biology (SASB 2012), Sep 2012, Deauville, France. 313, Elsevier, pp.78, 2015, Electronic Notes in Theoretical Computer Science, http://www.sciencedirect.com/science/journal/15710661/313/supp/C
Accès au bibtex
BibTex

Master thesis

titre
Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences
auteur
Raphaël Monat
article
Performance [cs.PF]. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01187538/file/report.pdf BibTex

Theses

titre
Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs
auteur
Caterina Urban
article
Computer Science [cs]. École Normale Supérieure, 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01176641/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Synthesizing Short-Circuiting Validation of Data Structure Invariants
auteur
Yi-Fan Tsai, Devin Coughlin, Bor-Yuh Evan Chang, Xavier Rival
article
2015
Accès au bibtex
https://arxiv.org/pdf/1511.04846 BibTex

2014

Journal articles

titre
Thermodynamic graph-rewriting
auteur
Vincent Danos, Russell Harmer, Ricardo Honorato-Zimmer
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 11 (2), pp.13. 10.2168/LMCS-11(2:13)2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01263637/file/1503.06022v2.pdf BibTex
titre
Model checking to assess T-helper cell plasticity
auteur
Wassim Abou-Jaoudé, Pedro T. Monteiro, Aurélien Naldi, Maximilien Grandclaudon, Vassili Soumelis, Claudine Chaouiya, Denis Thieffry
article
Frontiers in Bioengineering and Biotechnology, Frontiers, 2014, Computational methods for understanding complexity: the use of formal methods in biology, pp.22. http://www.frontiersin.org/. 10.3389/fbioe.2014.00086
Accès au bibtex
BibTex
titre
Stochastic Fragments
auteur
Jérôme Feret, Heinz Koeppl, Tatjana Petrov
article
International Journal of Software and Informatics (IJSI), ISCAS, 2014, Special Issue on DCM09, 7 (4), pp.527-604. http://www.ijsi.org/
Accès au bibtex
BibTex

Conference papers

titre
Construction of Abstract Domains for Heterogeneous Properties (Position Paper)
auteur
Xavier Rival, Antoine Toubhans, Bor-Yuh Evan Chang
article
Leveraging Applications of Formal Methods, Verification and Validation. (ISOLA), Oct 2014, Corfu, Greece. Springer, pp.489 - 492, 2014, Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Specialized Techniques and Applications. 10.1007/978-3-662-45231-8_40
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095977/file/isola.pdf BibTex
titre
A Decision Tree Abstract Domain for Proving Conditional Termination
auteur
Caterina Urban, Antoine Miné
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. Springer, 8373, pp.17, 2014, Lecture Notes in Computer Science. http://cs.uni-muenster.de/sev/sas14/. 10.1007/978-3-319-10936-7_19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105221/file/article-urban-mine-sas14.pdf BibTex
titre
Automatic Analysis of Open Objects in Dynamic Language Programs
auteur
Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
article
21st Static Analysis Symposium (SAS), Sep 2014, München, Germany. 2014, 21st Static Analysis Symposium Proceedings. 10.1007/978-3-319-10936-7_9
Accès au bibtex
BibTex
titre
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions
auteur
Antoine Toubhans, Bor-Yuh Evan Chang, Xavier Rival
article
Static Analysis Symposium, Sep 2014, München, Germany. Springer, 2014, 10.1007/978-3-319-10936-7_18
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095934/file/SAS14.pdf BibTex
titre
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
auteur
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur, Ji Wang
article
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany. Springer, 8373, pp.18, 2014, Lecture Note in Computer Science. http://cs.uni-muenster.de/sev/sas14/. 10.1007/978-3-319-10936-7_7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105217/file/article-chen-al-sas14.pdf BibTex
titre
An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models
auteur
Jérôme Feret
article
Heinz Koeppl; Loïc Paulevé. Static Analysis and Systems Biology, Sep 2014, Munich, Germany. Elsevier, Electronic Notes in Theoretical Computer Science, 316, pp.20, 2015, Electronic Notes in Theoretical Computer Science. https://www.lri.fr/sasb2014/. 10.1016/j.entcs.2015.06.010
Accès au bibtex
BibTex
titre
A method to infer inductive numeric invariants inspired from Constraint Programming
auteur
Antoine Miné
article
Decision Procedures and Abstract Interpretation (Dagstugh Seminar 14351), Aug 2014, Warden, Germany. Dagstuhl Seminar
Accès au bibtex
BibTex
titre
Bisimulation Metrics are Optimal Value Functions
auteur
Norman Ferns, Doina Precup
article
Nevin L. Zhang; Jin Tian. The 30th Conference on Uncertainty in Artificial Intelligence, Jul 2014, Quebec City, Canada. AUAI Press, pp.10, http://auai.org/uai2014/
Accès au bibtex
BibTex
titre
To Infinity... and Beyond!
auteur
Caterina Urban, Antoine Miné
article
14th International Workshop on Termination (WST'14), Jul 2014, Vienne, Austria. pp.5
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01105216/file/article-urban-mine-wst14.pdf BibTex
titre
Abstract interpretation: past, present and future
auteur
Patrick Cousot, Radhia Cousot
article
CSL-LICS '14 - Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ACM, Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), LICS '14, 2014, 10.1145/2603088.2603165
Accès au bibtex
BibTex
titre
The Rooster and the Syntactic Bracket
auteur
Hugo Herbelin, Arnaud Spiwack
article
19th International Conference on Types for Proofs and Programs (TYPES 2013), Jul 2014, Toulouse, France. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 26, pp.169--187, Leibniz International Proceedings in Informatics (LIPIcs). 10.4230/LIPIcs.TYPES.2013.169
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097919/file/syntactic_bracket.pdf BibTex
titre
Balancing Lists: A Proof Pearl
auteur
Guyslain Naves, Arnaud Spiwack
article
5th International Conference, ITP 2014, Jul 2014, Vienna, Austria. 8558, pp.437 - 449, 2014, Interactive Theorem Proving. 10.1007/978-3-319-08970-6_28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097937/file/Balancing%2520lists.pdf BibTex
titre
Model Checking logical regulatory networks
auteur
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya
article
Jean-Jacques Lesage; José E. Ribeiro; Bengt Lennartson. WODES'14, 12th IFAC - IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. Elsevier, The International Federation of Automatic Control, http://wodes2014.lurpa.ens-cachan.fr/. 10.3182/20140514-3-FR-4046.00135
Accès au bibtex
BibTex
titre
Bisimulation for Markov Decision Processes through Families of Functional Expressions
auteur
Norman Ferns, Sophia Knight, Doina Precup
article
Franck van Breugel; Elham Kashefi; Castucia Palamidessi; Jan Rutten. Horizons of the Mind. A Tribute to Prakash Panangaden (for his 60th birthday), May 2014, Oxford, United Kingdom. Springer, Lecture Notes in Computer Science, 8464, pp.319-342, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden. http://www.springer.com/computer/theoretical+computer+science/book/978-3-319-06879-4. 10.1007/978-3-319-06880-0_17
Accès au bibtex
BibTex
titre
An abstract domain to infer ordinal-valued ranking functions
auteur
Caterina Urban, Antoine Miné
article
Zhong Shao. ESOP 2014 - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. Springer, 8410, pp.412-431, 2014, Lecture Notes in Computer Science; Programming Languages and Systems. 10.1007/978-3-642-54833-8_22
Accès au bibtex
BibTex
titre
Relational thread-modular static value analysis by abstract interpretation
auteur
Antoine Miné
article
Kenneth McMillan and Xavier Rival. VMCAI 2014 - 15th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2014, San Diego, United States. Springer, 8318, pp.39-58, 2014, 10.1007/978-3-642-54013-4_3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00925713/file/article_ok.pdf BibTex

Directions of work or proceedings

titre
Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
auteur
Kenneth Mcmillan, Xavier Rival
article
VMCAI (Verification, Model Checking and Abstract Interpretation), Jan 2014, France. Springer, 2014, VMCAI 2014 Proceedings, 978-3-642-54012-7. 10.1007/978-3-642-54013-4
Accès au bibtex
BibTex

Master thesis

titre
Analyse statique par interprétation abstraite de programmes concurrents dans le modèle de mémoire faible TSO
auteur
Thibault Suzanne
article
Performance et fiabilité [cs.PF]. 2014
Accès au bibtex
BibTex