Conjoining specifications, ACM Transactions on Programming Languages and Systems, vol.17, issue.3, pp.507-534, 1995. ,
DOI : 10.1145/203095.201069
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.4928
Interface-based design, Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer, 2004. ,
Interface theories for concurrency and data, Theor. Comput. Sci, vol.412, issue.28, pp.3101-3121, 2011. ,
A modal specification theory for components with data, FACS, pp.61-78, 2011. ,
Multiple Viewpoint Contract-Based Specification and Design, Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects, FMCO'07, pp.200-225, 2008. ,
DOI : 10.1109/43.736561
Contracts for System Design, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00757488
Interface Compatibility Checking for Software Modules, CAV, pp.428-441, 2002. ,
DOI : 10.1007/3-540-45657-0_35
Synchronous and Bidirectional Component Interfaces, Proc. of the 14th International Conference on Computer Aided Verification, pp.414-427, 2002. ,
DOI : 10.1007/3-540-45657-0_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.266
Compositional model checking, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science, pp.353-362, 1989. ,
DOI : 10.1109/LICS.1989.39190
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.7245
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Abstract interpretation and application to logic programs, The Journal of Logic Programming, vol.13, issue.2-3, pp.103-179, 1992. ,
DOI : 10.1016/0743-1066(92)90030-7
Abstract Interpretation Frameworks, Journal of Logic and Computation, vol.2, issue.4, pp.511-547, 1992. ,
DOI : 10.1093/logcom/2.4.511
The ASTRE?? Analyzer, ESOP, pp.21-30, 2005. ,
DOI : 10.1007/978-3-540-31987-0_3
Why does astrée scale up? Formal Methods in System Design, pp.229-264, 2009. ,
Timed I/O automata, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.91-100, 2010. ,
DOI : 10.1145/1755952.1755967
URL : http://vbn.aau.dk/ws/files/58768871/HSCC2010cameraready.pdf
Sociable Interfaces, Proc. of the 5th International Workshop on Frontiers of Combining Systems Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pp.81-105, 2001. ,
DOI : 10.1007/11559306_5
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. Formal Methods in System Design, pp.1-32, 2011. ,
Interface theories with component reuse, Proceedings of the 7th ACM international conference on Embedded software, EMSOFT '08, pp.79-88, 2008. ,
DOI : 10.1145/1450058.1450070
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2600
Model checking and modular verification, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.843-871, 1994. ,
DOI : 10.1145/177492.177725
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6959
Modular Model Checking, COMPOS, pp.381-401, 1997. ,
DOI : 10.1007/3-540-49213-5_14
Modal I/O Automata for Interface and Product Line Theories, Proc. of the 16th European Symposium on Programming, pp.64-79, 2007. ,
DOI : 10.1007/978-3-540-71316-6_6
Weakly Relational Numerical Abstract Domains. Phd, Ecole Normale Supérieure, département d'informatique, 2004. ,
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs, Lecture Notes in Computer Science, vol.6, issue.4, pp.398-418, 2011. ,
DOI : 10.1007/978-3-540-30538-5_4
A modal interface theory for component-based design, Fundamenta Informaticae, vol.108, issue.12, pp.119-149, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00554283
A proof technique for rely/guarantee properties, Lecture Notes in Computer Science, vol.206, pp.369-391, 1985. ,
DOI : 10.1007/3-540-16042-6_21
Abstract Interpretation with Applications to Timing Validation, Lecture Notes in Computer Science, vol.5123, pp.22-36, 2008. ,
DOI : 10.1007/978-3-540-70545-1_6