Zobrazeno 1 - 10
of 70
pro vyhledávání: '"MAUBORGNE, LAURENT"'
Autor:
Blanchet, Bruno, Cousot, Patrick, Cousot, Radhia, Feret, Jerôme, Mauborgne, Laurent, Miné, Antoine, Monniaux, David, Rival, Xavier
Publikováno v:
PLDI: Conference on Programming Language Design and Implementation (2003) 196 - 207
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false alarms. This is achieved by refinement of a gener
Externí odkaz:
http://arxiv.org/abs/cs/0701193
Autor:
Kästner, Daniel, Mauborgne, Laurent, Wilhelm, Stephan, Mallon, Christoph, Ferdinand, Christian
All current safety norms require determining the data and control flow in the source code and making sure that it is compliant to the intended control and data flow as defined in the software architecture. In traditional static code analysis, data ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::54fcd88c0a64b57b1b87e265db5e1e64
https://hal.archives-ouvertes.fr/hal-03694546
https://hal.archives-ouvertes.fr/hal-03694546
In recent years, security concerns have become more and more relevant for safety-critical systems. Many cy-bersecurity vulnerabilities are caused by runtime errors, hence sound static runtime error analysis contributes to meeting both safety and secu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::447dea4fbccdd3c7b3891b71df14f30a
https://hal.science/hal-02479217
https://hal.science/hal-02479217
Publikováno v:
Journal of the ACM; Dec2012, Vol. 59 Issue 6, p31-56, 56p
Autor:
Miné, Antoine, Mauborgne, Laurent, Rival, Xavier, Feret, Jerome, Cousot, Patrick, Kästner, Daniel, Wilhelm, Stephan, Ferdinand, Christian
Publikováno v:
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
International audience; We present an extension of Astrée to concurrent C software. Astrée is a sound static analyzer for run-time errors previously limited to sequential C software. Our extension employs a scalable abstraction which covers all pos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::487e736c38345bdafbede23d1fbd74d3
https://hal.archives-ouvertes.fr/hal-01271552/file/erts2016_astreea.pdf
https://hal.archives-ouvertes.fr/hal-01271552/file/erts2016_astreea.pdf
Autor:
Bertrane, Julien, Feret, Jérôme, Cousot, Patrick, Cousot, Radhia, Miné, Antoine, Rival, Xavier, Mauborgne, Laurent
Publikováno v:
Utilisations industrielles des techniques formelles : interprétation abstraite
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
Jean-Louis Boulanger. Utilisations industrielles des techniques formelles : interprétation abstraite, Hermes-Lavoisier, pp.67--114, 2011, Informatique et systèmes d'information, 2-7462-3206-5
National audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::87295e3acf6dae6e738156e8e55213f2
https://hal.inria.fr/inria-00636877
https://hal.inria.fr/inria-00636877
We introduce a reduced product combining algebraic and logical abstractions to design program correctness verifiers and static analyzers by abstract interpretation. The key new idea is to show that the Nelson-Oppen procedure for combining theories in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a952cb7147ecc4ea9e9cdc64b963e280
https://hal.inria.fr/inria-00543890/file/LogicalAlgebraicAIreport.pdf
https://hal.inria.fr/inria-00543890/file/LogicalAlgebraicAIreport.pdf
Autor:
Kästner, Daniel, Wilhelm, Stephan, Nenova, Stefana, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier
Publikováno v:
Embedded real time software and systems-ERTS2 2010
Embedded real time software and systems-ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
Embedded real time software and systems-ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France
International audience; Safety-critical embedded software has to satisfy stringent quality requirements. Testing and validation consumes a large and growing fraction of development cost. The last years have seen the emergence of semantics-based stati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::207f06e5858a52d820f645e087f7338e
https://inria.hal.science/inria-00528600
https://inria.hal.science/inria-00528600