Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Personen Ehemalige Alexander Sepp login

Alexander Sepp

Name:Alexander Sepp
Raum:-
Tel:-
eMail:sepp<at>in.tum.de
Visitenkarte:


Publications of Alexander Sepp

Conference Papers

The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.

  1. J. Kranz, A. Sepp and A. Simon. GDSL: A Universal Toolkit for Giving Semantics to Machine Language. In C. Shan, editor, Asian Symposium on Programming Languages and Systems, Melbourne, Australia, December 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  2. B. Mihaila, A. Sepp and A. Simon. Widening as Abstract Domain. In G. Brat, N. Rungta and A. Venet, editors, NASA Formal Methods, volume 7871 of LNCS, pages 170--186, Moffett Field, California, USA, May 2013. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  3. A. Sepp, J. Kranz and A. Simon. GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Tools for Automatic Program Analysis, volume 289 of ENTCS, pages 53-64, Deauville, France, September 2012. Springer.

    Detail: Abstract Download: PDF Reference: Bibtex The original publication is available at www.springerlink.com

  4. A. Sepp, B. Mihaila and A. Simon. Precise Static Analysis of Binaries by Extracting Relational Information. In  M.Pinzger and D. Poshyvanyk, editors, Working Conference on Reverse Engineering, Limerick, Ireland, October 2011. IEEE Computer Society.

    Detail: Abstract Download: PDF Reference: Bibtex



TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms