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

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)

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