Analyzing String Buffers in C. - Axel Simon; Andy King (AMAST, 2002)

Two Variables per Linear Inequality as an Abstract Domain. - Axel Simon; Andy King; Jacob M. Howe (LOPSTR, 2002)

Convex hull of planar h-polyhedra. - Axel Simon; Andy King (Int. J. Comput. Math., 2004)

Exploiting Sparsity in Polyhedral Analysis. - Axel Simon; Andy King (SAS, 2005)

Widening Polyhedra with Landmarks. - Axel Simon; Andy King (APLAS, 2006)

Taming the Wrapping of Integer Arithmetic. - Axel Simon; Andy King (SAS, 2007)

Splitting the Control Flow with Boolean Flags. - Axel Simon (SAS, 2008)

Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. - Axel Simon (Springer, 2008)

Simple and Precise Widenings for H-Polyhedra. - Axel Simon; Liqian Chen (APLAS, 2010)

A Note on the Inversion Join for Polyhedral Analysis. - Axel Simon (NSAD@SAS, 2010)

Speeding up Polyhedral Analysis by Identifying Common Constraints. - Axel Simon (NSAD@SAS, 2010)

The two variable per inequality abstract domain. - Axel Simon; Andy King (High. Order Symb. Comput., 2010)

Precise Static Analysis of Binaries by Extracting Relational Information. - Alexander Sepp; Bogdan Mihaila; Axel Simon (WCRE, 2011)

Summarized Dimensions Revisited. - Holger Siegel; Axel Simon (NSAD@SAS, 2011)

Inferring Definite Counterexamples through Under-Approximation. - Jörg Brauer; Axel Simon (NASA Formal Methods, 2012)

Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). - Andy King; Alan Mycroft; Thomas W. Reps; Axel Simon (Dagstuhl Reports, 2012)

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. - Alexander Sepp; Julian Kranz; Axel Simon (TAPAS@SAS, 2012)

GDSL: A Universal Toolkit for Giving Semantics to Machine Language. - Julian Kranz; Alexander Sepp; Axel Simon (APLAS, 2013)

The Undefined Domain: Precise Relational Information for Entities That Do Not Exist. - Holger Siegel; Bogdan Mihaila; Axel Simon (APLAS, 2013)

FESA: Fold- and Expand-Based Shape Analysis. - Holger Siegel; Axel Simon (CC, 2013)

Widening as Abstract Domain. - Bogdan Mihaila; Alexander Sepp; Axel Simon (NASA Formal Methods, 2013)

Synthesizing Predicates from Abstract Domain Losses. - Bogdan Mihaila; Axel Simon (NASA Formal Methods, 2014)

Optimal inference of fields in row-polymorphic records. - Axel Simon (PLDI, 2014)

The GDSL toolkit: Generating Frontends for the Analysis of Machine Code. - Axel Simon; Julian Kranz (PPREW@POPL, 2014)

Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. - Julian Kranz; Axel Simon (PPDP, 2014)

Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). - Roberto Giacobazzi; Axel Simon; Sarah Zennou (Dagstuhl Reports, 2014)

Preface. - Axel Simon; Arnaud Venet (NSAD, 2014)

Deriving a complete type inference for Hindley-Milner and vector sizes using expansion. - Axel Simon (Sci. Comput. Program., 2014)

Shape Analysis with Connectors. - Holger Siegel; Axel Simon (NFM, 2015)

Modular Analysis of Executables Using On-Demand Heyting Completion. - Julian Kranz; Axel Simon (VMCAI, 2018)

Incremental Closure for Systems of Two Variables Per Inequality. - Jacob M. Howe; Andy King; Axel Simon (Theor. Comput. Sci., 2019)