Alexander Sepp

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Relational Structures

Specification Language

Top Venues

Electron. Notes Theor. Comput. Sci.

NASA Formal Methods

Publications

Julian Kranz, Alexander Sepp, Axel Simon
GDSL: A Universal Toolkit for Giving Semantics to Machine Language. APLAS (2013)
Bogdan Mihaila, Alexander Sepp, Axel Simon
Widening as Abstract Domain. NASA Formal Methods (2013)
Alexander Sepp, Julian Kranz, Axel Simon
GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Electron. Notes Theor. Comput. Sci. 289 (2012)
Alexander Sepp, Bogdan Mihaila, Axel Simon
Precise Static Analysis of Binaries by Extracting Relational Information. WCRE (2011)