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
https://portal.mardi4nfdi.de/entity/Q3499221	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Axel Simon