Mauborgne, Laurent

The ASTREÉ Analyzer

Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2005) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 426

A static analyzer for large safety-critical software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2003) · Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation

Logic, programming, and type systemsFormal Methods in Verification

Cited by 330

Trace Partitioning in Abstract Interpretation Based Static Analyzers

Mauborgne, L., & Rival, X. (2005) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 225

Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software

Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., & Rival, X. (2002) · Lecture Notes in Computer Science

Logic, programming, and type systemsFormal Methods in Verification

Cited by 202

AstrÉe: Verification of Absence of Runtime Error

Mauborgne, L. (2008) · IFIP International Federation for Information Processing

Logic, programming, and type systemsFormal Methods in Verification

Cited by 24