Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
Inria, the French national research institute for the digital sciences | Toulouse, Midi Pyrenees | France | 20 days ago
developed within the Flowsimulator environment of Airbus in order to be used in the h-adaptive process initiated during the PhD of F.Basile. [M1-M6] CODA software development project immersion at AIRBUS
-
hardware design and verification (HDL: VHDL/Verilog, simulation tools). · Hands-on experience with FPGA prototyping or hardware/software co-design is highly desirable. · Good communication
-
Laboratoire National de Métrologie et d'Essais - LNE | Paris 15, le de France | France | 3 months ago
of the ground truth, for example from tactile probing systems, allows the evaluation of completeness and accuracy of respective software analyses. At least three verification datasets for the three different use
-
the Software Security Domain. In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022) (pp. 2-6). IEEE. [6] Hachem, J. E., Chiprianov, V., Babar, M. A., Khalil, T
-
the Software Security Domain. In IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022) (pp. 2-6). IEEE. [6] Hachem, J. E., Chiprianov, V., Babar, M. A., Khalil, T
-
/10.36227/techrxiv.175037181.12992346?… ; [5] Enoiu, E. P., Truscan, D., Sadovykh, A., & Mallouli, W. (2023, August). VeriDevOps software methodology: security verification and validation for DevOps practices
-
/10.36227/techrxiv.175037181.12992346?… ; [5] Enoiu, E. P., Truscan, D., Sadovykh, A., & Mallouli, W. (2023, August). VeriDevOps software methodology: security verification and validation for DevOps practices
-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with