Axel Simon

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c11		Holger Siegel, Axel Simon: FESA: Fold- and Expand-Based Shape Analysis. CC 2013: 82-101
c10		Axel Simon: Deriving a complete type inference for hindley-milner and vector sizes using expansion. PEPM 2013: 13-22
	2012
j6		Holger Siegel, Axel Simon: Summarized Dimensions Revisited. Electr. Notes Theor. Comput. Sci. 288: 75-86 (2012)
j5		Alexander Sepp, Julian Kranz, Axel Simon: GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Electr. Notes Theor. Comput. Sci. 289: 53-64 (2012)
c9		Jörg Brauer, Axel Simon: Inferring Definite Counterexamples through Under-Approximation. NASA Formal Methods 2012: 54-69
i2		Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon: Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). Dagstuhl Reports 2(1): 100-116 (2012)
	2011
c8		Alexander Sepp, Bogdan Mihaila, Axel Simon: Precise Static Analysis of Binaries by Extracting Relational Information. WCRE 2011: 357-366
	2010
j4		Axel Simon: A Note on the Inversion Join for Polyhedral Analysis. Electr. Notes Theor. Comput. Sci. 267(1): 115-126 (2010)
j3		Axel Simon: Speeding up Polyhedral Analysis by Identifying Common Constraints. Electr. Notes Theor. Comput. Sci. 267(1): 127-138 (2010)
j2		Axel Simon, Andy King: The two variable per inequality abstract domain. Higher-Order and Symbolic Computation 23(1): 87-143 (2010)
c7		Axel Simon, Liqian Chen: Simple and Precise Widenings for H-Polyhedra. APLAS 2010: 139-155
	2008
b1		Axel Simon: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. Springer 2008, isbn 978-1-84800-016-2
c6		Axel Simon: Splitting the Control Flow with Boolean Flags. SAS 2008: 315-331
	2007
c5		Axel Simon, Andy King: Taming the Wrapping of Integer Arithmetic. SAS 2007: 121-136
	2006
c4		Axel Simon, Andy King: Widening Polyhedra with Landmarks. APLAS 2006: 166-182
	2005
c3		Axel Simon, Andy King: Exploiting Sparsity in Polyhedral Analysis. SAS 2005: 336-351
	2004
j1		Axel Simon, Andy King: Convex hull of planar h-polyhedra. Int. J. Comput. Math. 81(3): 259-271 (2004)
i1		Axel Simon, Andy King: Convex Hull of Planar H-Polyhedra. CoRR cs.CG/0405089 (2004)
	2002
c2		Axel Simon, Andy King: Analyzing String Buffers in C. AMAST 2002: 365-379
c1		Axel Simon, Andy King, Jacob M. Howe: Two Variables per Linear Inequality as an Abstract Domain. LOPSTR 2002: 71-89

Coauthor Index

1	Jörg Brauer	[c9]
2	Liqian Chen	[c7]
3	Jacob M. Howe	[c1]
4	Andy King	[i2] [j2] [c5] [c4] [c3] [j1] [i1] [c2] [c1]
5	Julian Kranz	[j5]
6	Bogdan Mihaila	[c8]
7	Alan Mycroft	[i2]
8	Thomas W. Reps	[i2]
9	Alexander Sepp	[j5] [c8]
10	Holger Siegel	[c11] [j6]

Colors in the list of coauthors

Last update Fri May 24 18:53:13 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page