Laurent Mauborgne - Concepedia

Author

Laurent Mauborgne

École Normale Supérieure

Also Known As

Laurent MAUBORGNE, Laurent Mauborgne, Mauborgne, Laurent

Publications

3.2K

Citations

H-Index

Concepts

All Affiliations

École Normale Supérieure École Normale Supérieure - PSL AbsInt (Germany)IMDEA Software Institute Institut national de recherche en sciences et technologies du numérique

About

Laurent Mauborgne is an author at École Normale Supérieure specializing in computer science, engineering, and software analysis.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	1.5K
2	Computer Science	12	12	1.5K
3	Computer Engineering	8	8	1.4K
4	Space Engineering	2	2	83
5	Business	1	1	14

Laurent Mauborgne

Publications

1.9K

Citations

H-Index

Page 1

	Year	Citations
A static analyzer for large safety-critical software Bruno Blanchet, Patrick Cousot, Radhia Cousot, ACM SIGPLAN Notices Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2003	572
A static analyzer for large safety-critical software Bruno Blanchet, Patrick Cousot, Radhia Cousot, Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2003	303
The trace partitioning abstract domain Xavier Rival, Laurent Mauborgne ACM Transactions on Programming Languages and Systems EngineeringAstrée Static AnalyzerSoftware EngineeringSoftware AnalysisFormal Verification	2007	175
CacheAudit Goran Doychev, Boris Köpf, Laurent Mauborgne, ACM Transactions on Information and System Security Cryptographic PrimitiveEngineeringInformation SecurityComputer ArchitectureSide-channel Attack	2015	151
CacheAudit: A Tool for the Static Analysis of Cache Side Channels. Goran Doychev, Dominik Feld, Boris Köpf, IACR Cryptology ePrint Archive	2013	107
Why does Astrée scale up? Patrick Cousot, Radhia Cousot, Jérôme Ferêt, Formal Methods in System Design Tree BreedingScaling AnalysisForestryTree Growth	2009	97
A static analyzer for large safety-critical software Bruno Blanchet, Patrick Cousot, Radhia Cousot, Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	2003	85
The ASTR ´ EE Analyzer Patrick Cousot, Radhia Cousot, Laurent Mauborgne,	2005	61
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
Varieties of Static Analyzers: A Comparison with ASTREE Patrick Cousot, Radhia Cousot, Jérôme Ferêt, Program CheckingEngineeringVerificationSoftware EngineeringRuntime Errors	2007	51

Page 1