Laurent Mauborgne
AbsInt (Germany)(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Software Reliability and Analysis Research, Security and Verification in Computing
Most-Cited Works
- → A static analyzer for large safety-critical software(2003)572 cited
- → The ASTREÉ Analyzer(2005)388 cited
- → Trace Partitioning in Abstract Interpretation Based Static Analyzers(2005)211 cited
- → Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software(2002)194 cited
- → The trace partitioning abstract domain(2007)175 cited
- → CacheAudit(2015)151 cited
- → Combination of Abstractions in the ASTRÉE Static Analyzer(2007)115 cited
- → Automatic Quantification of Cache Side-Channels(2012)110 cited
- CacheAudit: A Tool for the Static Analysis of Cache Side Channels.(2013)