Laurent Mauborgne
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
1994–2024
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAFECOMP | Sound Non-interference Analysis for C/C++. | Daniel Kstner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jrg Herter, Christoph Cullmann, Christian Ferdinand |
| 2020 | SAFECOMP | Safety-Critical Software Development in C++. | Daniel Kstner, Christoph Cullmann, Gernot Gebhard, Sebastian Hahn, Thomas Karos, Laurent Mauborgne, Stephan Wilhelm, Christian Ferdinand |
| 2019 | SAFECOMP | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. | Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand |
| 2018 | FM | On Software Safety, Security, and Abstract Interpretation. | Daniel Kstner, Laurent Mauborgne, Christian Ferdinand |
| 2012 | CAV | Automatic Quantification of Cache Side-Channels. | Boris Kpf, Laurent Mauborgne, Martn Ochoa |
| 2011 | APLAS | On the Strength of Owicki-Gries for Resources. | Alexander Malkis, Laurent Mauborgne |
| 2011 | FOSSACS | The Reduced Product of Abstract Domains and the Combination of Decision Procedures. | Patrick Cousot, Radhia Cousot, Laurent Mauborgne |
| 2007 | TASE | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2005 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2005 | ESOP | Trace Partitioning in Abstract Interpretation Based Static Analyzers. | Laurent Mauborgne, Xavier Rival |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2000 | ESOP | Improving the Representation of Infinite Trees to Deal with Sets of Trees. | Laurent Mauborgne |
| 2000 | SAS | Tree Schemata and Fair Termination. | Laurent Mauborgne |
| 1999 | SAS | Binary Decision Graphs. | Laurent Mauborgne |
| 1994 | SAS | Abstract Interpretation Using TDGs. | Laurent Mauborgne |