Filtrer vos résultats
- 10
- 9
- 1
- 10
- 1
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 10
- 4
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 10
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
10 résultats
|
|
|
triés par
|
|
|
Static Analysis of Endian Portability by Abstract Interpretation28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Communication dans un congrès
hal-03450165v1
|
||
|
|
Fan-C, a Frama-C plug-in for data flow verificationEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02263407v1
|
||
|
|
Formalise to automate: deployment of a safe and cost-efficient process for avionics software9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Communication dans un congrès
hal-01708332v1
|
||
|
|
Analysis of Software Patches Using Numerical Abstract Interpretation26th International Symposium, Bor-Yuh Evan Chang, Oct 2019, Porto, Portugal. pp.225-246, ⟨10.1007/978-3-030-32304-2_12⟩
Communication dans un congrès
hal-02319259v1
|
||
|
|
Static analysis of program portability by abstract interpretationSoftware Engineering [cs.SE]. Sorbonne Université, 2022. English. ⟨NNT : 2022SORUS342⟩
Thèse
tel-04028096v1
|
||
|
|
Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01292294v1
|
||
|
|
Spreading Static Analysis with Frama-C in Industrial Contexts8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Communication dans un congrès
hal-01260276v1
|
||
|
|
Analysis of Program Differences with Numerical Abstract InterpretationPERR 2019 - 3rd Workshop on Program Equivalence and Relational Reasoning, Apr 2019, Prague, Czech Republic
Communication dans un congrès
hal-02109517v1
|
||
|
|
Taster, a Frama-C plug-in to enforce Coding StandardsERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
Communication dans un congrès
hal-02267697v1
|
||
|
|
Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics softwareACM SIGBED International Conference on Embedded Software (EMSOFT), Oct 2015, Amsterdam, Netherlands. pp.65-74, ⟨10.1109/EMSOFT.2015.7318261⟩
Communication dans un congrès
hal-01312246v1
|