Julien Bertrane - Concepedia

Author

Julien Bertrane

Also Known As

Julien Bertrane, Julien Julien Bertrane

Publications

164

Citations

H-Index

Concepts

All Affiliations

Julien Bertrane is an author at École Normale Supérieure specializing in systems engineering, computer science, and software design.

#	Concept	H-Index	Publications	Citations
1	Engineering	3	3	112
2	Computer Science	3	3	112
3	Systems Engineering	3	3	112
4	Computer Engineering	2	2	83
5	Space Engineering	2	2	83

Julien Bertrane

Publications

112

Citations

H-Index

Page 1

	Year	Citations
Static Analysis and Verification of Aerospace Software by Abstract Interpretation Julien Bertrane, Patrick Cousot, Radhia Cousot, AIAA Infotech@Aerospace 2010 EngineeringVerificationSoftware EngineeringRuntime ErrorsEmbedded Systems	2010	53
Static Analysis and Verification of Aerospace Software by Abstract Interpretation Julien Bertrane, Patrick Cousot, Radhia Cousot, Foundations and Trends® in Programming Languages EngineeringVerificationSoftware EngineeringRuntime ErrorsEmbedded Systems	2015	30
Static analysis by abstract interpretation of embedded critical software Julien Bertrane, Patrick Cousot, Radhia Cousot, ACM SIGSOFT Software Engineering Notes EngineeringVerificationSoftware EngineeringEmbedded SystemsSoftware Analysis	2011	29

Page 1