Laurent Mounier

Toward Large-Scale Vulnerability Discovery using Machine Learning

Gustavo Grieco, Guillermo L. Grinblat, Lucas C. Uzal et al. · 2016 · 233 citations

Software Maintenance, Engineering, Machine Learning +26

What can you verify and enforce at runtime?

Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier · International Journal on Software Tools for Technology Transfer · 2011 · 151 citations

Program Checking, Engineering, Runtime Verification +10

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Ylìès Falcone, Laurent Mounier, Jean-Claude Fernandez et al. · Formal Methods in System Design · 2011 · 128 citations · Full text

Runtime Enforcement Monitors, Engineering, Runtime Verification +10

A toolbox for the verification of LOTOS programs

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier et al. · 1992 · 82 citations

Engineering, Runtime Verification, Tools Aldebaran +14

Finding Software Vulnerabilities by Smart Fuzzing

Sofia Bekrar, Chaouki Bekrar, Roland Groz et al. · 2011 · 79 citations

Software Maintenance, Engineering, Coverage Analysis +19