Zobrazeno 1 - 10
of 178
pro vyhledávání: '"Laurent Mauborgne"'
Autor:
Daniel Kaestner, Stephan Wilhelm, Christoph Mallon, Stefana Schank, Christian Ferdinand, Laurent Mauborgne
Publikováno v:
SAE Technical Paper Series.
Preventing systematic software failures is of paramount importance for any highly automatic vehicle control system, in particular for safety-critical AUTOSAR software. Among the most critical software defects are runtime errors like buffer overflows
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a850cbfd8046248e031fda623413213
https://doi.org/10.4271/2023-01-0591
https://doi.org/10.4271/2023-01-0591
Autor:
Christoph Cullmann, Laurent Mauborgne, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Daniel Kästner, Christian Ferdinand, Stephan Wilhelm
Publikováno v:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops ISBN: 9783030555825
SAFECOMP Workshops
SAFECOMP Workshops
The choice of the programming language is a fundamental decision to be made when defining a safety-oriented software development process. It has significant impact on code quality and performance, but also on the achievable level of safety, the devel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edc801bcbff0f70dd2aa2df4c31821ed
https://doi.org/10.1007/978-3-030-55583-2_7
https://doi.org/10.1007/978-3-030-55583-2_7
Autor:
Laurent Mauborgne, Christian Ferdinand, Stephan Wilhelm, Maximilian Schlund, Bernard Schmidt, Daniel Kaestner
Publikováno v:
SAE Technical Paper Series.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f2ad96fb90213b6a23a1d0c833d0b608
https://doi.org/10.4271/2019-01-1246
https://doi.org/10.4271/2019-01-1246
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030266004
SAFECOMP
SAFECOMP
In safety-critical embedded software, the absence of critical code defects has to be demonstrated. One important class of defects are runtime errors caused by undefined or unspecified behavior of the programming language, including buffer overflows o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4876eac08d3316515db7bf869446141c
https://doi.org/10.1007/978-3-030-26601-1_1
https://doi.org/10.1007/978-3-030-26601-1_1
Publikováno v:
Formal Methods ISBN: 9783319955810
FM
FM
Static code analysis can be applied to show compliance to coding guidelines, and to demonstrate the absence of critical programming errors, including runtime errors and data races. In recent years, security concerns have become more and more relevant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a7fc5c288f7af22bf4a3acf22229f9a
https://doi.org/10.1007/978-3-319-95582-7_41
https://doi.org/10.1007/978-3-319-95582-7_41
Publikováno v:
ACM Transactions on Information and System Security. 18:1-32
We present CacheAudit, a versatile framework for the automatic, static analysis of cache side channels. CacheAudit takes as input a program binary and a cache configuration and derives formal, quantitative security guarantees for a comprehensive set
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06477a9f90cb5e2ff9fad80fd3ea65bc
https://doi.org/10.1145/2756550
https://doi.org/10.1145/2756550
Autor:
Daniel Kaestner, Heinz Hille, Xavier Rival, Patrick Cousot, Antoine Miné, Jérôme Feret, Laurent Mauborgne, Christian Ferdinand, Stephan Wilhelm, André Schmidt
Publikováno v:
SAE Technical Paper
WCX™ 2017-SAE World Congress Experience
WCX™ 2017-SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
WCX™ 2017-SAE World Congress Experience
WCX™ 2017-SAE World Congress Experience, Apr 2017, Detroit United States. pp.1-9, ⟨10.4271/2017-01-0054⟩
International audience; Safety-critical embedded software has to satisfy stringent quality requirements. All contemporary safety standards require evidence that no data races and no critical run-time errors occur, such as invalid pointer accesses, bu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dff5a5b6aca008c4491e3c12618cf463
https://hal.inria.fr/hal-01674831
https://hal.inria.fr/hal-01674831
Autor:
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival
It is well documented that fully automatic rigorous verification of complex software is very challenging and perfection is impossible. This monograph presents abstract interpretation and shows how its principles can be successfully applied to cope wi
Publikováno v:
Journal of the ACM. 59:1-56
The algebraic/model theoretic design of static analyzers uses abstract domains based on representations of properties and pre-calculated property transformers. It is very efficient. The logical/proof theoretic approach uses SMT solvers/theorem prover
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3a88a75b313a2461878408ca425654a3
https://doi.org/10.1145/2395116.2395120
https://doi.org/10.1145/2395116.2395120