Axel Simon

Available identifiers

zbMath Open simon.axelMaRDI QIDQ656847

List of research outcomes

Publication	Date of Publication	Type
Modular Analysis of Executables Using On-Demand Heyting Completion	2020-07-07	Paper
Incremental closure for systems of two variables per inequality	2019-03-26	Paper
A note on the inversion join for polyhedral analysis	2016-06-17	Paper
Speeding up polyhedral analysis by identifying common constraints	2016-06-17	Paper
The Undefined Domain: Precise Relational Information for Entities That Do Not Exist	2015-01-12	Paper
Summarized Dimensions Revisited	2014-07-22	Paper
The two variable per inequality abstract domain	2012-01-13	Paper
Analyzing string buffers in C	2011-05-06	Paper
Two variables per linear inequality as an abstract domain	2011-03-04	Paper
Taming the Wrapping of Integer Arithmetic	2009-03-03	Paper
Splitting the Control Flow with Boolean Flags	2008-08-28	Paper
Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities	2008-05-28	Paper
Widening Polyhedra with Landmarks	2008-05-06	Paper
Static Analysis	2006-10-31	Paper
Convex hull of planarh-polyhedra	2004-12-29	Paper

Research outcomes over time

This page was built for person: Axel Simon