Axel Simon
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modular analysis of executables using on-demand Heyting completion Lecture Notes in Computer Science | 2020-07-07 | Paper |
| Incremental closure for systems of two variables per inequality Theoretical Computer Science | 2019-03-26 | Paper |
| A note on the inversion join for polyhedral analysis Electronic Notes in Theoretical Computer Science | 2016-06-17 | Paper |
| Speeding up polyhedral analysis by identifying common constraints Electronic Notes in Theoretical Computer Science | 2016-06-17 | Paper |
| The Undefined Domain: Precise Relational Information for Entities That Do Not Exist Programming Languages and Systems | 2015-01-12 | Paper |
| Summarized dimensions revisited Electronic Notes in Theoretical Computer Science | 2014-07-22 | Paper |
| The two variable per inequality abstract domain Higher-Order and Symbolic Computation | 2012-01-13 | Paper |
| Analyzing string buffers in C Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
| Two variables per linear inequality as an abstract domain Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
| Taming the Wrapping of Integer Arithmetic Static Analysis | 2009-03-03 | Paper |
| Splitting the Control Flow with Boolean Flags Static Analysis | 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 Programming Languages and Systems | 2008-05-06 | Paper |
| Static Analysis Lecture Notes in Computer Science | 2006-10-31 | Paper |
| Convex hull of planarh-polyhedra International Journal of Computer Mathematics | 2004-12-29 | Paper |
Research outcomes over time
This page was built for person: Axel Simon
