Sun, 01 Jan 2017 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Thu, 01 Jan 2015 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Wed, 01 Jan 2014 00:00:00 +0100
Inter-procedural Two-Variable Herbrand Equalities.
Sat, 01 Jan 2011 00:00:00 +0100
Interprocedural Polynomial Invariants.
Sat, 01 Jan 2011 00:00:00 +0100
Fast interprocedural linear two-variable equalities.
Sat, 01 Jan 2011 00:00:00 +0100
Side-Effect Analysis of Assembly Code.
Fri, 01 Jan 2010 00:00:00 +0100
Interprocedural Control Flow Reconstruction.
Tue, 01 Jan 2008 00:00:00 +0100
Analysing All Polynomial Equations in .
Mon, 01 Jan 2007 00:00:00 +0100
Interprocedurally Analysing Linear Inequality Relations.
Sun, 01 Jan 2006 00:00:00 +0100