𝔖 Bobbio Scriptorium

✦ LIBER ✦

Ensuring the Integrity of Embedded Software with Static Code Analysis

✍ Scribed by Chelf, B.; Ebert, C.

Book ID: 119812074
Publisher: IEEE
Year: 2009
Tongue: English
Weight: 663 KB
Volume: 26
Category: Article
ISSN: 0740-7459
DOI: 10.1109/ms.2009.65

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Boundary Integral Analysis of the Symmet

Boundary Integral Analysis of the Symmetric Dynamic Problem for an Infinite Bimaterial Solid with an Embedded Crack

✍ V.V. Mykhas'kiv; O.I. Stepanyuk 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 163 KB

[IEEE Comput. Soc Sixth International Wo

[IEEE Comput. Soc Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98) - Seattle, WA, USA (15-18 March 1998)] Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98) - Communication synthesis and HW/SW integration for embedded system design

✍ Gogniat, G.; Auguin, M.; Bianco, L.; Pegatoquet, A. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 31 KB

[IEEE Comput. Soc Sixth International Wo

[IEEE Comput. Soc Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98) - Seattle, WA, USA (15-18 March 1998)] Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98) - An analysis-based approach to composition of distributed embedded systems

✍ Chou, P.; Borriello, G. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 388 KB

[ACM Press the 14th International Worksh

[ACM Press the 14th International Workshop - St. Goar, Germany (2011.06.27-2011.06.28)] Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems - SCOPES '11 - Enhanced structural analysis for C code reconstruction from IR code

✍ Engel, Felix; Leupers, Rainer; Ascheid, Gerd; Ferger, Max; Beemster, Marcel 📂 Article 📅 2011 🏛 ACM Press ⚖ 843 KB

[IEEE 2012 IEEE 36th Annual Computer Sof

[IEEE 2012 IEEE 36th Annual Computer Software and Applications Conference - COMPSAC 2012 - Izmir, Turkey (2012.07.16-2012.07.20)] 2012 IEEE 36th Annual Computer Software and Applications Conference - Model-Based Static Source Code Analysis of Java Programs with Applications to Android Security

✍ Lu, Zheng; Mukhopadhyay, Supratik 📂 Article 📅 2012 🏛 IEEE ⚖ 429 KB

[American Institute of Aeronautics and A

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference and Exhibit - Keystone, Colorado ()] AIAA Modeling and Simulation Technologies Conference and Exhibit - Automatic Flight Code Generation with Integrated Static Run-Time Error Checking and Code Analysis

✍ Erkkinen, Tom; Hote, Chris 📂 Article 📅 2006 🏛 American Institute of Aeronautics and Astronautics ⚖ 225 KB