Dr. Axel Simon

Name:	Dr. Axel Simon
Raum:	02.07.055
Tel:	+49 89 289 18182
eMail:	axel.simon@in.tum.de
Visitienkarte:

Publications of Axel Simon

Books

A. Simon. Value-Range Analysis of C Programs. Springer, 2008.
Detail: Abstract Reference: Bibtex Electronic Copy: DOI

Theses

A. Simon. Value-Range Analysis of C Programs with Focus on Finding Buffer Overflow Vulnerabilities. PhD thesis, Computing Laboratory, University of Kent September 2006.
Reference: Bibtex

Journal Articles

The following articles appeared in peer-reviewed journals. The copyright of these articles lies with the respective journals.

A. Simon, A. King and J. Howe. The Two Variable Per Inequality Abstract Domain. Higher Order and Symbolic Computation, , 2011.
Detail: Abstract Download: PDF Reference: Bibtex Electronic Copy: DOI
A. Simon and A. King. Convex Hull of Planar H-Polyhedra. International Journal of Computer Mathematics, 81(4):259--271, March 2004.
Detail: Abstract Download: PDF Reference: Bibtex

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

B. Mihaila, A. Sepp and A. Simon. Widening as Abstract Domain. NASA Formal Methods, volume 7871 of LNCS, pages 170--186, Moffett Field, California, USA, May 2013. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
H. Siegel and A. Simon. FESA: Fold- and Expand-based Shape Analysis. Compiler Construction, volume 7791 of LNCS, pages 82--101, Rome, Italy, March 2013. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon. Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion. Partial Evaluation and Program Manipulation, SIGPLAN, Rome, Italy, January 2013. ACM.
Detail: Abstract Download: PDF Reference: Bibtex
A. Sepp, J. Kranz and A. Simon. GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Tools for Automatic Program Analysis, volume 289 of ENTCS, pages 53-64, Deauville, France, September 2012. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
J. Brauer and A. Simon. Inferring Definite Counterexamples Through Under-Approximation. In A. E. Goodloe and S. Person, editors, NASA Formal Methods, volume 7226 of LNCS, Norfolk, Virginia, USA, April 2012. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Sepp, B. Mihaila and A. Simon. Precise Static Analysis of Binaries by Extracting Relational Information. In M.Pinzger and D. Poshyvanyk, editors, Working Conference on Reverse Engineering, Limerick, Ireland, October 2011. IEEE Computer Society.
Detail: Abstract Download: PDF Reference: Bibtex
A. Simon and L. Chen. Simple and Precise Widenings for -Polyhedra. Asian Symposium on Programming Languages and Systems, volume 6461 of LNCS, pages 139-155, Shanghai, China, November 2010. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon. Splitting the Control Flow with Boolean Flags. In M. Alpuente and G. Vidal, editors, Static Analysis Symposium, volume 5079 of LNCS, pages 315-331, Valencia, Spain, July 2008. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon and A. King. Taming the Wrapping of Integer Arithmetic. In G. File and H. R. Nielson, editors, Static Analysis Symposium, volume 4634 of LNCS, pages 121--136, Kongens Lyngby, Denmark, August 2007. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon and A. King. Widening Polyhedra with Landmarks. In N. Kobayashi, editor, Asian Symposium on Programming Languages and Systems, volume 4279 of LNCS, pages 166--182, Sydney, Australia, November 2006. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon and A. King. Exploiting Sparsity in Polyhedral Analysis. In C. Hankin and I. Siveroni, editors, Static Analysis Symposium, volume 3672 of LNCS, pages 336--351, London, UK, September 2005. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon, A. King and J. M. Howe. Two Variables per Linear Inequality as an Abstract Domain. In M. Leuschel, editor, Logic-Based Program Synthesis and Transformation, volume 2664 of LNCS, pages 71--89, Madrid, Spain, September 2003. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com
A. Simon and A. King. Analyzing String Buffers in C. In H. Kirchner and C. Ringeissen, editors, Algebraic Methodology and Software Technology, volume 2422 of LNCS, pages 365--379, Reunion Island, France, September 2002. Springer.
Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

Workshop Papers and Technical Reports

A. Simon. Deriving a Modular and Complete Type Inference for Hindley-Milner: Proof Appendix. , 2012.
Download: PDF Reference: Bibtex
H. Siegel and A. Simon. Summarized Dimensions Revisited. In L. Mauborgne, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Venice, Italy, September 2011. Springer.
Detail: Abstract Download: PDF Reference: Bibtex
A. Simon. Speeding up Polyhedral Analysis by Identifying Common Constraints. In A. Miné, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Perpignan, France, September 2010. Springer.
Detail: Abstract Download: PDF Reference: Bibtex
A. Simon. A Note on the Inversion Join for Polyhedral Analysis. In A. Miné, editor, Workshop on Numeric and Symbolic Abstract Domains, ENTCS, Perpignan, France, September 2010. Springer.
Detail: Abstract Download: PDF Reference: Bibtex
A. Simon. Relational Analysis of Floating-Point Arithmetic. Workshop on Numerical and Symbolic Abstract Domains, Paris, France, 2005.
Detail: Abstract Download: PDF Reference: Bibtex